int indent = 0;
java.io.PrintWriter output;
Stack symboltables = new Stack();
+ InvariantValue ivalue;
public StandardCodeWriter(java.io.PrintWriter output) { this.output = output; }
}
return (SymbolTable) symboltables.peek();
}
-
+
+ public InvariantValue getInvariantValue() {
+ return ivalue;
+ }
+
+ public void setInvariantValue(InvariantValue iv) {
+ ivalue=iv;
+ }
}