Loading ttcn/LibJson/ttcn/Json.ttcn +21 −4 Original line number Diff line number Diff line Loading @@ -51,6 +51,17 @@ module Json { type integer Integer (-infinity .. infinity) /*with { variant "Json:integer" }*/; // Unsigned Integer type type integer UInteger (0 .. infinity) /*with { variant "Json:integer" }*/; // Unsigned char type type integer UInt8 (0 .. 255) /*with { variant "Json:integer" }*/; type integer UInt16 (0 .. 65535) /*with { variant "Json:integer" }*/; // String type type utf8string String /*with { variant "Json:string" Loading Loading @@ -103,11 +114,17 @@ module Json { }*/ type record of Json.Integer IntArray; /*with { variant "Json:array" } type record of Json.Bool BoolArray with { }*/ type record of Json.UInteger UIntArray; /*with { variant "Json:array" } type record of Json.Object ObjArray with { }*/ type record of Json.Bool BoolArray; /*with { variant "Json:array" }*/ type record of Json.AnyURI AnyURIArray; /*with { variant "Json:array" }*/ /*type record of Json.Object ObjArray; with { variant "Json:array" }*/ // Object member Loading Loading
ttcn/LibJson/ttcn/Json.ttcn +21 −4 Original line number Diff line number Diff line Loading @@ -51,6 +51,17 @@ module Json { type integer Integer (-infinity .. infinity) /*with { variant "Json:integer" }*/; // Unsigned Integer type type integer UInteger (0 .. infinity) /*with { variant "Json:integer" }*/; // Unsigned char type type integer UInt8 (0 .. 255) /*with { variant "Json:integer" }*/; type integer UInt16 (0 .. 65535) /*with { variant "Json:integer" }*/; // String type type utf8string String /*with { variant "Json:string" Loading Loading @@ -103,11 +114,17 @@ module Json { }*/ type record of Json.Integer IntArray; /*with { variant "Json:array" } type record of Json.Bool BoolArray with { }*/ type record of Json.UInteger UIntArray; /*with { variant "Json:array" } type record of Json.Object ObjArray with { }*/ type record of Json.Bool BoolArray; /*with { variant "Json:array" }*/ type record of Json.AnyURI AnyURIArray; /*with { variant "Json:array" }*/ /*type record of Json.Object ObjArray; with { variant "Json:array" }*/ // Object member Loading