Fix tabbing.... Please fix your editors so they do tabbing correctly!!! (Spaces...

[IRC.git] / Robust / src / Analysis / OoOJava / WaitingElement.java

diff --git a/Robust/src/Analysis/OoOJava/WaitingElement.java b/Robust/src/Analysis/OoOJava/WaitingElement.java
index d4a5b78c461053eadad4a6b0bc5e725966027f0a..8794955ff1999e9f9ec46446faceaff5c252737b 100644 (file)
--- a/Robust/src/Analysis/OoOJava/WaitingElement.java
+++ b/Robust/src/Analysis/OoOJava/WaitingElement.java
@@ -11,12 +11,12 @@ public class WaitingElement {
   private int status;
   private String dynID = "";
   private TempDescriptor tempDesc;
-  
+
   // if scc/coarse represents more than one waiting elements
   // ignored waiting element is inserted into a set of waiting element as a bogus element
   private boolean bogus = false;
 
-  // a set of tempDescriptors: 
+  // a set of tempDescriptors:
   // all associated with coarse conflicts for the same queue and the same sese
   private Set<TempDescriptor> tempSet;
 
@@ -101,12 +101,12 @@ public class WaitingElement {
     return hash;
 
   }
-  
-  public boolean isBogus(){
+
+  public boolean isBogus() {
     return bogus;
   }
-  
-  public void setBogus(boolean b){
+
+  public void setBogus(boolean b) {
     bogus=b;
   }