From cfeefd7157bffbd0c1b08bf3d40ed8b43c4a18b9 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 19 May 2006 18:55:12 +0000
Subject: [PATCH] bug fixes

---
 Robust/src/IR/ClassDescriptor.java | 6 ++++++
 Robust/src/IR/Flat/BuildFlat.java  | 2 +-
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/Robust/src/IR/ClassDescriptor.java b/Robust/src/IR/ClassDescriptor.java
index d977805e..3b51b536 100644
--- a/Robust/src/IR/ClassDescriptor.java
+++ b/Robust/src/IR/ClassDescriptor.java
@@ -15,6 +15,7 @@ public class ClassDescriptor extends Descriptor {
     private final int classid;
     String superclass;
     ClassDescriptor superdesc;
+    boolean hasFlags=false;
 
     Modifiers modifiers;
 
@@ -94,9 +95,14 @@ public class ClassDescriptor extends Descriptor {
     public void addFlag(FlagDescriptor fd) {
 	if (flags.contains(fd.getSymbol()))
 	    throw new Error(fd.getSymbol()+" already defined");
+	hasFlags=true;
 	flags.add(fd);
     }
 
+    public boolean hasFlags() {
+	return hasFlags;
+    }
+
     public void addField(FieldDescriptor fd) {
 	if (fields.contains(fd.getSymbol()))
 	    throw new Error(fd.getSymbol()+" already defined");
diff --git a/Robust/src/IR/Flat/BuildFlat.java b/Robust/src/IR/Flat/BuildFlat.java
index d119eae8..3517539d 100644
--- a/Robust/src/IR/Flat/BuildFlat.java
+++ b/Robust/src/IR/Flat/BuildFlat.java
@@ -142,7 +142,7 @@ public class BuildFlat {
 	    if (con.getFlagEffects()!=null) {
 		FlatFlagActionNode ffan=new FlatFlagActionNode(false);
 		FlagEffects fes=con.getFlagEffects();
-		TempDescriptor flagtemp=outtemp;
+		TempDescriptor flagtemp=out_temp;
 		for(int j=0;j<fes.numEffects();j++) {
 		    FlagEffect fe=fes.getEffect(j);
 		    ffan.addFlagAction(flagtemp, fe.getFlag(), fe.getStatus());
-- 
2.34.1