adding a test case

[IRC.git] / Robust / TransSim / ThreadInfo.java

diff --git a/Robust/TransSim/ThreadInfo.java b/Robust/TransSim/ThreadInfo.java
index c8133798357ad0d7119abc112209d1ac57752d8a..8deff3f08ccd9a5a42ddb4f50e4a5d07a9807370 100644 (file)
--- a/Robust/TransSim/ThreadInfo.java
+++ b/Robust/TransSim/ThreadInfo.java
@@ -7,15 +7,35 @@ public class ThreadInfo {
   }
   boolean stalled;
   int oid;
+  int index;
+  int priority;
+  boolean aborted;
 
   public void setObject(int oid) {
     this.oid=oid;
   }
 
+  public void setIndex(int index) {
+    this.index=index;
+  }
+
   public int getObject() {
     return oid;
   }
 
+  public int getIndex() {
+    return index;
+  }
+
+  public void setObjIndex(ObjIndex oi) {
+    oid=oi.object;
+    index=oi.index;
+  }
+
+  public ObjIndex getObjIndex() {
+    return new ObjIndex(oid, index);
+  }
+
   public boolean isStalled() {
     return stalled;
   }