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 }