Cleaning up: Removing the full-blown graph traversal.
[jpf-core.git] / examples / Racer.java
1 public class Racer implements Runnable {
2      int d = 42;
3
4      public void run () {
5           System.out.println("Thread 2!");
6           doSomething(1001);
7           //d = 0;                              // (1)
8      }
9
10      public static void main (String[] args){
11           Racer racer = new Racer();
12           Thread t = new Thread(racer);
13           t.start();
14           
15           Thread t2 = new Thread(racer);
16           t2.start();
17
18           System.out.println("Thread main!");
19           doSomething(1000);
20           int c = 420 / racer.d;              // (2)
21           System.out.println(c);
22      }
23      
24      static void doSomething (int n) {
25           try { Thread.sleep(n); } catch (InterruptedException ix) {}
26      }
27 }