diff --git a/Parser/spec/SlotPrinting.jadd b/Parser/spec/SlotPrinting.jadd index 7769a90314dd90db9e3dc85c4275ee77c88e8bda..ced9f6590636e7789a2d5ce543bc757dc56510dc 100644 --- a/Parser/spec/SlotPrinting.jadd +++ b/Parser/spec/SlotPrinting.jadd @@ -1,52 +1,53 @@ aspect Printing { - public void SlotExpr.prettyPrint(PrettyPrinter s) { - s.append("#"); - s.append(getSlotName()); - s.append("#"); - } - - public void SlotIntLiteralConstant.prettyPrint(PrettyPrinter s) { - s.append("#"); - s.append(getSlotName()); - s.append("#"); - } - - public void SlotBlock.prettyPrint(PrettyPrinter s) { - s.append("#"); - s.append(getSlotName()); - s.append("#"); - s.lb(); - } - - public void SlotVariable.prettyPrint(PrettyPrinter s) { - s.append("#"); - s.append(getSlotName()); - s.append("#"); - } - - public void SlotDoConstruct.prettyPrint(PrettyPrinter s) { - s.append("#"); - s.append(getSlotName()); - s.append("#"); - } - - public void SlotExecutableConstruct.prettyPrint(PrettyPrinter s) { - s.append("#"); - s.append(getSlotName()); - s.append("#"); - s.lb(); - } - public void SlotExecutionPartConstruct.prettyPrint(PrettyPrinter s) { - s.append("#"); - s.append(getSlotName()); - s.append("#"); - s.lb(); - } - - public void SlotForName.prettyPrint(PrettyPrinter s) { - s.append("#"); - s.append(getString()); - s.append("#"); - } -} \ No newline at end of file + public void SlotExpr.prettyPrint(PrettyPrinter s) { + s.append("#"); + s.append(getSlotName()); + s.append("#"); + } + + public void SlotIntLiteralConstant.prettyPrint(PrettyPrinter s) { + s.append("#"); + s.append(getSlotName()); + s.append("#"); + } + + public void SlotBlock.prettyPrint(PrettyPrinter s) { + s.append("#"); + s.append(getSlotName()); + s.append("#"); + s.lb(); + } + + public void SlotVariable.prettyPrint(PrettyPrinter s) { + s.append("#"); + s.append(getSlotName()); + s.append("#"); + } + + public void SlotDoConstruct.prettyPrint(PrettyPrinter s) { + s.append("#"); + s.append(getSlotName()); + s.append("#"); + } + + public void SlotExecutableConstruct.prettyPrint(PrettyPrinter s) { + s.append("#"); + s.append(getSlotName()); + s.append("#"); + s.lb(); + } + + public void SlotExecutionPartConstruct.prettyPrint(PrettyPrinter s) { + s.append("#"); + s.append(getSlotName()); + s.append("#"); + s.lb(); + } + + public void SlotForName.prettyPrint(PrettyPrinter s) { + s.append("#"); + s.append(getString()); + s.append("#"); + } +}