Add new line at the end of file

src/main/java/pico/inference/messages.properties

@@ -13,4 +13,4 @@ one.assignability.invalid=Only one assignability qualifier is allowed on %s
 object.identity.method.invocation.invalid=Cannot invoke non-object identity method %s from object identity context!
 object.identity.field.access.invalid=Object identity context cannot reference non abstract state field %s!
 object.identity.static.field.access.forbidden=Object identity context cannot reference static field %s!
-bound.extends.incompatible=TEST
+bound.extends.incompatible=TEST

src/main/java/pico/typecheck/jdk.astub

@@ -297,4 +297,4 @@ package java.awt;
 @ReceiverDependantMutable
 class Container {
   void add(@Readonly Component comp, @Readonly Object constraints);
-}
+}

src/main/java/pico/typecheck/messages.properties

@@ -12,4 +12,4 @@ one.assignability.invalid=Only one assignability qualifier is allowed on %s
 object.identity.method.invocation.invalid=Cannot invoke non-object identity method %s from object identity context!
 object.identity.field.access.invalid=Object identity context cannot reference non abstract state field %s!
 object.identity.static.field.access.forbidden=Object identity context cannot reference static field %s!
-implicit.shallow.immutable=Write an explicit mutable qualifier if wants to exclude the field from the abstract state! Otherwise change the class mutability of this object !
+implicit.shallow.immutable=Write an explicit mutable qualifier if wants to exclude the field from the abstract state! Otherwise change the class mutability of this object !

testinput/glacier/ArrayClone.java

@@ -4,4 +4,4 @@
 public class ArrayClone {
     @Immutable Object @Immutable [] array = new @Immutable Object  @Immutable [0];
     @Immutable Object @Immutable [] arrayClone = array.clone();
-}
+}

testinput/glacier/ArrayCopy.java

@@ -15,4 +15,4 @@ public void passArray() {
         takeArray(array.clone());
     }
 
-}
+}

testinput/glacier/ArrayParameter.java

@@ -19,4 +19,4 @@ public class ArrayParameter {
     public void passArray(@Immutable Object k) {
         Array.add(keys, k);
     }
-}
+}

testinput/glacier/Arrays.java

@@ -18,4 +18,4 @@ public byte[] getByteData() {
     public void setData() {
         intArray[0] = 42;
     }
-}
+}

testinput/glacier/BooleanSubtyping.java

@@ -13,4 +13,4 @@ public boolean foo() {
         CellType cellType = CellType.BLANK;
         return cellType == CellType.NUMBER;
     }
-}
+}

testinput/glacier/ClassGetName.java

@@ -3,4 +3,4 @@ public String foo() {
         Number num = null;
         return num.getClass().getName();
     }
-}
+}

testinput/glacier/ClassReturn.java

@@ -6,4 +6,4 @@ public ClassReturn getInstance() {
         return new ClassReturn();
     }
 
-}
+}

testinput/glacier/ColorImpl.java

@@ -15,4 +15,4 @@ public int hashCode() {
 
         return Arrays.hashCode(_rgb);
     }
-}
+}

testinput/glacier/CompareTo.java

@@ -8,4 +8,4 @@ public void foo() {
         // Shouldn't give an error.
         ((Boolean)val1).compareTo((Boolean)val2);
     }
-}
+}

testinput/glacier/ConflictingAnnotations.java

@@ -30,4 +30,4 @@ public class ConflictingAnnotations {
 
     // ::error: (type.invalid.annotations.on.use)
     @Immutable MutableInterface i2;
-}
+}

testinput/glacier/ConstructorAssignment.java

@@ -21,4 +21,4 @@ class OtherClass {
         // ::error: (illegal.field.write)
         c.x = 6;
     }
-}
+}

testinput/glacier/EnumTest.java

@@ -16,4 +16,4 @@ public class EnumTest {
     public void foo() {
         u.ordinal();
     }
-}
+}

testinput/glacier/EqualsTest.java

@@ -20,4 +20,4 @@ public boolean equals(@Immutable Object obj) {
             return true;
         return false;
     }
-}
+}

testinput/glacier/FontImpl.java

@@ -31,4 +31,4 @@ public class FontImpl {
         // Removing error. PICO chose the preferable path.
         SColor c = fontColor != null ? new FI_ColorImpl(fontColor) : null;
     }
