added test for introduced final fields and rearranged some

5 files changed, 34 insertions, 0 deletions

diff --git a/tests/new/finalfield/Introducer.java b/tests/new/finalfield/Introducer.java
new file mode 100644
index 000000000..fbd736ead
--- /dev/null
+++ b/tests/new/finalfield/Introducer.java
@@ -0,0 +1,5 @@
+aspect Introducer {
+  final boolean Receiver.someField = true;
+  
+  public static final int Receiver.constant = 2;
+}
diff --git a/tests/new/finalfield/Receiver.java b/tests/new/finalfield/Receiver.java
new file mode 100644
index 000000000..f8c8e2ea0
--- /dev/null
+++ b/tests/new/finalfield/Receiver.java
@@ -0,0 +1,2 @@
+class Receiver {
+}
diff --git a/tests/new/finalfield/User1.java b/tests/new/finalfield/User1.java
new file mode 100644
index 000000000..ab27a1213
--- /dev/null
+++ b/tests/new/finalfield/User1.java
@@ -0,0 +1,8 @@
+import org.aspectj.testing.Tester;
+
+public class User1 {
+	public static void main(String[] args) {
+		Receiver r = new Receiver();
+		Tester.check(r.someField, "introduced field");
+	}
+}
\ No newline at end of file
diff --git a/tests/new/finalfield/User2.java b/tests/new/finalfield/User2.java
new file mode 100644
index 000000000..6210f2a6b
--- /dev/null
+++ b/tests/new/finalfield/User2.java
@@ -0,0 +1,11 @@
+import org.aspectj.testing.Tester;
+
+public class User2 {
+	public static void main(String[] args) {
+		switch(Receiver.constant) {
+			case 2:
+				return;
+		}
+		Tester.checkFailed("shouldn't get here");
+	}
+}
\ No newline at end of file
diff --git a/tests/new/finalfield/UserCf.java b/tests/new/finalfield/UserCf.java
new file mode 100644
index 000000000..20bb77b7a
--- /dev/null
+++ b/tests/new/finalfield/UserCf.java
@@ -0,0 +1,8 @@
+import org.aspectj.testing.Tester;
+
+public class UserCf {
+	public static void main(String[] args) {
+		Receiver r = new Receiver();
+		r.someField = false;
+	}
+}
\ No newline at end of file