Changes for William's Analysis

[IRC.git] / Robust / src / Analysis / TaskStateAnalysis / FlagState.java

diff --git a/Robust/src/Analysis/TaskStateAnalysis/FlagState.java b/Robust/src/Analysis/TaskStateAnalysis/FlagState.java
index 7a83da44097ff3631d1e9e49e4e2ed5fbbd52d01..6e122435b5eebe9f685dc31c538c7aacf07a2cd8 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/FlagState.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/FlagState.java
@@ -23,6 +23,8 @@ public class FlagState extends GraphNode {
     private final Hashtable<TagDescriptor,Integer> tags;
     private boolean issourcenode;
     private Vector tasks;
+
+    private boolean marked=false;
     
 
     /** Class constructor
@@ -51,7 +53,23 @@ public class FlagState extends GraphNode {
        this.issourcenode=false;
        
     }
-    
+   
+    public int getuid() {
+       return uid;
+    }
+
+    public boolean isMarked() {
+       return marked;
+    }
+
+    public void doUnmarking() {
+       marked = false;
+    }
+
+    public void doMarking() {
+       marked = true;
+    }
+            
     /** Accessor method
       *  @param fd FlagDescriptor
       *  @return true if the flagstate contains fd else false.