From 96d02e66b7fc911cb2e2b5973b71d673294fb36e Mon Sep 17 00:00:00 2001
From: Reinier Zwitserloot <r.zwitserloot@projectlombok.org>
Date: Thu, 8 Oct 2020 20:17:22 +0200
Subject: [fixup] Fixing up the checkerframework `@CalledMethods` annotation
 package rename from commit 390ebcf

---
 .../checker/calledmethods/qual/CalledMethods.java       | 17 +++++++++++++++++
 .../checker/calledmethods/qual/NotCalledMethods.java    | 17 +++++++++++++++++
 .../checker/objectconstruction/qual/CalledMethods.java  | 17 -----------------
 .../objectconstruction/qual/NotCalledMethods.java       | 17 -----------------
 4 files changed, 34 insertions(+), 34 deletions(-)
 create mode 100644 test/stubs/org/checkerframework/checker/calledmethods/qual/CalledMethods.java
 create mode 100644 test/stubs/org/checkerframework/checker/calledmethods/qual/NotCalledMethods.java
 delete mode 100644 test/stubs/org/checkerframework/checker/objectconstruction/qual/CalledMethods.java
 delete mode 100644 test/stubs/org/checkerframework/checker/objectconstruction/qual/NotCalledMethods.java

(limited to 'test/stubs/org/checkerframework')

diff --git a/test/stubs/org/checkerframework/checker/calledmethods/qual/CalledMethods.java b/test/stubs/org/checkerframework/checker/calledmethods/qual/CalledMethods.java
new file mode 100644
index 00000000..514e8c6b
--- /dev/null
+++ b/test/stubs/org/checkerframework/checker/calledmethods/qual/CalledMethods.java
@@ -0,0 +1,17 @@
+package org.checkerframework.checker.calledmethods.qual;
+
+import java.lang.annotation.ElementType;
+import java.lang.annotation.Retention;
+import java.lang.annotation.RetentionPolicy;
+import java.lang.annotation.Target;
+
+@Retention(RetentionPolicy.RUNTIME)
+@Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
+public @interface CalledMethods {
+  /**
+   * Methods that have been called, on any expression whose type is annotated.
+   *
+   * @return methods that have been called
+   */
+  public String[] value() default {};
+}
\ No newline at end of file
diff --git a/test/stubs/org/checkerframework/checker/calledmethods/qual/NotCalledMethods.java b/test/stubs/org/checkerframework/checker/calledmethods/qual/NotCalledMethods.java
new file mode 100644
index 00000000..7a9ef37c
--- /dev/null
+++ b/test/stubs/org/checkerframework/checker/calledmethods/qual/NotCalledMethods.java
@@ -0,0 +1,17 @@
+package org.checkerframework.checker.calledmethods.qual;
+
+import java.lang.annotation.ElementType;
+import java.lang.annotation.Retention;
+import java.lang.annotation.RetentionPolicy;
+import java.lang.annotation.Target;
+
+@Retention(RetentionPolicy.RUNTIME)
+@Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
+public @interface NotCalledMethods {
+  /**
+   * Methods that have been called, on any expression whose type is annotated.
+   *
+   * @return methods that have been called
+   */
+  public String[] value() default {};
+}
\ No newline at end of file
diff --git a/test/stubs/org/checkerframework/checker/objectconstruction/qual/CalledMethods.java b/test/stubs/org/checkerframework/checker/objectconstruction/qual/CalledMethods.java
deleted file mode 100644
index 514e8c6b..00000000
--- a/test/stubs/org/checkerframework/checker/objectconstruction/qual/CalledMethods.java
+++ /dev/null
@@ -1,17 +0,0 @@
-package org.checkerframework.checker.calledmethods.qual;
-
-import java.lang.annotation.ElementType;
-import java.lang.annotation.Retention;
-import java.lang.annotation.RetentionPolicy;
-import java.lang.annotation.Target;
-
-@Retention(RetentionPolicy.RUNTIME)
-@Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-public @interface CalledMethods {
-  /**
-   * Methods that have been called, on any expression whose type is annotated.
-   *
-   * @return methods that have been called
-   */
-  public String[] value() default {};
-}
\ No newline at end of file
diff --git a/test/stubs/org/checkerframework/checker/objectconstruction/qual/NotCalledMethods.java b/test/stubs/org/checkerframework/checker/objectconstruction/qual/NotCalledMethods.java
deleted file mode 100644
index 7a9ef37c..00000000
--- a/test/stubs/org/checkerframework/checker/objectconstruction/qual/NotCalledMethods.java
+++ /dev/null
@@ -1,17 +0,0 @@
-package org.checkerframework.checker.calledmethods.qual;
-
-import java.lang.annotation.ElementType;
-import java.lang.annotation.Retention;
-import java.lang.annotation.RetentionPolicy;
-import java.lang.annotation.Target;
-
-@Retention(RetentionPolicy.RUNTIME)
-@Target({ElementType.TYPE_USE, ElementType.TYPE_PARAMETER})
-public @interface NotCalledMethods {
-  /**
-   * Methods that have been called, on any expression whose type is annotated.
-   *
-   * @return methods that have been called
-   */
-  public String[] value() default {};
-}
\ No newline at end of file
-- 
cgit