Move issue 144 and 155 to inferrable directory

Needs this PR is merged, still: https://github.com/opprop/checker- framework-inference/pull/129 This fix also triggered a bug in annotation-tools: typetools/annotation-tools#154
topnessman · Jan 19, 2018 · fd80a80 · fd80a80
1 parent 05721fb
commit fd80a80
Show file tree

Hide file tree

Showing 11 changed files with 18 additions and 5 deletions.
diff --git a/...errable-afu/issue144/ComplicatedTest.java → .../inferrable/issue144/ComplicatedTest.java b/...errable-afu/issue144/ComplicatedTest.java → .../inferrable/issue144/ComplicatedTest.java
diff --git a/...uctorInvocationInSubclassConstructor.java → ...uctorInvocationInSubclassConstructor.java b/...uctorInvocationInSubclassConstructor.java → ...uctorInvocationInSubclassConstructor.java
@@ -3,15 +3,18 @@
 // https://github.com/typetools/annotation-tools/issues/144
 // TODO https://github.com/opprop/checker-framework-inference/issues/109
 public class ConstructorInvocationInSubclassConstructor {
-    @Immutable ConstructorInvocationInSubclassConstructor() {
+    Object f;
 
+    @Immutable ConstructorInvocationInSubclassConstructor(Object f) {
+        // :: fixable-error: (assignment.type.incompatible)
+        this.f = f;
     }
 }
 
 class SubClass extends ConstructorInvocationInSubclassConstructor {
-    SubClass() {
+    SubClass(Object p) {
         // Handled by PICOInferenceVisito##checkMethodInvocability
-        // :: fixable-error: (constructor.invocation.invalid)
-        super();
+        // :: fixable-error: (subclass.constructor.invalid)
+        super(p);
     }
 }
diff --git a/...rrable-afu/issue144/FieldAssignCase1.java → ...inferrable/issue144/FieldAssignCase1.java b/...rrable-afu/issue144/FieldAssignCase1.java → ...inferrable/issue144/FieldAssignCase1.java
@@ -3,7 +3,6 @@
 public class FieldAssignCase1 {
     @Assignable Object o;
     FieldAssignCase1(Object o) {
-        // :: fixable-error: (illegal.field.write)
         this.o = o;
     }
 }
diff --git a/...able-afu/issue144/FieldAssignCase2_1.java → ...ferrable/issue144/FieldAssignCase2_1.java b/...able-afu/issue144/FieldAssignCase2_1.java → ...ferrable/issue144/FieldAssignCase2_1.java
diff --git a/...able-afu/issue144/FieldAssignCase2_2.java → ...ferrable/issue144/FieldAssignCase2_2.java b/...able-afu/issue144/FieldAssignCase2_2.java → ...ferrable/issue144/FieldAssignCase2_2.java
diff --git a/...able-afu/issue144/FieldAssignCase2_3.java → ...ferrable/issue144/FieldAssignCase2_3.java b/...able-afu/issue144/FieldAssignCase2_3.java → ...ferrable/issue144/FieldAssignCase2_3.java
diff --git a/...able-afu/issue144/FieldAssignCase2_4.java → ...ferrable/issue144/FieldAssignCase2_4.java b/...able-afu/issue144/FieldAssignCase2_4.java → ...ferrable/issue144/FieldAssignCase2_4.java
diff --git a/...ferrable-afu/issue144/RDMConstructor.java → ...e/inferrable/issue144/RDMConstructor.java b/...ferrable-afu/issue144/RDMConstructor.java → ...e/inferrable/issue144/RDMConstructor.java
diff --git a/...ted-inferrable-afu/issue145/NewArray.java → ...ference/inferrable/issue145/NewArray.java b/...ted-inferrable-afu/issue145/NewArray.java → ...ference/inferrable/issue145/NewArray.java
diff --git a/testinput/inference/limited-inferrable-afu/Bound.java b/testinput/inference/limited-inferrable-afu/Bound.java
@@ -0,0 +1,3 @@
+package bug;
+// See Bug.java
+public class Bound {}
diff --git a/testinput/inference/limited-inferrable-afu/Bug.java b/testinput/inference/limited-inferrable-afu/Bug.java
@@ -0,0 +1,8 @@
+package bug;
+
+// https://github.com/typetools/annotation-tools/issues/154
+public class Bug<T extends Bound> {
+    Bound b;
+    Bug() {}
+}
+//../annotation-tools/annotation-file-utilities/scripts/insert-annotations-to-source -v -d . testinput/inference/limited-inferrable-afu/0.jaif testinput/inference/limited-inferrable-afu/Bound.java testinput/inference/limited-inferrable-afu/Bug.java