diff --git a/Parser/spec/SlotPrinting.jadd b/Parser/spec/SlotPrinting.jadd index ced9f6590636e7789a2d5ce543bc757dc56510dc..c7dad4b0932f3261d3d8d8a13e4b66194a8436fa 100644 --- a/Parser/spec/SlotPrinting.jadd +++ b/Parser/spec/SlotPrinting.jadd @@ -2,52 +2,52 @@ aspect Printing { public void SlotExpr.prettyPrint(PrettyPrinter s) { s.append("#"); - s.append(getSlotName()); + s.literalAppend(getSlotName()); s.append("#"); } public void SlotIntLiteralConstant.prettyPrint(PrettyPrinter s) { s.append("#"); - s.append(getSlotName()); + s.literalAppend(getSlotName()); s.append("#"); } public void SlotBlock.prettyPrint(PrettyPrinter s) { s.append("#"); - s.append(getSlotName()); + s.literalAppend(getSlotName()); s.append("#"); s.lb(); } public void SlotVariable.prettyPrint(PrettyPrinter s) { s.append("#"); - s.append(getSlotName()); + s.literalAppend(getSlotName()); s.append("#"); } public void SlotDoConstruct.prettyPrint(PrettyPrinter s) { s.append("#"); - s.append(getSlotName()); + s.literalAppend(getSlotName()); s.append("#"); } public void SlotExecutableConstruct.prettyPrint(PrettyPrinter s) { s.append("#"); - s.append(getSlotName()); + s.literalAppend(getSlotName()); s.append("#"); s.lb(); } public void SlotExecutionPartConstruct.prettyPrint(PrettyPrinter s) { s.append("#"); - s.append(getSlotName()); + s.literalAppend(getSlotName()); s.append("#"); s.lb(); } public void SlotForName.prettyPrint(PrettyPrinter s) { s.append("#"); - s.append(getString()); + s.literalAppend(getString()); s.append("#"); } }