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 final native void join();
  11
  12     public final native void start(int mid);
  13
  14     public native static void sleep(long millis);
  15
  16     public void run() {
  17     }
  18 }