Change tabbing for everything....

[IRC.git] / Robust / src / Analysis / TaskStateAnalysis / FlagComparator.java

diff --git a/Robust/src/Analysis/TaskStateAnalysis/FlagComparator.java b/Robust/src/Analysis/TaskStateAnalysis/FlagComparator.java
index 1519d9759cfe8ba73ecd479a4e2aed62852b7463..66971e18aa1bc907088b52313c738ec259ee87ed 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/FlagComparator.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/FlagComparator.java
@@ -7,24 +7,24 @@ import IR.FlagDescriptor;
 /**Note: this comparator imposes orderings that are inconsistent with equals.*/
 
 public class FlagComparator implements Comparator {
-    Hashtable flaginfo;
-    public FlagComparator(Hashtable flaginfo) {
-       this.flaginfo=flaginfo;
-    }
+  Hashtable flaginfo;
+  public FlagComparator(Hashtable flaginfo) {
+    this.flaginfo=flaginfo;
+  }
 
-    public int compare(Object o1, Object o2) {
-       int fs1=getFlagInt((FlagState)o1);
-       int fs2=getFlagInt((FlagState)o2);
-       return fs1-fs2;
-    }
-    
-    public int getFlagInt(FlagState fs) {
-       int flagid=0;
-       for(Iterator flags = fs.getFlags(); flags.hasNext();){
-           FlagDescriptor flagd = (FlagDescriptor)flags.next();
-           int id=1<<((Integer)flaginfo.get(flagd)).intValue();
-           flagid|=id;
-       }
-       return flagid;
+  public int compare(Object o1, Object o2) {
+    int fs1=getFlagInt((FlagState)o1);
+    int fs2=getFlagInt((FlagState)o2);
+    return fs1-fs2;
+  }
+
+  public int getFlagInt(FlagState fs) {
+    int flagid=0;
+    for(Iterator flags = fs.getFlags(); flags.hasNext();){
+      FlagDescriptor flagd = (FlagDescriptor)flags.next();
+      int id=1<<((Integer)flaginfo.get(flagd)).intValue();
+      flagid|=id;
     }
+    return flagid;
+  }
 }