Robust/src/Analysis/TaskStateAnalysis/ObjWrapper.java

   1 package Analysis.TaskStateAnalysis;
   2 import IR.*;
   3 import IR.Tree.*;
   4 import IR.Flat.*;
   5 import java.util.*;
   6
   7 public class ObjWrapper implements Wrapper{
   8     FlagState initfs;
   9     HashSet<FlagState> fs;
  10     HashSet<TagWrapper> tags;
  11
  12     public ObjWrapper(FlagState fs) {
  13         this.initfs=fs;
  14         this.fs=new HashSet<FlagState>();
  15         tags=new HashSet<TagWrapper>();
  16     }
  17
  18     public ObjWrapper() {
  19         this.fs=new HashSet<FlagState>();
  20         this.tags=new HashSet<TagWrapper>();
  21     }
  22
  23
  24 }