메서드 정의와 호출 예제가 실행되는 순서

1. 1
   입력 계약 검사

   메서드 이름과 매개변수 타입 목록은 어떤 호출을 받을지 구분합니다.

2. 2
   지역 계산 수행

   호출자가 제공해야 하는 값과 메서드가 계산해 돌려주는 값을 분리합니다.

3. 3
   값 반환 또는 명시적 예외

   메서드 안의 지역 변수는 해당 호출의 실행 프레임에 속합니다.

실행 순서 clamp는 입력 세 개와 정수 결과, 그리고 잘못된 범위에서의 실패 계약을 한곳에 모읍니다.