start of new file

[IRC.git] / Robust / src / ClassLibrary / ThreadDSM.java

diff --git a/Robust/src/ClassLibrary/ThreadDSM.java b/Robust/src/ClassLibrary/ThreadDSM.java
index cc659e7a2455eaed189460345b3185203567c7cb..7c7563982be6ff0716b2b3f64c71a74b0b62e97d 100644 (file)
--- a/Robust/src/ClassLibrary/ThreadDSM.java
+++ b/Robust/src/ClassLibrary/ThreadDSM.java
@@ -1,14 +1,20 @@
 public class Thread {
+    /* Don't allow overriding this method.  If you do, it will break dispatch
+     * because we don't have the type information necessary. */
+    public boolean threadDone;
 
-       public void start(int mid) {
-               remotethreadstart(mid);
-       }
+    public Thread() {
+        threadDone = false;
+    }
 
-       public native static void sleep(long millis);
+    public static native void yield();
 
-       public void run() {
+    public final native void join();
 
-       }
-       
-       public  native void remotethreadstart(int mid);
+    public final native void start(int mid);
+
+    public native static void sleep(long millis);
+    
+    public void run() {
+    }
 }