Fix tabbing.... Please fix your editors so they do tabbing correctly!!! (Spaces...

[IRC.git] / Robust / src / Analysis / Scheduling / ObjectSimulator.java

diff --git a/Robust/src/Analysis/Scheduling/ObjectSimulator.java b/Robust/src/Analysis/Scheduling/ObjectSimulator.java
index 6c78c7f4fabd7140de986ee7e8a599e7382214eb..69421a4fe82b1abf5e67f5e47f5ec6e9a5bcacab 100644 (file)
--- a/Robust/src/Analysis/Scheduling/ObjectSimulator.java
+++ b/Robust/src/Analysis/Scheduling/ObjectSimulator.java
@@ -5,76 +5,95 @@ import Analysis.TaskStateAnalysis.FlagState;
 import IR.ClassDescriptor;
 
 public class ObjectSimulator {
-    ClassDescriptor cd;
-    FlagState currentFS;
-    boolean changed;
-    boolean shared;
-    boolean hold;
-    int version;
-    
-    public ObjectSimulator(ClassDescriptor cd, FlagState currentFS) {
-       super();
-       this.cd = cd;
-       this.currentFS = currentFS;
-       this.changed = true;
-       this.shared = false;
-       this.hold = false;
-       this.version = 0;
-    }
-    
-    public void applyEdge(FEdge fedge) {
-       if(!currentFS.equals((FlagState)fedge.getTarget())) {
-           this.changed = true;
-           currentFS = (FlagState)fedge.getTarget();
-       } else {
-           this.changed = false;
-       }
-    }
+  static int objid = 0;
 
-    public ClassDescriptor getCd() {
-        return cd;
-    }
+  int oid;
+  ClassDescriptor cd;
+  FlagState currentFS;
+  boolean changed;
+  boolean shared;
+  boolean hold;
+  int version;
 
-    public FlagState getCurrentFS() {
-        return currentFS;
-    }
+  // TODO, crack for KMeans
+  int counter;
 
-    public boolean isChanged() {
-        return changed;
+  public ObjectSimulator(ClassDescriptor cd,
+                         FlagState currentFS) {
+    super();
+    this.oid = ObjectSimulator.objid++;
+    this.cd = cd;
+    this.currentFS = currentFS;
+    this.changed = true;
+    this.shared = false;
+    this.hold = false;
+    this.version = 0;
+    if(this.cd.getSymbol().equals("Cluster")) {
+      this.counter = 83 * 2 + 1; //102 * 2 + 1; //83 * 2 + 1;
+    } else {
+      this.counter = -1;
     }
+  }
 
-    public void setCurrentFS(FlagState currentFS) {
-        /*if(!this.currentFS.equals(currentFS)) {
-            changed = true;
-            this.currentFS = currentFS;
-        } else {
-            changed = false;
-        }*/
-       changed = true;
-        this.currentFS = currentFS;
+  public void applyEdge(FEdge fedge) {
+    if(!currentFS.equals((FlagState)fedge.getTarget())) {
+      this.changed = true;
+      currentFS = (FlagState)fedge.getTarget();
+      if(this.counter > 0) {
+       //System.err.println(this.counter);
+       this.counter--;
+      }
+      if((this.cd.getSymbol().equals("Cluster")) && (this.counter == 0)) {
+       // go to end state
+       this.currentFS = new FlagState(this.cd);
+      }
+    } else {
+      this.changed = false;
     }
+  }
 
-    public boolean isHold() {
-        return hold;
-    }
+  public int getOid() {
+    return oid;
+  }
 
-    public void setHold(boolean hold) {
-        this.hold = hold;
-    }
+  public ClassDescriptor getCd() {
+    return cd;
+  }
 
-    public boolean isShared() {
-        return shared;
-    }
+  public FlagState getCurrentFS() {
+    return currentFS;
+  }
 
-    public void setShared(boolean shared) {
-        this.shared = shared;
-    }
+  public boolean isChanged() {
+    return changed;
+  }
 
-    public int getVersion() {
-        return version;
-    }
+  public void setCurrentFS(FlagState currentFS) {
+    changed = true;
+    this.currentFS = currentFS;
+  }
 
-    public void increaseVersion() {
-        this.version++;
-    }
-}
\ No newline at end of file
+  public boolean isHold() {
+    return hold;
+  }
+
+  public void setHold(boolean hold) {
+    this.hold = hold;
+  }
+
+  public boolean isShared() {
+    return shared;
+  }
+
+  public void setShared(boolean shared) {
+    this.shared = shared;
+  }
+
+  public int getVersion() {
+    return version;
+  }
+
+  public void increaseVersion() {
+    this.version++;
+  }
+}