Delete jdk.astub

eisop · Jan 8, 2025 · b0ed675 · b0ed675
1 parent 17c11e6
commit b0ed675
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 360 deletions.
diff --git a/checker/src/main/java/org/checkerframework/checker/pico/PICONoInitAnnotatedTypeFactory.java b/checker/src/main/java/org/checkerframework/checker/pico/PICONoInitAnnotatedTypeFactory.java
@@ -492,10 +492,7 @@ public PICOTypeAnnotator(AnnotatedTypeFactory typeFactory) {
             picoTypeFactory = (PICONoInitAnnotatedTypeFactory) typeFactory;
         }
 
-        /**
-         * {@inheritDoc} Applies pre-knowledged defaults that are same with jdk.astub to toString,
-         * hashCode, equals, clone Object methods.
-         */
+        /** {@inheritDoc} Applies pre-knowledged defaults. */
         @Override
         public Void visitExecutable(AnnotatedExecutableType t, Void p) {
             super.visitExecutable(t, p);

diff --git a/checker/src/main/java/org/checkerframework/checker/pico/PICOTypeUtil.java b/checker/src/main/java/org/checkerframework/checker/pico/PICOTypeUtil.java
@@ -174,7 +174,6 @@ public static AnnotatedTypeMirror getBoundTypeOfTypeDeclaration(
         // All other elements that are: not implicitly immutable types specified in definition of
         // @Immutable qualifier;
         // Or has no bound annotation on its type element declaration either in source tree or stub
-        // file(jdk.astub) have @Mutable in its bound
         return atypeFactory.getAnnotatedType(element);
 
         // It's a bit strange that bound annotations on implicilty immutable types

diff --git a/checker/src/main/java/org/checkerframework/checker/pico/jdk.astub b/checker/src/main/java/org/checkerframework/checker/pico/jdk.astub