Robust/src/Analysis/TaskStateAnalysis/TagWrapper.java

   1 package Analysis.TaskStateAnalysis;
   2 import IR.*;
   3 import IR.Tree.*;
   4 import IR.Flat.*;
   5 import java.util.*;
   6
   7 public class TagWrapper implements Wrapper {
   8   TagState initts;
   9   HashSet<TagState> ts;
  10
  11   public TagWrapper(TagState ts) {
  12     this.initts=ts;
  13     this.ts=new HashSet<TagState>();
  14     this.ts.add(ts);
  15   }
  16
  17   private TagWrapper() {
  18   }
  19
  20   public TagState getState() {
  21     assert(ts.size()==1);
  22     return ts.iterator().next();
  23   }
  24
  25   public TagWrapper clone() {
  26     TagWrapper tw=new TagWrapper();
  27     tw.initts=initts;
  28     tw.ts=(HashSet<TagState>)ts.clone();
  29     return tw;
  30   }
  31 }