Use the new NoContractsFromMethod (#201)

jspecify · Aug 23, 2024 · eea8585 · eea8585
1 parent fc545a8
commit eea8585
Showing 1 changed file with 2 additions and 20 deletions.
diff --git a/src/main/java/com/google/jspecify/nullness/NullSpecAnnotatedTypeFactory.java b/src/main/java/com/google/jspecify/nullness/NullSpecAnnotatedTypeFactory.java
@@ -104,12 +104,10 @@
 import org.checkerframework.framework.type.typeannotator.TypeAnnotator;
 import org.checkerframework.framework.type.visitor.AnnotatedTypeVisitor;
 import org.checkerframework.framework.util.AnnotationFormatter;
-import org.checkerframework.framework.util.Contract.ConditionalPostcondition;
-import org.checkerframework.framework.util.Contract.Postcondition;
-import org.checkerframework.framework.util.Contract.Precondition;
 import org.checkerframework.framework.util.ContractsFromMethod;
 import org.checkerframework.framework.util.DefaultAnnotationFormatter;
 import org.checkerframework.framework.util.DefaultQualifierKindHierarchy;
+import org.checkerframework.framework.util.NoContractsFromMethod;
 import org.checkerframework.framework.util.QualifierKindHierarchy;
 import org.checkerframework.framework.util.defaults.QualifierDefaults;
 import org.checkerframework.javacutil.AnnotationBuilder;
@@ -1037,23 +1035,7 @@ public boolean applyConservativeDefaults(Element annotationScope) {
   // Disable checking of contracts.
   @Override
   protected ContractsFromMethod createContractsFromMethod() {
-    return new ContractsFromMethod(this) {
-      @Override
-      public Set<ConditionalPostcondition> getConditionalPostconditions(
-          ExecutableElement methodElement) {
-        return emptySet();
-      }
-
-      @Override
-      public Set<Precondition> getPreconditions(ExecutableElement executableElement) {
-        return emptySet();
-      }
-
-      @Override
-      public Set<Postcondition> getPostconditions(ExecutableElement executableElement) {
-        return emptySet();
-      }
-    };
+    return new NoContractsFromMethod();
   }
 
   @Override