Handle FcnLambda type in Java module override of Json operator.

tlaplus · Sep 24, 2019 · b91f073 · b91f073
1 parent 6d23855
commit b91f073
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/modules/Json.java b/modules/Json.java
@@ -25,10 +25,12 @@
  ******************************************************************************/
 
 import tlc2.value.IValue;
+import tlc2.value.impl.FcnLambdaValue;
 import tlc2.value.impl.FcnRcdValue;
 import tlc2.value.impl.IntValue;
 import tlc2.value.impl.StringValue;
 import tlc2.value.impl.TupleValue;
+import tlc2.value.impl.Value;
 
 public class Json {
 
@@ -39,8 +41,8 @@ public static final StringValue ToJsonObject(final IValue v) {
 		final StringBuffer buf = new StringBuffer();
 		buf.append("{");
 
-		if (v instanceof FcnRcdValue) {
-			final FcnRcdValue r = (FcnRcdValue) v;
+		if (v instanceof FcnRcdValue || v instanceof FcnLambdaValue) {
+			final FcnRcdValue r = (FcnRcdValue) ((Value) v).toFcnRcd();
 			for (int i = 0; i < r.domain.length; i++) {
 				buf.append("\"");
 				buf.append(r.domain[i]);
@@ -71,3 +73,4 @@ public static final StringValue ToJsonObject(final IValue v) {
 		return new StringValue(buf.toString());
 	}
 }
+