Robust/src/Analysis/TaskStateAnalysis/FlagComparator.java

   1 package Analysis.TaskStateAnalysis;
   2 import java.util.Hashtable;
   3 import java.util.Comparator;
   4 import java.util.Iterator;
   5 import IR.FlagDescriptor;
   6
   7 /**Note: this comparator imposes orderings that are inconsistent with equals.*/
   8
   9 public class FlagComparator implements Comparator {
  10   Hashtable flaginfo;
  11   public FlagComparator(Hashtable flaginfo) {
  12     this.flaginfo=flaginfo;
  13   }
  14
  15   public int compare(Object o1, Object o2) {
  16     int fs1=getFlagInt((FlagState)o1);
  17     int fs2=getFlagInt((FlagState)o2);
  18     return fs1-fs2;
  19   }
  20
  21   public int getFlagInt(FlagState fs) {
  22     int flagid=0;
  23     for(Iterator flags = fs.getFlags(); flags.hasNext(); ) {
  24       FlagDescriptor flagd = (FlagDescriptor)flags.next();
  25       int id=1<<((Integer)flaginfo.get(flagd)).intValue();
  26       flagid|=id;
  27     }
  28     return flagid;
  29   }
  30 }