get rid of map

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java b/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java
index c6d17d80fef466f015c45372e8ee7aeb2dfbdb4e..2347414524ead51f7a930bba4b9204d82ea61a2d 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java
@@ -22,9 +22,8 @@ public class TaskAnalysis {
      *
      * @param state a flattened State object
      * @see State
-     * @param map Hashtable containing the temp to var mapping
      */
-    public TaskAnalysis(State state,Hashtable map)
+    public TaskAnalysis(State state)
     {
        this.state=state;
        this.typeutil=new TypeUtil(state);

diff --git a/Robust/src/Main/Main.java b/Robust/src/Main/Main.java
index 275091ce4b725611eac9e92ae2a01cbb3b07c485..b0ee390dcb68f369f3d7aa9ce0cebfb580483a85 100644 (file)
--- a/Robust/src/Main/Main.java
+++ b/Robust/src/Main/Main.java
@@ -105,7 +105,7 @@ public class Main {
       bf.buildFlat();
 
       if (state.TASKSTATE) {
-         TaskAnalysis ta=new TaskAnalysis(state,bf.getMap());
+         TaskAnalysis ta=new TaskAnalysis(state);
          ta.taskAnalysis();
       }