diff options
Diffstat (limited to 'ddl/out/java/LambdaCube/TypeInfo/JSON.java')
-rw-r--r-- | ddl/out/java/LambdaCube/TypeInfo/JSON.java | 16 |
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 | ||
4 | package LambdaCube.TypeInfo; | 4 | package 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: |