From 8f9a27bf347d845aab8dd1ac723f49b160ad05a5 Mon Sep 17 00:00:00 2001 From: Johannes Mey <johannes.mey@tu-dresden.de> Date: Wed, 8 Mar 2017 17:10:17 +0100 Subject: [PATCH] formatting --- Parser/spec/SlotPrinting.jadd | 101 +++++++++++++++++----------------- 1 file changed, 51 insertions(+), 50 deletions(-) diff --git a/Parser/spec/SlotPrinting.jadd b/Parser/spec/SlotPrinting.jadd index 7769a90..ced9f65 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("#"); + } +} -- GitLab