Robust/src/Analysis/TaskStateAnalysis/TaskQueue.java

   1 package Analysis.TaskStateAnalysis;
   2 import IR.*;
   3 import IR.Tree.*;
   4 import IR.Flat.*;
   5 import java.util.*;
   6
   7 public class TaskQueue {
   8   protected TaskDescriptor task;
   9   protected HashSet<FlagTagState> [] parameterset;
  10   protected Vector<TempDescriptor> tags;
  11   protected Hashtable <FlagState, Vector<FlagTagState>> map;
  12
  13   public int numParameters() {
  14     return parameterset.length;
  15   }
  16
  17   public TaskDescriptor getTask() {
  18     return task;
  19   }
  20
  21   public TaskQueue(TaskDescriptor td) {
  22     this.task=td;
  23     this.parameterset=(HashSet<FlagTagState>[]) new HashSet[task.numParameters()];
  24     this.map=new Hashtable<FlagState, Vector<FlagTagState>>();
  25     this.tags=new Vector<TempDescriptor>();
  26     for(int i=0; i<task.numParameters(); i++) {
  27       this.parameterset[i]=new HashSet<FlagTagState>();
  28       TagExpressionList tel=td.getTag(td.getParameter(i));
  29       if (tel!=null)
  30         for(int j=0; j<tel.numTags(); j++) {
  31           TempDescriptor tagtmp=tel.getTemp(j);
  32           if (!tags.contains(tagtmp))
  33             tags.add(tagtmp);
  34         }
  35     }
  36   }
  37
  38   public TaskQueueIterator enqueue(int index, FlagTagState fts) {
  39     parameterset[index].add(fts);
  40     if (!map.containsKey(fts.fs)) {
  41       map.put(fts.fs, new Vector<FlagTagState>());
  42     }
  43     map.get(fts.fs).add(fts);
  44     return new TaskQueueIterator(this, index, fts);
  45   }
  46 }