Set fields instead of initializing
[IRC.git] / Robust / src / Tests / Atomic4.java
1 public class Atomic4 extends Thread {
2         People[] team;
3         public Atomic4() {
4                 People[] team = new People[2];
5         }
6         public static void main(String[] st) {
7                 int mid = (128<<24)|(195<<16)|(175<<8)|70;
8                 int b,c;
9                 
10                 Integer age;
11                 String name;
12                 Atomic4 at4 = null;
13                 atomic {
14                         at4 = global new Atomic4();
15                         age = global new Integer(35);
16                         name = global new String("Harry Potter");
17                         at4.team[0].name = name;
18                         at4.team[0].age = age;
19                         b = at4.team[0].getAge();
20                 }
21                 atomic {
22                         age = global new Integer(70);
23                         name = global new String("John Smith");
24                         at4.team[1].name = name;
25                         at4.team[1].age = age;
26                         c = at4.team[1].getAge();
27                 }
28                 System.printInt(b);
29                 System.printInt(c);
30                 System.printString("\n");
31                 System.printString("Starting\n");
32                 at4.start(mid);
33                 System.printString("Finished\n");
34                 while(true) {
35                         ;
36                 }
37         }
38
39         public int run() {
40                 String newname = "";
41                 int ag;
42                 boolean old = false;
43                 atomic {
44                         ag = team[1].getAge();
45                         newname = team[1].getName();
46                         if(ag > 65)
47                                 old = true;
48                 }
49                 if(old){
50                         System.printString(" gets Pension"); 
51                         System.printString("\n");
52                 }
53         }
54 }
55
56 public class People {
57         String name;
58         Integer age;
59
60         public People(String name, Integer age) {
61                 this.name = name;
62                 this.age = age;
63         }
64
65         public void setName(String n) {
66                 name = n;
67         }
68         
69         public void setAge(Integer a) {
70                 age = a;
71         }
72
73         public String getName() {
74                 return name;
75         }
76
77         public int getAge() {
78                 int test = age.intValue();
79                 //return age.intValue();
80                 return test; 
81         }
82
83         public boolean isSenior() {
84                 if(this.getAge() > 65)
85                         return true;
86                 return false;;
87         }
88 }