From 74654ffb418ab6f0f7482b998fa2a5774cdae27e Mon Sep 17 00:00:00 2001 From: rschoene <rene.schoene@tu-dresden.de> Date: Tue, 25 Jul 2023 15:52:26 +0200 Subject: [PATCH] apply suggested fix for #2 --- Printing.jrag | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Printing.jrag b/Printing.jrag index 39deaad..c3d6db3 100644 --- a/Printing.jrag +++ b/Printing.jrag @@ -89,7 +89,9 @@ aspect Printing { sb.append("\""); } sb.append(":"); - if (getValue().isComplexElement() && !getValue().isEmpty() && !getValue().isCollapsed()) { + if (getValue() == null) { + sb.append(" null"); + } else if (getValue().isComplexElement() && !getValue().isEmpty() && !getValue().isCollapsed()) { sb.append("\n"); getValue().prettyPrint(sb, true, indent + PRINT_INDENT); } else { -- GitLab