전제 조건은 Guava의 클래스 라이브러리로, 통과 매개 변수를 확인하는 데 사용됩니다.
부울 FindElement (list <string> 요소, String destiredelement) {checknotnull (요소);사용량은 간단하고 명확합니다. 즉, 매개 변수 요소가 NULL인지 여부를 확인하십시오. 물론, 전제 조건 클래스에는 다른 방법이 있는데,이 방법은 거의 모든 통과 매개 변수의 검사를 충족시킬 수 있습니다. 전제 조건의 장점은 콜 스택에서 이해하기 쉽고 각 방법은 다음과 같은 형식의 문자열의 변형을 제공한다는 것입니다.
Checkargument (i <j, "예상 I <J, 그러나 %s> %s", i, j);
Java와 함께 제공되는 Assert 키워드와는 달리 전제 조건은 여전히 릴리스 버전에서 효과적입니다.