From 15a4e0541209b41517ebabc274c19692ddba068c Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Tue, 14 Mar 2017 10:56:36 +0100
Subject: [PATCH] print slot names correctly (i.e. keep casing)

---
 Parser/spec/SlotPrinting.jadd | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/Parser/spec/SlotPrinting.jadd b/Parser/spec/SlotPrinting.jadd
index ced9f65..c7dad4b 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("#");
   }
 }
-- 
GitLab