[JAVA] Precondition and Postcondition

Java의 주석에 대해서 배우다가 나온 내용이다. 

뭔지 모르겠어서, 정리한다.

-----------------------------------------------------------------------------------------------------------------------------

Preconditon

• 입력 조건
• 함수가 call 되기 전에 무엇이 참이 되어야 하는지 나타내는 문장
• 함수가 호출되기 전에 참이 되어야만 하는 조건을 말하는 문장

Postcondition

• 출력 조건
• 함수가 기능하고 난 뒤 무엇이 참이어야 하는지 나타내는 문장
• 함수가 실행되고 나서 무엇이 참이 되어야 하는지 말하는 문장.

정의는 찾아보면, 이렇지만, 잘 와닿지 않는다. 

예시를 들어가며 직접 부딪히는 것이 빠를 것 같다. 

 

EX)

/**

Precondition: year 는 양수여야 한다.

Postcondition: 지정된 year 이후에  receiving한 개체의 예상 population을 return한다.

*/

 

/**

Precondition: 점수가 설정되어야 한다.
Postcondition: 점수에 따라 등급이 설정된다.

*/