Robust/src/ClassLibrary/ThreadDSM.java

   1 public class Thread {
   2   /* Don't allow overriding this method.  If you do, it will break dispatch
   3    * because we don't have the type information necessary. */
   4   public boolean threadDone;
   5
   6   public Thread() {
   7     threadDone = false;
   8   }
   9
  10   public static native void yield();
  11
  12   public final native void join();
  13
  14   public final native void start(int mid);
  15
  16   public native static void sleep(long millis);
  17
  18   public void run() {
  19   }
  20 }