Remove references to the defunct Object Construction Checker

typetools · Jun 27, 2024 · 6147c82 · 6147c82
1 parent 936a6d0
commit 6147c82
Show file tree

Hide file tree

Showing 5 changed files with 9 additions and 9 deletions.
diff --git a/checker-qual/src/main/java/org/checkerframework/checker/mustcall/qual/MustCall.java b/checker-qual/src/main/java/org/checkerframework/checker/mustcall/qual/MustCall.java
@@ -13,9 +13,9 @@
  * An expression of type {@code @MustCall({"m1", "m2"})} may be obligated to call {@code m1()}
  * and/or {@code m2()} before it is deallocated, but it is not obligated to call any other methods.
  *
- * <p>This annotation is enforced by the Object Construction Checker's {@code -AcheckMustCall} mode.
- * It enforces that the methods {@code m1()} and {@code m2()} are called on the annotated expression
- * before it is deallocated.
+ * <p>This annotation can be enforced by running the Resource Leak Checker. It enforces that the
+ * methods {@code m1()} and {@code m2()} are called on the annotated expression before it is
+ * deallocated.
  *
  * <p>The subtyping relationship is:
  *

diff --git a/checker-qual/src/main/java/org/checkerframework/checker/mustcall/qual/MustCallUnknown.java b/checker-qual/src/main/java/org/checkerframework/checker/mustcall/qual/MustCallUnknown.java
@@ -11,9 +11,9 @@
  * obligation to call any set (even an infinite set!) of methods. This type contains every object.
  * This type should rarely be written by a programmer.
  *
- * <p>The Object Construction Checker cannot verify that the property represented by this annotation
- * is enforced; that is, the Object Construction Checker will always issue a warning when the value
- * of an expression with this type might be de-allocated.
+ * <p>The Resource Leak Checker cannot verify that the property represented by this annotation is
+ * enforced; that is, the Resource Leak Checker will always issue a warning when the value of an
+ * expression with this type might be de-allocated.
  *
  * @checker_framework.manual #must-call-checker Must Call Checker
  */

diff --git a/checker/tests/resourceleak-nocreatesmustcallfor/CreatesMustCallForSimpler.java b/checker/tests/resourceleak-nocreatesmustcallfor/CreatesMustCallForSimpler.java
@@ -1,4 +1,4 @@
-// A simpler test that @CreatesMustCallFor works as intended wrt the Object Construction Checker.
+// A simpler test that @CreatesMustCallFor works as intended wrt the Resource Leak Checker.
 
 // This test has been modified to expect that CreatesMustCallFor is feature-flagged to off.
 

diff --git a/checker/tests/resourceleak/CreatesMustCallForSimple.java b/checker/tests/resourceleak/CreatesMustCallForSimple.java
@@ -1,4 +1,4 @@
-// A simple test that @CreatesMustCallFor works as intended wrt the Object Construction Checker.
+// A simple test that @CreatesMustCallFor works as intended wrt the Resource Leak Checker.
 
 import org.checkerframework.checker.calledmethods.qual.*;
 import org.checkerframework.checker.mustcall.qual.*;

diff --git a/checker/tests/resourceleak/CreatesMustCallForSimpler.java b/checker/tests/resourceleak/CreatesMustCallForSimpler.java
@@ -1,4 +1,4 @@
-// A simpler test that @CreatesMustCallFor works as intended wrt the Object Construction Checker.
+// A simpler test that @CreatesMustCallFor works as intended wrt the Resource Leak Checker.
 
 import org.checkerframework.checker.calledmethods.qual.*;
 import org.checkerframework.checker.mustcall.qual.*;