Change tabbing for everything....
[IRC.git] / Robust / src / Analysis / TaskStateAnalysis / TaskQueue.java
index 5229480232d9436fee0dce40a3366ecc94279225..ec9a350ce0ce21ab11482a46c7e4fd4c7b984aee 100644 (file)
@@ -5,42 +5,42 @@ import IR.Flat.*;
 import java.util.*;
 
 public class TaskQueue {
-    protected TaskDescriptor task;
-    protected HashSet<FlagTagState> []parameterset;
-    protected Vector<TempDescriptor> tags;
-    protected Hashtable <FlagState, Vector<FlagTagState>> map;
+  protected TaskDescriptor task;
+  protected HashSet<FlagTagState> [] parameterset;
+  protected Vector<TempDescriptor> tags;
+  protected Hashtable <FlagState, Vector<FlagTagState>> map;
 
-    public int numParameters() {
-       return parameterset.length;
-    }
+  public int numParameters() {
+    return parameterset.length;
+  }
 
-    public TaskDescriptor getTask() {
-       return task;
-    }
+  public TaskDescriptor getTask() {
+    return task;
+  }
 
-    public TaskQueue(TaskDescriptor td) {
-       this.task=td;
-       this.parameterset=(HashSet<FlagTagState>[])new HashSet[task.numParameters()];
-       this.map=new Hashtable<FlagState, Vector<FlagTagState>>();
-       this.tags=new Vector<TempDescriptor>();
-       for(int i=0;i<task.numParameters();i++) {
-           this.parameterset[i]=new HashSet<FlagTagState>();
-           TagExpressionList tel=td.getTag(td.getParameter(i));
-           if (tel!=null)
-               for(int j=0;j<tel.numTags();j++) {
-                   TempDescriptor tagtmp=tel.getTemp(j);
-                   if (!tags.contains(tagtmp))
-                       tags.add(tagtmp);
-               }
+  public TaskQueue(TaskDescriptor td) {
+    this.task=td;
+    this.parameterset=(HashSet<FlagTagState>[]) new HashSet[task.numParameters()];
+    this.map=new Hashtable<FlagState, Vector<FlagTagState>>();
+    this.tags=new Vector<TempDescriptor>();
+    for(int i=0; i<task.numParameters(); i++) {
+      this.parameterset[i]=new HashSet<FlagTagState>();
+      TagExpressionList tel=td.getTag(td.getParameter(i));
+      if (tel!=null)
+       for(int j=0; j<tel.numTags(); j++) {
+         TempDescriptor tagtmp=tel.getTemp(j);
+         if (!tags.contains(tagtmp))
+           tags.add(tagtmp);
        }
     }
-    
-    public TaskQueueIterator enqueue(int index, FlagTagState fts) {
-       parameterset[index].add(fts);
-       if (!map.containsKey(fts.fs)) {
-           map.put(fts.fs, new Vector<FlagTagState>());
-       }
-       map.get(fts.fs).add(fts);
-       return new TaskQueueIterator(this, index, fts);
+  }
+
+  public TaskQueueIterator enqueue(int index, FlagTagState fts) {
+    parameterset[index].add(fts);
+    if (!map.containsKey(fts.fs)) {
+      map.put(fts.fs, new Vector<FlagTagState>());
     }
+    map.get(fts.fs).add(fts);
+    return new TaskQueueIterator(this, index, fts);
+  }
 }