Improved heuristic to favor an empty json object in case of an empty map

usethesource · Apr 25, 2024 · 188f4b0 · 188f4b0
1 parent 332e154
commit 188f4b0
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/org/rascalmpl/library/lang/json/internal/JsonValueWriter.java b/src/org/rascalmpl/library/lang/json/internal/JsonValueWriter.java
@@ -253,7 +253,11 @@ public Void visitInteger(IInteger o) throws IOException {
 
       @Override
       public Void visitMap(IMap o) throws IOException {
-        if (o.getKeyType().isString()) {
+        if (o.isEmpty()) {
+          out.beginObject();
+          out.endObject();
+        }
+        else if (o.getKeyType().isString()) {
           out.beginObject();
           for (IValue key : o) {
             out.name(((IString) key).getValue());