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 }