Change tabbing for everything....
[IRC.git] / Robust / src / Analysis / Scheduling / ClassNode.java
index a033c904130d75a6a99ab94c3a7c3ac4bab4a563..e93cfe40beefa58f06bbfa903f66022089973fb7 100644 (file)
@@ -8,144 +8,144 @@ import Util.GraphNode;
 
 /** This class holds a flag diagram for one class.
  */
-public class ClassNode extends GraphNode implements Cloneable{
-    
-    private int uid;
-    private static int nodeID=0;
-
-    private final ClassDescriptor cd;
-    private ScheduleNode sn;
-    private Vector<FlagState> flagStates;
-    private boolean sorted = false;
-    private boolean clone = false;
-    
-    private int transTime;
-
-    /** Class constructor
-     * @param cd ClassDescriptor
-     *  @param fStates
-     */
-    public ClassNode(ClassDescriptor cd, Vector<FlagState> fStates) {
-       this.cd=cd;
-       this.flagStates = fStates;
-       this.sn = null;
-       this.uid=ClassNode.nodeID++;
-       this.transTime = 0;
-    }
-    
-    public int getTransTime() {
-       return this.transTime;
-    }
-    
-    public void setTransTime(int transTime) {
-       this.transTime = transTime;
-    }
-   
-    public int getuid() {
-       return uid;
-    }
-    
-    public ScheduleNode getScheduleNode() {
-       return this.sn;
-    }
-    
-    public void setScheduleNode(ScheduleNode sn) {
-       this.sn = sn;
-    }
-    
-    public boolean isSorted() {
-       return sorted;
-    }
-    
-    public void setSorted(boolean sorted) {
-       this.sorted = sorted;
-    }
-    
-    public Vector<FlagState> getFlagStates() {
-       return flagStates;
-    }
-    
-    public boolean isclone() {
-       return clone;
-    }
-    
-    public String toString() {
-       return cd.toString()+getTextLabel();
-    }
+public class ClassNode extends GraphNode implements Cloneable {
 
-    /** @return Iterator over the flags in the flagstate.
-     */
-     
-    public Iterator getFlags() {
-       return flagStates.iterator();
-    }
+  private int uid;
+  private static int nodeID=0;
 
-    public int numFlags(){
-       return flagStates.size();
-    }
-    
-    /** Accessor method
-     *  @return returns the classdescriptor of the flagstate.
-     */
-        
-    public ClassDescriptor getClassDescriptor(){
-       return cd;
-    }
-    
-    /** Tests for equality of two flagstate objects.
-    */
-    
-    public boolean equals(Object o) {
-        if (o instanceof ClassNode) {
-           ClassNode fs=(ClassNode)o;
-            if ((fs.getClassDescriptor()!= cd) || 
-               (fs.isSorted() != sorted) ||
-               (fs.clone != this.clone) ||
-               (fs.transTime != this.transTime)) {
-                return false;
-            }
-           return (fs.getFlagStates().equals(flagStates));
-        }
-        return false;
-    }
+  private final ClassDescriptor cd;
+  private ScheduleNode sn;
+  private Vector<FlagState> flagStates;
+  private boolean sorted = false;
+  private boolean clone = false;
 
-    public int hashCode() {
-        return cd.hashCode()^Boolean.toString(sorted).hashCode()^Boolean.toString(clone).hashCode()^
-               transTime^flagStates.hashCode();
-    }
+  private int transTime;
 
-    public String getLabel() {
-       return "N_"+uid;
-    }
-    
-    public String getClusterLabel() {
-       return "cluster_"+uid;
-    }
+  /** Class constructor
+   *   @param cd ClassDescriptor
+   *  @param fStates
+   */
+  public ClassNode(ClassDescriptor cd, Vector<FlagState> fStates) {
+    this.cd=cd;
+    this.flagStates = fStates;
+    this.sn = null;
+    this.uid=ClassNode.nodeID++;
+    this.transTime = 0;
+  }
 
-    public String getTextLabel() {
-       String label=null;
-       label = "Class " + this.cd.getSymbol();
-       
-       if (label==null)
-           return " ";
-       return label;
-    }
-    
-    public Object clone() {
-       ClassNode o = null;
-       try {
-           o = (ClassNode)super.clone();
-       } catch(CloneNotSupportedException e){
-           e.printStackTrace();
-       }
-       o.uid = ClassNode.nodeID++;
-       o.clone = true;
-       return o;
-    }
-    
-    public void calExeTime() {
-       for(int i = 0; i <  this.flagStates.size(); i++) {
-           this.flagStates.elementAt(i).getExeTime();
-       }
+  public int getTransTime() {
+    return this.transTime;
+  }
+
+  public void setTransTime(int transTime) {
+    this.transTime = transTime;
+  }
+
+  public int getuid() {
+    return uid;
+  }
+
+  public ScheduleNode getScheduleNode() {
+    return this.sn;
+  }
+
+  public void setScheduleNode(ScheduleNode sn) {
+    this.sn = sn;
+  }
+
+  public boolean isSorted() {
+    return sorted;
+  }
+
+  public void setSorted(boolean sorted) {
+    this.sorted = sorted;
+  }
+
+  public Vector<FlagState> getFlagStates() {
+    return flagStates;
+  }
+
+  public boolean isclone() {
+    return clone;
+  }
+
+  public String toString() {
+    return cd.toString()+getTextLabel();
+  }
+
+  /** @return Iterator over the flags in the flagstate.
+   */
+
+  public Iterator getFlags() {
+    return flagStates.iterator();
+  }
+
+  public int numFlags() {
+    return flagStates.size();
+  }
+
+  /** Accessor method
+   *  @return returns the classdescriptor of the flagstate.
+   */
+
+  public ClassDescriptor getClassDescriptor() {
+    return cd;
+  }
+
+  /** Tests for equality of two flagstate objects.
+   */
+
+  public boolean equals(Object o) {
+    if (o instanceof ClassNode) {
+      ClassNode fs=(ClassNode)o;
+      if ((fs.getClassDescriptor()!= cd) ||
+          (fs.isSorted() != sorted) ||
+          (fs.clone != this.clone) ||
+          (fs.transTime != this.transTime)) {
+       return false;
+      }
+      return (fs.getFlagStates().equals(flagStates));
+    }
+    return false;
+  }
+
+  public int hashCode() {
+    return cd.hashCode()^Boolean.toString(sorted).hashCode()^Boolean.toString(clone).hashCode()^
+           transTime^flagStates.hashCode();
+  }
+
+  public String getLabel() {
+    return "N_"+uid;
+  }
+
+  public String getClusterLabel() {
+    return "cluster_"+uid;
+  }
+
+  public String getTextLabel() {
+    String label=null;
+    label = "Class " + this.cd.getSymbol();
+
+    if (label==null)
+      return " ";
+    return label;
+  }
+
+  public Object clone() {
+    ClassNode o = null;
+    try {
+      o = (ClassNode) super.clone();
+    } catch(CloneNotSupportedException e){
+      e.printStackTrace();
+    }
+    o.uid = ClassNode.nodeID++;
+    o.clone = true;
+    return o;
+  }
+
+  public void calExeTime() {
+    for(int i = 0; i <  this.flagStates.size(); i++) {
+      this.flagStates.elementAt(i).getExeTime();
     }
+  }
 }