-}
+}

testinput/glacier/ImmutableArray.java

@@ -13,4 +13,4 @@
     // MaybeMutable array of primitives is mutable.
     // PICO allows shallow immutable array.
     private int [] _ints;
-}
+}

testinput/glacier/ImmutableClassMutableInterface.java

@@ -11,4 +11,4 @@ public static void foo() {
         bar(x);
     }
 
-};
+};

testinput/glacier/ImmutableCollection.java

@@ -8,4 +8,4 @@ public abstract class ImmutableCollection<E> extends AbstractCollection<E> {
     public int getSize() {
         return size();
     }
-}
+}

testinput/glacier/ImmutableConstructorInMutableClass.java

@@ -12,4 +12,4 @@ public class ImmutableConstructorInMutableClass {
     public void aMethod() {
 
     }
-}
+}

testinput/glacier/ImmutableInterfaceClass.java

@@ -8,4 +8,4 @@
 
 public @Immutable class ImmutableInterfaceClass implements ImmutableInterface {
 
-}
+}

testinput/glacier/ImmutablePerson.java

@@ -45,4 +45,4 @@ public ImmutablePerson() {
     public void aMethod() {
 
     }
-}
+}

testinput/glacier/ImmutablePrimitiveContainer.java

@@ -9,4 +9,4 @@ public void setX(int x) {
         // ::error: (illegal.field.write)
         this.x = x;
     }
-}
+}

testinput/glacier/IncorrectUsage.java

@@ -43,4 +43,4 @@ public void badMethod(@Immutable IncorrectUsage2 this) {
     public void badMethod2(@Immutable IncorrectUsage2 obj) {
 
     }
-}
+}

testinput/glacier/IntArgument.java

@@ -9,4 +9,4 @@ public void useInt() {
             takeInt(i);
         }
     }
-}
+}

testinput/glacier/IntReturn.java

@@ -8,4 +8,4 @@ public int getInt() {
     public void useInt() {
         int x = getInt();
     }
-}
+}

testinput/glacier/IntegerAssignment.java

@@ -8,4 +8,4 @@ public Integer getInt() {
     public void useInt() {
         Integer i = getInt();
     }
-}
+}

testinput/glacier/InterfaceField.java

@@ -11,4 +11,4 @@ interface IF_AnInterface {};
     // ::error: (glacier.mutable.invalid)
     IF_AnInterface o;
     IF_ImmutableInterface o2;
-}
+}

testinput/glacier/InterfaceSupertype.java

@@ -29,4 +29,4 @@ public boolean equals(Object o1,Object o2){
             return true;
         return o1!=null ? o1.equals(o2) : false;
     }
-}
+}

testinput/glacier/InvalidAnnotations.java

@@ -9,4 +9,4 @@
 public class InvalidAnnotations {
     // ::error: (type.invalid)
     InvalidBottom b;
-}
+}

testinput/glacier/InvalidAssignment.java

@@ -46,4 +46,4 @@ void aMethod() {
         // ::error: (glacier.assignment)
         i.s = "hello";
     }
-}
+}

testinput/glacier/InvalidImmutableInterfaceClass.java

@@ -11,4 +11,4 @@
 // :: error: type.invalid.annotations.on.use
 public class InvalidImmutableInterfaceClass implements Cloneable, IIIC_ImmutableInterface {
 
-}
+}

testinput/glacier/InvalidTypeArguments.java

@@ -36,4 +36,4 @@ public Iterator<MutableObject> getCellIterator() {
             return Collections.unmodifiableCollection(cellCollection).iterator();
         }
     }
-}
+}

testinput/glacier/MapParameters.java

@@ -10,4 +10,4 @@ public void foo() {
         Map <String, Integer> m = null;
         takeMap(m);
     }
-}
+}

testinput/glacier/MethodInvocation.java

@@ -11,4 +11,4 @@ public void foo() {
         Interface i = null;
         i.doStuff();
     }
-}
+}

testinput/glacier/MethodTypeParameters.java

@@ -10,4 +10,4 @@ static <E> TypeParameters<E> asImmutableList(@Immutable Object[] elements) {
     static <V extends @Immutable Object> TypeParameters<V> asImmutableList2(@Immutable Object[] elements) {
         return null;
     }
-}
+}

testinput/glacier/MutableClassCantHaveImmutableSubclass.java

