From: bdemsky <bdemsky>
Date: Fri, 4 May 2007 09:32:47 +0000 (+0000)
Subject: get rid of map
X-Git-Tag: preEdgeChange~597
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=ffb081713f2cd9e5353603f0ff3196933e33d03d;p=IRC.git

get rid of map
---

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java b/Robust/src/Analysis/TaskStateAnalysis/TaskAnalysis.java
index c6d17d80..23474145 100644
--- 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 275091ce..b0ee390d 100644
--- 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();
       }