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 }