From 59c8e599bc233a83669fee2d2828ee31517d6051 Mon Sep 17 00:00:00 2001 From: Aosen Xiong Date: Thu, 11 Apr 2024 22:06:06 -0700 Subject: [PATCH] Add new line at the end of file --- src/main/java/pico/inference/messages.properties | 2 +- src/main/java/pico/typecheck/jdk.astub | 2 +- src/main/java/pico/typecheck/messages.properties | 2 +- testinput/glacier/ArrayClone.java | 2 +- testinput/glacier/ArrayCopy.java | 2 +- testinput/glacier/ArrayParameter.java | 2 +- testinput/glacier/Arrays.java | 2 +- testinput/glacier/BooleanSubtyping.java | 2 +- testinput/glacier/ClassGetName.java | 2 +- testinput/glacier/ClassReturn.java | 2 +- testinput/glacier/ColorImpl.java | 2 +- testinput/glacier/CompareTo.java | 2 +- testinput/glacier/ConflictingAnnotations.java | 2 +- testinput/glacier/ConstructorAssignment.java | 2 +- testinput/glacier/EnumTest.java | 2 +- testinput/glacier/EqualsTest.java | 2 +- testinput/glacier/FontImpl.java | 2 +- testinput/glacier/ImmutableArray.java | 2 +- testinput/glacier/ImmutableClassMutableInterface.java | 2 +- testinput/glacier/ImmutableCollection.java | 2 +- testinput/glacier/ImmutableConstructorInMutableClass.java | 2 +- testinput/glacier/ImmutableInterfaceClass.java | 2 +- testinput/glacier/ImmutablePerson.java | 2 +- testinput/glacier/ImmutablePrimitiveContainer.java | 2 +- testinput/glacier/IncorrectUsage.java | 2 +- testinput/glacier/IntArgument.java | 2 +- testinput/glacier/IntReturn.java | 2 +- testinput/glacier/IntegerAssignment.java | 2 +- testinput/glacier/InterfaceField.java | 2 +- testinput/glacier/InterfaceSupertype.java | 2 +- testinput/glacier/InvalidAnnotations.java | 2 +- testinput/glacier/InvalidAssignment.java | 2 +- testinput/glacier/InvalidImmutableInterfaceClass.java | 2 +- testinput/glacier/InvalidTypeArguments.java | 2 +- testinput/glacier/MapParameters.java | 2 +- testinput/glacier/MethodInvocation.java | 2 +- testinput/glacier/MethodTypeParameters.java | 2 +- testinput/glacier/MutableClassCantHaveImmutableSubclass.java | 2 +- testinput/glacier/NestedGenerics.java | 2 +- testinput/glacier/NullAssignment.java | 2 +- testinput/glacier/Override.java | 2 +- testinput/glacier/PlainObjects.java | 2 +- testinput/glacier/ReadOnlyClass.java | 2 +- testinput/glacier/ReadOnlyObject.java | 2 +- testinput/glacier/ResultWrapTest.java | 2 +- testinput/glacier/StaticAssignment.java | 2 +- testinput/glacier/StringTest.java | 2 +- testinput/glacier/Subclassing.java | 2 +- testinput/glacier/Transitivity.java | 2 +- testinput/glacier/TransitivityError.java | 2 +- testinput/glacier/TypeParameter.java | 2 +- testinput/glacier/Unboxing.java | 2 +- testinput/glacier/UnmodifiableCollection.java | 2 +- testinput/glacier/UnmodifiableList.java | 2 +- testinput/glacier/ValidImmutableInterfaceClass.java | 2 +- testinput/reiminfer/CFLTests5.java | 2 +- testinput/typecheck/DeepMutable.java | 2 +- testinput/typecheck/EnumTests.java | 2 +- testinput/typecheck/RDMFieldInst.java | 2 +- 59 files changed, 59 insertions(+), 59 deletions(-) diff --git a/src/main/java/pico/inference/messages.properties b/src/main/java/pico/inference/messages.properties index 21d8686..3979ead 100644 --- a/src/main/java/pico/inference/messages.properties +++ b/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 \ No newline at end of file +bound.extends.incompatible=TEST diff --git a/src/main/java/pico/typecheck/jdk.astub b/src/main/java/pico/typecheck/jdk.astub index 31206f0..21a1a9e 100644 --- a/src/main/java/pico/typecheck/jdk.astub +++ b/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); -} \ No newline at end of file +} diff --git a/src/main/java/pico/typecheck/messages.properties b/src/main/java/pico/typecheck/messages.properties index 6c0339e..1e88b57 100644 --- a/src/main/java/pico/typecheck/messages.properties +++ b/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 ! \ No newline at end of file +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 ! diff --git a/testinput/glacier/ArrayClone.java b/testinput/glacier/ArrayClone.java index e9a16ab..ffd02ac 100644 --- a/testinput/glacier/ArrayClone.java +++ b/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(); -} \ No newline at end of file +} diff --git a/testinput/glacier/ArrayCopy.java b/testinput/glacier/ArrayCopy.java index ba4e8f4..c4a9594 100644 --- a/testinput/glacier/ArrayCopy.java +++ b/testinput/glacier/ArrayCopy.java @@ -15,4 +15,4 @@ public void passArray() { takeArray(array.clone()); } -} \ No newline at end of file +} diff --git a/testinput/glacier/ArrayParameter.java b/testinput/glacier/ArrayParameter.java index 81f77b4..2db8e11 100644 --- a/testinput/glacier/ArrayParameter.java +++ b/testinput/glacier/ArrayParameter.java @@ -19,4 +19,4 @@ public class ArrayParameter { public void passArray(@Immutable Object k) { Array.add(keys, k); } -} \ No newline at end of file +} diff --git a/testinput/glacier/Arrays.java b/testinput/glacier/Arrays.java index 3fde23c..5cfe24f 100644 --- a/testinput/glacier/Arrays.java +++ b/testinput/glacier/Arrays.java @@ -18,4 +18,4 @@ public byte[] getByteData() { public void setData() { intArray[0] = 42; } -} \ No newline at end of file +} diff --git a/testinput/glacier/BooleanSubtyping.java b/testinput/glacier/BooleanSubtyping.java index dcae5b7..8cb53a6 100644 --- a/testinput/glacier/BooleanSubtyping.java +++ b/testinput/glacier/BooleanSubtyping.java @@ -13,4 +13,4 @@ public boolean foo() { CellType cellType = CellType.BLANK; return cellType == CellType.NUMBER; } -} \ No newline at end of file +} diff --git a/testinput/glacier/ClassGetName.java b/testinput/glacier/ClassGetName.java index ca11263..bc6fcab 100644 --- a/testinput/glacier/ClassGetName.java +++ b/testinput/glacier/ClassGetName.java @@ -3,4 +3,4 @@ public String foo() { Number num = null; return num.getClass().getName(); } -} \ No newline at end of file +} diff --git a/testinput/glacier/ClassReturn.java b/testinput/glacier/ClassReturn.java index 25e23b4..2292556 100644 --- a/testinput/glacier/ClassReturn.java +++ b/testinput/glacier/ClassReturn.java @@ -6,4 +6,4 @@ public ClassReturn getInstance() { return new ClassReturn(); } -} \ No newline at end of file +} diff --git a/testinput/glacier/ColorImpl.java b/testinput/glacier/ColorImpl.java index 2ff6a09..7eb30ee 100644 --- a/testinput/glacier/ColorImpl.java +++ b/testinput/glacier/ColorImpl.java @@ -15,4 +15,4 @@ public int hashCode() { return Arrays.hashCode(_rgb); } -} \ No newline at end of file +} diff --git a/testinput/glacier/CompareTo.java b/testinput/glacier/CompareTo.java index b1b9a1c..c08a1b5 100644 --- a/testinput/glacier/CompareTo.java +++ b/testinput/glacier/CompareTo.java @@ -8,4 +8,4 @@ public void foo() { // Shouldn't give an error. ((Boolean)val1).compareTo((Boolean)val2); } -} \ No newline at end of file +} diff --git a/testinput/glacier/ConflictingAnnotations.java b/testinput/glacier/ConflictingAnnotations.java index 1729ae5..7afd6ae 100644 --- a/testinput/glacier/ConflictingAnnotations.java +++ b/testinput/glacier/ConflictingAnnotations.java @@ -30,4 +30,4 @@ public class ConflictingAnnotations { // ::error: (type.invalid.annotations.on.use) @Immutable MutableInterface i2; -} \ No newline at end of file +} diff --git a/testinput/glacier/ConstructorAssignment.java b/testinput/glacier/ConstructorAssignment.java index 4f9db96..e7f0015 100644 --- a/testinput/glacier/ConstructorAssignment.java +++ b/testinput/glacier/ConstructorAssignment.java @@ -21,4 +21,4 @@ class OtherClass { // ::error: (illegal.field.write) c.x = 6; } -} \ No newline at end of file +} diff --git a/testinput/glacier/EnumTest.java b/testinput/glacier/EnumTest.java index 6d0b16a..b100c92 100644 --- a/testinput/glacier/EnumTest.java +++ b/testinput/glacier/EnumTest.java @@ -16,4 +16,4 @@ public class EnumTest { public void foo() { u.ordinal(); } -} \ No newline at end of file +} diff --git a/testinput/glacier/EqualsTest.java b/testinput/glacier/EqualsTest.java index 50c6640..446045a 100644 --- a/testinput/glacier/EqualsTest.java +++ b/testinput/glacier/EqualsTest.java @@ -20,4 +20,4 @@ public boolean equals(@Immutable Object obj) { return true; return false; } -} \ No newline at end of file +} diff --git a/testinput/glacier/FontImpl.java b/testinput/glacier/FontImpl.java index 82a8f40..111c311 100644 --- a/testinput/glacier/FontImpl.java +++ b/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; } -} \ No newline at end of file +} diff --git a/testinput/glacier/ImmutableArray.java b/testinput/glacier/ImmutableArray.java index 631d6b2..f8c6941 100644 --- a/testinput/glacier/ImmutableArray.java +++ b/testinput/glacier/ImmutableArray.java @@ -13,4 +13,4 @@ // MaybeMutable array of primitives is mutable. // PICO allows shallow immutable array. private int [] _ints; -} \ No newline at end of file +} diff --git a/testinput/glacier/ImmutableClassMutableInterface.java b/testinput/glacier/ImmutableClassMutableInterface.java index ab85fb1..d5323f8 100644 --- a/testinput/glacier/ImmutableClassMutableInterface.java +++ b/testinput/glacier/ImmutableClassMutableInterface.java @@ -11,4 +11,4 @@ public static void foo() { bar(x); } -}; \ No newline at end of file +}; diff --git a/testinput/glacier/ImmutableCollection.java b/testinput/glacier/ImmutableCollection.java index 11833d8..167e9b4 100644 --- a/testinput/glacier/ImmutableCollection.java +++ b/testinput/glacier/ImmutableCollection.java @@ -8,4 +8,4 @@ public abstract class ImmutableCollection extends AbstractCollection { public int getSize() { return size(); } -} \ No newline at end of file +} diff --git a/testinput/glacier/ImmutableConstructorInMutableClass.java b/testinput/glacier/ImmutableConstructorInMutableClass.java index 143e3b5..e62b015 100644 --- a/testinput/glacier/ImmutableConstructorInMutableClass.java +++ b/testinput/glacier/ImmutableConstructorInMutableClass.java @@ -12,4 +12,4 @@ public class ImmutableConstructorInMutableClass { public void aMethod() { } -} \ No newline at end of file +} diff --git a/testinput/glacier/ImmutableInterfaceClass.java b/testinput/glacier/ImmutableInterfaceClass.java index 1e888fc..d38399b 100644 --- a/testinput/glacier/ImmutableInterfaceClass.java +++ b/testinput/glacier/ImmutableInterfaceClass.java @@ -8,4 +8,4 @@ public @Immutable class ImmutableInterfaceClass implements ImmutableInterface { -} \ No newline at end of file +} diff --git a/testinput/glacier/ImmutablePerson.java b/testinput/glacier/ImmutablePerson.java index e851d4b..2e2fecf 100644 --- a/testinput/glacier/ImmutablePerson.java +++ b/testinput/glacier/ImmutablePerson.java @@ -45,4 +45,4 @@ public ImmutablePerson() { public void aMethod() { } -} \ No newline at end of file +} diff --git a/testinput/glacier/ImmutablePrimitiveContainer.java b/testinput/glacier/ImmutablePrimitiveContainer.java index 360fb43..54ae236 100644 --- a/testinput/glacier/ImmutablePrimitiveContainer.java +++ b/testinput/glacier/ImmutablePrimitiveContainer.java @@ -9,4 +9,4 @@ public void setX(int x) { // ::error: (illegal.field.write) this.x = x; } -} \ No newline at end of file +} diff --git a/testinput/glacier/IncorrectUsage.java b/testinput/glacier/IncorrectUsage.java index d9624f4..dd8529f 100644 --- a/testinput/glacier/IncorrectUsage.java +++ b/testinput/glacier/IncorrectUsage.java @@ -43,4 +43,4 @@ public void badMethod(@Immutable IncorrectUsage2 this) { public void badMethod2(@Immutable IncorrectUsage2 obj) { } -} \ No newline at end of file +} diff --git a/testinput/glacier/IntArgument.java b/testinput/glacier/IntArgument.java index b3156ec..d6d1e16 100644 --- a/testinput/glacier/IntArgument.java +++ b/testinput/glacier/IntArgument.java @@ -9,4 +9,4 @@ public void useInt() { takeInt(i); } } -} \ No newline at end of file +} diff --git a/testinput/glacier/IntReturn.java b/testinput/glacier/IntReturn.java index e942f3f..3ba6a34 100644 --- a/testinput/glacier/IntReturn.java +++ b/testinput/glacier/IntReturn.java @@ -8,4 +8,4 @@ public int getInt() { public void useInt() { int x = getInt(); } -} \ No newline at end of file +} diff --git a/testinput/glacier/IntegerAssignment.java b/testinput/glacier/IntegerAssignment.java index 681e93f..6f70bda 100644 --- a/testinput/glacier/IntegerAssignment.java +++ b/testinput/glacier/IntegerAssignment.java @@ -8,4 +8,4 @@ public Integer getInt() { public void useInt() { Integer i = getInt(); } -} \ No newline at end of file +} diff --git a/testinput/glacier/InterfaceField.java b/testinput/glacier/InterfaceField.java index a9fc1a5..14c630b 100644 --- a/testinput/glacier/InterfaceField.java +++ b/testinput/glacier/InterfaceField.java @@ -11,4 +11,4 @@ interface IF_AnInterface {}; // ::error: (glacier.mutable.invalid) IF_AnInterface o; IF_ImmutableInterface o2; -} \ No newline at end of file +} diff --git a/testinput/glacier/InterfaceSupertype.java b/testinput/glacier/InterfaceSupertype.java index 1c581d0..b3e4985 100644 --- a/testinput/glacier/InterfaceSupertype.java +++ b/testinput/glacier/InterfaceSupertype.java @@ -29,4 +29,4 @@ public boolean equals(Object o1,Object o2){ return true; return o1!=null ? o1.equals(o2) : false; } -} \ No newline at end of file +} diff --git a/testinput/glacier/InvalidAnnotations.java b/testinput/glacier/InvalidAnnotations.java index 40574d1..b329fc6 100644 --- a/testinput/glacier/InvalidAnnotations.java +++ b/testinput/glacier/InvalidAnnotations.java @@ -9,4 +9,4 @@ public class InvalidAnnotations { // ::error: (type.invalid) InvalidBottom b; -} \ No newline at end of file +} diff --git a/testinput/glacier/InvalidAssignment.java b/testinput/glacier/InvalidAssignment.java index 26eadf7..edb1382 100644 --- a/testinput/glacier/InvalidAssignment.java +++ b/testinput/glacier/InvalidAssignment.java @@ -46,4 +46,4 @@ void aMethod() { // ::error: (glacier.assignment) i.s = "hello"; } -} \ No newline at end of file +} diff --git a/testinput/glacier/InvalidImmutableInterfaceClass.java b/testinput/glacier/InvalidImmutableInterfaceClass.java index 214c990..4139184 100644 --- a/testinput/glacier/InvalidImmutableInterfaceClass.java +++ b/testinput/glacier/InvalidImmutableInterfaceClass.java @@ -11,4 +11,4 @@ // :: error: type.invalid.annotations.on.use public class InvalidImmutableInterfaceClass implements Cloneable, IIIC_ImmutableInterface { -} \ No newline at end of file +} diff --git a/testinput/glacier/InvalidTypeArguments.java b/testinput/glacier/InvalidTypeArguments.java index ff89d06..d8384ad 100644 --- a/testinput/glacier/InvalidTypeArguments.java +++ b/testinput/glacier/InvalidTypeArguments.java @@ -36,4 +36,4 @@ public Iterator getCellIterator() { return Collections.unmodifiableCollection(cellCollection).iterator(); } } -} \ No newline at end of file +} diff --git a/testinput/glacier/MapParameters.java b/testinput/glacier/MapParameters.java index 57272de..c8ab5c1 100644 --- a/testinput/glacier/MapParameters.java +++ b/testinput/glacier/MapParameters.java @@ -10,4 +10,4 @@ public void foo() { Map m = null; takeMap(m); } -} \ No newline at end of file +} diff --git a/testinput/glacier/MethodInvocation.java b/testinput/glacier/MethodInvocation.java index bc92c5c..0aad2dd 100644 --- a/testinput/glacier/MethodInvocation.java +++ b/testinput/glacier/MethodInvocation.java @@ -11,4 +11,4 @@ public void foo() { Interface i = null; i.doStuff(); } -} \ No newline at end of file +} diff --git a/testinput/glacier/MethodTypeParameters.java b/testinput/glacier/MethodTypeParameters.java index 31565fa..ed15128 100644 --- a/testinput/glacier/MethodTypeParameters.java +++ b/testinput/glacier/MethodTypeParameters.java @@ -10,4 +10,4 @@ static TypeParameters asImmutableList(@Immutable Object[] elements) { static TypeParameters asImmutableList2(@Immutable Object[] elements) { return null; } -} \ No newline at end of file +} diff --git a/testinput/glacier/MutableClassCantHaveImmutableSubclass.java b/testinput/glacier/MutableClassCantHaveImmutableSubclass.java index 3127882..dd99a6c 100644 --- a/testinput/glacier/MutableClassCantHaveImmutableSubclass.java +++ b/testinput/glacier/MutableClassCantHaveImmutableSubclass.java @@ -38,4 +38,4 @@ class UnsafeAbstractSuperclass2 { } // ::error: (glacier.nonfinalmember) ::error: (glacier.mutablemember) -@Immutable class Immut4 extends UnsafeAbstractSuperclass2 { }; \ No newline at end of file +@Immutable class Immut4 extends UnsafeAbstractSuperclass2 { }; diff --git a/testinput/glacier/NestedGenerics.java b/testinput/glacier/NestedGenerics.java index 644d95d..ebf6462 100644 --- a/testinput/glacier/NestedGenerics.java +++ b/testinput/glacier/NestedGenerics.java @@ -18,4 +18,4 @@ public static boolean contains(Iterator iterator, Object element) { return any(iterator, null); } -} \ No newline at end of file +} diff --git a/testinput/glacier/NullAssignment.java b/testinput/glacier/NullAssignment.java index c799e9e..4b3673b 100644 --- a/testinput/glacier/NullAssignment.java +++ b/testinput/glacier/NullAssignment.java @@ -11,4 +11,4 @@ public void foo() { NA_AnInterface i = null; takeObj(i); } -} \ No newline at end of file +} diff --git a/testinput/glacier/Override.java b/testinput/glacier/Override.java index 6328b5a..2b907aa 100644 --- a/testinput/glacier/Override.java +++ b/testinput/glacier/Override.java @@ -15,4 +15,4 @@ public Override() { public void doStuff(int x) { } -} \ No newline at end of file +} diff --git a/testinput/glacier/PlainObjects.java b/testinput/glacier/PlainObjects.java index 9b1b1db..70566d3 100644 --- a/testinput/glacier/PlainObjects.java +++ b/testinput/glacier/PlainObjects.java @@ -16,4 +16,4 @@ void foo () { takeImmutableObject(o1); } -} \ No newline at end of file +} diff --git a/testinput/glacier/ReadOnlyClass.java b/testinput/glacier/ReadOnlyClass.java index 8738c71..7dbfd90 100644 --- a/testinput/glacier/ReadOnlyClass.java +++ b/testinput/glacier/ReadOnlyClass.java @@ -24,4 +24,4 @@ void takeImmutableArray(String @Immutable [] foo) { // ::error: (glacier.assignment.array) foo[0] = "Hello, world!"; } -} \ No newline at end of file +} diff --git a/testinput/glacier/ReadOnlyObject.java b/testinput/glacier/ReadOnlyObject.java index bc4c6f3..250c674 100644 --- a/testinput/glacier/ReadOnlyObject.java +++ b/testinput/glacier/ReadOnlyObject.java @@ -10,4 +10,4 @@ public class ReadOnlyObject { return true ? String.valueOf(1) : cat; } -} \ No newline at end of file +} diff --git a/testinput/glacier/ResultWrapTest.java b/testinput/glacier/ResultWrapTest.java index 08809e7..42beab6 100644 --- a/testinput/glacier/ResultWrapTest.java +++ b/testinput/glacier/ResultWrapTest.java @@ -13,4 +13,4 @@ static class ResultWrap { } final ResultWrap input = null; -} \ No newline at end of file +} diff --git a/testinput/glacier/StaticAssignment.java b/testinput/glacier/StaticAssignment.java index a7bbb8c..6089c49 100644 --- a/testinput/glacier/StaticAssignment.java +++ b/testinput/glacier/StaticAssignment.java @@ -19,4 +19,4 @@ public void setStatics () { GLOBAL = 42; } -} \ No newline at end of file +} diff --git a/testinput/glacier/StringTest.java b/testinput/glacier/StringTest.java index 6f478f3..8d3d86d 100644 --- a/testinput/glacier/StringTest.java +++ b/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. -} \ No newline at end of file +} diff --git a/testinput/glacier/Subclassing.java b/testinput/glacier/Subclassing.java index 766b020..07a9975 100644 --- a/testinput/glacier/Subclassing.java +++ b/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 { }; \ No newline at end of file +class InvalidMutableSub extends ImmutableSuper { }; diff --git a/testinput/glacier/Transitivity.java b/testinput/glacier/Transitivity.java index 66f2138..ac29645 100644 --- a/testinput/glacier/Transitivity.java +++ b/testinput/glacier/Transitivity.java @@ -17,4 +17,4 @@ public Transitivity() { public void test() { } -} \ No newline at end of file +} diff --git a/testinput/glacier/TransitivityError.java b/testinput/glacier/TransitivityError.java index 75876f2..abb2a7f 100644 --- a/testinput/glacier/TransitivityError.java +++ b/testinput/glacier/TransitivityError.java @@ -20,4 +20,4 @@ public TransitivityError() { public void test() { } -} \ No newline at end of file +} diff --git a/testinput/glacier/TypeParameter.java b/testinput/glacier/TypeParameter.java index a78fdab..1a02733 100644 --- a/testinput/glacier/TypeParameter.java +++ b/testinput/glacier/TypeParameter.java @@ -29,4 +29,4 @@ void aMethod() { // ::error: (glacier.typeparameter.mutable) TypeParameter t2 = null; -} \ No newline at end of file +} diff --git a/testinput/glacier/Unboxing.java b/testinput/glacier/Unboxing.java index c614fbd..f2540a7 100644 --- a/testinput/glacier/Unboxing.java +++ b/testinput/glacier/Unboxing.java @@ -5,4 +5,4 @@ public void passDouble() { takeNumber(42.0); } -}; \ No newline at end of file +}; diff --git a/testinput/glacier/UnmodifiableCollection.java b/testinput/glacier/UnmodifiableCollection.java index 02138b7..d433fe0 100644 --- a/testinput/glacier/UnmodifiableCollection.java +++ b/testinput/glacier/UnmodifiableCollection.java @@ -11,4 +11,4 @@ public Iterator getCellIterator() { Collection cellCollection = null; return Collections.unmodifiableCollection(cellCollection).iterator(); } -} \ No newline at end of file +} diff --git a/testinput/glacier/UnmodifiableList.java b/testinput/glacier/UnmodifiableList.java index 578ef86..e7ceacf 100644 --- a/testinput/glacier/UnmodifiableList.java +++ b/testinput/glacier/UnmodifiableList.java @@ -21,4 +21,4 @@ public void foo() { List l = true ? ListProcessor.process(_list) : _list; //List l = ListProcessor.process(_list); } -} \ No newline at end of file +} diff --git a/testinput/glacier/ValidImmutableInterfaceClass.java b/testinput/glacier/ValidImmutableInterfaceClass.java index 784f443..987af56 100644 --- a/testinput/glacier/ValidImmutableInterfaceClass.java +++ b/testinput/glacier/ValidImmutableInterfaceClass.java @@ -8,4 +8,4 @@ public @Immutable class ValidImmutableInterfaceClass implements VIIC_ImmutableInterface { -} \ No newline at end of file +} diff --git a/testinput/reiminfer/CFLTests5.java b/testinput/reiminfer/CFLTests5.java index b74f7f1..a5c4ee3 100644 --- a/testinput/reiminfer/CFLTests5.java +++ b/testinput/reiminfer/CFLTests5.java @@ -42,4 +42,4 @@ public static void main(String[] arg) { } } - \ No newline at end of file + diff --git a/testinput/typecheck/DeepMutable.java b/testinput/typecheck/DeepMutable.java index f3dd97c..77470cf 100644 --- a/testinput/typecheck/DeepMutable.java +++ b/testinput/typecheck/DeepMutable.java @@ -30,4 +30,4 @@ static class ImmutableGenericIm { this.t = t; } } -} \ No newline at end of file +} diff --git a/testinput/typecheck/EnumTests.java b/testinput/typecheck/EnumTests.java index 46fd328..5579c6d 100644 --- a/testinput/typecheck/EnumTests.java +++ b/testinput/typecheck/EnumTests.java @@ -24,4 +24,4 @@ private static enum MutableEnum { M1, M2; } -} \ No newline at end of file +} diff --git a/testinput/typecheck/RDMFieldInst.java b/testinput/typecheck/RDMFieldInst.java index 95bdda5..1f227cc 100644 --- a/testinput/typecheck/RDMFieldInst.java +++ b/testinput/typecheck/RDMFieldInst.java @@ -31,4 +31,4 @@ private static class MutableClass { -} \ No newline at end of file +}