@@ -38,4 +38,4 @@ class UnsafeAbstractSuperclass2 {
 }
 
 // ::error: (glacier.nonfinalmember) ::error: (glacier.mutablemember)
-@Immutable class Immut4 extends UnsafeAbstractSuperclass2 { };
+@Immutable class Immut4 extends UnsafeAbstractSuperclass2 { };

testinput/glacier/NestedGenerics.java

@@ -18,4 +18,4 @@ public static boolean contains(Iterator<?> iterator, Object element) {
         return any(iterator, null);
     }
 
-}
+}

testinput/glacier/NullAssignment.java

@@ -11,4 +11,4 @@ public void foo() {
         NA_AnInterface i = null;
         takeObj(i);
     }
-}
+}

testinput/glacier/Override.java

@@ -15,4 +15,4 @@ public Override() {
 
     public void doStuff(int x) {
     }
-}
+}

testinput/glacier/PlainObjects.java

@@ -16,4 +16,4 @@ void foo () {
 
         takeImmutableObject(o1);
     }
-}
+}

testinput/glacier/ReadOnlyClass.java

@@ -24,4 +24,4 @@ void takeImmutableArray(String @Immutable [] foo) {
         // ::error: (glacier.assignment.array)
         foo[0] = "Hello, world!";
     }
-}
+}

testinput/glacier/ReadOnlyObject.java

@@ -10,4 +10,4 @@ public class ReadOnlyObject {
         return true ? String.valueOf(1) : cat;
     }
 
-}
+}

testinput/glacier/ResultWrapTest.java

@@ -13,4 +13,4 @@ static class ResultWrap<T extends @Mutable Object> {
     }
 
     final ResultWrap<String> input = null;
-}
+}

testinput/glacier/StaticAssignment.java

@@ -19,4 +19,4 @@ public void setStatics () {
         GLOBAL = 42;
     }
 
-}
+}

testinput/glacier/StringTest.java

@@ -7,4 +7,4 @@
 @SuppressWarnings("initialization")
 public @Immutable class StringTest {
     String s; // no error expected here because String should be treated as if it were declared @Immutable.
-}
+}

testinput/glacier/Subclassing.java

@@ -15,4 +15,4 @@ class MutSubclass extends Subclassing { };
 @Immutable class ImmutableSub extends ImmutableSuper { };
 
 // ::error: (glacier.subclass.mutable)
-class InvalidMutableSub extends ImmutableSuper { };
+class InvalidMutableSub extends ImmutableSuper { };

testinput/glacier/Transitivity.java

@@ -17,4 +17,4 @@ public Transitivity() {
     public void test() {
 
     }
-}
+}

testinput/glacier/TransitivityError.java

@@ -20,4 +20,4 @@ public TransitivityError() {
     public void test() {
 
     }
-}
+}

testinput/glacier/TypeParameter.java

@@ -29,4 +29,4 @@ void aMethod() {
 
     // ::error: (glacier.typeparameter.mutable)
     TypeParameter <java.util.Date> t2 = null;
-}
+}

testinput/glacier/Unboxing.java

@@ -5,4 +5,4 @@ public void passDouble() {
         takeNumber(42.0);
     }
 
-};
+};

testinput/glacier/UnmodifiableCollection.java

@@ -11,4 +11,4 @@ public Iterator<SCell> getCellIterator() {
         Collection<SCell> cellCollection = null;
         return Collections.unmodifiableCollection(cellCollection).iterator();
     }
-}
+}

testinput/glacier/UnmodifiableList.java

@@ -21,4 +21,4 @@ public void foo() {
         List<AClass> l = true ? ListProcessor.process(_list) : _list;
         //List<AClass> l = ListProcessor.process(_list);
     }
-}
+}

testinput/glacier/ValidImmutableInterfaceClass.java

@@ -8,4 +8,4 @@
 
 public @Immutable class ValidImmutableInterfaceClass implements VIIC_ImmutableInterface {
 
-}
+}

testinput/reiminfer/CFLTests5.java

@@ -42,4 +42,4 @@ public static void main(String[] arg) {
 
 	}
 }
-	
+

testinput/typecheck/DeepMutable.java

@@ -30,4 +30,4 @@ static class ImmutableGenericIm<T extends MutableBox> {
             this.t = t;
         }
     }
-}
+}