From: adash <adash>
Date: Thu, 3 Jan 2008 03:19:51 +0000 (+0000)
Subject: New test case for thread join
X-Git-Tag: preEdgeChange~326
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=6665b14fac7f46112e5312a4b1ac8da1efc36478;p=IRC.git

New test case for thread join
---

diff --git a/Robust/src/Tests/Atomic2.java b/Robust/src/Tests/Atomic2.java
index c96ef202..cea24dc1 100644
--- a/Robust/src/Tests/Atomic2.java
+++ b/Robust/src/Tests/Atomic2.java
@@ -13,6 +13,8 @@ public class Atomic2 extends Thread {
 	System.printString("Starting\n");
 	t.start(mid);
 	System.printString("Finished\n");
+	/* Test thread join */
+	t.join();
 	//this is ugly...
 	while(true) {
 	    atomic {
diff --git a/Robust/src/Tests/Atomic5.java b/Robust/src/Tests/Atomic5.java
new file mode 100644
index 00000000..b0160029
--- /dev/null
+++ b/Robust/src/Tests/Atomic5.java
@@ -0,0 +1,107 @@
+public class Atomic5 extends Thread {
+	public People[] team;
+	public Atomic5() {
+	}
+	public static void main(String[] st) {
+		int mid = (128<<24)|(195<<16)|(175<<8)|70;
+		int b = 0,c = 0;
+		
+		Integer age;
+		String name;
+		Atomic at5[];
+		atomic {
+			at5[] =  global new Atomic5[4];
+		}
+		atomic {
+			for(int i = 0 ; i< 4; i++) {
+				at5[i] = global new Atomic5();
+				at5[i].team = global new People[2];
+				at5[i].team[0] = global new People();
+				at5[i].team[1] = global new People();
+				age = global new Integer(35);
+				name = global new String("Harry Potter");
+				at5[i].team[0].name = name;
+				at5[i].team[0].age = age;
+			}
+			b = at5[1].team[0].getAge();
+		}
+		atomic {
+			age = global new Integer(70);
+			name = global new String("John Smith");
+			at5[1].team[1].name = name;
+			at5[1].team[1].age = age;
+			c = at5[1].team[1].getAge();
+		}
+		System.printInt(b);
+		System.printInt(c);
+		System.printString("\n");
+		System.printString("Starting\n");
+		for(int i = 0 ; i< 4; i++) {
+			at5[i].start(mid);
+		}
+		System.printString("Finished\n");
+		while(true) {
+			;
+		}
+	}
+
+	public int run() {
+		/*
+		String newname = "";
+		int ag;
+		boolean old = false;
+		atomic {
+			ag = team[1].getAge();
+			newname = team[1].getName();
+			if(ag > 65)
+				old = true;
+		}
+		if(old){
+			System.printString(" gets Pension"); 
+			System.printString("\n");
+		}
+		*/
+		System.printString("Atomic5() Inside the run program"); 
+		System.printString("\n");
+		/*
+		for(int i=0; i<4 ; i++) {
+			at5[i].join();
+		}
+		*/
+	}
+}
+
+public class People {
+	String name;
+	Integer age;
+
+	public People() {
+	}
+
+	public People(String name, Integer age) {
+		this.name = name;
+		this.age = age;
+	}
+
+	public void setName(String n) {
+		name = n;
+	}
+	
+	public void setAge(Integer a) {
+		age = a;
+	}
+
+	public String getName() {
+		return name;
+	}
+
+	public int getAge() {
+		return age.intValue();
+	}
+
+	public boolean isSenior() {
+		if(this.getAge() > 65)
+			return true;
+		return false;;
+	}
+}