From 45190a17343e20c2c56dc691f04d1e40bf0b1278 Mon Sep 17 00:00:00 2001 From: Michael Ernst Date: Tue, 21 Apr 2026 20:50:43 -0700 Subject: [PATCH] Don't put JDK annotations in stub files; they belong in the annotated JDK --- .../checker/rlccalledmethods/jdk.astub | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 checker/src/main/java/org/checkerframework/checker/rlccalledmethods/jdk.astub diff --git a/checker/src/main/java/org/checkerframework/checker/rlccalledmethods/jdk.astub b/checker/src/main/java/org/checkerframework/checker/rlccalledmethods/jdk.astub deleted file mode 100644 index bb2feccd74e5..000000000000 --- a/checker/src/main/java/org/checkerframework/checker/rlccalledmethods/jdk.astub +++ /dev/null @@ -1,19 +0,0 @@ -package java.lang; - -import org.checkerframework.checker.lock.qual.GuardSatisfied; -import org.checkerframework.dataflow.qual.SideEffectFree; - -public interface AutoCloseable { - @SideEffectFree - void close(@GuardSatisfied AutoCloseable this) throws Exception; -} - -package java.io; - -import org.checkerframework.checker.lock.qual.GuardSatisfied; -import org.checkerframework.dataflow.qual.SideEffectFree; - -public interface Closeable extends AutoCloseable { - @SideEffectFree - public void close(@GuardSatisfied Closeable this) throws IOException; -}