diff --git a/src/main/java/pico/typecheck/PICOAnnotationMirrorHolder.java b/src/main/java/pico/typecheck/PICOAnnotationMirrorHolder.java index 5a0cbe7..50263d8 100644 --- a/src/main/java/pico/typecheck/PICOAnnotationMirrorHolder.java +++ b/src/main/java/pico/typecheck/PICOAnnotationMirrorHolder.java @@ -23,7 +23,6 @@ public class PICOAnnotationMirrorHolder { public static AnnotationMirror RECEIVER_DEPENDANT_MUTABLE; public static AnnotationMirror IMMUTABLE; public static AnnotationMirror BOTTOM; - public static AnnotationMirror COMMITED; public static void init(SourceChecker checker) { Elements elements = checker.getElementUtils(); @@ -35,6 +34,5 @@ public static void init(SourceChecker checker) { IMMUTABLE = AnnotationBuilder.fromClass(elements, Immutable.class); BOTTOM = AnnotationBuilder.fromClass(elements, Bottom.class); - COMMITED = AnnotationBuilder.fromClass(elements, Initialized.class); } } diff --git a/src/main/java/pico/typecheck/PICONoInitVisitor.java b/src/main/java/pico/typecheck/PICONoInitVisitor.java index e126029..cc620ab 100644 --- a/src/main/java/pico/typecheck/PICONoInitVisitor.java +++ b/src/main/java/pico/typecheck/PICONoInitVisitor.java @@ -1,7 +1,6 @@ package pico.typecheck; import static pico.typecheck.PICOAnnotationMirrorHolder.BOTTOM; -import static pico.typecheck.PICOAnnotationMirrorHolder.COMMITED; import static pico.typecheck.PICOAnnotationMirrorHolder.IMMUTABLE; import static pico.typecheck.PICOAnnotationMirrorHolder.MUTABLE; import static pico.typecheck.PICOAnnotationMirrorHolder.POLY_MUTABLE; @@ -573,7 +572,6 @@ private void saveFbcViolatedMethods( protected AnnotationMirrorSet getExceptionParameterLowerBoundAnnotations() { AnnotationMirrorSet result = new AnnotationMirrorSet(); result.add(atypeFactory.getQualifierHierarchy().getBottomAnnotation(BOTTOM)); - result.add(COMMITED); return result; } @@ -581,7 +579,6 @@ protected AnnotationMirrorSet getExceptionParameterLowerBoundAnnotations() { protected AnnotationMirrorSet getThrowUpperBoundAnnotations() { AnnotationMirrorSet result = new AnnotationMirrorSet(); result.add(atypeFactory.getQualifierHierarchy().getTopAnnotation(READONLY)); - result.add(COMMITED); return result; } diff --git a/testinput/inference/inferrable/OverrideEquals.java b/testinput/inference/inferrable/OverrideEquals.java index 044b16e..713a6f1 100644 --- a/testinput/inference/inferrable/OverrideEquals.java +++ b/testinput/inference/inferrable/OverrideEquals.java @@ -1,6 +1,5 @@ import qual.Mutable; import qual.Readonly; -// @skip-test crash bug // Copied from typechecking side testcase. AFU bug causes @Immutable is not inserted // back to class A's declaration position, but it is inferred as result - @Immutable. diff --git a/testinput/typecheck/DateCell.java b/testinput/typecheck/DateCell.java index 5e64462..ec692c1 100644 --- a/testinput/typecheck/DateCell.java +++ b/testinput/typecheck/DateCell.java @@ -1,4 +1,5 @@ package typecheck; +// @skip-test wait for discussion import java.util.Date; diff --git a/testinput/typecheck/RGB.java b/testinput/typecheck/RGB.java index dc32553..47579c4 100644 --- a/testinput/typecheck/RGB.java +++ b/testinput/typecheck/RGB.java @@ -4,7 +4,6 @@ import qual.Mutable; import qual.Readonly; import qual.ReceiverDependantMutable; -// @skip-test crash bug // Inspire by: https://docs.oracle.com/javase/tutorial/essential/concurrency/imstrat.html // Allow both mutable and immutable instance creation