summaryrefslogtreecommitdiff
path: root/ddl/out/java/LambdaCube/TypeInfo/JSON.java
diff options
context:
space:
mode:
Diffstat (limited to 'ddl/out/java/LambdaCube/TypeInfo/JSON.java')
-rw-r--r--ddl/out/java/LambdaCube/TypeInfo/JSON.java16
1 files changed, 9 insertions, 7 deletions
diff --git a/ddl/out/java/LambdaCube/TypeInfo/JSON.java b/ddl/out/java/LambdaCube/TypeInfo/JSON.java
index 458656c..5c64e4f 100644
--- a/ddl/out/java/LambdaCube/TypeInfo/JSON.java
+++ b/ddl/out/java/LambdaCube/TypeInfo/JSON.java
@@ -1,5 +1,5 @@
1// generated file, do not modify! 1// generated file, do not modify!
2// 2016-11-10T15:07:11.972496000000Z 2// 2016-11-10T16:02:38.361054000000Z
3 3
4package LambdaCube.TypeInfo; 4package LambdaCube.TypeInfo;
5 5
@@ -117,9 +117,10 @@ public class JSON {
117 switch (tag) { 117 switch (tag) {
118 case "CompileError": { 118 case "CompileError": {
119 CompileResult.CompileError_ tv = new CompileResult().new CompileError_(); 119 CompileResult.CompileError_ tv = new CompileResult().new CompileError_();
120 tv._0 = (ArrayList<TypeInfo>)fromJSON(Type.Array_TypeInfo,obj.get("arg0")); 120 tv._0 = (String)fromJSON(Type.String,obj.get("arg0"));
121 tv._1 = (ArrayList<WarningInfo>)fromJSON(Type.Array_WarningInfo,obj.get("arg1")); 121 tv._1 = (ArrayList<TypeInfo>)fromJSON(Type.Array_TypeInfo,obj.get("arg1"));
122 tv._2 = (ArrayList<ErrorInfo>)fromJSON(Type.Array_ErrorInfo,obj.get("arg2")); 122 tv._2 = (ArrayList<WarningInfo>)fromJSON(Type.Array_WarningInfo,obj.get("arg2"));
123 tv._3 = (ArrayList<ErrorInfo>)fromJSON(Type.Array_ErrorInfo,obj.get("arg3"));
123 return tv; 124 return tv;
124 } 125 }
125 case "Compiled": { 126 case "Compiled": {
@@ -210,9 +211,10 @@ public class JSON {
210 obj.put("tag", "CompileError"); 211 obj.put("tag", "CompileError");
211 { 212 {
212 CompileResult.CompileError_ tv = (CompileResult.CompileError_)v; 213 CompileResult.CompileError_ tv = (CompileResult.CompileError_)v;
213 obj.put("arg0", toJSON(Type.Array_TypeInfo,tv._0)); 214 obj.put("arg0", toJSON(Type.String,tv._0));
214 obj.put("arg1", toJSON(Type.Array_WarningInfo,tv._1)); 215 obj.put("arg1", toJSON(Type.Array_TypeInfo,tv._1));
215 obj.put("arg2", toJSON(Type.Array_ErrorInfo,tv._2)); 216 obj.put("arg2", toJSON(Type.Array_WarningInfo,tv._2));
217 obj.put("arg3", toJSON(Type.Array_ErrorInfo,tv._3));
216 } 218 }
217 break; 219 break;
218 case Compiled: 220 case Compiled: