Robust/src/Analysis/TaskStateAnalysis/Predicate.java

   1 package Analysis.TaskStateAnalysis;
   2 import java.util.*;
   3 import IR.*;
   4 import IR.Tree.*;
   5 import IR.Flat.*;
   6 import Util.Edge;
   7
   8 public class Predicate{
   9     public HashSet vardescriptors;
  10     public Hashtable<VarDescriptor, HashSet<FlagExpressionNode>> flags;
  11     public Hashtable<VarDescriptor, TagExpressionList> tags; //if there is a tag change, we stop the analysis
  12
  13     public Predicate(){
  14         this.vardescriptors = new HashSet();
  15             this.flags = new Hashtable();
  16             this.tags = new Hashtable();
  17     }
  18 }