diff options
Diffstat (limited to 'test/stubs')
| -rw-r--r-- | test/stubs/org/checkerframework/checker/calledmethods/qual/NotCalledMethods.java | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/test/stubs/org/checkerframework/checker/calledmethods/qual/NotCalledMethods.java b/test/stubs/org/checkerframework/checker/calledmethods/qual/NotCalledMethods.java deleted file mode 100644 index 7a9ef37c..00000000 --- a/test/stubs/org/checkerframework/checker/calledmethods/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 |