Remove EnsuresCalledMethodsVarArgs.java

Author: smillst

checker-qual/src/main/java/org/checkerframework/checker/calledmethods/qual/EnsuresCalledMethodsVarArgs.java renamed to checker-qual/src/main/java/org/checkerframework/checker/calledmethods/qual/EnsuresCalledMethodsVarargs.java.tmp

@@ -78,18 +78,6 @@ public class CalledMethodsAnnotatedTypeFactory extends AccumulationAnnotatedType
   /*package-private*/ final ExecutableElement ensuresCalledMethodsVarargsValueElement =
       TreeUtils.getMethod(EnsuresCalledMethodsVarargs.class, "value", 0, processingEnv);
 
-  /**
-   * The {@link org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethodsVarargs#value}
-   * element/argument.
-   */
-  @SuppressWarnings("deprecation") // EnsuresCalledMethodsVarArgs
-  /*package-private*/ final ExecutableElement ensuresCalledMethodsVarArgsValueElement =
-      TreeUtils.getMethod(
-          org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethodsVarArgs.class,
-          "value",
-          0,
-          processingEnv);
-
   /** The {@link EnsuresCalledMethodsOnException#value} element/argument. */
   /*package-private*/ final ExecutableElement ensuresCalledMethodsOnExceptionValueElement =
       TreeUtils.getMethod(EnsuresCalledMethodsOnException.class, "value", 0, processingEnv);

checker/src/main/java/org/checkerframework/checker/calledmethods/CalledMethodsAnnotatedTypeFactory.java

@@ -221,13 +221,6 @@ private void handleEnsuresCalledMethodsVarargs(
       ExecutableElement elt,
       TransferResult<AccumulationValue, AccumulationStore> result) {
     AnnotationMirror annot = atypeFactory.getDeclAnnotation(elt, EnsuresCalledMethodsVarargs.class);
-    // Temporary, for backward compatibility.
-    if (annot == null) {
-      annot =
-          atypeFactory.getDeclAnnotation(
-              elt,
-              org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethodsVarArgs.class);
-    }
     if (annot == null) {
       return;
     }
@@ -237,15 +230,6 @@ private void handleEnsuresCalledMethodsVarargs(
             ((CalledMethodsAnnotatedTypeFactory) atypeFactory)
                 .ensuresCalledMethodsVarargsValueElement,
             String.class);
-    // Temporary, for backward compatibility.
-    if (ensuredMethodNames.isEmpty()) {
-      ensuredMethodNames =
-          AnnotationUtils.getElementValueArray(
-              annot,
-              ((CalledMethodsAnnotatedTypeFactory) atypeFactory)
-                  .ensuresCalledMethodsVarArgsValueElement,
-              String.class);
-    }
     List<? extends VariableElement> parameters = elt.getParameters();
     int varArgsPos = parameters.size() - 1;
     Node varArgActual = node.getArguments().get(varArgsPos);

checker/src/main/java/org/checkerframework/checker/calledmethods/CalledMethodsTransfer.java

@@ -64,13 +64,6 @@ public Void visitAnnotation(AnnotationTree tree, Void p) {
   public void processMethodTree(MethodTree tree) {
     ExecutableElement elt = TreeUtils.elementFromDeclaration(tree);
     AnnotationMirror ecmv = atypeFactory.getDeclAnnotation(elt, EnsuresCalledMethodsVarargs.class);
-    // Temporary, for backward compatibility.
-    if (ecmv == null) {
-      ecmv =
-          atypeFactory.getDeclAnnotation(
-              elt,
-              org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethodsVarArgs.class);
-    }
     if (ecmv != null) {
       if (!elt.isVarArgs()) {
         checker.report(tree, new DiagMessage(Diagnostic.Kind.ERROR, "ensuresvarargs.invalid"));

checker/src/main/java/org/checkerframework/checker/calledmethods/CalledMethodsVisitor.java

@@ -1,9 +1,9 @@
-Version 3.45.1 (August 1, 2024)
+Version 3.46.0 (August 1, 2024)
 -----------------------------
 
 **User-visible changes:**
 
-Deprecated `@EnsuresCalledMethodsVarArgs`; use `@EnsuresCalledMethodsVarargs` instead.
+Renamed `@EnsuresCalledMethodsVarArgs`to `@EnsuresCalledMethodsVarargs`.
 
 **Implementation details:**