From cdfb8b1b314d789f092fa2d96f285802cd5557b7 Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Thu, 28 Jun 2018 01:31:34 +0200
Subject: [PATCH] create special printer for intrinsic references (to be
completed)
---
.../src/main/jastadd/ASTPrinting.jadd | 31 +++++++++++++++++++
1 file changed, 31 insertions(+)
create mode 100644 trainbenchmark-tool-jastadd-specialized-base/src/main/jastadd/ASTPrinting.jadd
diff --git a/trainbenchmark-tool-jastadd-specialized-base/src/main/jastadd/ASTPrinting.jadd b/trainbenchmark-tool-jastadd-specialized-base/src/main/jastadd/ASTPrinting.jadd
new file mode 100644
index 000000000..7b98c380f
--- /dev/null
+++ b/trainbenchmark-tool-jastadd-specialized-base/src/main/jastadd/ASTPrinting.jadd
@@ -0,0 +1,31 @@
+aspect RefinedPrinting {
+
+ refine Printing public String ASTNode.getASTString() {
+
+ String result = this.getNodeTitle() + "\n";
+
+ for(int childIndex = 0; childIndex < getNumChildNoTransform(); childIndex++) {
+
+ ASTNode<?> child = getChildNoTransform(childIndex);
+ String childString = "N\n";
+ String pointString = ".";
+ if(child != null) {
+ childString = child.getASTString();
+ // pointString = child.pointName() + ".";
+ }
+
+ if(childIndex < getNumChildNoTransform() - 1) {
+ childString = childString.replaceAll("(?m)^", "| ");
+ } else {
+ childString = childString.replaceAll("(?m)^", " ");
+ }
+
+ if(pointString.equals(".")) {
+ pointString = "";
+ }
+ result += "|\n|-----" + pointString + childString;
+ }
+
+ return result;
+ }
+}
--
GitLab