Robust/src/Analysis/TaskStateAnalysis/FlagTagState.java

   1 package Analysis.TaskStateAnalysis;
   2 import IR.*;
   3 import IR.Tree.*;
   4 import IR.Flat.*;
   5 import java.util.*;
   6
   7 public class FlagTagState {
   8     TagState ts;
   9     FlagState fs;
  10
  11     public FlagTagState(TagState ts, FlagState fs) {
  12         this.ts=ts;
  13         this.fs=fs;
  14     }
  15
  16     public boolean equals(Object o) {
  17         if (o instanceof FlagTagState) {
  18             FlagTagState fts=(FlagTagState) o;
  19             return ts.equals(fts.ts)&&fs.equals(fts.fs);
  20         }
  21         return false;
  22     }
  23
  24     public int hashCode() {
  25         return ts.hashCode()^fs.hashCode();
  26     }
  27 }