1 files changed, 191 insertions, 17 deletions

diff --git a/ddl/templates/data.cs.ede b/ddl/templates/data.cs.ede
index c88d41c..13d20f9 100644
--- a/ddl/templates/data.cs.ede
+++ b/ddl/templates/data.cs.ede
@@ -1,27 +1,201 @@
 // generated file, do not modify!
 // {{ dateTime }}
 
+using System;
+using System.Linq;
 using System.Collections.Generic;
+using Newtonsoft.Json.Linq;
 
 {% for m in imports %}
 using {{ m.value }};
 {% endfor %}
 
-{% for t in dataAndType %}
-{% case t.value | constType %}
-{% when "DataDef" %}
-class {{ t.value.dataName }} {
-    public enum Tag { {% for c in t.value.constructors %}
-      {{ c.value.name }}{% if !c.last %},{% endif %}{% endfor %}
-    };
-    public Tag tag;
-};
-
-namespace data { {% for c in t.value.constructors %}{% if !(c.value.fields | empty) %}
-  class {{ c.value.name }} : global::{{ t.value.dataName }} { {% for f in c.value.fields %}{% if c.value.fields | hasFieldNames %}
-    public {{ f.value.fieldType | csType }} {{ f.value.fieldName }};{% else %}
-    public {{ f.value.fieldType | csType | parens }} _{{ f.index0 }};{% endif %}{% endfor %}
-  };{% endif %}{% endfor %}
+namespace {{ moduleName }} {
+  {% for t in dataAndType %}
+  {% case t.value | constType %}
+  {% when "DataDef" %}
+  class {{ t.value.dataName }} {
+      public enum Tag { {% for c in t.value.constructors %}
+        {{ c.value.name }}{% if !c.last %},{% endif %}{% endfor %}
+      };
+      public Tag tag;
+  };
+
+  namespace data { {% for c in t.value.constructors %}{% if !(c.value.fields | empty) %}
+    class {{ c.value.name }} : {{ moduleName }}.{{ t.value.dataName }} { {% for f in c.value.fields %}{% if c.value.fields | hasFieldNames %}
+      public {{ f.value.fieldType | csType }} {{ f.value.fieldName }};{% else %}
+      public {{ f.value.fieldType | csType | parens }} _{{ f.index0 }};{% endif %}{% endfor %}
+      public {{ c.value.name }}() { tag = {{ moduleName }}.{{ t.value.dataName }}.Tag.{{ c.value.name }}; }
+    };{% endif %}{% endfor %}
+  }
+  {% endcase %}
+  {% endfor %}
+
+  // JSON deserializer
+  enum Type { {% for t in usedTypes %}
+    {{ t.value | csTypeEnum }}{% if !t.last %},{% endif %}{% endfor %}
+  }
+
+  class Loader {
+    public static object fromJSON(Type type, JToken obj) {
+      switch (type) {
+        {% for t in usedTypes %}
+        {% case t.value.tag %}
+        {% when "Data" %}
+        {% when "V2" %}
+        case Type.{{ t.value | csTypeEnum }}:
+          return new {{ t.value | csType }}
+            { x = ({{ t.value.type_ | csType }})fromJSON(Type.{{ t.value | csTypeEnum }},obj["x"])
+            , y = ({{ t.value.type_ | csType }})fromJSON(Type.{{ t.value | csTypeEnum }},obj["y"])
+            };
+        {% when "V3" %}
+        case Type.{{ t.value | csTypeEnum }}:
+          return new {{ t.value | csType }}
+            { x = ({{ t.value.type_ | csType }})fromJSON(Type.{{ t.value | csTypeEnum }},obj["x"])
+            , y = ({{ t.value.type_ | csType }})fromJSON(Type.{{ t.value | csTypeEnum }},obj["y"])
+            , z = ({{ t.value.type_ | csType }})fromJSON(Type.{{ t.value | csTypeEnum }},obj["z"])
+            };
+        {% when "V4" %}
+        case Type.{{ t.value | csTypeEnum }}:
+          return new {{ t.value | csType }}
+            { x = ({{ t.value.type_ | csType }})fromJSON(Type.{{ t.value | csTypeEnum }},obj["x"])
+            , y = ({{ t.value.type_ | csType }})fromJSON(Type.{{ t.value | csTypeEnum }},obj["y"])
+            , z = ({{ t.value.type_ | csType }})fromJSON(Type.{{ t.value | csTypeEnum }},obj["z"])
+            , w = ({{ t.value.type_ | csType }})fromJSON(Type.{{ t.value | csTypeEnum }},obj["w"])
+            };
+        {% when "Map" %}
+        case Type.{{ t.value | csTypeEnum }}: {
+          var map = new {{ t.value | csType }} ();
+          foreach(var i in (JObject)obj) {
+            map.Add( ({{ t.value.key_ | csType }})fromJSON(Type.{{ t.value.key_ | csTypeEnum }},i.Key)
+                   , ({{ t.value.value_ | csType }})fromJSON(Type.{{ t.value.value_ | csTypeEnum }},i.Value));
+          }
+          return map;
+        }
+        {% when "Array" %}
+        case Type.{{ t.value | csTypeEnum }}: return ((JArray)obj).Select(x => fromJSON (Type.{{ t.value.type_ | csTypeEnum }}, x)).ToList();
+        {% when "List" %}
+        case Type.{{ t.value | csTypeEnum }}: return ((JArray)obj).Select(x => fromJSON (Type.{{ t.value.type_ | csTypeEnum }}, x)).ToList();
+        {% when "Maybe" %}
+        case Type.{{ t.value | csTypeEnum }}: {
+          var m = new {{ t.value | csType }} ();
+          if (obj == null || obj.Type == JTokenType.Null) {
+            m.valid = false;
+          } else {
+            m.valid = true;
+            m.data = ({{ t.value.type_ | csType }})fromJSON (Type.{{ t.value.type_ | csTypeEnum }},obj);
+          }
+          return m;
+        }
+        {% else %}
+        case Type.{{ t.value | csTypeEnum }}: return ({{ t.value | csType }})obj;
+        {% endcase %}
+        {% endfor %}
+
+        {% for t in definitions %}
+        case Type.{{ t.value.dataName }}: {
+          string tag = (string)obj["tag"];
+          {{ t.value.dataName }}.Tag tagType;
+          {% for c in t.value.constructors %}
+          {% if !c.first %}else {% endif %}if (tag == "{{ c.value.name }}") {
+            tagType = {{ t.value.dataName }}.Tag.{{ c.value.name }};
+            {% if !(c.value.fields | empty) %}
+            data.{{ c.value.name }} tv = new data.{{ c.value.name }}();{% for f in c.value.fields %}{% if c.value.fields | hasFieldNames %}
+            tv.{{ f.value.fieldName }} = ({{ f.value.fieldType | csType }})fromJSON(Type.{{ f.value.fieldType | csTypeEnum }},obj["{{ f.value.fieldName }}"]);{% else %}
+            tv._{{ f.index0 }} = ({{ f.value.fieldType | csType }})fromJSON(Type.{{ f.value.fieldType | csTypeEnum }},obj["arg{{ f.index0 }}"]);{% endif %}{% endfor %}
+            return tv;
+            {% endif %}
+          }
+          {% endfor %}
+          else throw new Exception("unknown constructor: " + tag);
+          {{ t.value.dataName }} o = new {{ t.value.dataName }}();
+          o.tag = tagType;
+          return o;
+        }
+        {% endfor %}
+      }
+      throw new Exception("unknown type");
+      return null;
+    }
+
+    {% for t in definitions %}
+    JToken toJSON({{ t.value.dataName }} v) {
+      var obj = new JObject();
+      switch (v.tag) { {% for c in t.value.constructors %}
+        case {{ t.value.dataName }}.Tag.{{ c.value.name }}:
+          obj["tag"] = "{{ c.value.name }}";{% if !(c.value.fields | empty) %}
+          {
+            var tv = (data.{{ c.value.name }})v;{% for f in c.value.fields %}{% if c.value.fields | hasFieldNames %}
+            obj["{{ f.value.fieldName }}"] = toJSON(tv.{{ f.value.fieldName }});{% else %}
+            obj["arg{{ f.index0 }}"] = toJSON(tv._{{ f.index0 }});{% endif %}{% endfor %}
+          }{% endif %}
+          break;{% endfor %}
+      }
+      return obj;
+    }
+    {% endfor %}
+
+    {% for t in usedCSTypes %}
+    {% case t.value.tag %}
+    {% when "Data" %}
+    {% when "V2" %}
+    JToken toJSON({{ t.value | csType }} v) {
+      var obj = new JObject();
+      obj["x"] = toJSON(v.x);
+      obj["y"] = toJSON(v.y);
+      return obj;
+    }
+    {% when "V3" %}
+    JToken toJSON({{ t.value | csType }} v) {
+      var obj = new JObject();
+      obj["x"] = toJSON(v.x);
+      obj["y"] = toJSON(v.y);
+      obj["z"] = toJSON(v.z);
+      return obj;
+    }
+    {% when "V4" %}
+    JToken toJSON({{ t.value | csType }} v) {
+      var obj = new JObject();
+      obj["x"] = toJSON(v.x);
+      obj["y"] = toJSON(v.y);
+      obj["z"] = toJSON(v.z);
+      obj["w"] = toJSON(v.w);
+      return obj;
+    }
+    {% when "Maybe" %}
+    JToken toJSON({{ t.value | csType }} v) {
+      if (v.valid) {
+        return toJSON(v.data);
+      }
+      return new JValue((string)null);
+    }
+    {% when "Map" %}
+    JToken toJSON({{ t.value | csType }} v) {
+      var obj = new JObject();
+      foreach (var i in v) {
+        obj[i.Key] = toJSON(i.Value);
+      }
+      return obj;
+    }
+    {% when "Array" %}
+    JToken toJSON({{ t.value | csType }} v) {
+      var obj = new JArray();
+      foreach (var i in v) {
+        obj.Add(toJSON(i));
+      }
+      return obj;
+    }
+    {% when "List" %}
+    JToken toJSON({{ t.value | csType }} v) {
+      var obj = new JArray();
+      foreach (var i in v) {
+        obj.Add(toJSON(i));
+      }
+      return obj;
+    }
+    {% else %}
+    JToken toJSON({{ t.value | csType }} v) { return new JValue(v); }
+    {% endcase %}
+    {% endfor %}
+  }
 }
-{% endcase %}
-{% endfor %}