메서드 @Contract 어노테이션의 문제를 보고합니다. 보고할 수 있는 문제 유형은 다음과 같습니다.

예:


  // method has no parameters, but contract expects 1
  @Contract("_ -> fail")
  void x() {
    throw new AssertionError();
  }