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 }