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                         at4.team[0] = global new People();
  16                         at4.team[1] = global new People();
  17                         age = global new Integer(35);
  18                         name = global new String("Harry Potter");
  19                         at4.team[0].name = name;
  20                         at4.team[0].age = age;
  21                         b = at4.team[0].getAge();
  22                 }
  23                 atomic {
  24                         age = global new Integer(70);
  25                         name = global new String("John Smith");
  26                         at4.team[1].name = name;
  27                         at4.team[1].age = age;
  28                         c = at4.team[1].getAge();
  29                 }
  30                 System.printInt(b);
  31                 System.printInt(c);
  32                 System.printString("\n");
  33                 System.printString("Starting\n");
  34                 at4.start(mid);
  35                 System.printString("Finished\n");
  36                 while(true) {
  37                         ;
  38                 }
  39         }
  40
  41         public int run() {
  42                 String newname = "";
  43                 int ag;
  44                 boolean old = false;
  45                 atomic {
  46                         ag = team[1].getAge();
  47                         newname = team[1].getName();
  48                         if(ag > 65)
  49                                 old = true;
  50                 }
  51                 if(old){
  52                         System.printString(" gets Pension");
  53                         System.printString("\n");
  54                 }
  55         }
  56 }
  57
  58 public class People {
  59         String name;
  60         Integer age;
  61
  62         public People() {
  63         }
  64
  65         public People(String name, Integer age) {
  66                 this.name = name;
  67                 this.age = age;
  68         }
  69
  70         public void setName(String n) {
  71                 name = n;
  72         }
  73
  74         public void setAge(Integer a) {
  75                 age = a;
  76         }
  77
  78         public String getName() {
  79                 return name;
  80         }
  81
  82         public int getAge() {
  83                 return age.intValue();
  84         }
  85
  86         public boolean isSenior() {
  87                 if(this.getAge() > 65)
  88                         return true;
  89                 return false;;
  90         }
  91 }