VarDerivationNode Formatting

Author: rcosta358

liquidjava-verifier/src/main/java/liquidjava/rj_language/opt/derivation_node/VarDerivationNode.java

@@ -1,7 +1,18 @@
 package liquidjava.rj_language.opt.derivation_node;
 
+import java.lang.reflect.Type;
+
+import com.google.gson.JsonElement;
+import com.google.gson.JsonPrimitive;
+import com.google.gson.JsonSerializationContext;
+import com.google.gson.JsonSerializer;
+import com.google.gson.annotations.JsonAdapter;
+
+import liquidjava.rj_language.ast.formatter.VariableFormatter;
+
 public class VarDerivationNode extends DerivationNode {
 
+    @JsonAdapter(VariableSerializer.class)
     private final String var;
     private final DerivationNode origin;
 
@@ -22,4 +33,11 @@ public String getVar() {
     public DerivationNode getOrigin() {
         return origin;
     }
+
+    private static class VariableSerializer implements JsonSerializer<String> {
+        @Override
+        public JsonElement serialize(String var, Type typeOfSrc, JsonSerializationContext context) {
+            return new JsonPrimitive(VariableFormatter.format(var));
+        }
+    }
 }