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 {
   8     TagState initts;
   9     Vector<TagState> ts;
  10
  11     public TagWrapper(TagState ts) {
  12         this.initts=ts;
  13         this.ts=new Vector<TagState>();
  14         this.ts.addAll(ts);
  15     }
  16
  17     public TagWrapper clone() {
  18         TagWrapper tw=new TagWrapper();
  19         tw.initts=initts;
  20         tw.ts=ts.clone();
  21         return tw;
  22     }
  23
  24     public boolean equals(Object o) {
  25         if (o instanceof TagWrapper) {
  26             TagWrapper tw=(TagWrapper)o;
  27             return tw.initts.equals(initts)&&tw.ts.equals(ts);
  28         }
  29         return false;
  30     }
  31
  32     public int hashCode() {
  33         return initts.hashCode()^ts.hashCode();
  34     }
  35 }