Adding ParameterizedTypeImpl to getGenericSuperclass method.
[jpf-core.git] / examples / Racer.java
1 public class Racer implements Runnable {
2      int d = 42;
3
4      public void run () {
5           doSomething(1001);
6           d = 0;                              // (1)
7      }
8
9      public static void main (String[] args){
10           Racer racer = new Racer();
11           Thread t = new Thread(racer);
12           t.start();
13
14           doSomething(1000);
15           int c = 420 / racer.d;              // (2)
16           System.out.println(c);
17      }
18      
19      static void doSomething (int n) {
20           try { Thread.sleep(n); } catch (InterruptedException ix) {}
21      }
22 }