Added test case for Issue #9

typetools · Dec 28, 2015 · 0fea107 · 0fea107
1 parent ea7bc02
commit 0fea107
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/testdata/iflowsource/Issue9.java b/testdata/iflowsource/Issue9.java
@@ -0,0 +1,12 @@
+//@skip-test
+import sparta.checkers.quals.*;
+abstract class StringConcatenateAssignment{
+   abstract @Source("READ_SMS") String getSMS();
+   String inferField = "";
+   private void test() {
+      String s = "";
+            s += getSMS();
+     //:: fixable-error: (assignment.type.incompatible)
+     inferField = s;
+   }
+}