changes

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

diff --git a/Robust/src/Analysis/TaskStateAnalysis/ObjWrapper.java b/Robust/src/Analysis/TaskStateAnalysis/ObjWrapper.java
index 3fe4b458d52fa9124357c76942fb2227553bb638..913b45b70e5a12e9360fb973dc5ba64e668cb512 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/ObjWrapper.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/ObjWrapper.java
@@ -5,12 +5,15 @@ import IR.Flat.*;
 import java.util.*;
 
 public class ObjWrapper implements Wrapper{
-    FlagState fs;
-    Vector<TagWrapper> tags;
+    Flagstate initfs;
+    HashSet<FlagState> fs;
+    HashSet<TagWrapper> tags;
 
     public ObjWrapper(FlagState fs) {
-       this.fs=fs;
-       tags=new Vector<TagWrapper>();
+       this.initfs=fs;
+       this.fs=new HashSet<FlagState>();
+       this.fs.add(fs);
+       tags=new HashSet<TagWrapper>();
     }
 
 }