From 9be867ef03b77e0455a45d22e4a8cd7c5fa9af61 Mon Sep 17 00:00:00 2001 From: Jan Rieke Date: Wed, 21 Jul 2021 13:54:54 +0200 Subject: [fixes #2908] don't generate checkerframework's @NotCalledMethods --- .../checker/calledmethods/qual/NotCalledMethods.java | 17 ----------------- 1 file changed, 17 deletions(-) delete mode 100644 test/stubs/org/checkerframework/checker/calledmethods/qual/NotCalledMethods.java (limited to 'test/stubs/org') 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 -- cgit