Change tabbing for everything....
[IRC.git] / Robust / src / Analysis / Scheduling / ObjectInfo.java
index d4a4a2cad185362871c58dcfa67cb3e86871efa6..7ffe09a6e8a3f9851c35132b0aa5a87b0abfe4e9 100644 (file)
@@ -3,30 +3,30 @@ package Analysis.Scheduling;
 import Analysis.TaskStateAnalysis.FlagState;
 
 public class ObjectInfo {
-    public ObjectSimulator obj;
-    public FlagState fs;
-    public int version;
+  public ObjectSimulator obj;
+  public FlagState fs;
+  public int version;
 
-    public ObjectInfo(ObjectSimulator obj) {
-       this.obj = obj;
-       this.fs = obj.getCurrentFS();
-       this.version = obj.getVersion();
-    }
+  public ObjectInfo(ObjectSimulator obj) {
+    this.obj = obj;
+    this.fs = obj.getCurrentFS();
+    this.version = obj.getVersion();
+  }
 
-    public boolean equals(Object o) {
-       if (o instanceof ObjectInfo) {
-           ObjectInfo oi=(ObjectInfo)o;
-           if ((oi.obj != obj) || 
-                   (oi.fs != fs) ||
-                   (oi.version != version)) {
-               return false;
-           }
-           return true;
-       }
+  public boolean equals(Object o) {
+    if (o instanceof ObjectInfo) {
+      ObjectInfo oi=(ObjectInfo)o;
+      if ((oi.obj != obj) ||
+          (oi.fs != fs) ||
+          (oi.version != version)) {
        return false;
+      }
+      return true;
     }
+    return false;
+  }
 
-    public int hashCode() {
-       return obj.hashCode()^fs.hashCode()^version;
-    }
+  public int hashCode() {
+    return obj.hashCode()^fs.hashCode()^version;
+  }
 }
\ No newline at end of file