전제조건·사후조건

전제조건(precondition)은 메서드가 실행을 시작할 때 이미 참이어야 하는 조건이고, 사후조건(postcondition)은 메서드가 끝났을 때 참이어야 하는 조건이다. 둘 다 「이 메서드를 쓰려면 이게 맞아야 하고, 쓰고 나면 이게 보장된다」는 일종의 약속이다. 약속이 깨졌다는 건 호출하는 쪽이 잘못 썼거나(전제조건), 메서드 내부 로직이 틀렸다는(사후조건) 뜻이다.