add more comments
[IRC.git] / Robust / src / IR / State.java
index eadd05f2ebc104540e141d7c34d85d2c0c0aa670..9df0cc3235d9d2067de8914edc0b1f491e09839a 100644 (file)
@@ -14,22 +14,42 @@ public class State {
        this.arraytypes=new HashSet();
        this.arraytonumber=new Hashtable();
        this.tagmap=new Hashtable();
+       this.analysisresult=new Hashtable();
+       this.optionaltaskdescriptors=new Hashtable();
     }
 
     public void addParseNode(ParseNode parsetree) {
        parsetrees.add(parsetree);
     }
 
+    public void storeAnalysisResult(Hashtable result){
+       analysisresult = result;
+    }
+    
+    public void storeOptionalTaskDescriptors(Hashtable optionaltaskdescriptors){
+       this.optionaltaskdescriptors=optionaltaskdescriptors;
+    }
+
+    public Hashtable getAnalysisResult(){
+       return analysisresult;
+    }
+    
+    public Hashtable getOptionalTaskDescriptors(){
+       return optionaltaskdescriptors;
+    }
+
     /** Boolean flag which indicates whether compiler is compiling a task-based
      * program. */
-    public boolean WEBINTERFACE;
-    public boolean TASK;
+    public boolean WEBINTERFACE=false;
+    public boolean TASK=false;
+    public boolean DSM=false;
     public boolean TASKSTATE=false;
+    public boolean OPTIONAL=false;
     public boolean THREAD=false;
+    public boolean CONSCHECK=false;
     public boolean INSTRUCTIONFAILURE=false;
     public String structfile;
     public String main;
-    public boolean CONSCHECK=false;
 
     public SymbolTable classes;
     public SymbolTable tasks;
@@ -42,6 +62,10 @@ public class State {
     private int numtasks=0;
     private int arraycount=0;
 
+
+    private Hashtable analysisresult;
+    private Hashtable optionaltaskdescriptors;
+
     private Hashtable tagmap;
     private int numtags=0;