Rename an option variable. Document that others are not interesting.

typetools · Jun 15, 2021 · 412bde5 · 412bde5
1 parent 7f2ff8c
commit 412bde5
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 7 deletions.
diff --git a/checker/src/main/java/org/checkerframework/checker/mustcall/MustCallChecker.java b/checker/src/main/java/org/checkerframework/checker/mustcall/MustCallChecker.java
@@ -15,18 +15,18 @@
   "SocketCreatesMustCallFor.astub",
 })
 @SupportedOptions({
-  MustCallChecker.NO_CREATES_OBLIGATION,
+  MustCallChecker.NO_CREATES_MUSTCALLFOR,
   MustCallChecker.NO_LIGHTWEIGHT_OWNERSHIP,
   MustCallChecker.NO_RESOURCE_ALIASES
 })
 public class MustCallChecker extends BaseTypeChecker {
 
-  /** Disables @CreatesMustCallFor support. */
-  public static final String NO_CREATES_OBLIGATION = "noCreatesMustCallFor";
+  /** Disables @CreatesMustCallFor support. Not of interest to most users. */
+  public static final String NO_CREATES_MUSTCALLFOR = "noCreatesMustCallFor";
 
-  /** Disables @Owning/@NotOwning support. */
+  /** Disables @Owning/@NotOwning support. Not of interest to most users. */
   public static final String NO_LIGHTWEIGHT_OWNERSHIP = "noLightweightOwnership";
 
-  /** Disables @MustCallAlias support. */
+  /** Disables @MustCallAlias support. Not of interest to most users. */
   public static final String NO_RESOURCE_ALIASES = "noResourceAliases";
 }
diff --git a/.../main/java/org/checkerframework/checker/mustcall/MustCallNoCreatesMustCallForChecker.java b/.../main/java/org/checkerframework/checker/mustcall/MustCallNoCreatesMustCallForChecker.java
@@ -13,5 +13,5 @@
   "JavaEE.astub",
   "Reflection.astub",
 })
-@SupportedOptions({MustCallChecker.NO_CREATES_OBLIGATION})
+@SupportedOptions({MustCallChecker.NO_CREATES_MUSTCALLFOR})
 public class MustCallNoCreatesMustCallForChecker extends MustCallChecker {}
diff --git a/checker/src/main/java/org/checkerframework/checker/mustcall/MustCallTransfer.java b/checker/src/main/java/org/checkerframework/checker/mustcall/MustCallTransfer.java
@@ -100,7 +100,7 @@ public TransferResult<CFValue, CFStore> visitMethodInvocation(
     TransferResult<CFValue, CFStore> result = super.visitMethodInvocation(n, in);
 
     updateStoreWithTempVar(result, n);
-    if (!atypeFactory.getChecker().hasOption(MustCallChecker.NO_CREATES_OBLIGATION)) {
+    if (!atypeFactory.getChecker().hasOption(MustCallChecker.NO_CREATES_MUSTCALLFOR)) {
       List<JavaExpression> targetExprs =
           CreatesMustCallForElementSupplier.getCreatesMustCallForExpressions(
               n, atypeFactory, atypeFactory);