bug fixes

diff --git a/Robust/src/IR/ClassDescriptor.java b/Robust/src/IR/ClassDescriptor.java
index d977805e4a1e68fe79f1472fe5f00bc02cfe3631..3b51b536840268c64d05da2ab80c159c9149ca59 100644 (file)
--- 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 d119eae896464773dd29d53f0de7c4a0a0e3aca3..3517539d88feda77dd2975ecf65ea04e053dcb6f 100644 (file)
--- 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());