bug fixes

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

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TagState.java b/Robust/src/Analysis/TaskStateAnalysis/TagState.java
index 925ed8187566a84fc027e0c645aeafa08a544c74..4cc8fba25507da8fbdb7580d187bbefd854a5ca7 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/TagState.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/TagState.java
@@ -8,22 +8,35 @@ import Util.GraphNode;
 
 public class TagState extends GraphNode {
     private TagDescriptor tag;
+    private ClassDescriptor cd;
     private Hashtable<FlagState, Integer> flags;
     public static final int KLIMIT=2;
+    public HashSet<TaskDescriptor> sourceset;
 
-    public TagState() {
-       this(null);
+    public TagState(ClassDescriptor cd) {
+       this.flags=new Hashtable<FlagState, Integer>();
+       this.sourceset=new HashSet<TaskDescriptor>();
+       this.cd=cd;
+    }
+
+    public void addSource(TaskDescriptor td) {
+       sourceset.add(td);
     }
 
     public TagState(TagDescriptor tag) {
        this.tag=tag;
        this.flags=new Hashtable<FlagState, Integer>();
+       this.sourceset=new HashSet<TaskDescriptor>();
     }
 
     public TagDescriptor getTag() {
        return tag;
     }
 
+    public ClassDescriptor getClassDesc() {
+       return cd;
+    }
+
     public TagState[] clearFS(FlagState fs) {
        int num=0;
        if (flags.containsKey(fs))