From 93433f993efeda6b2f21ab5f8dc875103a5d156f Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Thu, 10 Jan 2008 06:56:06 +0000
Subject: [PATCH] more changes

---
 Robust/src/IR/Flat/FlatFlagActionNode.java | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/Robust/src/IR/Flat/FlatFlagActionNode.java b/Robust/src/IR/Flat/FlatFlagActionNode.java
index 92168e4c..dace7c43 100644
--- a/Robust/src/IR/Flat/FlatFlagActionNode.java
+++ b/Robust/src/IR/Flat/FlatFlagActionNode.java
@@ -6,8 +6,8 @@ import java.util.HashSet;
 import java.util.Iterator;
 
 public class FlatFlagActionNode extends FlatNode {
-    Hashtable tempflagpairs; 
-    Hashtable temptagpairs; 
+    Hashtable<TempFlagPair, Boolean> tempflagpairs; 
+    Hashtable<TempTagPair, Boolean> temptagpairs; 
 
     int taskexit;
     public static final int NEWOBJECT=0;
@@ -16,8 +16,8 @@ public class FlatFlagActionNode extends FlatNode {
 
 
     public FlatFlagActionNode(int taskexit) {
-	tempflagpairs=new Hashtable();
-	temptagpairs=new Hashtable();
+	tempflagpairs=new Hashtable<TempFlagPair, Boolean>();
+	temptagpairs=new Hashtable<TempTagPair, Boolean>();
 	this.taskexit=taskexit;
     }
 
@@ -47,11 +47,11 @@ public class FlatFlagActionNode extends FlatNode {
     
     /** This method returns an iterator over the Temp/Flag pairs. */
     
-    public Iterator getTempFlagPairs() {
+    public Iterator<TempFlagPair> getTempFlagPairs() {
 	return tempflagpairs.keySet().iterator();
     }
 
-    public Iterator getTempTagPairs() {
+    public Iterator<TempTagPair> getTempTagPairs() {
 	return temptagpairs.keySet().iterator();
     }
 
-- 
2.34.1