Robust/src/ClassLibrary/JavaSTM/Thread.java

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