Change tabbing for everything....

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

diff --git a/Robust/src/Analysis/TaskStateAnalysis/OptionalTaskDescriptor.java b/Robust/src/Analysis/TaskStateAnalysis/OptionalTaskDescriptor.java
index dcf54601c26579efb69c59ec416bbf82445b1c35..d352689e0a6d64272f6a44af76b47683e49027ea 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/OptionalTaskDescriptor.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/OptionalTaskDescriptor.java
@@ -6,52 +6,52 @@ import IR.Flat.*;
 import java.io.*;
 import Util.Edge;
 
-public class  OptionalTaskDescriptor {
-    public TaskDescriptor td;
-    public HashSet enterflagstates;
-    public HashSet<HashSet> exitfses;
-    public Predicate predicate;
-    private static int nodeid=0;
-    private int index;
-    private int uid;
-
-    protected OptionalTaskDescriptor(TaskDescriptor td, int index, HashSet enterflagstates, Predicate predicate) {
-       this.td = td;
-       this.enterflagstates = enterflagstates;
-       this.exitfses = new HashSet();
-       this.predicate = predicate;
-       this.index=index;
-    }
-    
-    public int hashCode() {
-       return td.hashCode()^enterflagstates.hashCode()^predicate.hashCode()^index;
-    }
+public class OptionalTaskDescriptor {
+  public TaskDescriptor td;
+  public HashSet enterflagstates;
+  public HashSet<HashSet> exitfses;
+  public Predicate predicate;
+  private static int nodeid=0;
+  private int index;
+  private int uid;
 
-    public boolean equals(Object o) {
-       if (o instanceof OptionalTaskDescriptor) {
-           OptionalTaskDescriptor otd=(OptionalTaskDescriptor) o;
-           if (otd.td==td&&
-               otd.enterflagstates.equals(enterflagstates)&&
-               otd.predicate.equals(predicate)&&
-               otd.index==index)
-               return true;
-       }
-       return false;
-    }
+  protected OptionalTaskDescriptor(TaskDescriptor td, int index, HashSet enterflagstates, Predicate predicate) {
+    this.td = td;
+    this.enterflagstates = enterflagstates;
+    this.exitfses = new HashSet();
+    this.predicate = predicate;
+    this.index=index;
+  }
 
-    public int getIndex() {
-       return index;
-    }
+  public int hashCode() {
+    return td.hashCode()^enterflagstates.hashCode()^predicate.hashCode()^index;
+  }
 
-    public String tostring() {
-       return "Optional task "+td.getSymbol();
+  public boolean equals(Object o) {
+    if (o instanceof OptionalTaskDescriptor) {
+      OptionalTaskDescriptor otd=(OptionalTaskDescriptor) o;
+      if (otd.td==td&&
+          otd.enterflagstates.equals(enterflagstates)&&
+          otd.predicate.equals(predicate)&&
+          otd.index==index)
+       return true;
     }
+    return false;
+  }
 
-    public void setuid() {
-       uid=nodeid++;
-    }
+  public int getIndex() {
+    return index;
+  }
 
-    public int getuid() {
-       return uid;
-    }
+  public String tostring() {
+    return "Optional task "+td.getSymbol();
+  }
+
+  public void setuid() {
+    uid=nodeid++;
+  }
+
+  public int getuid() {
+    return uid;
+  }
 }