Robust/src/ClassLibrary/Thread.java

   1 public class Thread {
   2     private boolean finished;
   3
   4     public void start() {
   5         nativeCreate();
   6     }
   7
   8     private static void staticStart(Thread t) {
   9         t.run();
  10     }
  11
  12     public void join() {
  13         nativeJoin();
  14     }
  15
  16     private native void nativeJoin();
  17
  18     public native static void sleep(long millis);
  19
  20     public void run() {}
  21
  22     private native void nativeCreate();
  23
  24 }