Change descriptors
authorbdemsky <bdemsky>
Wed, 15 Feb 2006 21:03:45 +0000 (21:03 +0000)
committerbdemsky <bdemsky>
Wed, 15 Feb 2006 21:03:45 +0000 (21:03 +0000)
Robust/src/IR/FieldDescriptor.java
Robust/src/IR/VarDescriptor.java

index 33fe6eaef944c220c9b83a8e3afdf09fcf0feb6d..a0469d8f5a4ae82723b37273f5be4c278cc2dd15 100644 (file)
@@ -29,6 +29,6 @@ public class FieldDescriptor extends Descriptor {
        if (en==null)
            return modifier.toString()+td.toString()+" "+identifier+";";
        else
-           return modifier.toString()+td.toString()+" "+identifier+"="+en.printNode()+";";
+           return modifier.toString()+td.toString()+" "+identifier+"="+en.printNode(0)+";";
     }
 }
index f2ed53f2f2f75297d4d75b4b63aecbed6662ca93..fd007a553816212dbe1fc961f90be83d5ac8d9bc 100644 (file)
@@ -25,8 +25,8 @@ public class VarDescriptor extends Descriptor {
 
     public String toString() {
        if (en==null)
-           return td.toString()+" "+identifier+";";
+           return td.toString()+" "+identifier;
        else
-           return td.toString()+" "+identifier+"="+en.printNode()+";";
+           return td.toString()+" "+identifier+"="+en.printNode(0);
     }
 }