Correct empty maps in ExplicitValueVisitor

nickbattle · Nov 27, 2023 · 5cf18cc · 5cf18cc
1 parent 3f58969
commit 5cf18cc
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/vdmj/src/main/java/com/fujitsu/vdmj/values/visitors/ExplicitValueVisitor.java b/vdmj/src/main/java/com/fujitsu/vdmj/values/visitors/ExplicitValueVisitor.java
@@ -35,8 +35,8 @@
 import com.fujitsu.vdmj.values.Value;
 
 /**
- * This visitor produces a toString of a value, with any named types expanded
- * to be explicit if they are not within the current module.
+ * This visitor produces a toString of a value, with any record values expanded
+ * to be explicit (like mk_A`R) if they are not within the "from" module.
  */
 public class ExplicitValueVisitor extends ValueVisitor<String, LexLocation>
 {
@@ -48,6 +48,11 @@ public String caseValue(Value node, LexLocation arg)
 
  	public String caseMapValue(MapValue node, LexLocation from)
 	{
+ 		if (node.values.isEmpty())
+ 		{
+ 			return "{|->}";
+ 		}
+
 		StringBuilder sb = new StringBuilder();
 		sb.append("{");
 		String prefix = "";