Change tabbing for everything....

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

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TagState.java b/Robust/src/Analysis/TaskStateAnalysis/TagState.java
index 4cc8fba25507da8fbdb7580d187bbefd854a5ca7..6f6f0ffbdd037a4fd6304315f027790e1f56273e 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/TagState.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/TagState.java
@@ -7,105 +7,105 @@ import Util.GraphNode;
 
 
 public class TagState extends GraphNode {
-    private TagDescriptor tag;
-    private ClassDescriptor cd;
-    private Hashtable<FlagState, Integer> flags;
-    public static final int KLIMIT=2;
-    public HashSet<TaskDescriptor> sourceset;
-
-    public TagState(ClassDescriptor cd) {
-       this.flags=new Hashtable<FlagState, Integer>();
-       this.sourceset=new HashSet<TaskDescriptor>();
-       this.cd=cd;
-    }
+  private TagDescriptor tag;
+  private ClassDescriptor cd;
+  private Hashtable<FlagState, Integer> flags;
+  public static final int KLIMIT=2;
+  public HashSet<TaskDescriptor> sourceset;
 
-    public void addSource(TaskDescriptor td) {
-       sourceset.add(td);
-    }
+  public TagState(ClassDescriptor cd) {
+    this.flags=new Hashtable<FlagState, Integer>();
+    this.sourceset=new HashSet<TaskDescriptor>();
+    this.cd=cd;
+  }
 
-    public TagState(TagDescriptor tag) {
-       this.tag=tag;
-       this.flags=new Hashtable<FlagState, Integer>();
-       this.sourceset=new HashSet<TaskDescriptor>();
-    }
+  public void addSource(TaskDescriptor td) {
+    sourceset.add(td);
+  }
 
-    public TagDescriptor getTag() {
-       return tag;
-    }
+  public TagState(TagDescriptor tag) {
+    this.tag=tag;
+    this.flags=new Hashtable<FlagState, Integer>();
+    this.sourceset=new HashSet<TaskDescriptor>();
+  }
 
-    public ClassDescriptor getClassDesc() {
-       return cd;
-    }
+  public TagDescriptor getTag() {
+    return tag;
+  }
 
-    public TagState[] clearFS(FlagState fs) {
-       int num=0;
-       if (flags.containsKey(fs))
-           num=flags.get(fs).intValue();
-       if (num>0)
-           num--;
-       
-       TagState ts=new TagState(tag);
-       ts.flags.putAll(flags);
-       ts.flags.put(fs, new Integer(num));
-
-       if ((num+1)==KLIMIT)
-           return new TagState[] {ts, this};
-       else
-           return new TagState[] {ts};
-    }
+  public ClassDescriptor getClassDesc() {
+    return cd;
+  }
 
-    public TagState[] addnewFS(FlagState fs) {
-       int num=0;
-       if (flags.containsKey(fs))
-           num=flags.get(fs).intValue();
-       if (num<KLIMIT)
-           num++;
-
-       TagState ts=new TagState(tag);
-       ts.flags.putAll(flags);
-       ts.flags.put(fs, new Integer(num));
-       return new TagState[] {ts};
-    }
+  public TagState[] clearFS(FlagState fs) {
+    int num=0;
+    if (flags.containsKey(fs))
+      num=flags.get(fs).intValue();
+    if (num>0)
+      num--;
 
-    public TagState[] addFS(FlagState fs) {
-       int num=0;
-       if (flags.containsKey(fs))
-           num=flags.get(fs).intValue();
-       if (num<KLIMIT)
-           num++;
-       
-       TagState ts=new TagState(tag);
-       ts.flags.putAll(flags);
-       ts.flags.put(fs, new Integer(num));
-       if (num==1)
-           return new TagState[] {ts};
-       else
-           return new TagState[] {this, ts};
-    }
+    TagState ts=new TagState(tag);
+    ts.flags.putAll(flags);
+    ts.flags.put(fs, new Integer(num));
 
-    public boolean containsFS(FlagState fs) {
-       return flags.containsKey(fs);
-    }
+    if ((num+1)==KLIMIT)
+      return new TagState[] {ts, this};
+    else
+      return new TagState[] {ts};
+  }
 
-    public Set<FlagState> getFS() {
-       return flags.keySet();
-    }
+  public TagState[] addnewFS(FlagState fs) {
+    int num=0;
+    if (flags.containsKey(fs))
+      num=flags.get(fs).intValue();
+    if (num<KLIMIT)
+      num++;
 
-    public int hashCode() {
-       int hashcode=flags.hashCode();
-       if (tag!=null)
-           hashcode^=tag.hashCode();
-       return hashcode;
-    }
-  
-    public boolean equals(Object o) {
-       if (o instanceof TagState) {
-           TagState t=(TagState)o;
-           if ((tag==null&&t.tag==null)||
-               (tag!=null&&t.tag!=null&&tag.equals(t.tag))) {
-               return flags.equals(t.flags);
-           }
-       }
-       return false;
+    TagState ts=new TagState(tag);
+    ts.flags.putAll(flags);
+    ts.flags.put(fs, new Integer(num));
+    return new TagState[] {ts};
+  }
+
+  public TagState[] addFS(FlagState fs) {
+    int num=0;
+    if (flags.containsKey(fs))
+      num=flags.get(fs).intValue();
+    if (num<KLIMIT)
+      num++;
+
+    TagState ts=new TagState(tag);
+    ts.flags.putAll(flags);
+    ts.flags.put(fs, new Integer(num));
+    if (num==1)
+      return new TagState[] {ts};
+    else
+      return new TagState[] {this, ts};
+  }
+
+  public boolean containsFS(FlagState fs) {
+    return flags.containsKey(fs);
+  }
+
+  public Set<FlagState> getFS() {
+    return flags.keySet();
+  }
+
+  public int hashCode() {
+    int hashcode=flags.hashCode();
+    if (tag!=null)
+      hashcode^=tag.hashCode();
+    return hashcode;
+  }
+
+  public boolean equals(Object o) {
+    if (o instanceof TagState) {
+      TagState t=(TagState)o;
+      if ((tag==null&&t.tag==null)||
+          (tag!=null&&t.tag!=null&&tag.equals(t.tag))) {
+       return flags.equals(t.flags);
+      }
     }
+    return false;
+  }
 }