Chex4j를 사용하면 런타임으로 메서드 호출의 @pre 및 @post 조건을 문서화하고 적용하거나 시간 클래스 파일 계측을 빌드할 수 있습니다. 조건은 일반 코드만큼 빠르게 실행됩니다.
