From 7012fd9a6888c3b7f07bfd37f2a80eef70c6f819 Mon Sep 17 00:00:00 2001
From: adash <adash>
Date: Fri, 14 Dec 2007 21:00:31 +0000
Subject: [PATCH] New test file that checks handling of arrays in prefetch
 analysis

---
 Robust/src/Tests/Atomic4.java | 77 +++++++++++++++++++++++++++++++++++
 1 file changed, 77 insertions(+)
 create mode 100644 Robust/src/Tests/Atomic4.java

diff --git a/Robust/src/Tests/Atomic4.java b/Robust/src/Tests/Atomic4.java
new file mode 100644
index 00000000..0f59381e
--- /dev/null
+++ b/Robust/src/Tests/Atomic4.java
@@ -0,0 +1,77 @@
+public class Atomic4 extends Thread {
+	public Atomic4() {
+		People[] team = new People[2];
+	}
+	People[] team;
+	public static void main(String[] st) {
+		int mid = (128<<24)|(195<<16)|(175<<8)|70;
+		int b,c;
+		
+		Integer age;
+		String name;
+		Atomic4 at4 = null;
+		atomic {
+			at4 = global new Atomic4();
+			age = global new Integer(35);
+			name = global new String("Harry Potter");
+			at4.team[0] = global new People(name, age);
+			b = at4.team[0].getAge();
+		}
+		atomic {
+			age = global new Integer(70);
+			name = global new String("Harry Potter");
+			at4.team[1] = global new People(name,age);
+			c = at4.team[1].getAge();
+		}
+		System.printInt(b);
+		System.printString("\n");
+		System.printString("Starting\n");
+		at4.start(mid);
+		System.printString("Finished\n");
+		while(true) {
+			;
+		}
+	}
+
+	public int run() {
+		String name;
+		int a;
+		boolean old = false;
+		atomic {
+			//FIXME a bug value of trans commit is not saved
+			//a = root.value.intValue();
+			a = team[1].getAge();
+			name = team[1].getName();
+			if(a > 65)
+				old = true;
+		}
+		if(old){
+			System.printString(name + " gets Pension"); 
+			System.printString("\n");
+		}
+	}
+}
+
+public class People {
+	String name;
+	Integer age;
+
+	public People(String name, Integer age) {
+		this.name = name;
+		this.age = age;
+	}
+
+	public String getName() {
+		return name;
+	}
+
+	public int getAge() {
+		return age.intValue();
+	}
+
+	public boolean isSenior() {
+		if(this.getAge() > 65)
+			return true;
+		return false;;
+	}
+}
-- 
2.34.1