diff --git a/CHANGELOG.md b/CHANGELOG.md index 1be41e325..3fd64de40 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -17,6 +17,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 ### Changed - Update the `dump` function to handle addresses: PR [#175](https://github.com/tact-lang/tact/pull/175) +- Support trailing commas for struct fields and function arguments: PR [#179](https://github.com/tact-lang/tact/pull/179) - The implicit empty `init` function is now present by default in the contract if not declared: PR [#167](https://github.com/tact-lang/tact/pull/167) - `@stdlib/stoppable` now imports `@stdlib/ownable` so the programmer does not have to do it separately: PR [#193](https://github.com/tact-lang/tact/pull/193) - Support escape sequences for strings (`\\`, `\"`, `\n`, `\r`, `\t`, `\v`, `\b`, `\f`, `\u{0}` through `\u{FFFFFF}`, `\u0000` through `\uFFFF`, `\x00` through `\xFF`): PR [#192](https://github.com/tact-lang/tact/pull/192) diff --git a/src/grammar/__snapshots__/grammar.spec.ts.snap b/src/grammar/__snapshots__/grammar.spec.ts.snap index 9cc6eb23c..8492e3c7c 100644 --- a/src/grammar/__snapshots__/grammar.spec.ts.snap +++ b/src/grammar/__snapshots__/grammar.spec.ts.snap @@ -182,6 +182,78 @@ Line 2, col 15: " `; +exports[`grammar should fail case-19 1`] = ` +":1:14: Empty parameter list should not have a dangling comma. +Line 1, col 14: +> 1 | fun function(,) {} + ^ + 2 | +" +`; + +exports[`grammar should fail case-20 1`] = ` +":2:24: Empty parameter list should not have a dangling comma. +Line 2, col 24: + 1 | fun another() { +> 2 | return 42.toString(,); + ^ + 3 | } +" +`; + +exports[`grammar should fail case-21 1`] = ` +":1:14: Empty parameter list should not have a dangling comma. +Line 1, col 14: +> 1 | fun function(,) : Int { + ^ + 2 | return 42; +" +`; + +exports[`grammar should fail case-22 1`] = ` +":6:14: Empty parameter list should not have a dangling comma. +Line 6, col 14: + 5 | fun b(): Int { +> 6 | return a(,); + ^ + 7 | } +" +`; + +exports[`grammar should fail case-23 1`] = ` +":2:23: Empty parameter list should not have a dangling comma. +Line 2, col 23: + 1 | @name(native_name_1) +> 2 | native testNativeFunc(,); + ^ +" +`; + +exports[`grammar should fail case-24 1`] = ` +":1:31: Empty parameter list should not have a dangling comma. +Line 1, col 31: +> 1 | abstract fun testFuncAbstract(,); + ^ +" +`; + +exports[`grammar should fail case-25 1`] = ` +":1:39: Empty parameter list should not have a dangling comma. +Line 1, col 39: +> 1 | abstract fun testFuncAbstractWithType(,): Int; + ^ +" +`; + +exports[`grammar should fail case-26 1`] = ` +":2:31: Empty parameter list should not have a dangling comma. +Line 2, col 31: + 1 | @name(native_name_2) +> 2 | native testNativeFuncWithType(,): Int; + ^ +" +`; + exports[`grammar should parse case-0 1`] = ` { "entries": [ @@ -2081,8 +2153,23 @@ exports[`grammar should parse case-17 1`] = ` "ref": Int, }, }, + { + "as": null, + "id": 4, + "init": null, + "kind": "def_field", + "name": "y", + "ref": y: Int;, + "type": { + "id": 3, + "kind": "type_ref_simple", + "name": "Int", + "optional": false, + "ref": Int, + }, + }, ], - "id": 3, + "id": 5, "kind": "def_struct", "message": false, "name": "A", @@ -2090,19 +2177,135 @@ exports[`grammar should parse case-17 1`] = ` "prefix": null, "ref": struct A { x: Int; + y: Int; +}, + }, + { + "attributes": [], + "id": 10, + "kind": "def_constant", + "name": "a", + "ref": const a: A = new { x: 1 };, + "type": { + "id": 6, + "kind": "type_ref_simple", + "name": "A", + "optional": false, + "ref": A, + }, + "value": { + "args": [ + { + "exp": { + "id": 7, + "kind": "number", + "ref": 1, + "value": 1n, + }, + "id": 8, + "kind": "new_parameter", + "name": "x", + "ref": x: 1, + }, + ], + "id": 9, + "kind": "op_new", + "ref": new { x: 1 }, + "type": "new", + }, + }, + { + "args": [], + "attributes": [], + "id": 18, + "kind": "def_function", + "name": "getA", + "origin": "user", + "ref": fun getA(): A { + return A { + x: 1, + y: 2, + }; }, + "return": { + "id": 11, + "kind": "type_ref_simple", + "name": "A", + "optional": false, + "ref": A, + }, + "statements": [ + { + "expression": { + "args": [ + { + "exp": { + "id": 12, + "kind": "number", + "ref": 1, + "value": 1n, + }, + "id": 13, + "kind": "new_parameter", + "name": "x", + "ref": x: 1, + }, + { + "exp": { + "id": 14, + "kind": "number", + "ref": 2, + "value": 2n, + }, + "id": 15, + "kind": "new_parameter", + "name": "y", + "ref": y: 2, + }, + ], + "id": 16, + "kind": "op_new", + "ref": A { + x: 1, + y: 2, + }, + "type": "A", + }, + "id": 17, + "kind": "statement_return", + "ref": return A { + x: 1, + y: 2, + };, + }, + ], }, { "fields": [ { "as": null, - "id": 5, + "id": 20, "init": null, "kind": "def_field", "name": "x", "ref": x: Int;, "type": { - "id": 4, + "id": 19, + "kind": "type_ref_simple", + "name": "Int", + "optional": false, + "ref": Int, + }, + }, + { + "as": null, + "id": 22, + "init": null, + "kind": "def_field", + "name": "y", + "ref": y: Int;, + "type": { + "id": 21, "kind": "type_ref_simple", "name": "Int", "optional": false, @@ -2110,7 +2313,7 @@ exports[`grammar should parse case-17 1`] = ` }, }, ], - "id": 6, + "id": 23, "kind": "def_struct", "message": true, "name": "B", @@ -2118,10 +2321,120 @@ exports[`grammar should parse case-17 1`] = ` "prefix": null, "ref": message B { x: Int; + y: Int; +}, + }, + { + "attributes": [], + "id": 30, + "kind": "def_constant", + "name": "b", + "ref": const b: B = new { + x: 2, + y: 3, +};, + "type": { + "id": 24, + "kind": "type_ref_simple", + "name": "B", + "optional": false, + "ref": B, + }, + "value": { + "args": [ + { + "exp": { + "id": 25, + "kind": "number", + "ref": 2, + "value": 2n, + }, + "id": 26, + "kind": "new_parameter", + "name": "x", + "ref": x: 2, + }, + { + "exp": { + "id": 27, + "kind": "number", + "ref": 3, + "value": 3n, + }, + "id": 28, + "kind": "new_parameter", + "name": "y", + "ref": y: 3, + }, + ], + "id": 29, + "kind": "op_new", + "ref": new { + x: 2, + y: 3, +}, + "type": "new", + }, + }, + { + "args": [], + "attributes": [], + "id": 38, + "kind": "def_function", + "name": "getB", + "origin": "user", + "ref": fun getB(): B { + return B { x: 1, y: 5, }; }, + "return": { + "id": 31, + "kind": "type_ref_simple", + "name": "B", + "optional": false, + "ref": B, + }, + "statements": [ + { + "expression": { + "args": [ + { + "exp": { + "id": 32, + "kind": "number", + "ref": 1, + "value": 1n, + }, + "id": 33, + "kind": "new_parameter", + "name": "x", + "ref": x: 1, + }, + { + "exp": { + "id": 34, + "kind": "number", + "ref": 5, + "value": 5n, + }, + "id": 35, + "kind": "new_parameter", + "name": "y", + "ref": y: 5, + }, + ], + "id": 36, + "kind": "op_new", + "ref": B { x: 1, y: 5, }, + "type": "B", + }, + "id": 37, + "kind": "statement_return", + "ref": return B { x: 1, y: 5, };, + }, + ], }, ], - "id": 7, + "id": 39, "kind": "program", } `; @@ -2902,8 +3215,531 @@ exports[`grammar should parse case-25 1`] = ` }, ], }, + { + "args": [ + { + "id": 19, + "kind": "def_argument", + "name": "a", + "ref": a: Int, + "type": { + "id": 18, + "kind": "type_ref_simple", + "name": "Int", + "optional": false, + "ref": Int, + }, + }, + { + "id": 21, + "kind": "def_argument", + "name": "b", + "ref": b: Int, + "type": { + "id": 20, + "kind": "type_ref_simple", + "name": "Int", + "optional": false, + "ref": Int, + }, + }, + ], + "attributes": [], + "id": 32, + "kind": "def_function", + "name": "anotherFunction", + "origin": "user", + "ref": fun anotherFunction( + a: Int, + b: Int, + ): Int { + return (a >> b) || (a << (32 - b)); +}, + "return": { + "id": 17, + "kind": "type_ref_simple", + "name": "Int", + "optional": false, + "ref": Int, + }, + "statements": [ + { + "expression": { + "id": 30, + "kind": "op_binary", + "left": { + "id": 24, + "kind": "op_binary", + "left": { + "id": 22, + "kind": "id", + "ref": a, + "value": "a", + }, + "op": ">>", + "ref": a >> b, + "right": { + "id": 23, + "kind": "id", + "ref": b, + "value": "b", + }, + }, + "op": "||", + "ref": (a >> b) || (a << (32 - b)), + "right": { + "id": 29, + "kind": "op_binary", + "left": { + "id": 25, + "kind": "id", + "ref": a, + "value": "a", + }, + "op": "<<", + "ref": a << (32 - b), + "right": { + "id": 28, + "kind": "op_binary", + "left": { + "id": 26, + "kind": "number", + "ref": 32, + "value": 32n, + }, + "op": "-", + "ref": 32 - b, + "right": { + "id": 27, + "kind": "id", + "ref": b, + "value": "b", + }, + }, + }, + }, + "id": 31, + "kind": "statement_return", + "ref": return (a >> b) || (a << (32 - b));, + }, + ], + }, + { + "args": [ + { + "id": 34, + "kind": "def_argument", + "name": "self", + "ref": self: Int, + "type": { + "id": 33, + "kind": "type_ref_simple", + "name": "Int", + "optional": false, + "ref": Int, + }, + }, + { + "id": 36, + "kind": "def_argument", + "name": "c", + "ref": c: Int, + "type": { + "id": 35, + "kind": "type_ref_simple", + "name": "Int", + "optional": false, + "ref": Int, + }, + }, + { + "id": 38, + "kind": "def_argument", + "name": "d", + "ref": d: Int, + "type": { + "id": 37, + "kind": "type_ref_simple", + "name": "Int", + "optional": false, + "ref": Int, + }, + }, + ], + "attributes": [ + { + "ref": extends, + "type": "extends", + }, + ], + "id": 45, + "kind": "def_function", + "name": "extension", + "origin": "user", + "ref": extends fun extension(self: Int, c: Int, d: Int) { + return self + c + d; +}, + "return": null, + "statements": [ + { + "expression": { + "id": 43, + "kind": "op_binary", + "left": { + "id": 41, + "kind": "op_binary", + "left": { + "id": 39, + "kind": "id", + "ref": self, + "value": "self", + }, + "op": "+", + "ref": self + c, + "right": { + "id": 40, + "kind": "id", + "ref": c, + "value": "c", + }, + }, + "op": "+", + "ref": self + c + d, + "right": { + "id": 42, + "kind": "id", + "ref": d, + "value": "d", + }, + }, + "id": 44, + "kind": "statement_return", + "ref": return self + c + d;, + }, + ], + }, + { + "args": [ + { + "id": 47, + "kind": "def_argument", + "name": "a", + "ref": a: Int, + "type": { + "id": 46, + "kind": "type_ref_simple", + "name": "Int", + "optional": false, + "ref": Int, + }, + }, + { + "id": 49, + "kind": "def_argument", + "name": "b", + "ref": b: Int, + "type": { + "id": 48, + "kind": "type_ref_simple", + "name": "Int", + "optional": false, + "ref": Int, + }, + }, + ], + "attributes": [], + "id": 61, + "kind": "def_function", + "name": "coverage", + "origin": "user", + "ref": fun coverage(a: Int, b: Int) { + let k: Int = a.extension( + b, + 4, + ); + + let c: Int = anotherFunction( + a, + b, + ); +}, + "return": null, + "statements": [ + { + "expression": { + "args": [ + { + "id": 52, + "kind": "id", + "ref": b, + "value": "b", + }, + { + "id": 53, + "kind": "number", + "ref": 4, + "value": 4n, + }, + ], + "id": 54, + "kind": "op_call", + "name": "extension", + "ref": a.extension( + b, + 4, + ), + "src": { + "id": 51, + "kind": "id", + "ref": a, + "value": "a", + }, + }, + "id": 55, + "kind": "statement_let", + "name": "k", + "ref": let k: Int = a.extension( + b, + 4, + );, + "type": { + "id": 50, + "kind": "type_ref_simple", + "name": "Int", + "optional": false, + "ref": Int, + }, + }, + { + "expression": { + "args": [ + { + "id": 57, + "kind": "id", + "ref": a, + "value": "a", + }, + { + "id": 58, + "kind": "id", + "ref": b, + "value": "b", + }, + ], + "id": 59, + "kind": "op_static_call", + "name": "anotherFunction", + "ref": anotherFunction( + a, + b, + ), + }, + "id": 60, + "kind": "statement_let", + "name": "c", + "ref": let c: Int = anotherFunction( + a, + b, + );, + "type": { + "id": 56, + "kind": "type_ref_simple", + "name": "Int", + "optional": false, + "ref": Int, + }, + }, + ], + }, + { + "args": [ + { + "id": 64, + "kind": "def_argument", + "name": "a", + "ref": a: Int, + "type": { + "id": 63, + "kind": "type_ref_simple", + "name": "Int", + "optional": false, + "ref": Int, + }, + }, + { + "id": 66, + "kind": "def_argument", + "name": "b", + "ref": b: Int, + "type": { + "id": 65, + "kind": "type_ref_simple", + "name": "Int", + "optional": false, + "ref": Int, + }, + }, + ], + "attributes": [], + "id": 71, + "kind": "def_function", + "name": "oneMoreFunction", + "origin": "user", + "ref": fun oneMoreFunction( + a: Int, + b: Int, + ): Int { + return anotherFunction( + a, + b, + ); +}, + "return": { + "id": 62, + "kind": "type_ref_simple", + "name": "Int", + "optional": false, + "ref": Int, + }, + "statements": [ + { + "expression": { + "args": [ + { + "id": 67, + "kind": "id", + "ref": a, + "value": "a", + }, + { + "id": 68, + "kind": "id", + "ref": b, + "value": "b", + }, + ], + "id": 69, + "kind": "op_static_call", + "name": "anotherFunction", + "ref": anotherFunction( + a, + b, + ), + }, + "id": 70, + "kind": "statement_return", + "ref": return anotherFunction( + a, + b, + );, + }, + ], + }, + { + "attributes": [], + "declarations": [ + { + "args": [ + { + "id": 73, + "kind": "def_argument", + "name": "arg1", + "ref": arg1: Int, + "type": { + "id": 72, + "kind": "type_ref_simple", + "name": "Int", + "optional": false, + "ref": Int, + }, + }, + { + "id": 75, + "kind": "def_argument", + "name": "arg2", + "ref": arg2: Int, + "type": { + "id": 74, + "kind": "type_ref_simple", + "name": "Int", + "optional": false, + "ref": Int, + }, + }, + ], + "id": 76, + "kind": "def_init_function", + "ref": init(arg1: Int, arg2: Int) {}, + "statements": [], + }, + ], + "id": 77, + "kind": "def_contract", + "name": "TestContract", + "origin": "user", + "ref": contract TestContract { + init(arg1: Int, arg2: Int) {} +}, + "traits": [], + }, + { + "args": [], + "attributes": [], + "id": 83, + "kind": "def_function", + "name": "test", + "origin": "user", + "ref": fun test() { + let k: StateInit = initOf TestContract( + 2, + 3, + ); +}, + "return": null, + "statements": [ + { + "expression": { + "args": [ + { + "id": 79, + "kind": "number", + "ref": 2, + "value": 2n, + }, + { + "id": 80, + "kind": "number", + "ref": 3, + "value": 3n, + }, + ], + "id": 81, + "kind": "init_of", + "name": "TestContract", + "ref": initOf TestContract( + 2, + 3, + ), + }, + "id": 82, + "kind": "statement_let", + "name": "k", + "ref": let k: StateInit = initOf TestContract( + 2, + 3, + );, + "type": { + "id": 78, + "kind": "type_ref_simple", + "name": "StateInit", + "optional": false, + "ref": StateInit, + }, + }, + ], + }, ], - "id": 17, + "id": 84, "kind": "program", } `; diff --git a/src/grammar/grammar.ohm b/src/grammar/grammar.ohm index 8a4f8b103..b23de569e 100644 --- a/src/grammar/grammar.ohm +++ b/src/grammar/grammar.ohm @@ -17,8 +17,8 @@ Tact { // Static function StaticFunction = Function - NativeFunction = nameAttribute "(" funcId ")" FunctionAttribute* native id "(" ListOf ")" ";" --withVoid - | nameAttribute "(" funcId ")" FunctionAttribute* native id "(" ListOf ")" ":" Type ";" --withType + NativeFunction = nameAttribute "(" funcId ")" FunctionAttribute* native id "(" ListOf ","? ")" ";" --withVoid + | nameAttribute "(" funcId ")" FunctionAttribute* native id "(" ListOf ","? ")" ":" Type ";" --withType // Field declarations Type = typeLiteral "?" --optional @@ -72,10 +72,10 @@ Tact { | override --override | inline --inline | abstract --abstract - Function = FunctionAttribute* fun id "(" ListOf ")" "{" Statement* "}" --withVoid - | FunctionAttribute* fun id "(" ListOf ")" ":" Type "{" Statement* "}" --withType - | FunctionAttribute* fun id "(" ListOf ")" ";" --abstractVoid - | FunctionAttribute* fun id "(" ListOf ")" ":" Type ";" --abstractType + Function = FunctionAttribute* fun id "(" ListOf ","? ")" "{" Statement* "}" --withVoid + | FunctionAttribute* fun id "(" ListOf ","? ")" ":" Type "{" Statement* "}" --withType + | FunctionAttribute* fun id "(" ListOf ","? ")" ";" --abstractVoid + | FunctionAttribute* fun id "(" ListOf ","? ")" ":" Type ";" --abstractType FunctionArg = id ":" Type ReceiveFunction = "receive" "(" FunctionArg ")" "{" Statement* "}" --simple @@ -173,11 +173,11 @@ Tact { | ExpressionString ExpressionString = stringLiteral ExpressionField = ExpressionValue "." id ~"(" - ExpressionCall = ExpressionValue "." id "(" ListOf ")" - ExpressionNew = id "{" ListOf "}" + ExpressionCall = ExpressionValue "." id "(" ListOf ","? ")" + ExpressionNew = id "{" ListOf ","? "}" NewParameter = id ":" Expression - ExpressionStaticCall = id "(" ListOf ")" - ExpressionInitOf = initOf id "(" ListOf ")" + ExpressionStaticCall = id "(" ListOf ","? ")" + ExpressionInitOf = initOf id "(" ListOf ","? ")" // Type Literal typeLiteral = letterAsciiUC typeLiteralPart* diff --git a/src/grammar/grammar.ohm-bundle.d.ts b/src/grammar/grammar.ohm-bundle.d.ts index b9b71fb54..88e11d45d 100644 --- a/src/grammar/grammar.ohm-bundle.d.ts +++ b/src/grammar/grammar.ohm-bundle.d.ts @@ -17,8 +17,8 @@ export interface TactActionDict extends ActionDict { ProgramImport?: (this: NonterminalNode, arg0: NonterminalNode, arg1: NonterminalNode, arg2: TerminalNode) => T; Primitive?: (this: NonterminalNode, arg0: TerminalNode, arg1: NonterminalNode, arg2: TerminalNode) => T; StaticFunction?: (this: NonterminalNode, arg0: NonterminalNode) => T; - NativeFunction_withVoid?: (this: NonterminalNode, arg0: NonterminalNode, arg1: TerminalNode, arg2: NonterminalNode, arg3: TerminalNode, arg4: IterationNode, arg5: NonterminalNode, arg6: NonterminalNode, arg7: TerminalNode, arg8: NonterminalNode, arg9: TerminalNode, arg10: TerminalNode) => T; - NativeFunction_withType?: (this: NonterminalNode, arg0: NonterminalNode, arg1: TerminalNode, arg2: NonterminalNode, arg3: TerminalNode, arg4: IterationNode, arg5: NonterminalNode, arg6: NonterminalNode, arg7: TerminalNode, arg8: NonterminalNode, arg9: TerminalNode, arg10: TerminalNode, arg11: NonterminalNode, arg12: TerminalNode) => T; + NativeFunction_withVoid?: (this: NonterminalNode, arg0: NonterminalNode, arg1: TerminalNode, arg2: NonterminalNode, arg3: TerminalNode, arg4: IterationNode, arg5: NonterminalNode, arg6: NonterminalNode, arg7: TerminalNode, arg8: NonterminalNode, arg9: IterationNode, arg10: TerminalNode, arg11: TerminalNode) => T; + NativeFunction_withType?: (this: NonterminalNode, arg0: NonterminalNode, arg1: TerminalNode, arg2: NonterminalNode, arg3: TerminalNode, arg4: IterationNode, arg5: NonterminalNode, arg6: NonterminalNode, arg7: TerminalNode, arg8: NonterminalNode, arg9: IterationNode, arg10: TerminalNode, arg11: TerminalNode, arg12: NonterminalNode, arg13: TerminalNode) => T; NativeFunction?: (this: NonterminalNode, arg0: NonterminalNode) => T; Type_optional?: (this: NonterminalNode, arg0: NonterminalNode, arg1: TerminalNode) => T; Type_required?: (this: NonterminalNode, arg0: NonterminalNode) => T; @@ -61,10 +61,10 @@ export interface TactActionDict extends ActionDict { FunctionAttribute_inline?: (this: NonterminalNode, arg0: NonterminalNode) => T; FunctionAttribute_abstract?: (this: NonterminalNode, arg0: NonterminalNode) => T; FunctionAttribute?: (this: NonterminalNode, arg0: NonterminalNode) => T; - Function_withVoid?: (this: NonterminalNode, arg0: IterationNode, arg1: NonterminalNode, arg2: NonterminalNode, arg3: TerminalNode, arg4: NonterminalNode, arg5: TerminalNode, arg6: TerminalNode, arg7: IterationNode, arg8: TerminalNode) => T; - Function_withType?: (this: NonterminalNode, arg0: IterationNode, arg1: NonterminalNode, arg2: NonterminalNode, arg3: TerminalNode, arg4: NonterminalNode, arg5: TerminalNode, arg6: TerminalNode, arg7: NonterminalNode, arg8: TerminalNode, arg9: IterationNode, arg10: TerminalNode) => T; - Function_abstractVoid?: (this: NonterminalNode, arg0: IterationNode, arg1: NonterminalNode, arg2: NonterminalNode, arg3: TerminalNode, arg4: NonterminalNode, arg5: TerminalNode, arg6: TerminalNode) => T; - Function_abstractType?: (this: NonterminalNode, arg0: IterationNode, arg1: NonterminalNode, arg2: NonterminalNode, arg3: TerminalNode, arg4: NonterminalNode, arg5: TerminalNode, arg6: TerminalNode, arg7: NonterminalNode, arg8: TerminalNode) => T; + Function_withVoid?: (this: NonterminalNode, arg0: IterationNode, arg1: NonterminalNode, arg2: NonterminalNode, arg3: TerminalNode, arg4: NonterminalNode, arg5: IterationNode, arg6: TerminalNode, arg7: TerminalNode, arg8: IterationNode, arg9: TerminalNode) => T; + Function_withType?: (this: NonterminalNode, arg0: IterationNode, arg1: NonterminalNode, arg2: NonterminalNode, arg3: TerminalNode, arg4: NonterminalNode, arg5: IterationNode, arg6: TerminalNode, arg7: TerminalNode, arg8: NonterminalNode, arg9: TerminalNode, arg10: IterationNode, arg11: TerminalNode) => T; + Function_abstractVoid?: (this: NonterminalNode, arg0: IterationNode, arg1: NonterminalNode, arg2: NonterminalNode, arg3: TerminalNode, arg4: NonterminalNode, arg5: IterationNode, arg6: TerminalNode, arg7: TerminalNode) => T; + Function_abstractType?: (this: NonterminalNode, arg0: IterationNode, arg1: NonterminalNode, arg2: NonterminalNode, arg3: TerminalNode, arg4: NonterminalNode, arg5: IterationNode, arg6: TerminalNode, arg7: TerminalNode, arg8: NonterminalNode, arg9: TerminalNode) => T; Function?: (this: NonterminalNode, arg0: NonterminalNode) => T; FunctionArg?: (this: NonterminalNode, arg0: NonterminalNode, arg1: TerminalNode, arg2: NonterminalNode) => T; ReceiveFunction_simple?: (this: NonterminalNode, arg0: TerminalNode, arg1: TerminalNode, arg2: NonterminalNode, arg3: TerminalNode, arg4: TerminalNode, arg5: IterationNode, arg6: TerminalNode) => T; @@ -135,11 +135,11 @@ export interface TactActionDict extends ActionDict { ExpressionValue?: (this: NonterminalNode, arg0: NonterminalNode) => T; ExpressionString?: (this: NonterminalNode, arg0: NonterminalNode) => T; ExpressionField?: (this: NonterminalNode, arg0: NonterminalNode, arg1: TerminalNode, arg2: NonterminalNode) => T; - ExpressionCall?: (this: NonterminalNode, arg0: NonterminalNode, arg1: TerminalNode, arg2: NonterminalNode, arg3: TerminalNode, arg4: NonterminalNode, arg5: TerminalNode) => T; - ExpressionNew?: (this: NonterminalNode, arg0: NonterminalNode, arg1: TerminalNode, arg2: NonterminalNode, arg3: TerminalNode) => T; + ExpressionCall?: (this: NonterminalNode, arg0: NonterminalNode, arg1: TerminalNode, arg2: NonterminalNode, arg3: TerminalNode, arg4: NonterminalNode, arg5: IterationNode, arg6: TerminalNode) => T; + ExpressionNew?: (this: NonterminalNode, arg0: NonterminalNode, arg1: TerminalNode, arg2: NonterminalNode, arg3: IterationNode, arg4: TerminalNode) => T; NewParameter?: (this: NonterminalNode, arg0: NonterminalNode, arg1: TerminalNode, arg2: NonterminalNode) => T; - ExpressionStaticCall?: (this: NonterminalNode, arg0: NonterminalNode, arg1: TerminalNode, arg2: NonterminalNode, arg3: TerminalNode) => T; - ExpressionInitOf?: (this: NonterminalNode, arg0: NonterminalNode, arg1: NonterminalNode, arg2: TerminalNode, arg3: NonterminalNode, arg4: TerminalNode) => T; + ExpressionStaticCall?: (this: NonterminalNode, arg0: NonterminalNode, arg1: TerminalNode, arg2: NonterminalNode, arg3: IterationNode, arg4: TerminalNode) => T; + ExpressionInitOf?: (this: NonterminalNode, arg0: NonterminalNode, arg1: NonterminalNode, arg2: TerminalNode, arg3: NonterminalNode, arg4: IterationNode, arg5: TerminalNode) => T; typeLiteral?: (this: NonterminalNode, arg0: NonterminalNode, arg1: IterationNode) => T; typeLiteralPart?: (this: NonterminalNode, arg0: NonterminalNode | TerminalNode) => T; integerLiteral?: (this: NonterminalNode, arg0: NonterminalNode) => T; diff --git a/src/grammar/grammar.ohm-bundle.js b/src/grammar/grammar.ohm-bundle.js index c6d1bb093..0d8c58e5f 100644 --- a/src/grammar/grammar.ohm-bundle.js +++ b/src/grammar/grammar.ohm-bundle.js @@ -1 +1 @@ -'use strict';const ohm=(require('ohm-js').default || require('ohm-js'));const result=ohm.makeRecipe(["grammar",{"source":"Tact {\n\n // Starting point of the program\n Program = ProgramItem*\n ProgramItem = Struct\n | Contract\n | Primitive\n | StaticFunction\n | NativeFunction\n | ProgramImport\n | Trait\n | Constant\n ProgramImport = import stringLiteral \";\"\n\n // Built-in declarations\n Primitive = \"primitive\" Type \";\"\n\n // Static function\n StaticFunction = Function\n NativeFunction = nameAttribute \"(\" funcId \")\" FunctionAttribute* native id \"(\" ListOf \")\" \";\" --withVoid\n | nameAttribute \"(\" funcId \")\" FunctionAttribute* native id \"(\" ListOf \")\" \":\" Type \";\" --withType\n \n // Field declarations\n Type = typeLiteral \"?\" --optional\n | typeLiteral --required\n | \"map\" \"<\" typeLiteral (as id)? \",\" typeLiteral (as id)? \">\" --map\n | \"bounced\" \"<\" typeLiteral \">\" --bounced\n Field = id \":\" Type \";\" --default\n | id \":\" Type \"=\" Expression \";\" --defaultWithInit\n | id \":\" Type as id \";\" --withSerialization\n | id \":\" Type as id \"=\" Expression \";\" --withSerializationAndInit\n \n // Constant\n ConstantAttribute = virtual --virtual\n | override --override\n | abstract --abstract\n Constant = ConstantAttribute* ~fun const id \":\" Type \"=\" Expression \";\" --withValue\n | ConstantAttribute* ~fun const id \":\" Type \";\" --withEmpty\n\n // Struct\n Struct = \"struct\" typeLiteral \"{\" StructBody* \"}\" --originary\n | \"message\" typeLiteral \"{\" StructBody* \"}\" --message\n | \"message\" \"(\" integerLiteral \")\" typeLiteral \"{\" StructBody* \"}\" --messageWithId\n StructBody = Field\n\n // Contract\n Contract = ContractAttribute* contract id \"{\" ContractBody* \"}\" --simple\n | ContractAttribute* contract id with ListOf \"{\" ContractBody* \"}\" --withTraits\n ContractInit = \"init\" \"(\" ListOf \")\" \"{\" Statement* \"}\"\n ContractBody = Field\n | ContractInit\n | ReceiveFunction\n | Function\n | Constant\n \n // Trait\n Trait = ContractAttribute* trait id \"{\" TraitBody* \"}\" --originary\n | ContractAttribute* trait id with ListOf \"{\" TraitBody* \"}\" --withTraits\n TraitBody = Field\n | ReceiveFunction\n | Function\n | Constant\n\n // Contract attributes\n ContractAttribute = \"@interface\" \"(\" stringLiteral \")\" --interface\n\n // Function\n FunctionAttribute = \"get\" --getter\n | mutates --mutates\n | extends --extends\n | virtual --virtual\n | override --override\n | inline --inline\n | abstract --abstract\n Function = FunctionAttribute* fun id \"(\" ListOf \")\" \"{\" Statement* \"}\" --withVoid\n | FunctionAttribute* fun id \"(\" ListOf \")\" \":\" Type \"{\" Statement* \"}\" --withType\n | FunctionAttribute* fun id \"(\" ListOf \")\" \";\" --abstractVoid\n | FunctionAttribute* fun id \"(\" ListOf \")\" \":\" Type \";\" --abstractType\n FunctionArg = id \":\" Type\n \n ReceiveFunction = \"receive\" \"(\" FunctionArg \")\" \"{\" Statement* \"}\" --simple\n | \"receive\" \"(\" \")\" \"{\" Statement* \"}\" --empty\n | \"receive\" \"(\" stringLiteral \")\" \"{\" Statement* \"}\" --comment\n | \"bounced\" \"(\" FunctionArg \")\" \"{\" Statement* \"}\" --bounced\n | \"external\" \"(\" FunctionArg \")\" \"{\" Statement* \"}\" --externalSimple\n | \"external\" \"(\" stringLiteral \")\" \"{\" Statement* \"}\" --externalComment\n | \"external\" \"(\" \")\" \"{\" Statement* \"}\" --externalEmpty\n\n // Statements\n Statement = StatementLet\n | StatementBlock\n | StatementReturn\n | StatementExpression\n | StatementAssign\n | StatementAugmentedAssign\n | StatementCondition\n | StatementWhile\n | StatementRepeat\n | StatementUntil\n StatementBlock = \"{\" Statement* \"}\"\n StatementLet = let id \":\" Type \"=\" Expression \";\"\n StatementReturn = return Expression \";\" --withExpression\n | return \";\" --withoutExpression \n StatementExpression = Expression \";\"\n StatementAssign = LValue \"=\" Expression \";\"\n StatementAugmentedAssign = StatementAugmentedAssignAdd\n | StatementAugmentedAssignSub\n | StatementAugmentedAssignMul\n | StatementAugmentedAssignDiv\n | StatementAugmentedAssignRem\n StatementAugmentedAssignAdd = LValue \"+=\" Expression \";\"\n StatementAugmentedAssignSub = LValue \"-=\" Expression \";\"\n StatementAugmentedAssignMul = LValue \"*=\" Expression \";\"\n StatementAugmentedAssignDiv = LValue \"/=\" Expression \";\"\n StatementAugmentedAssignRem = LValue \"%=\" Expression \";\"\n StatementCondition = if Expression \"{\" Statement* \"}\" ~else --simple\n | if Expression \"{\" Statement* \"}\" else \"{\" Statement* \"}\" --withElse\n | if Expression \"{\" Statement* \"}\" else StatementCondition --withElseIf\n StatementWhile = while \"(\" Expression \")\" \"{\" Statement* \"}\"\n StatementRepeat = repeat \"(\" Expression \")\" \"{\" Statement* \"}\"\n StatementUntil = do \"{\" Statement* \"}\" until \"(\" Expression \")\" \";\"\n\n // L-value\n LValue = id \".\" LValue --more\n | id --single\n\n // Expressions\n Expression = ExpressionConditional\n ExpressionConditional = ExpressionOr \"?\" ExpressionOr \":\" ExpressionConditional --ternary\n | ExpressionOr\n ExpressionOr = ExpressionOr \"||\" ExpressionAnd --or\n | ExpressionAnd\n ExpressionAnd = ExpressionAnd \"&&\" ExpressionCompare --and\n | ExpressionCompare\n ExpressionCompare = ExpressionCompare \"!=\" ExpressionBinary --not\n | ExpressionCompare \"==\" ExpressionBinary --eq\n | ExpressionCompare \">\" ExpressionBinary --gt\n | ExpressionCompare \">=\" ExpressionBinary --gte\n | ExpressionCompare \"<\" ExpressionBinary --lt\n | ExpressionCompare \"<=\" ExpressionBinary --lte\n | ExpressionBinary\n ExpressionBinary = ExpressionBinary \">>\" ExpressionAdd --shr\n | ExpressionBinary \"<<\" ExpressionAdd --shl\n | ExpressionBinary \"&\" ExpressionAdd --bin_and\n | ExpressionBinary \"|\" ExpressionAdd --bin_or\n | ExpressionAdd\n ExpressionAdd = ExpressionAdd \"+\" ~\"+\" ExpressionMul --add\n | ExpressionAdd \"-\" ~\"-\" ExpressionMul --sub\n | ExpressionMul\n ExpressionMul = ExpressionMul \"*\" ExpressionUnary --mul\n | ExpressionMul \"/\" ExpressionUnary --div\n | ExpressionMul \"%\" ExpressionUnary --rem\n | ExpressionUnary\n ExpressionUnary = \"-\" ExpressionUnarySuffix --neg\n | \"+\" ExpressionUnarySuffix --add\n | \"!\" ExpressionUnarySuffix --not\n | ExpressionUnarySuffix\n ExpressionUnarySuffix = ExpressionValue \"!!\" --notNull\n | ExpressionValue\n ExpressionBracket = \"(\" Expression \")\"\n\n // Order is important\n ExpressionValue = ExpressionCall\n | ExpressionField\n | ExpressionStaticCall\n | ExpressionBracket\n | ExpressionNew\n | integerLiteral\n | boolLiteral\n | id\n | null\n | ExpressionInitOf\n | ExpressionString\n ExpressionString = stringLiteral\n ExpressionField = ExpressionValue \".\" id ~\"(\"\n ExpressionCall = ExpressionValue \".\" id \"(\" ListOf \")\"\n ExpressionNew = id \"{\" ListOf \"}\"\n NewParameter = id \":\" Expression\n ExpressionStaticCall = id \"(\" ListOf \")\"\n ExpressionInitOf = initOf id \"(\" ListOf \")\"\n\n // Type Literal\n typeLiteral = letterAsciiUC typeLiteralPart*\n typeLiteralPart = letterAscii | digit | \"_\"\n\n // Integer Literal\n // hexDigit defined in Ohm's built-in rules (otherwise: hexDigit = \"0\"..\"9\" | \"a\"..\"f\" | \"A\"..\"F\")\n // digit defined in Ohm's built-in rules (otherwise: digit = \"0\"..\"9\")\n integerLiteral = integerLiteralHex | integerLiteralBin | integerLiteralOct | integerLiteralDec // Order is important\n integerLiteralDec = nonZeroDigit (\"_\"? digit)* --nonZeroIntegerLiteralDec\n | \"0\" digit* --integerLiteralWithLeadingZero\n integerLiteralHex = (\"0x\" | \"0X\") hexDigit (\"_\"? hexDigit)*\n integerLiteralBin = (\"0b\" | \"0B\") binDigit (\"_\"? binDigit)*\n integerLiteralOct = (\"0o\" | \"0O\") octDigit (\"_\"? octDigit)*\n binDigit = \"0\" | \"1\"\n octDigit = \"0\"..\"7\"\n nonZeroDigit = \"1\"..\"9\"\n\n // Letters\n letterAsciiLC = \"a\"..\"z\"\n letterAsciiUC = \"A\"..\"Z\"\n letterAscii = letterAsciiLC | letterAsciiUC\n letterComment = letterAsciiLC | letterAsciiUC | digit | \"_\"\n\n // ID Literal\n idStart = letterAscii | \"_\"\n idPart = letterAscii | digit | \"_\"\n id = ~reservedWord #idStart #(idPart*)\n\n // FunC id\n funcLetter = letterAscii | \"_\" | \"'\" | \"?\" | \"!\" | \"::\" | \"&\"\n funcId = funcLetter #(funcLetter | digit)*\n\n // Bool Literal\n boolLiteral = (\"true\" | \"false\") ~idPart\n\n // String literal\n stringLiteral = \"\\\"\" (nonQuoteOrBackslashChar | escapeSequence)* \"\\\"\"\n nonQuoteOrBackslashChar = ~(\"\\\"\" | \"\\\\\") any\n escapeSequence = \"\\\\\\\\\" -- backslash\n | \"\\\\\\\"\" -- doubleQuote\n | \"\\\\n\" -- newline\n | \"\\\\r\" -- carriageReturn\n | \"\\\\t\" -- tab\n | \"\\\\v\" -- verticalTab\n | \"\\\\b\" -- backspace\n | \"\\\\f\" -- formFeed\n | \"\\\\u{\" hexDigit hexDigit? hexDigit? hexDigit? hexDigit? hexDigit? \"}\" -- unicodeCodePoint\n | \"\\\\u\" hexDigit hexDigit hexDigit hexDigit -- unicodeEscape\n | \"\\\\x\" hexDigit hexDigit -- hexEscape\n\n // Keywords\n // NOTE Order is important\n keyword = fun \n | let\n | return \n | extend \n | native \n | public \n | null \n | if \n | else \n | while \n | repeat \n | do \n | until \n | as \n | mutates\n | extends\n | import\n | with\n | trait\n | initOf\n | override\n | abstract\n | virtual\n | inline\n | const\n contract = \"contract\" ~idPart\n let = \"let\" ~idPart\n fun = \"fun\" ~idPart\n return = \"return\" ~idPart\n extend = \"extend\" ~idPart\n native = \"native\" ~idPart\n public = \"public\" ~idPart\n null = \"null\" ~idPart\n if = \"if\" ~idPart\n else = \"else\" ~idPart\n while = \"while\" ~idPart\n repeat = \"repeat\" ~idPart\n do = \"do\" ~idPart\n until = \"until\" ~idPart\n as = \"as\" ~idPart\n mutates = \"mutates\" ~idPart\n extends = \"extends\" ~idPart\n import = \"import\" ~idPart\n with = \"with\" ~idPart\n trait = \"trait\" ~idPart\n initOf = \"initOf\" ~idPart\n virtual = \"virtual\" ~idPart\n override = \"override\" ~idPart\n inline = \"inline\" ~idPart\n const = \"const\" ~idPart\n abstract = \"abstract\" ~idPart\n\n // Attributes\n nameAttribute = \"@name\"\n\n // Reserved\n reservedWord = keyword\n\n // Comments\n space += comment | lineTerminator\n comment = multiLineComment | singleLineComment\n lineTerminator = \"\\n\" | \"\\r\" | \"\\u2028\" | \"\\u2029\"\n multiLineComment = \"/*\" (~\"*/\" any)* \"*/\"\n singleLineComment = \"//\" (~lineTerminator any)*\n}"},"Tact",null,"Program",{"Program":["define",{"sourceInterval":[49,71]},null,[],["star",{"sourceInterval":[59,71]},["app",{"sourceInterval":[59,70]},"ProgramItem",[]]]],"ProgramItem":["define",{"sourceInterval":[76,300]},null,[],["alt",{"sourceInterval":[90,300]},["app",{"sourceInterval":[90,96]},"Struct",[]],["app",{"sourceInterval":[115,123]},"Contract",[]],["app",{"sourceInterval":[142,151]},"Primitive",[]],["app",{"sourceInterval":[170,184]},"StaticFunction",[]],["app",{"sourceInterval":[203,217]},"NativeFunction",[]],["app",{"sourceInterval":[236,249]},"ProgramImport",[]],["app",{"sourceInterval":[268,273]},"Trait",[]],["app",{"sourceInterval":[292,300]},"Constant",[]]]],"ProgramImport":["define",{"sourceInterval":[305,345]},null,[],["seq",{"sourceInterval":[321,345]},["app",{"sourceInterval":[321,327]},"import",[]],["app",{"sourceInterval":[328,341]},"stringLiteral",[]],["terminal",{"sourceInterval":[342,345]},";"]]],"Primitive":["define",{"sourceInterval":[380,412]},null,[],["seq",{"sourceInterval":[392,412]},["terminal",{"sourceInterval":[392,403]},"primitive"],["app",{"sourceInterval":[404,408]},"Type",[]],["terminal",{"sourceInterval":[409,412]},";"]]],"StaticFunction":["define",{"sourceInterval":[441,466]},null,[],["app",{"sourceInterval":[458,466]},"Function",[]]],"NativeFunction_withVoid":["define",{"sourceInterval":[488,592]},null,[],["seq",{"sourceInterval":[488,581]},["app",{"sourceInterval":[488,501]},"nameAttribute",[]],["terminal",{"sourceInterval":[502,505]},"("],["app",{"sourceInterval":[506,512]},"funcId",[]],["terminal",{"sourceInterval":[513,516]},")"],["star",{"sourceInterval":[517,535]},["app",{"sourceInterval":[517,534]},"FunctionAttribute",[]]],["app",{"sourceInterval":[536,542]},"native",[]],["app",{"sourceInterval":[543,545]},"id",[]],["terminal",{"sourceInterval":[546,549]},"("],["app",{"sourceInterval":[550,573]},"ListOf",[["app",{"sourceInterval":[557,568]},"FunctionArg",[]],["terminal",{"sourceInterval":[569,572]},","]]],["terminal",{"sourceInterval":[574,577]},")"],["terminal",{"sourceInterval":[578,581]},";"]]],"NativeFunction_withType":["define",{"sourceInterval":[614,727]},null,[],["seq",{"sourceInterval":[614,716]},["app",{"sourceInterval":[614,627]},"nameAttribute",[]],["terminal",{"sourceInterval":[628,631]},"("],["app",{"sourceInterval":[632,638]},"funcId",[]],["terminal",{"sourceInterval":[639,642]},")"],["star",{"sourceInterval":[643,661]},["app",{"sourceInterval":[643,660]},"FunctionAttribute",[]]],["app",{"sourceInterval":[662,668]},"native",[]],["app",{"sourceInterval":[669,671]},"id",[]],["terminal",{"sourceInterval":[672,675]},"("],["app",{"sourceInterval":[676,699]},"ListOf",[["app",{"sourceInterval":[683,694]},"FunctionArg",[]],["terminal",{"sourceInterval":[695,698]},","]]],["terminal",{"sourceInterval":[700,703]},")"],["terminal",{"sourceInterval":[704,707]},":"],["app",{"sourceInterval":[708,712]},"Type",[]],["terminal",{"sourceInterval":[713,716]},";"]]],"NativeFunction":["define",{"sourceInterval":[471,727]},null,[],["alt",{"sourceInterval":[488,727]},["app",{"sourceInterval":[488,581]},"NativeFunction_withVoid",[]],["app",{"sourceInterval":[614,716]},"NativeFunction_withType",[]]]],"Type_optional":["define",{"sourceInterval":[770,796]},null,[],["seq",{"sourceInterval":[770,785]},["app",{"sourceInterval":[770,781]},"typeLiteral",[]],["terminal",{"sourceInterval":[782,785]},"?"]]],"Type_required":["define",{"sourceInterval":[808,830]},null,[],["app",{"sourceInterval":[808,819]},"typeLiteral",[]]],"Type_map":["define",{"sourceInterval":[842,907]},null,[],["seq",{"sourceInterval":[842,901]},["terminal",{"sourceInterval":[842,847]},"map"],["terminal",{"sourceInterval":[848,851]},"<"],["app",{"sourceInterval":[852,863]},"typeLiteral",[]],["opt",{"sourceInterval":[864,872]},["seq",{"sourceInterval":[865,870]},["app",{"sourceInterval":[865,867]},"as",[]],["app",{"sourceInterval":[868,870]},"id",[]]]],["terminal",{"sourceInterval":[873,876]},","],["app",{"sourceInterval":[877,888]},"typeLiteral",[]],["opt",{"sourceInterval":[889,897]},["seq",{"sourceInterval":[890,895]},["app",{"sourceInterval":[890,892]},"as",[]],["app",{"sourceInterval":[893,895]},"id",[]]]],["terminal",{"sourceInterval":[898,901]},">"]]],"Type_bounced":["define",{"sourceInterval":[919,958]},null,[],["seq",{"sourceInterval":[919,948]},["terminal",{"sourceInterval":[919,928]},"bounced"],["terminal",{"sourceInterval":[929,932]},"<"],["app",{"sourceInterval":[933,944]},"typeLiteral",[]],["terminal",{"sourceInterval":[945,948]},">"]]],"Type":["define",{"sourceInterval":[763,958]},null,[],["alt",{"sourceInterval":[770,958]},["app",{"sourceInterval":[770,785]},"Type_optional",[]],["app",{"sourceInterval":[808,819]},"Type_required",[]],["app",{"sourceInterval":[842,901]},"Type_map",[]],["app",{"sourceInterval":[919,948]},"Type_bounced",[]]]],"Field_default":["define",{"sourceInterval":[971,996]},null,[],["seq",{"sourceInterval":[971,986]},["app",{"sourceInterval":[971,973]},"id",[]],["terminal",{"sourceInterval":[974,977]},":"],["app",{"sourceInterval":[978,982]},"Type",[]],["terminal",{"sourceInterval":[983,986]},";"]]],"Field_defaultWithInit":["define",{"sourceInterval":[1009,1057]},null,[],["seq",{"sourceInterval":[1009,1039]},["app",{"sourceInterval":[1009,1011]},"id",[]],["terminal",{"sourceInterval":[1012,1015]},":"],["app",{"sourceInterval":[1016,1020]},"Type",[]],["terminal",{"sourceInterval":[1021,1024]},"="],["app",{"sourceInterval":[1025,1035]},"Expression",[]],["terminal",{"sourceInterval":[1036,1039]},";"]]],"Field_withSerialization":["define",{"sourceInterval":[1070,1111]},null,[],["seq",{"sourceInterval":[1070,1091]},["app",{"sourceInterval":[1070,1072]},"id",[]],["terminal",{"sourceInterval":[1073,1076]},":"],["app",{"sourceInterval":[1077,1081]},"Type",[]],["app",{"sourceInterval":[1082,1084]},"as",[]],["app",{"sourceInterval":[1085,1087]},"id",[]],["terminal",{"sourceInterval":[1088,1091]},";"]]],"Field_withSerializationAndInit":["define",{"sourceInterval":[1124,1187]},null,[],["seq",{"sourceInterval":[1124,1160]},["app",{"sourceInterval":[1124,1126]},"id",[]],["terminal",{"sourceInterval":[1127,1130]},":"],["app",{"sourceInterval":[1131,1135]},"Type",[]],["app",{"sourceInterval":[1136,1138]},"as",[]],["app",{"sourceInterval":[1139,1141]},"id",[]],["terminal",{"sourceInterval":[1142,1145]},"="],["app",{"sourceInterval":[1146,1156]},"Expression",[]],["terminal",{"sourceInterval":[1157,1160]},";"]]],"Field":["define",{"sourceInterval":[963,1187]},null,[],["alt",{"sourceInterval":[971,1187]},["app",{"sourceInterval":[971,986]},"Field_default",[]],["app",{"sourceInterval":[1009,1039]},"Field_defaultWithInit",[]],["app",{"sourceInterval":[1070,1091]},"Field_withSerialization",[]],["app",{"sourceInterval":[1124,1160]},"Field_withSerializationAndInit",[]]]],"ConstantAttribute_virtual":["define",{"sourceInterval":[1233,1253]},null,[],["app",{"sourceInterval":[1233,1240]},"virtual",[]]],"ConstantAttribute_override":["define",{"sourceInterval":[1278,1299]},null,[],["app",{"sourceInterval":[1278,1286]},"override",[]]],"ConstantAttribute_abstract":["define",{"sourceInterval":[1324,1345]},null,[],["app",{"sourceInterval":[1324,1332]},"abstract",[]]],"ConstantAttribute":["define",{"sourceInterval":[1213,1345]},null,[],["alt",{"sourceInterval":[1233,1345]},["app",{"sourceInterval":[1233,1240]},"ConstantAttribute_virtual",[]],["app",{"sourceInterval":[1278,1286]},"ConstantAttribute_override",[]],["app",{"sourceInterval":[1324,1332]},"ConstantAttribute_abstract",[]]]],"Constant_withValue":["define",{"sourceInterval":[1361,1433]},null,[],["seq",{"sourceInterval":[1361,1421]},["star",{"sourceInterval":[1361,1379]},["app",{"sourceInterval":[1361,1378]},"ConstantAttribute",[]]],["not",{"sourceInterval":[1380,1384]},["app",{"sourceInterval":[1381,1384]},"fun",[]]],["app",{"sourceInterval":[1385,1390]},"const",[]],["app",{"sourceInterval":[1391,1393]},"id",[]],["terminal",{"sourceInterval":[1394,1397]},":"],["app",{"sourceInterval":[1398,1402]},"Type",[]],["terminal",{"sourceInterval":[1403,1406]},"="],["app",{"sourceInterval":[1407,1417]},"Expression",[]],["terminal",{"sourceInterval":[1418,1421]},";"]]],"Constant_withEmpty":["define",{"sourceInterval":[1449,1521]},null,[],["seq",{"sourceInterval":[1449,1494]},["star",{"sourceInterval":[1449,1467]},["app",{"sourceInterval":[1449,1466]},"ConstantAttribute",[]]],["not",{"sourceInterval":[1468,1472]},["app",{"sourceInterval":[1469,1472]},"fun",[]]],["app",{"sourceInterval":[1473,1478]},"const",[]],["app",{"sourceInterval":[1479,1481]},"id",[]],["terminal",{"sourceInterval":[1482,1485]},":"],["app",{"sourceInterval":[1486,1490]},"Type",[]],["terminal",{"sourceInterval":[1491,1494]},";"]]],"Constant":["define",{"sourceInterval":[1350,1521]},null,[],["alt",{"sourceInterval":[1361,1521]},["app",{"sourceInterval":[1361,1421]},"Constant_withValue",[]],["app",{"sourceInterval":[1449,1494]},"Constant_withEmpty",[]]]],"Struct_originary":["define",{"sourceInterval":[1550,1602]},null,[],["seq",{"sourceInterval":[1550,1590]},["terminal",{"sourceInterval":[1550,1558]},"struct"],["app",{"sourceInterval":[1559,1570]},"typeLiteral",[]],["terminal",{"sourceInterval":[1571,1574]},"{"],["star",{"sourceInterval":[1575,1586]},["app",{"sourceInterval":[1575,1585]},"StructBody",[]]],["terminal",{"sourceInterval":[1587,1590]},"}"]]],"Struct_message":["define",{"sourceInterval":[1616,1667]},null,[],["seq",{"sourceInterval":[1616,1657]},["terminal",{"sourceInterval":[1616,1625]},"message"],["app",{"sourceInterval":[1626,1637]},"typeLiteral",[]],["terminal",{"sourceInterval":[1638,1641]},"{"],["star",{"sourceInterval":[1642,1653]},["app",{"sourceInterval":[1642,1652]},"StructBody",[]]],["terminal",{"sourceInterval":[1654,1657]},"}"]]],"Struct_messageWithId":["define",{"sourceInterval":[1681,1761]},null,[],["seq",{"sourceInterval":[1681,1745]},["terminal",{"sourceInterval":[1681,1690]},"message"],["terminal",{"sourceInterval":[1691,1694]},"("],["app",{"sourceInterval":[1695,1709]},"integerLiteral",[]],["terminal",{"sourceInterval":[1710,1713]},")"],["app",{"sourceInterval":[1714,1725]},"typeLiteral",[]],["terminal",{"sourceInterval":[1726,1729]},"{"],["star",{"sourceInterval":[1730,1741]},["app",{"sourceInterval":[1730,1740]},"StructBody",[]]],["terminal",{"sourceInterval":[1742,1745]},"}"]]],"Struct":["define",{"sourceInterval":[1541,1761]},null,[],["alt",{"sourceInterval":[1550,1761]},["app",{"sourceInterval":[1550,1590]},"Struct_originary",[]],["app",{"sourceInterval":[1616,1657]},"Struct_message",[]],["app",{"sourceInterval":[1681,1745]},"Struct_messageWithId",[]]]],"StructBody":["define",{"sourceInterval":[1766,1784]},null,[],["app",{"sourceInterval":[1779,1784]},"Field",[]]],"Contract_simple":["define",{"sourceInterval":[1817,1878]},null,[],["seq",{"sourceInterval":[1817,1869]},["star",{"sourceInterval":[1817,1835]},["app",{"sourceInterval":[1817,1834]},"ContractAttribute",[]]],["app",{"sourceInterval":[1836,1844]},"contract",[]],["app",{"sourceInterval":[1845,1847]},"id",[]],["terminal",{"sourceInterval":[1848,1851]},"{"],["star",{"sourceInterval":[1852,1865]},["app",{"sourceInterval":[1852,1864]},"ContractBody",[]]],["terminal",{"sourceInterval":[1866,1869]},"}"]]],"Contract_withTraits":["define",{"sourceInterval":[1894,1979]},null,[],["seq",{"sourceInterval":[1894,1966]},["star",{"sourceInterval":[1894,1912]},["app",{"sourceInterval":[1894,1911]},"ContractAttribute",[]]],["app",{"sourceInterval":[1913,1921]},"contract",[]],["app",{"sourceInterval":[1922,1924]},"id",[]],["app",{"sourceInterval":[1925,1929]},"with",[]],["app",{"sourceInterval":[1930,1944]},"ListOf",[["app",{"sourceInterval":[1937,1939]},"id",[]],["terminal",{"sourceInterval":[1940,1943]},","]]],["terminal",{"sourceInterval":[1945,1948]},"{"],["star",{"sourceInterval":[1949,1962]},["app",{"sourceInterval":[1949,1961]},"ContractBody",[]]],["terminal",{"sourceInterval":[1963,1966]},"}"]]],"Contract":["define",{"sourceInterval":[1806,1979]},null,[],["alt",{"sourceInterval":[1817,1979]},["app",{"sourceInterval":[1817,1869]},"Contract_simple",[]],["app",{"sourceInterval":[1894,1966]},"Contract_withTraits",[]]]],"ContractInit":["define",{"sourceInterval":[1984,2056]},null,[],["seq",{"sourceInterval":[1999,2056]},["terminal",{"sourceInterval":[1999,2005]},"init"],["terminal",{"sourceInterval":[2006,2009]},"("],["app",{"sourceInterval":[2010,2033]},"ListOf",[["app",{"sourceInterval":[2017,2028]},"FunctionArg",[]],["terminal",{"sourceInterval":[2029,2032]},","]]],["terminal",{"sourceInterval":[2034,2037]},")"],["terminal",{"sourceInterval":[2038,2041]},"{"],["star",{"sourceInterval":[2042,2052]},["app",{"sourceInterval":[2042,2051]},"Statement",[]]],["terminal",{"sourceInterval":[2053,2056]},"}"]]],"ContractBody":["define",{"sourceInterval":[2061,2204]},null,[],["alt",{"sourceInterval":[2076,2204]},["app",{"sourceInterval":[2076,2081]},"Field",[]],["app",{"sourceInterval":[2101,2113]},"ContractInit",[]],["app",{"sourceInterval":[2133,2148]},"ReceiveFunction",[]],["app",{"sourceInterval":[2168,2176]},"Function",[]],["app",{"sourceInterval":[2196,2204]},"Constant",[]]]],"Trait_originary":["define",{"sourceInterval":[2235,2293]},null,[],["seq",{"sourceInterval":[2235,2281]},["star",{"sourceInterval":[2235,2253]},["app",{"sourceInterval":[2235,2252]},"ContractAttribute",[]]],["app",{"sourceInterval":[2254,2259]},"trait",[]],["app",{"sourceInterval":[2260,2262]},"id",[]],["terminal",{"sourceInterval":[2263,2266]},"{"],["star",{"sourceInterval":[2267,2277]},["app",{"sourceInterval":[2267,2276]},"TraitBody",[]]],["terminal",{"sourceInterval":[2278,2281]},"}"]]],"Trait_withTraits":["define",{"sourceInterval":[2306,2385]},null,[],["seq",{"sourceInterval":[2306,2372]},["star",{"sourceInterval":[2306,2324]},["app",{"sourceInterval":[2306,2323]},"ContractAttribute",[]]],["app",{"sourceInterval":[2325,2330]},"trait",[]],["app",{"sourceInterval":[2331,2333]},"id",[]],["app",{"sourceInterval":[2334,2338]},"with",[]],["app",{"sourceInterval":[2339,2353]},"ListOf",[["app",{"sourceInterval":[2346,2348]},"id",[]],["terminal",{"sourceInterval":[2349,2352]},","]]],["terminal",{"sourceInterval":[2354,2357]},"{"],["star",{"sourceInterval":[2358,2368]},["app",{"sourceInterval":[2358,2367]},"TraitBody",[]]],["terminal",{"sourceInterval":[2369,2372]},"}"]]],"Trait":["define",{"sourceInterval":[2227,2385]},null,[],["alt",{"sourceInterval":[2235,2385]},["app",{"sourceInterval":[2235,2281]},"Trait_originary",[]],["app",{"sourceInterval":[2306,2372]},"Trait_withTraits",[]]]],"TraitBody":["define",{"sourceInterval":[2390,2489]},null,[],["alt",{"sourceInterval":[2402,2489]},["app",{"sourceInterval":[2402,2407]},"Field",[]],["app",{"sourceInterval":[2424,2439]},"ReceiveFunction",[]],["app",{"sourceInterval":[2456,2464]},"Function",[]],["app",{"sourceInterval":[2481,2489]},"Constant",[]]]],"ContractAttribute_interface":["define",{"sourceInterval":[2542,2588]},null,[],["seq",{"sourceInterval":[2542,2576]},["terminal",{"sourceInterval":[2542,2554]},"@interface"],["terminal",{"sourceInterval":[2555,2558]},"("],["app",{"sourceInterval":[2559,2572]},"stringLiteral",[]],["terminal",{"sourceInterval":[2573,2576]},")"]]],"ContractAttribute":["define",{"sourceInterval":[2522,2588]},null,[],["app",{"sourceInterval":[2542,2588]},"ContractAttribute_interface",[]]],"FunctionAttribute_getter":["define",{"sourceInterval":[2630,2648]},null,[],["terminal",{"sourceInterval":[2630,2635]},"get"]],"FunctionAttribute_mutates":["define",{"sourceInterval":[2673,2692]},null,[],["app",{"sourceInterval":[2673,2680]},"mutates",[]]],"FunctionAttribute_extends":["define",{"sourceInterval":[2717,2736]},null,[],["app",{"sourceInterval":[2717,2724]},"extends",[]]],"FunctionAttribute_virtual":["define",{"sourceInterval":[2761,2780]},null,[],["app",{"sourceInterval":[2761,2768]},"virtual",[]]],"FunctionAttribute_override":["define",{"sourceInterval":[2805,2825]},null,[],["app",{"sourceInterval":[2805,2813]},"override",[]]],"FunctionAttribute_inline":["define",{"sourceInterval":[2850,2868]},null,[],["app",{"sourceInterval":[2850,2856]},"inline",[]]],"FunctionAttribute_abstract":["define",{"sourceInterval":[2893,2913]},null,[],["app",{"sourceInterval":[2893,2901]},"abstract",[]]],"FunctionAttribute":["define",{"sourceInterval":[2610,2913]},null,[],["alt",{"sourceInterval":[2630,2913]},["app",{"sourceInterval":[2630,2635]},"FunctionAttribute_getter",[]],["app",{"sourceInterval":[2673,2680]},"FunctionAttribute_mutates",[]],["app",{"sourceInterval":[2717,2724]},"FunctionAttribute_extends",[]],["app",{"sourceInterval":[2761,2768]},"FunctionAttribute_virtual",[]],["app",{"sourceInterval":[2805,2813]},"FunctionAttribute_override",[]],["app",{"sourceInterval":[2850,2856]},"FunctionAttribute_inline",[]],["app",{"sourceInterval":[2893,2901]},"FunctionAttribute_abstract",[]]]],"Function_withVoid":["define",{"sourceInterval":[2929,3016]},null,[],["seq",{"sourceInterval":[2929,3005]},["star",{"sourceInterval":[2929,2947]},["app",{"sourceInterval":[2929,2946]},"FunctionAttribute",[]]],["app",{"sourceInterval":[2948,2951]},"fun",[]],["app",{"sourceInterval":[2952,2954]},"id",[]],["terminal",{"sourceInterval":[2955,2958]},"("],["app",{"sourceInterval":[2959,2982]},"ListOf",[["app",{"sourceInterval":[2966,2977]},"FunctionArg",[]],["terminal",{"sourceInterval":[2978,2981]},","]]],["terminal",{"sourceInterval":[2983,2986]},")"],["terminal",{"sourceInterval":[2987,2990]},"{"],["star",{"sourceInterval":[2991,3001]},["app",{"sourceInterval":[2991,3000]},"Statement",[]]],["terminal",{"sourceInterval":[3002,3005]},"}"]]],"Function_withType":["define",{"sourceInterval":[3032,3128]},null,[],["seq",{"sourceInterval":[3032,3117]},["star",{"sourceInterval":[3032,3050]},["app",{"sourceInterval":[3032,3049]},"FunctionAttribute",[]]],["app",{"sourceInterval":[3051,3054]},"fun",[]],["app",{"sourceInterval":[3055,3057]},"id",[]],["terminal",{"sourceInterval":[3058,3061]},"("],["app",{"sourceInterval":[3062,3085]},"ListOf",[["app",{"sourceInterval":[3069,3080]},"FunctionArg",[]],["terminal",{"sourceInterval":[3081,3084]},","]]],["terminal",{"sourceInterval":[3086,3089]},")"],["terminal",{"sourceInterval":[3090,3093]},":"],["app",{"sourceInterval":[3094,3098]},"Type",[]],["terminal",{"sourceInterval":[3099,3102]},"{"],["star",{"sourceInterval":[3103,3113]},["app",{"sourceInterval":[3103,3112]},"Statement",[]]],["terminal",{"sourceInterval":[3114,3117]},"}"]]],"Function_abstractVoid":["define",{"sourceInterval":[3144,3220]},null,[],["seq",{"sourceInterval":[3144,3205]},["star",{"sourceInterval":[3144,3162]},["app",{"sourceInterval":[3144,3161]},"FunctionAttribute",[]]],["app",{"sourceInterval":[3163,3166]},"fun",[]],["app",{"sourceInterval":[3167,3169]},"id",[]],["terminal",{"sourceInterval":[3170,3173]},"("],["app",{"sourceInterval":[3174,3197]},"ListOf",[["app",{"sourceInterval":[3181,3192]},"FunctionArg",[]],["terminal",{"sourceInterval":[3193,3196]},","]]],["terminal",{"sourceInterval":[3198,3201]},")"],["terminal",{"sourceInterval":[3202,3205]},";"]]],"Function_abstractType":["define",{"sourceInterval":[3236,3321]},null,[],["seq",{"sourceInterval":[3236,3306]},["star",{"sourceInterval":[3236,3254]},["app",{"sourceInterval":[3236,3253]},"FunctionAttribute",[]]],["app",{"sourceInterval":[3255,3258]},"fun",[]],["app",{"sourceInterval":[3259,3261]},"id",[]],["terminal",{"sourceInterval":[3262,3265]},"("],["app",{"sourceInterval":[3266,3289]},"ListOf",[["app",{"sourceInterval":[3273,3284]},"FunctionArg",[]],["terminal",{"sourceInterval":[3285,3288]},","]]],["terminal",{"sourceInterval":[3290,3293]},")"],["terminal",{"sourceInterval":[3294,3297]},":"],["app",{"sourceInterval":[3298,3302]},"Type",[]],["terminal",{"sourceInterval":[3303,3306]},";"]]],"Function":["define",{"sourceInterval":[2918,3321]},null,[],["alt",{"sourceInterval":[2929,3321]},["app",{"sourceInterval":[2929,3005]},"Function_withVoid",[]],["app",{"sourceInterval":[3032,3117]},"Function_withType",[]],["app",{"sourceInterval":[3144,3205]},"Function_abstractVoid",[]],["app",{"sourceInterval":[3236,3306]},"Function_abstractType",[]]]],"FunctionArg":["define",{"sourceInterval":[3326,3351]},null,[],["seq",{"sourceInterval":[3340,3351]},["app",{"sourceInterval":[3340,3342]},"id",[]],["terminal",{"sourceInterval":[3343,3346]},":"],["app",{"sourceInterval":[3347,3351]},"Type",[]]]],"ReceiveFunction_simple":["define",{"sourceInterval":[3379,3436]},null,[],["seq",{"sourceInterval":[3379,3427]},["terminal",{"sourceInterval":[3379,3388]},"receive"],["terminal",{"sourceInterval":[3389,3392]},"("],["app",{"sourceInterval":[3393,3404]},"FunctionArg",[]],["terminal",{"sourceInterval":[3405,3408]},")"],["terminal",{"sourceInterval":[3409,3412]},"{"],["star",{"sourceInterval":[3413,3423]},["app",{"sourceInterval":[3413,3422]},"Statement",[]]],["terminal",{"sourceInterval":[3424,3427]},"}"]]],"ReceiveFunction_empty":["define",{"sourceInterval":[3459,3503]},null,[],["seq",{"sourceInterval":[3459,3495]},["terminal",{"sourceInterval":[3459,3468]},"receive"],["terminal",{"sourceInterval":[3469,3472]},"("],["terminal",{"sourceInterval":[3473,3476]},")"],["terminal",{"sourceInterval":[3477,3480]},"{"],["star",{"sourceInterval":[3481,3491]},["app",{"sourceInterval":[3481,3490]},"Statement",[]]],["terminal",{"sourceInterval":[3492,3495]},"}"]]],"ReceiveFunction_comment":["define",{"sourceInterval":[3526,3586]},null,[],["seq",{"sourceInterval":[3526,3576]},["terminal",{"sourceInterval":[3526,3535]},"receive"],["terminal",{"sourceInterval":[3536,3539]},"("],["app",{"sourceInterval":[3540,3553]},"stringLiteral",[]],["terminal",{"sourceInterval":[3554,3557]},")"],["terminal",{"sourceInterval":[3558,3561]},"{"],["star",{"sourceInterval":[3562,3572]},["app",{"sourceInterval":[3562,3571]},"Statement",[]]],["terminal",{"sourceInterval":[3573,3576]},"}"]]],"ReceiveFunction_bounced":["define",{"sourceInterval":[3609,3667]},null,[],["seq",{"sourceInterval":[3609,3657]},["terminal",{"sourceInterval":[3609,3618]},"bounced"],["terminal",{"sourceInterval":[3619,3622]},"("],["app",{"sourceInterval":[3623,3634]},"FunctionArg",[]],["terminal",{"sourceInterval":[3635,3638]},")"],["terminal",{"sourceInterval":[3639,3642]},"{"],["star",{"sourceInterval":[3643,3653]},["app",{"sourceInterval":[3643,3652]},"Statement",[]]],["terminal",{"sourceInterval":[3654,3657]},"}"]]],"ReceiveFunction_externalSimple":["define",{"sourceInterval":[3690,3756]},null,[],["seq",{"sourceInterval":[3690,3739]},["terminal",{"sourceInterval":[3690,3700]},"external"],["terminal",{"sourceInterval":[3701,3704]},"("],["app",{"sourceInterval":[3705,3716]},"FunctionArg",[]],["terminal",{"sourceInterval":[3717,3720]},")"],["terminal",{"sourceInterval":[3721,3724]},"{"],["star",{"sourceInterval":[3725,3735]},["app",{"sourceInterval":[3725,3734]},"Statement",[]]],["terminal",{"sourceInterval":[3736,3739]},"}"]]],"ReceiveFunction_externalComment":["define",{"sourceInterval":[3779,3848]},null,[],["seq",{"sourceInterval":[3779,3830]},["terminal",{"sourceInterval":[3779,3789]},"external"],["terminal",{"sourceInterval":[3790,3793]},"("],["app",{"sourceInterval":[3794,3807]},"stringLiteral",[]],["terminal",{"sourceInterval":[3808,3811]},")"],["terminal",{"sourceInterval":[3812,3815]},"{"],["star",{"sourceInterval":[3816,3826]},["app",{"sourceInterval":[3816,3825]},"Statement",[]]],["terminal",{"sourceInterval":[3827,3830]},"}"]]],"ReceiveFunction_externalEmpty":["define",{"sourceInterval":[3871,3924]},null,[],["seq",{"sourceInterval":[3871,3908]},["terminal",{"sourceInterval":[3871,3881]},"external"],["terminal",{"sourceInterval":[3882,3885]},"("],["terminal",{"sourceInterval":[3886,3889]},")"],["terminal",{"sourceInterval":[3890,3893]},"{"],["star",{"sourceInterval":[3894,3904]},["app",{"sourceInterval":[3894,3903]},"Statement",[]]],["terminal",{"sourceInterval":[3905,3908]},"}"]]],"ReceiveFunction":["define",{"sourceInterval":[3361,3924]},null,[],["alt",{"sourceInterval":[3379,3924]},["app",{"sourceInterval":[3379,3427]},"ReceiveFunction_simple",[]],["app",{"sourceInterval":[3459,3495]},"ReceiveFunction_empty",[]],["app",{"sourceInterval":[3526,3576]},"ReceiveFunction_comment",[]],["app",{"sourceInterval":[3609,3657]},"ReceiveFunction_bounced",[]],["app",{"sourceInterval":[3690,3739]},"ReceiveFunction_externalSimple",[]],["app",{"sourceInterval":[3779,3830]},"ReceiveFunction_externalComment",[]],["app",{"sourceInterval":[3871,3908]},"ReceiveFunction_externalEmpty",[]]]],"Statement":["define",{"sourceInterval":[3948,4273]},null,[],["alt",{"sourceInterval":[3960,4273]},["app",{"sourceInterval":[3960,3972]},"StatementLet",[]],["app",{"sourceInterval":[3989,4003]},"StatementBlock",[]],["app",{"sourceInterval":[4020,4035]},"StatementReturn",[]],["app",{"sourceInterval":[4052,4071]},"StatementExpression",[]],["app",{"sourceInterval":[4088,4103]},"StatementAssign",[]],["app",{"sourceInterval":[4120,4144]},"StatementAugmentedAssign",[]],["app",{"sourceInterval":[4161,4179]},"StatementCondition",[]],["app",{"sourceInterval":[4196,4210]},"StatementWhile",[]],["app",{"sourceInterval":[4227,4242]},"StatementRepeat",[]],["app",{"sourceInterval":[4259,4273]},"StatementUntil",[]]]],"StatementBlock":["define",{"sourceInterval":[4278,4313]},null,[],["seq",{"sourceInterval":[4295,4313]},["terminal",{"sourceInterval":[4295,4298]},"{"],["star",{"sourceInterval":[4299,4309]},["app",{"sourceInterval":[4299,4308]},"Statement",[]]],["terminal",{"sourceInterval":[4310,4313]},"}"]]],"StatementLet":["define",{"sourceInterval":[4318,4367]},null,[],["seq",{"sourceInterval":[4333,4367]},["app",{"sourceInterval":[4333,4336]},"let",[]],["app",{"sourceInterval":[4337,4339]},"id",[]],["terminal",{"sourceInterval":[4340,4343]},":"],["app",{"sourceInterval":[4344,4348]},"Type",[]],["terminal",{"sourceInterval":[4349,4352]},"="],["app",{"sourceInterval":[4353,4363]},"Expression",[]],["terminal",{"sourceInterval":[4364,4367]},";"]]],"StatementReturn_withExpression":["define",{"sourceInterval":[4390,4428]},null,[],["seq",{"sourceInterval":[4390,4411]},["app",{"sourceInterval":[4390,4396]},"return",[]],["app",{"sourceInterval":[4397,4407]},"Expression",[]],["terminal",{"sourceInterval":[4408,4411]},";"]]],"StatementReturn_withoutExpression":["define",{"sourceInterval":[4451,4481]},null,[],["seq",{"sourceInterval":[4451,4461]},["app",{"sourceInterval":[4451,4457]},"return",[]],["terminal",{"sourceInterval":[4458,4461]},";"]]],"StatementReturn":["define",{"sourceInterval":[4372,4481]},null,[],["alt",{"sourceInterval":[4390,4481]},["app",{"sourceInterval":[4390,4411]},"StatementReturn_withExpression",[]],["app",{"sourceInterval":[4451,4461]},"StatementReturn_withoutExpression",[]]]],"StatementExpression":["define",{"sourceInterval":[4490,4526]},null,[],["seq",{"sourceInterval":[4512,4526]},["app",{"sourceInterval":[4512,4522]},"Expression",[]],["terminal",{"sourceInterval":[4523,4526]},";"]]],"StatementAssign":["define",{"sourceInterval":[4531,4574]},null,[],["seq",{"sourceInterval":[4549,4574]},["app",{"sourceInterval":[4549,4555]},"LValue",[]],["terminal",{"sourceInterval":[4556,4559]},"="],["app",{"sourceInterval":[4560,4570]},"Expression",[]],["terminal",{"sourceInterval":[4571,4574]},";"]]],"StatementAugmentedAssign":["define",{"sourceInterval":[4579,4869]},null,[],["alt",{"sourceInterval":[4606,4869]},["app",{"sourceInterval":[4606,4633]},"StatementAugmentedAssignAdd",[]],["app",{"sourceInterval":[4665,4692]},"StatementAugmentedAssignSub",[]],["app",{"sourceInterval":[4724,4751]},"StatementAugmentedAssignMul",[]],["app",{"sourceInterval":[4783,4810]},"StatementAugmentedAssignDiv",[]],["app",{"sourceInterval":[4842,4869]},"StatementAugmentedAssignRem",[]]]],"StatementAugmentedAssignAdd":["define",{"sourceInterval":[4874,4930]},null,[],["seq",{"sourceInterval":[4904,4930]},["app",{"sourceInterval":[4904,4910]},"LValue",[]],["terminal",{"sourceInterval":[4911,4915]},"+="],["app",{"sourceInterval":[4916,4926]},"Expression",[]],["terminal",{"sourceInterval":[4927,4930]},";"]]],"StatementAugmentedAssignSub":["define",{"sourceInterval":[4935,4991]},null,[],["seq",{"sourceInterval":[4965,4991]},["app",{"sourceInterval":[4965,4971]},"LValue",[]],["terminal",{"sourceInterval":[4972,4976]},"-="],["app",{"sourceInterval":[4977,4987]},"Expression",[]],["terminal",{"sourceInterval":[4988,4991]},";"]]],"StatementAugmentedAssignMul":["define",{"sourceInterval":[4996,5052]},null,[],["seq",{"sourceInterval":[5026,5052]},["app",{"sourceInterval":[5026,5032]},"LValue",[]],["terminal",{"sourceInterval":[5033,5037]},"*="],["app",{"sourceInterval":[5038,5048]},"Expression",[]],["terminal",{"sourceInterval":[5049,5052]},";"]]],"StatementAugmentedAssignDiv":["define",{"sourceInterval":[5057,5113]},null,[],["seq",{"sourceInterval":[5087,5113]},["app",{"sourceInterval":[5087,5093]},"LValue",[]],["terminal",{"sourceInterval":[5094,5098]},"/="],["app",{"sourceInterval":[5099,5109]},"Expression",[]],["terminal",{"sourceInterval":[5110,5113]},";"]]],"StatementAugmentedAssignRem":["define",{"sourceInterval":[5118,5174]},null,[],["seq",{"sourceInterval":[5148,5174]},["app",{"sourceInterval":[5148,5154]},"LValue",[]],["terminal",{"sourceInterval":[5155,5159]},"%="],["app",{"sourceInterval":[5160,5170]},"Expression",[]],["terminal",{"sourceInterval":[5171,5174]},";"]]],"StatementCondition_simple":["define",{"sourceInterval":[5200,5247]},null,[],["seq",{"sourceInterval":[5200,5238]},["app",{"sourceInterval":[5200,5202]},"if",[]],["app",{"sourceInterval":[5203,5213]},"Expression",[]],["terminal",{"sourceInterval":[5214,5217]},"{"],["star",{"sourceInterval":[5218,5228]},["app",{"sourceInterval":[5218,5227]},"Statement",[]]],["terminal",{"sourceInterval":[5229,5232]},"}"],["not",{"sourceInterval":[5233,5238]},["app",{"sourceInterval":[5234,5238]},"else",[]]]]],"StatementCondition_withElse":["define",{"sourceInterval":[5273,5340]},null,[],["seq",{"sourceInterval":[5273,5329]},["app",{"sourceInterval":[5273,5275]},"if",[]],["app",{"sourceInterval":[5276,5286]},"Expression",[]],["terminal",{"sourceInterval":[5287,5290]},"{"],["star",{"sourceInterval":[5291,5301]},["app",{"sourceInterval":[5291,5300]},"Statement",[]]],["terminal",{"sourceInterval":[5302,5305]},"}"],["app",{"sourceInterval":[5306,5310]},"else",[]],["terminal",{"sourceInterval":[5311,5314]},"{"],["star",{"sourceInterval":[5315,5325]},["app",{"sourceInterval":[5315,5324]},"Statement",[]]],["terminal",{"sourceInterval":[5326,5329]},"}"]]],"StatementCondition_withElseIf":["define",{"sourceInterval":[5366,5435]},null,[],["seq",{"sourceInterval":[5366,5422]},["app",{"sourceInterval":[5366,5368]},"if",[]],["app",{"sourceInterval":[5369,5379]},"Expression",[]],["terminal",{"sourceInterval":[5380,5383]},"{"],["star",{"sourceInterval":[5384,5394]},["app",{"sourceInterval":[5384,5393]},"Statement",[]]],["terminal",{"sourceInterval":[5395,5398]},"}"],["app",{"sourceInterval":[5399,5403]},"else",[]],["app",{"sourceInterval":[5404,5422]},"StatementCondition",[]]]],"StatementCondition":["define",{"sourceInterval":[5179,5435]},null,[],["alt",{"sourceInterval":[5200,5435]},["app",{"sourceInterval":[5200,5238]},"StatementCondition_simple",[]],["app",{"sourceInterval":[5273,5329]},"StatementCondition_withElse",[]],["app",{"sourceInterval":[5366,5422]},"StatementCondition_withElseIf",[]]]],"StatementWhile":["define",{"sourceInterval":[5440,5500]},null,[],["seq",{"sourceInterval":[5457,5500]},["app",{"sourceInterval":[5457,5462]},"while",[]],["terminal",{"sourceInterval":[5463,5466]},"("],["app",{"sourceInterval":[5467,5477]},"Expression",[]],["terminal",{"sourceInterval":[5478,5481]},")"],["terminal",{"sourceInterval":[5482,5485]},"{"],["star",{"sourceInterval":[5486,5496]},["app",{"sourceInterval":[5486,5495]},"Statement",[]]],["terminal",{"sourceInterval":[5497,5500]},"}"]]],"StatementRepeat":["define",{"sourceInterval":[5505,5567]},null,[],["seq",{"sourceInterval":[5523,5567]},["app",{"sourceInterval":[5523,5529]},"repeat",[]],["terminal",{"sourceInterval":[5530,5533]},"("],["app",{"sourceInterval":[5534,5544]},"Expression",[]],["terminal",{"sourceInterval":[5545,5548]},")"],["terminal",{"sourceInterval":[5549,5552]},"{"],["star",{"sourceInterval":[5553,5563]},["app",{"sourceInterval":[5553,5562]},"Statement",[]]],["terminal",{"sourceInterval":[5564,5567]},"}"]]],"StatementUntil":["define",{"sourceInterval":[5572,5639]},null,[],["seq",{"sourceInterval":[5589,5639]},["app",{"sourceInterval":[5589,5591]},"do",[]],["terminal",{"sourceInterval":[5592,5595]},"{"],["star",{"sourceInterval":[5596,5606]},["app",{"sourceInterval":[5596,5605]},"Statement",[]]],["terminal",{"sourceInterval":[5607,5610]},"}"],["app",{"sourceInterval":[5611,5616]},"until",[]],["terminal",{"sourceInterval":[5617,5620]},"("],["app",{"sourceInterval":[5621,5631]},"Expression",[]],["terminal",{"sourceInterval":[5632,5635]},")"],["terminal",{"sourceInterval":[5636,5639]},";"]]],"LValue_more":["define",{"sourceInterval":[5669,5689]},null,[],["seq",{"sourceInterval":[5669,5682]},["app",{"sourceInterval":[5669,5671]},"id",[]],["terminal",{"sourceInterval":[5672,5675]},"."],["app",{"sourceInterval":[5676,5682]},"LValue",[]]]],"LValue_single":["define",{"sourceInterval":[5703,5714]},null,[],["app",{"sourceInterval":[5703,5705]},"id",[]]],"LValue":["define",{"sourceInterval":[5660,5714]},null,[],["alt",{"sourceInterval":[5669,5714]},["app",{"sourceInterval":[5669,5682]},"LValue_more",[]],["app",{"sourceInterval":[5703,5705]},"LValue_single",[]]]],"Expression":["define",{"sourceInterval":[5739,5773]},null,[],["app",{"sourceInterval":[5752,5773]},"ExpressionConditional",[]]],"ExpressionConditional_ternary":["define",{"sourceInterval":[5802,5867]},null,[],["seq",{"sourceInterval":[5802,5857]},["app",{"sourceInterval":[5802,5814]},"ExpressionOr",[]],["terminal",{"sourceInterval":[5815,5818]},"?"],["app",{"sourceInterval":[5819,5831]},"ExpressionOr",[]],["terminal",{"sourceInterval":[5832,5835]},":"],["app",{"sourceInterval":[5836,5857]},"ExpressionConditional",[]]]],"ExpressionConditional":["define",{"sourceInterval":[5778,5908]},null,[],["alt",{"sourceInterval":[5802,5908]},["app",{"sourceInterval":[5802,5857]},"ExpressionConditional_ternary",[]],["app",{"sourceInterval":[5896,5908]},"ExpressionOr",[]]]],"ExpressionOr_or":["define",{"sourceInterval":[5928,5964]},null,[],["seq",{"sourceInterval":[5928,5959]},["app",{"sourceInterval":[5928,5940]},"ExpressionOr",[]],["terminal",{"sourceInterval":[5941,5945]},"||"],["app",{"sourceInterval":[5946,5959]},"ExpressionAnd",[]]]],"ExpressionOr":["define",{"sourceInterval":[5913,5997]},null,[],["alt",{"sourceInterval":[5928,5997]},["app",{"sourceInterval":[5928,5959]},"ExpressionOr_or",[]],["app",{"sourceInterval":[5984,5997]},"ExpressionAnd",[]]]],"ExpressionAnd_and":["define",{"sourceInterval":[6018,6060]},null,[],["seq",{"sourceInterval":[6018,6054]},["app",{"sourceInterval":[6018,6031]},"ExpressionAnd",[]],["terminal",{"sourceInterval":[6032,6036]},"&&"],["app",{"sourceInterval":[6037,6054]},"ExpressionCompare",[]]]],"ExpressionAnd":["define",{"sourceInterval":[6002,6098]},null,[],["alt",{"sourceInterval":[6018,6098]},["app",{"sourceInterval":[6018,6054]},"ExpressionAnd_and",[]],["app",{"sourceInterval":[6081,6098]},"ExpressionCompare",[]]]],"ExpressionCompare_not":["define",{"sourceInterval":[6123,6168]},null,[],["seq",{"sourceInterval":[6123,6162]},["app",{"sourceInterval":[6123,6140]},"ExpressionCompare",[]],["terminal",{"sourceInterval":[6141,6145]},"!="],["app",{"sourceInterval":[6146,6162]},"ExpressionBinary",[]]]],"ExpressionCompare_eq":["define",{"sourceInterval":[6193,6237]},null,[],["seq",{"sourceInterval":[6193,6232]},["app",{"sourceInterval":[6193,6210]},"ExpressionCompare",[]],["terminal",{"sourceInterval":[6211,6215]},"=="],["app",{"sourceInterval":[6216,6232]},"ExpressionBinary",[]]]],"ExpressionCompare_gt":["define",{"sourceInterval":[6262,6305]},null,[],["seq",{"sourceInterval":[6262,6300]},["app",{"sourceInterval":[6262,6279]},"ExpressionCompare",[]],["terminal",{"sourceInterval":[6280,6283]},">"],["app",{"sourceInterval":[6284,6300]},"ExpressionBinary",[]]]],"ExpressionCompare_gte":["define",{"sourceInterval":[6330,6375]},null,[],["seq",{"sourceInterval":[6330,6369]},["app",{"sourceInterval":[6330,6347]},"ExpressionCompare",[]],["terminal",{"sourceInterval":[6348,6352]},">="],["app",{"sourceInterval":[6353,6369]},"ExpressionBinary",[]]]],"ExpressionCompare_lt":["define",{"sourceInterval":[6400,6443]},null,[],["seq",{"sourceInterval":[6400,6438]},["app",{"sourceInterval":[6400,6417]},"ExpressionCompare",[]],["terminal",{"sourceInterval":[6418,6421]},"<"],["app",{"sourceInterval":[6422,6438]},"ExpressionBinary",[]]]],"ExpressionCompare_lte":["define",{"sourceInterval":[6468,6513]},null,[],["seq",{"sourceInterval":[6468,6507]},["app",{"sourceInterval":[6468,6485]},"ExpressionCompare",[]],["terminal",{"sourceInterval":[6486,6490]},"<="],["app",{"sourceInterval":[6491,6507]},"ExpressionBinary",[]]]],"ExpressionCompare":["define",{"sourceInterval":[6103,6554]},null,[],["alt",{"sourceInterval":[6123,6554]},["app",{"sourceInterval":[6123,6162]},"ExpressionCompare_not",[]],["app",{"sourceInterval":[6193,6232]},"ExpressionCompare_eq",[]],["app",{"sourceInterval":[6262,6300]},"ExpressionCompare_gt",[]],["app",{"sourceInterval":[6330,6369]},"ExpressionCompare_gte",[]],["app",{"sourceInterval":[6400,6438]},"ExpressionCompare_lt",[]],["app",{"sourceInterval":[6468,6507]},"ExpressionCompare_lte",[]],["app",{"sourceInterval":[6538,6554]},"ExpressionBinary",[]]]],"ExpressionBinary_shr":["define",{"sourceInterval":[6578,6619]},null,[],["seq",{"sourceInterval":[6578,6613]},["app",{"sourceInterval":[6578,6594]},"ExpressionBinary",[]],["terminal",{"sourceInterval":[6595,6599]},">>"],["app",{"sourceInterval":[6600,6613]},"ExpressionAdd",[]]]],"ExpressionBinary_shl":["define",{"sourceInterval":[6642,6683]},null,[],["seq",{"sourceInterval":[6642,6677]},["app",{"sourceInterval":[6642,6658]},"ExpressionBinary",[]],["terminal",{"sourceInterval":[6659,6663]},"<<"],["app",{"sourceInterval":[6664,6677]},"ExpressionAdd",[]]]],"ExpressionBinary_bin_and":["define",{"sourceInterval":[6706,6750]},null,[],["seq",{"sourceInterval":[6706,6740]},["app",{"sourceInterval":[6706,6722]},"ExpressionBinary",[]],["terminal",{"sourceInterval":[6723,6726]},"&"],["app",{"sourceInterval":[6727,6740]},"ExpressionAdd",[]]]],"ExpressionBinary_bin_or":["define",{"sourceInterval":[6773,6816]},null,[],["seq",{"sourceInterval":[6773,6807]},["app",{"sourceInterval":[6773,6789]},"ExpressionBinary",[]],["terminal",{"sourceInterval":[6790,6793]},"|"],["app",{"sourceInterval":[6794,6807]},"ExpressionAdd",[]]]],"ExpressionBinary":["define",{"sourceInterval":[6559,6852]},null,[],["alt",{"sourceInterval":[6578,6852]},["app",{"sourceInterval":[6578,6613]},"ExpressionBinary_shr",[]],["app",{"sourceInterval":[6642,6677]},"ExpressionBinary_shl",[]],["app",{"sourceInterval":[6706,6740]},"ExpressionBinary_bin_and",[]],["app",{"sourceInterval":[6773,6807]},"ExpressionBinary_bin_or",[]],["app",{"sourceInterval":[6839,6852]},"ExpressionAdd",[]]]],"ExpressionAdd_add":["define",{"sourceInterval":[6873,6915]},null,[],["seq",{"sourceInterval":[6873,6909]},["app",{"sourceInterval":[6873,6886]},"ExpressionAdd",[]],["terminal",{"sourceInterval":[6887,6890]},"+"],["not",{"sourceInterval":[6891,6895]},["terminal",{"sourceInterval":[6892,6895]},"+"]],["app",{"sourceInterval":[6896,6909]},"ExpressionMul",[]]]],"ExpressionAdd_sub":["define",{"sourceInterval":[6936,6978]},null,[],["seq",{"sourceInterval":[6936,6972]},["app",{"sourceInterval":[6936,6949]},"ExpressionAdd",[]],["terminal",{"sourceInterval":[6950,6953]},"-"],["not",{"sourceInterval":[6954,6958]},["terminal",{"sourceInterval":[6955,6958]},"-"]],["app",{"sourceInterval":[6959,6972]},"ExpressionMul",[]]]],"ExpressionAdd":["define",{"sourceInterval":[6857,7012]},null,[],["alt",{"sourceInterval":[6873,7012]},["app",{"sourceInterval":[6873,6909]},"ExpressionAdd_add",[]],["app",{"sourceInterval":[6936,6972]},"ExpressionAdd_sub",[]],["app",{"sourceInterval":[6999,7012]},"ExpressionMul",[]]]],"ExpressionMul_mul":["define",{"sourceInterval":[7033,7072]},null,[],["seq",{"sourceInterval":[7033,7066]},["app",{"sourceInterval":[7033,7046]},"ExpressionMul",[]],["terminal",{"sourceInterval":[7047,7050]},"*"],["app",{"sourceInterval":[7051,7066]},"ExpressionUnary",[]]]],"ExpressionMul_div":["define",{"sourceInterval":[7093,7132]},null,[],["seq",{"sourceInterval":[7093,7126]},["app",{"sourceInterval":[7093,7106]},"ExpressionMul",[]],["terminal",{"sourceInterval":[7107,7110]},"/"],["app",{"sourceInterval":[7111,7126]},"ExpressionUnary",[]]]],"ExpressionMul_rem":["define",{"sourceInterval":[7153,7192]},null,[],["seq",{"sourceInterval":[7153,7186]},["app",{"sourceInterval":[7153,7166]},"ExpressionMul",[]],["terminal",{"sourceInterval":[7167,7170]},"%"],["app",{"sourceInterval":[7171,7186]},"ExpressionUnary",[]]]],"ExpressionMul":["define",{"sourceInterval":[7017,7228]},null,[],["alt",{"sourceInterval":[7033,7228]},["app",{"sourceInterval":[7033,7066]},"ExpressionMul_mul",[]],["app",{"sourceInterval":[7093,7126]},"ExpressionMul_div",[]],["app",{"sourceInterval":[7153,7186]},"ExpressionMul_rem",[]],["app",{"sourceInterval":[7213,7228]},"ExpressionUnary",[]]]],"ExpressionUnary_neg":["define",{"sourceInterval":[7251,7282]},null,[],["seq",{"sourceInterval":[7251,7276]},["terminal",{"sourceInterval":[7251,7254]},"-"],["app",{"sourceInterval":[7255,7276]},"ExpressionUnarySuffix",[]]]],"ExpressionUnary_add":["define",{"sourceInterval":[7305,7336]},null,[],["seq",{"sourceInterval":[7305,7330]},["terminal",{"sourceInterval":[7305,7308]},"+"],["app",{"sourceInterval":[7309,7330]},"ExpressionUnarySuffix",[]]]],"ExpressionUnary_not":["define",{"sourceInterval":[7359,7390]},null,[],["seq",{"sourceInterval":[7359,7384]},["terminal",{"sourceInterval":[7359,7362]},"!"],["app",{"sourceInterval":[7363,7384]},"ExpressionUnarySuffix",[]]]],"ExpressionUnary":["define",{"sourceInterval":[7233,7434]},null,[],["alt",{"sourceInterval":[7251,7434]},["app",{"sourceInterval":[7251,7276]},"ExpressionUnary_neg",[]],["app",{"sourceInterval":[7305,7330]},"ExpressionUnary_add",[]],["app",{"sourceInterval":[7359,7384]},"ExpressionUnary_not",[]],["app",{"sourceInterval":[7413,7434]},"ExpressionUnarySuffix",[]]]],"ExpressionUnarySuffix_notNull":["define",{"sourceInterval":[7463,7493]},null,[],["seq",{"sourceInterval":[7463,7483]},["app",{"sourceInterval":[7463,7478]},"ExpressionValue",[]],["terminal",{"sourceInterval":[7479,7483]},"!!"]]],"ExpressionUnarySuffix":["define",{"sourceInterval":[7439,7537]},null,[],["alt",{"sourceInterval":[7463,7537]},["app",{"sourceInterval":[7463,7483]},"ExpressionUnarySuffix_notNull",[]],["app",{"sourceInterval":[7522,7537]},"ExpressionValue",[]]]],"ExpressionBracket":["define",{"sourceInterval":[7542,7580]},null,[],["seq",{"sourceInterval":[7562,7580]},["terminal",{"sourceInterval":[7562,7565]},"("],["app",{"sourceInterval":[7566,7576]},"Expression",[]],["terminal",{"sourceInterval":[7577,7580]},")"]]],"ExpressionValue":["define",{"sourceInterval":[7612,8002]},null,[],["alt",{"sourceInterval":[7630,8002]},["app",{"sourceInterval":[7630,7644]},"ExpressionCall",[]],["app",{"sourceInterval":[7667,7682]},"ExpressionField",[]],["app",{"sourceInterval":[7705,7725]},"ExpressionStaticCall",[]],["app",{"sourceInterval":[7748,7765]},"ExpressionBracket",[]],["app",{"sourceInterval":[7788,7801]},"ExpressionNew",[]],["app",{"sourceInterval":[7824,7838]},"integerLiteral",[]],["app",{"sourceInterval":[7861,7872]},"boolLiteral",[]],["app",{"sourceInterval":[7895,7897]},"id",[]],["app",{"sourceInterval":[7920,7924]},"null",[]],["app",{"sourceInterval":[7947,7963]},"ExpressionInitOf",[]],["app",{"sourceInterval":[7986,8002]},"ExpressionString",[]]]],"ExpressionString":["define",{"sourceInterval":[8007,8039]},null,[],["app",{"sourceInterval":[8026,8039]},"stringLiteral",[]]],"ExpressionField":["define",{"sourceInterval":[8044,8089]},null,[],["seq",{"sourceInterval":[8062,8089]},["app",{"sourceInterval":[8062,8077]},"ExpressionValue",[]],["terminal",{"sourceInterval":[8078,8081]},"."],["app",{"sourceInterval":[8082,8084]},"id",[]],["not",{"sourceInterval":[8085,8089]},["terminal",{"sourceInterval":[8086,8089]},"("]]]],"ExpressionCall":["define",{"sourceInterval":[8094,8165]},null,[],["seq",{"sourceInterval":[8111,8165]},["app",{"sourceInterval":[8111,8126]},"ExpressionValue",[]],["terminal",{"sourceInterval":[8127,8130]},"."],["app",{"sourceInterval":[8131,8133]},"id",[]],["terminal",{"sourceInterval":[8134,8137]},"("],["app",{"sourceInterval":[8138,8161]},"ListOf",[["app",{"sourceInterval":[8145,8155]},"Expression",[]],["terminal",{"sourceInterval":[8157,8160]},","]]],["terminal",{"sourceInterval":[8162,8165]},")"]]],"ExpressionNew":["define",{"sourceInterval":[8170,8222]},null,[],["seq",{"sourceInterval":[8186,8222]},["app",{"sourceInterval":[8186,8188]},"id",[]],["terminal",{"sourceInterval":[8189,8192]},"{"],["app",{"sourceInterval":[8193,8218]},"ListOf",[["app",{"sourceInterval":[8200,8212]},"NewParameter",[]],["terminal",{"sourceInterval":[8214,8217]},","]]],["terminal",{"sourceInterval":[8219,8222]},"}"]]],"NewParameter":["define",{"sourceInterval":[8227,8259]},null,[],["seq",{"sourceInterval":[8242,8259]},["app",{"sourceInterval":[8242,8244]},"id",[]],["terminal",{"sourceInterval":[8245,8248]},":"],["app",{"sourceInterval":[8249,8259]},"Expression",[]]]],"ExpressionStaticCall":["define",{"sourceInterval":[8264,8321]},null,[],["seq",{"sourceInterval":[8287,8321]},["app",{"sourceInterval":[8287,8289]},"id",[]],["terminal",{"sourceInterval":[8290,8293]},"("],["app",{"sourceInterval":[8294,8317]},"ListOf",[["app",{"sourceInterval":[8301,8311]},"Expression",[]],["terminal",{"sourceInterval":[8313,8316]},","]]],["terminal",{"sourceInterval":[8318,8321]},")"]]],"ExpressionInitOf":["define",{"sourceInterval":[8326,8386]},null,[],["seq",{"sourceInterval":[8345,8386]},["app",{"sourceInterval":[8345,8351]},"initOf",[]],["app",{"sourceInterval":[8352,8354]},"id",[]],["terminal",{"sourceInterval":[8355,8358]},"("],["app",{"sourceInterval":[8359,8382]},"ListOf",[["app",{"sourceInterval":[8366,8376]},"Expression",[]],["terminal",{"sourceInterval":[8378,8381]},","]]],["terminal",{"sourceInterval":[8383,8386]},")"]]],"typeLiteral":["define",{"sourceInterval":[8412,8456]},null,[],["seq",{"sourceInterval":[8426,8456]},["app",{"sourceInterval":[8426,8439]},"letterAsciiUC",[]],["star",{"sourceInterval":[8440,8456]},["app",{"sourceInterval":[8440,8455]},"typeLiteralPart",[]]]]],"typeLiteralPart":["define",{"sourceInterval":[8461,8504]},null,[],["alt",{"sourceInterval":[8479,8504]},["app",{"sourceInterval":[8479,8490]},"letterAscii",[]],["app",{"sourceInterval":[8493,8498]},"digit",[]],["terminal",{"sourceInterval":[8501,8504]},"_"]]],"integerLiteral":["define",{"sourceInterval":[8711,8805]},null,[],["alt",{"sourceInterval":[8728,8805]},["app",{"sourceInterval":[8728,8745]},"integerLiteralHex",[]],["app",{"sourceInterval":[8748,8765]},"integerLiteralBin",[]],["app",{"sourceInterval":[8768,8785]},"integerLiteralOct",[]],["app",{"sourceInterval":[8788,8805]},"integerLiteralDec",[]]]],"integerLiteralDec_nonZeroIntegerLiteralDec":["define",{"sourceInterval":[8852,8906]},null,[],["seq",{"sourceInterval":[8852,8878]},["app",{"sourceInterval":[8852,8864]},"nonZeroDigit",[]],["star",{"sourceInterval":[8865,8878]},["seq",{"sourceInterval":[8866,8876]},["opt",{"sourceInterval":[8866,8870]},["terminal",{"sourceInterval":[8866,8869]},"_"]],["app",{"sourceInterval":[8871,8876]},"digit",[]]]]]],"integerLiteralDec_integerLiteralWithLeadingZero":["define",{"sourceInterval":[8931,8990]},null,[],["seq",{"sourceInterval":[8931,8941]},["terminal",{"sourceInterval":[8931,8934]},"0"],["star",{"sourceInterval":[8935,8941]},["app",{"sourceInterval":[8935,8940]},"digit",[]]]]],"integerLiteralDec":["define",{"sourceInterval":[8832,8990]},null,[],["alt",{"sourceInterval":[8852,8990]},["app",{"sourceInterval":[8852,8878]},"integerLiteralDec_nonZeroIntegerLiteralDec",[]],["app",{"sourceInterval":[8931,8941]},"integerLiteralDec_integerLiteralWithLeadingZero",[]]]],"integerLiteralHex":["define",{"sourceInterval":[8995,9054]},null,[],["seq",{"sourceInterval":[9015,9054]},["alt",{"sourceInterval":[9016,9027]},["terminal",{"sourceInterval":[9016,9020]},"0x"],["terminal",{"sourceInterval":[9023,9027]},"0X"]],["app",{"sourceInterval":[9029,9037]},"hexDigit",[]],["star",{"sourceInterval":[9038,9054]},["seq",{"sourceInterval":[9039,9052]},["opt",{"sourceInterval":[9039,9043]},["terminal",{"sourceInterval":[9039,9042]},"_"]],["app",{"sourceInterval":[9044,9052]},"hexDigit",[]]]]]],"integerLiteralBin":["define",{"sourceInterval":[9059,9118]},null,[],["seq",{"sourceInterval":[9079,9118]},["alt",{"sourceInterval":[9080,9091]},["terminal",{"sourceInterval":[9080,9084]},"0b"],["terminal",{"sourceInterval":[9087,9091]},"0B"]],["app",{"sourceInterval":[9093,9101]},"binDigit",[]],["star",{"sourceInterval":[9102,9118]},["seq",{"sourceInterval":[9103,9116]},["opt",{"sourceInterval":[9103,9107]},["terminal",{"sourceInterval":[9103,9106]},"_"]],["app",{"sourceInterval":[9108,9116]},"binDigit",[]]]]]],"integerLiteralOct":["define",{"sourceInterval":[9123,9182]},null,[],["seq",{"sourceInterval":[9143,9182]},["alt",{"sourceInterval":[9144,9155]},["terminal",{"sourceInterval":[9144,9148]},"0o"],["terminal",{"sourceInterval":[9151,9155]},"0O"]],["app",{"sourceInterval":[9157,9165]},"octDigit",[]],["star",{"sourceInterval":[9166,9182]},["seq",{"sourceInterval":[9167,9180]},["opt",{"sourceInterval":[9167,9171]},["terminal",{"sourceInterval":[9167,9170]},"_"]],["app",{"sourceInterval":[9172,9180]},"octDigit",[]]]]]],"binDigit":["define",{"sourceInterval":[9187,9207]},null,[],["alt",{"sourceInterval":[9198,9207]},["terminal",{"sourceInterval":[9198,9201]},"0"],["terminal",{"sourceInterval":[9204,9207]},"1"]]],"octDigit":["define",{"sourceInterval":[9212,9231]},null,[],["range",{"sourceInterval":[9223,9231]},"0","7"]],"nonZeroDigit":["define",{"sourceInterval":[9236,9259]},null,[],["range",{"sourceInterval":[9251,9259]},"1","9"]],"letterAsciiLC":["define",{"sourceInterval":[9280,9304]},null,[],["range",{"sourceInterval":[9296,9304]},"a","z"]],"letterAsciiUC":["define",{"sourceInterval":[9309,9333]},null,[],["range",{"sourceInterval":[9325,9333]},"A","Z"]],"letterAscii":["define",{"sourceInterval":[9338,9381]},null,[],["alt",{"sourceInterval":[9352,9381]},["app",{"sourceInterval":[9352,9365]},"letterAsciiLC",[]],["app",{"sourceInterval":[9368,9381]},"letterAsciiUC",[]]]],"letterComment":["define",{"sourceInterval":[9386,9445]},null,[],["alt",{"sourceInterval":[9402,9445]},["app",{"sourceInterval":[9402,9415]},"letterAsciiLC",[]],["app",{"sourceInterval":[9418,9431]},"letterAsciiUC",[]],["app",{"sourceInterval":[9434,9439]},"digit",[]],["terminal",{"sourceInterval":[9442,9445]},"_"]]],"idStart":["define",{"sourceInterval":[9469,9496]},null,[],["alt",{"sourceInterval":[9479,9496]},["app",{"sourceInterval":[9479,9490]},"letterAscii",[]],["terminal",{"sourceInterval":[9493,9496]},"_"]]],"idPart":["define",{"sourceInterval":[9501,9535]},null,[],["alt",{"sourceInterval":[9510,9535]},["app",{"sourceInterval":[9510,9521]},"letterAscii",[]],["app",{"sourceInterval":[9524,9529]},"digit",[]],["terminal",{"sourceInterval":[9532,9535]},"_"]]],"id":["define",{"sourceInterval":[9540,9578]},null,[],["seq",{"sourceInterval":[9545,9578]},["not",{"sourceInterval":[9545,9558]},["app",{"sourceInterval":[9546,9558]},"reservedWord",[]]],["lex",{"sourceInterval":[9559,9567]},["app",{"sourceInterval":[9560,9567]},"idStart",[]]],["lex",{"sourceInterval":[9568,9578]},["star",{"sourceInterval":[9570,9577]},["app",{"sourceInterval":[9570,9576]},"idPart",[]]]]]],"funcLetter":["define",{"sourceInterval":[9599,9660]},null,[],["alt",{"sourceInterval":[9612,9660]},["app",{"sourceInterval":[9612,9623]},"letterAscii",[]],["terminal",{"sourceInterval":[9626,9629]},"_"],["terminal",{"sourceInterval":[9632,9635]},"'"],["terminal",{"sourceInterval":[9638,9641]},"?"],["terminal",{"sourceInterval":[9644,9647]},"!"],["terminal",{"sourceInterval":[9650,9654]},"::"],["terminal",{"sourceInterval":[9657,9660]},"&"]]],"funcId":["define",{"sourceInterval":[9665,9707]},null,[],["seq",{"sourceInterval":[9674,9707]},["app",{"sourceInterval":[9674,9684]},"funcLetter",[]],["star",{"sourceInterval":[9685,9707]},["lex",{"sourceInterval":[9685,9706]},["alt",{"sourceInterval":[9687,9705]},["app",{"sourceInterval":[9687,9697]},"funcLetter",[]],["app",{"sourceInterval":[9700,9705]},"digit",[]]]]]]],"boolLiteral":["define",{"sourceInterval":[9733,9773]},null,[],["seq",{"sourceInterval":[9747,9773]},["alt",{"sourceInterval":[9748,9764]},["terminal",{"sourceInterval":[9748,9754]},"true"],["terminal",{"sourceInterval":[9757,9764]},"false"]],["not",{"sourceInterval":[9766,9773]},["app",{"sourceInterval":[9767,9773]},"idPart",[]]]]],"stringLiteral":["define",{"sourceInterval":[9801,9870]},null,[],["seq",{"sourceInterval":[9817,9870]},["terminal",{"sourceInterval":[9817,9821]},"\""],["star",{"sourceInterval":[9822,9865]},["alt",{"sourceInterval":[9823,9863]},["app",{"sourceInterval":[9823,9846]},"nonQuoteOrBackslashChar",[]],["app",{"sourceInterval":[9849,9863]},"escapeSequence",[]]]],["terminal",{"sourceInterval":[9866,9870]},"\""]]],"nonQuoteOrBackslashChar":["define",{"sourceInterval":[9875,9919]},null,[],["seq",{"sourceInterval":[9901,9919]},["not",{"sourceInterval":[9901,9915]},["alt",{"sourceInterval":[9903,9914]},["terminal",{"sourceInterval":[9903,9907]},"\""],["terminal",{"sourceInterval":[9910,9914]},"\\"]]],["app",{"sourceInterval":[9916,9919]},"any",[]]]],"escapeSequence_backslash":["define",{"sourceInterval":[9941,9960]},null,[],["terminal",{"sourceInterval":[9941,9947]},"\\\\"]],"escapeSequence_doubleQuote":["define",{"sourceInterval":[9982,10003]},null,[],["terminal",{"sourceInterval":[9982,9988]},"\\\""]],"escapeSequence_newline":["define",{"sourceInterval":[10025,10041]},null,[],["terminal",{"sourceInterval":[10025,10030]},"\\n"]],"escapeSequence_carriageReturn":["define",{"sourceInterval":[10063,10086]},null,[],["terminal",{"sourceInterval":[10063,10068]},"\\r"]],"escapeSequence_tab":["define",{"sourceInterval":[10108,10120]},null,[],["terminal",{"sourceInterval":[10108,10113]},"\\t"]],"escapeSequence_verticalTab":["define",{"sourceInterval":[10142,10162]},null,[],["terminal",{"sourceInterval":[10142,10147]},"\\v"]],"escapeSequence_backspace":["define",{"sourceInterval":[10184,10202]},null,[],["terminal",{"sourceInterval":[10184,10189]},"\\b"]],"escapeSequence_formFeed":["define",{"sourceInterval":[10224,10241]},null,[],["terminal",{"sourceInterval":[10224,10229]},"\\f"]],"escapeSequence_unicodeCodePoint":["define",{"sourceInterval":[10263,10352]},null,[],["seq",{"sourceInterval":[10263,10332]},["terminal",{"sourceInterval":[10263,10269]},"\\u{"],["app",{"sourceInterval":[10270,10278]},"hexDigit",[]],["opt",{"sourceInterval":[10279,10288]},["app",{"sourceInterval":[10279,10287]},"hexDigit",[]]],["opt",{"sourceInterval":[10289,10298]},["app",{"sourceInterval":[10289,10297]},"hexDigit",[]]],["opt",{"sourceInterval":[10299,10308]},["app",{"sourceInterval":[10299,10307]},"hexDigit",[]]],["opt",{"sourceInterval":[10309,10318]},["app",{"sourceInterval":[10309,10317]},"hexDigit",[]]],["opt",{"sourceInterval":[10319,10328]},["app",{"sourceInterval":[10319,10327]},"hexDigit",[]]],["terminal",{"sourceInterval":[10329,10332]},"}"]]],"escapeSequence_unicodeEscape":["define",{"sourceInterval":[10374,10432]},null,[],["seq",{"sourceInterval":[10374,10415]},["terminal",{"sourceInterval":[10374,10379]},"\\u"],["app",{"sourceInterval":[10380,10388]},"hexDigit",[]],["app",{"sourceInterval":[10389,10397]},"hexDigit",[]],["app",{"sourceInterval":[10398,10406]},"hexDigit",[]],["app",{"sourceInterval":[10407,10415]},"hexDigit",[]]]],"escapeSequence_hexEscape":["define",{"sourceInterval":[10454,10490]},null,[],["seq",{"sourceInterval":[10454,10477]},["terminal",{"sourceInterval":[10454,10459]},"\\x"],["app",{"sourceInterval":[10460,10468]},"hexDigit",[]],["app",{"sourceInterval":[10469,10477]},"hexDigit",[]]]],"escapeSequence":["define",{"sourceInterval":[9924,10490]},null,[],["alt",{"sourceInterval":[9941,10490]},["app",{"sourceInterval":[9941,9947]},"escapeSequence_backslash",[]],["app",{"sourceInterval":[9982,9988]},"escapeSequence_doubleQuote",[]],["app",{"sourceInterval":[10025,10030]},"escapeSequence_newline",[]],["app",{"sourceInterval":[10063,10068]},"escapeSequence_carriageReturn",[]],["app",{"sourceInterval":[10108,10113]},"escapeSequence_tab",[]],["app",{"sourceInterval":[10142,10147]},"escapeSequence_verticalTab",[]],["app",{"sourceInterval":[10184,10189]},"escapeSequence_backspace",[]],["app",{"sourceInterval":[10224,10229]},"escapeSequence_formFeed",[]],["app",{"sourceInterval":[10263,10332]},"escapeSequence_unicodeCodePoint",[]],["app",{"sourceInterval":[10374,10415]},"escapeSequence_unicodeEscape",[]],["app",{"sourceInterval":[10454,10477]},"escapeSequence_hexEscape",[]]]],"keyword":["define",{"sourceInterval":[10543,11056]},null,[],["alt",{"sourceInterval":[10553,11056]},["app",{"sourceInterval":[10553,10556]},"fun",[]],["app",{"sourceInterval":[10572,10575]},"let",[]],["app",{"sourceInterval":[10590,10596]},"return",[]],["app",{"sourceInterval":[10612,10618]},"extend",[]],["app",{"sourceInterval":[10634,10640]},"native",[]],["app",{"sourceInterval":[10656,10662]},"public",[]],["app",{"sourceInterval":[10678,10682]},"null",[]],["app",{"sourceInterval":[10698,10700]},"if",[]],["app",{"sourceInterval":[10716,10720]},"else",[]],["app",{"sourceInterval":[10736,10741]},"while",[]],["app",{"sourceInterval":[10757,10763]},"repeat",[]],["app",{"sourceInterval":[10779,10781]},"do",[]],["app",{"sourceInterval":[10797,10802]},"until",[]],["app",{"sourceInterval":[10818,10820]},"as",[]],["app",{"sourceInterval":[10837,10844]},"mutates",[]],["app",{"sourceInterval":[10859,10866]},"extends",[]],["app",{"sourceInterval":[10881,10887]},"import",[]],["app",{"sourceInterval":[10902,10906]},"with",[]],["app",{"sourceInterval":[10921,10926]},"trait",[]],["app",{"sourceInterval":[10941,10947]},"initOf",[]],["app",{"sourceInterval":[10962,10970]},"override",[]],["app",{"sourceInterval":[10985,10993]},"abstract",[]],["app",{"sourceInterval":[11008,11015]},"virtual",[]],["app",{"sourceInterval":[11030,11036]},"inline",[]],["app",{"sourceInterval":[11051,11056]},"const",[]]]],"contract":["define",{"sourceInterval":[11061,11090]},null,[],["seq",{"sourceInterval":[11072,11090]},["terminal",{"sourceInterval":[11072,11082]},"contract"],["not",{"sourceInterval":[11083,11090]},["app",{"sourceInterval":[11084,11090]},"idPart",[]]]]],"let":["define",{"sourceInterval":[11095,11114]},null,[],["seq",{"sourceInterval":[11101,11114]},["terminal",{"sourceInterval":[11101,11106]},"let"],["not",{"sourceInterval":[11107,11114]},["app",{"sourceInterval":[11108,11114]},"idPart",[]]]]],"fun":["define",{"sourceInterval":[11119,11138]},null,[],["seq",{"sourceInterval":[11125,11138]},["terminal",{"sourceInterval":[11125,11130]},"fun"],["not",{"sourceInterval":[11131,11138]},["app",{"sourceInterval":[11132,11138]},"idPart",[]]]]],"return":["define",{"sourceInterval":[11143,11168]},null,[],["seq",{"sourceInterval":[11152,11168]},["terminal",{"sourceInterval":[11152,11160]},"return"],["not",{"sourceInterval":[11161,11168]},["app",{"sourceInterval":[11162,11168]},"idPart",[]]]]],"extend":["define",{"sourceInterval":[11173,11198]},null,[],["seq",{"sourceInterval":[11182,11198]},["terminal",{"sourceInterval":[11182,11190]},"extend"],["not",{"sourceInterval":[11191,11198]},["app",{"sourceInterval":[11192,11198]},"idPart",[]]]]],"native":["define",{"sourceInterval":[11203,11228]},null,[],["seq",{"sourceInterval":[11212,11228]},["terminal",{"sourceInterval":[11212,11220]},"native"],["not",{"sourceInterval":[11221,11228]},["app",{"sourceInterval":[11222,11228]},"idPart",[]]]]],"public":["define",{"sourceInterval":[11233,11258]},null,[],["seq",{"sourceInterval":[11242,11258]},["terminal",{"sourceInterval":[11242,11250]},"public"],["not",{"sourceInterval":[11251,11258]},["app",{"sourceInterval":[11252,11258]},"idPart",[]]]]],"null":["define",{"sourceInterval":[11263,11284]},null,[],["seq",{"sourceInterval":[11270,11284]},["terminal",{"sourceInterval":[11270,11276]},"null"],["not",{"sourceInterval":[11277,11284]},["app",{"sourceInterval":[11278,11284]},"idPart",[]]]]],"if":["define",{"sourceInterval":[11289,11306]},null,[],["seq",{"sourceInterval":[11294,11306]},["terminal",{"sourceInterval":[11294,11298]},"if"],["not",{"sourceInterval":[11299,11306]},["app",{"sourceInterval":[11300,11306]},"idPart",[]]]]],"else":["define",{"sourceInterval":[11311,11332]},null,[],["seq",{"sourceInterval":[11318,11332]},["terminal",{"sourceInterval":[11318,11324]},"else"],["not",{"sourceInterval":[11325,11332]},["app",{"sourceInterval":[11326,11332]},"idPart",[]]]]],"while":["define",{"sourceInterval":[11337,11360]},null,[],["seq",{"sourceInterval":[11345,11360]},["terminal",{"sourceInterval":[11345,11352]},"while"],["not",{"sourceInterval":[11353,11360]},["app",{"sourceInterval":[11354,11360]},"idPart",[]]]]],"repeat":["define",{"sourceInterval":[11365,11390]},null,[],["seq",{"sourceInterval":[11374,11390]},["terminal",{"sourceInterval":[11374,11382]},"repeat"],["not",{"sourceInterval":[11383,11390]},["app",{"sourceInterval":[11384,11390]},"idPart",[]]]]],"do":["define",{"sourceInterval":[11395,11412]},null,[],["seq",{"sourceInterval":[11400,11412]},["terminal",{"sourceInterval":[11400,11404]},"do"],["not",{"sourceInterval":[11405,11412]},["app",{"sourceInterval":[11406,11412]},"idPart",[]]]]],"until":["define",{"sourceInterval":[11417,11440]},null,[],["seq",{"sourceInterval":[11425,11440]},["terminal",{"sourceInterval":[11425,11432]},"until"],["not",{"sourceInterval":[11433,11440]},["app",{"sourceInterval":[11434,11440]},"idPart",[]]]]],"as":["define",{"sourceInterval":[11445,11462]},null,[],["seq",{"sourceInterval":[11450,11462]},["terminal",{"sourceInterval":[11450,11454]},"as"],["not",{"sourceInterval":[11455,11462]},["app",{"sourceInterval":[11456,11462]},"idPart",[]]]]],"mutates":["define",{"sourceInterval":[11467,11494]},null,[],["seq",{"sourceInterval":[11477,11494]},["terminal",{"sourceInterval":[11477,11486]},"mutates"],["not",{"sourceInterval":[11487,11494]},["app",{"sourceInterval":[11488,11494]},"idPart",[]]]]],"extends":["define",{"sourceInterval":[11499,11526]},null,[],["seq",{"sourceInterval":[11509,11526]},["terminal",{"sourceInterval":[11509,11518]},"extends"],["not",{"sourceInterval":[11519,11526]},["app",{"sourceInterval":[11520,11526]},"idPart",[]]]]],"import":["define",{"sourceInterval":[11531,11556]},null,[],["seq",{"sourceInterval":[11540,11556]},["terminal",{"sourceInterval":[11540,11548]},"import"],["not",{"sourceInterval":[11549,11556]},["app",{"sourceInterval":[11550,11556]},"idPart",[]]]]],"with":["define",{"sourceInterval":[11561,11582]},null,[],["seq",{"sourceInterval":[11568,11582]},["terminal",{"sourceInterval":[11568,11574]},"with"],["not",{"sourceInterval":[11575,11582]},["app",{"sourceInterval":[11576,11582]},"idPart",[]]]]],"trait":["define",{"sourceInterval":[11587,11610]},null,[],["seq",{"sourceInterval":[11595,11610]},["terminal",{"sourceInterval":[11595,11602]},"trait"],["not",{"sourceInterval":[11603,11610]},["app",{"sourceInterval":[11604,11610]},"idPart",[]]]]],"initOf":["define",{"sourceInterval":[11615,11640]},null,[],["seq",{"sourceInterval":[11624,11640]},["terminal",{"sourceInterval":[11624,11632]},"initOf"],["not",{"sourceInterval":[11633,11640]},["app",{"sourceInterval":[11634,11640]},"idPart",[]]]]],"virtual":["define",{"sourceInterval":[11645,11672]},null,[],["seq",{"sourceInterval":[11655,11672]},["terminal",{"sourceInterval":[11655,11664]},"virtual"],["not",{"sourceInterval":[11665,11672]},["app",{"sourceInterval":[11666,11672]},"idPart",[]]]]],"override":["define",{"sourceInterval":[11677,11706]},null,[],["seq",{"sourceInterval":[11688,11706]},["terminal",{"sourceInterval":[11688,11698]},"override"],["not",{"sourceInterval":[11699,11706]},["app",{"sourceInterval":[11700,11706]},"idPart",[]]]]],"inline":["define",{"sourceInterval":[11711,11736]},null,[],["seq",{"sourceInterval":[11720,11736]},["terminal",{"sourceInterval":[11720,11728]},"inline"],["not",{"sourceInterval":[11729,11736]},["app",{"sourceInterval":[11730,11736]},"idPart",[]]]]],"const":["define",{"sourceInterval":[11741,11764]},null,[],["seq",{"sourceInterval":[11749,11764]},["terminal",{"sourceInterval":[11749,11756]},"const"],["not",{"sourceInterval":[11757,11764]},["app",{"sourceInterval":[11758,11764]},"idPart",[]]]]],"abstract":["define",{"sourceInterval":[11769,11798]},null,[],["seq",{"sourceInterval":[11780,11798]},["terminal",{"sourceInterval":[11780,11790]},"abstract"],["not",{"sourceInterval":[11791,11798]},["app",{"sourceInterval":[11792,11798]},"idPart",[]]]]],"nameAttribute":["define",{"sourceInterval":[11822,11845]},null,[],["terminal",{"sourceInterval":[11838,11845]},"@name"]],"reservedWord":["define",{"sourceInterval":[11867,11889]},null,[],["app",{"sourceInterval":[11882,11889]},"keyword",[]]],"space":["extend",{"sourceInterval":[11911,11944]},null,[],["alt",{"sourceInterval":[11920,11944]},["app",{"sourceInterval":[11920,11927]},"comment",[]],["app",{"sourceInterval":[11930,11944]},"lineTerminator",[]]]],"comment":["define",{"sourceInterval":[11949,11995]},null,[],["alt",{"sourceInterval":[11959,11995]},["app",{"sourceInterval":[11959,11975]},"multiLineComment",[]],["app",{"sourceInterval":[11978,11995]},"singleLineComment",[]]]],"lineTerminator":["define",{"sourceInterval":[12000,12050]},null,[],["alt",{"sourceInterval":[12017,12050]},["terminal",{"sourceInterval":[12017,12021]},"\n"],["terminal",{"sourceInterval":[12024,12028]},"\r"],["terminal",{"sourceInterval":[12031,12039]},"\u2028"],["terminal",{"sourceInterval":[12042,12050]},"\u2029"]]],"multiLineComment":["define",{"sourceInterval":[12055,12096]},null,[],["seq",{"sourceInterval":[12074,12096]},["terminal",{"sourceInterval":[12074,12078]},"/*"],["star",{"sourceInterval":[12079,12091]},["seq",{"sourceInterval":[12080,12089]},["not",{"sourceInterval":[12080,12085]},["terminal",{"sourceInterval":[12081,12085]},"*/"]],["app",{"sourceInterval":[12086,12089]},"any",[]]]],["terminal",{"sourceInterval":[12092,12096]},"*/"]]],"singleLineComment":["define",{"sourceInterval":[12101,12148]},null,[],["seq",{"sourceInterval":[12121,12148]},["terminal",{"sourceInterval":[12121,12125]},"//"],["star",{"sourceInterval":[12126,12148]},["seq",{"sourceInterval":[12127,12146]},["not",{"sourceInterval":[12127,12142]},["app",{"sourceInterval":[12128,12142]},"lineTerminator",[]]],["app",{"sourceInterval":[12143,12146]},"any",[]]]]]]}]);module.exports=result; \ No newline at end of file +'use strict';const ohm=(require('ohm-js').default || require('ohm-js'));const result=ohm.makeRecipe(["grammar",{"source":"Tact {\n\n // Starting point of the program\n Program = ProgramItem*\n ProgramItem = Struct\n | Contract\n | Primitive\n | StaticFunction\n | NativeFunction\n | ProgramImport\n | Trait\n | Constant\n ProgramImport = import stringLiteral \";\"\n\n // Built-in declarations\n Primitive = \"primitive\" Type \";\"\n\n // Static function\n StaticFunction = Function\n NativeFunction = nameAttribute \"(\" funcId \")\" FunctionAttribute* native id \"(\" ListOf \",\"? \")\" \";\" --withVoid\n | nameAttribute \"(\" funcId \")\" FunctionAttribute* native id \"(\" ListOf \",\"? \")\" \":\" Type \";\" --withType\n \n // Field declarations\n Type = typeLiteral \"?\" --optional\n | typeLiteral --required\n | \"map\" \"<\" typeLiteral (as id)? \",\" typeLiteral (as id)? \">\" --map\n | \"bounced\" \"<\" typeLiteral \">\" --bounced\n Field = id \":\" Type \";\" --default\n | id \":\" Type \"=\" Expression \";\" --defaultWithInit\n | id \":\" Type as id \";\" --withSerialization\n | id \":\" Type as id \"=\" Expression \";\" --withSerializationAndInit\n \n // Constant\n ConstantAttribute = virtual --virtual\n | override --override\n | abstract --abstract\n Constant = ConstantAttribute* ~fun const id \":\" Type \"=\" Expression \";\" --withValue\n | ConstantAttribute* ~fun const id \":\" Type \";\" --withEmpty\n\n // Struct\n Struct = \"struct\" typeLiteral \"{\" StructBody* \"}\" --originary\n | \"message\" typeLiteral \"{\" StructBody* \"}\" --message\n | \"message\" \"(\" integerLiteral \")\" typeLiteral \"{\" StructBody* \"}\" --messageWithId\n StructBody = Field\n\n // Contract\n Contract = ContractAttribute* contract id \"{\" ContractBody* \"}\" --simple\n | ContractAttribute* contract id with ListOf \"{\" ContractBody* \"}\" --withTraits\n ContractInit = \"init\" \"(\" ListOf \")\" \"{\" Statement* \"}\"\n ContractBody = Field\n | ContractInit\n | ReceiveFunction\n | Function\n | Constant\n \n // Trait\n Trait = ContractAttribute* trait id \"{\" TraitBody* \"}\" --originary\n | ContractAttribute* trait id with ListOf \"{\" TraitBody* \"}\" --withTraits\n TraitBody = Field\n | ReceiveFunction\n | Function\n | Constant\n\n // Contract attributes\n ContractAttribute = \"@interface\" \"(\" stringLiteral \")\" --interface\n\n // Function\n FunctionAttribute = \"get\" --getter\n | mutates --mutates\n | extends --extends\n | virtual --virtual\n | override --override\n | inline --inline\n | abstract --abstract\n Function = FunctionAttribute* fun id \"(\" ListOf \",\"? \")\" \"{\" Statement* \"}\" --withVoid\n | FunctionAttribute* fun id \"(\" ListOf \",\"? \")\" \":\" Type \"{\" Statement* \"}\" --withType\n | FunctionAttribute* fun id \"(\" ListOf \",\"? \")\" \";\" --abstractVoid\n | FunctionAttribute* fun id \"(\" ListOf \",\"? \")\" \":\" Type \";\" --abstractType\n FunctionArg = id \":\" Type\n \n ReceiveFunction = \"receive\" \"(\" FunctionArg \")\" \"{\" Statement* \"}\" --simple\n | \"receive\" \"(\" \")\" \"{\" Statement* \"}\" --empty\n | \"receive\" \"(\" stringLiteral \")\" \"{\" Statement* \"}\" --comment\n | \"bounced\" \"(\" FunctionArg \")\" \"{\" Statement* \"}\" --bounced\n | \"external\" \"(\" FunctionArg \")\" \"{\" Statement* \"}\" --externalSimple\n | \"external\" \"(\" stringLiteral \")\" \"{\" Statement* \"}\" --externalComment\n | \"external\" \"(\" \")\" \"{\" Statement* \"}\" --externalEmpty\n\n // Statements\n Statement = StatementLet\n | StatementBlock\n | StatementReturn\n | StatementExpression\n | StatementAssign\n | StatementAugmentedAssign\n | StatementCondition\n | StatementWhile\n | StatementRepeat\n | StatementUntil\n StatementBlock = \"{\" Statement* \"}\"\n StatementLet = let id \":\" Type \"=\" Expression \";\"\n StatementReturn = return Expression \";\" --withExpression\n | return \";\" --withoutExpression \n StatementExpression = Expression \";\"\n StatementAssign = LValue \"=\" Expression \";\"\n StatementAugmentedAssign = StatementAugmentedAssignAdd\n | StatementAugmentedAssignSub\n | StatementAugmentedAssignMul\n | StatementAugmentedAssignDiv\n | StatementAugmentedAssignRem\n StatementAugmentedAssignAdd = LValue \"+=\" Expression \";\"\n StatementAugmentedAssignSub = LValue \"-=\" Expression \";\"\n StatementAugmentedAssignMul = LValue \"*=\" Expression \";\"\n StatementAugmentedAssignDiv = LValue \"/=\" Expression \";\"\n StatementAugmentedAssignRem = LValue \"%=\" Expression \";\"\n StatementCondition = if Expression \"{\" Statement* \"}\" ~else --simple\n | if Expression \"{\" Statement* \"}\" else \"{\" Statement* \"}\" --withElse\n | if Expression \"{\" Statement* \"}\" else StatementCondition --withElseIf\n StatementWhile = while \"(\" Expression \")\" \"{\" Statement* \"}\"\n StatementRepeat = repeat \"(\" Expression \")\" \"{\" Statement* \"}\"\n StatementUntil = do \"{\" Statement* \"}\" until \"(\" Expression \")\" \";\"\n\n // L-value\n LValue = id \".\" LValue --more\n | id --single\n\n // Expressions\n Expression = ExpressionConditional\n ExpressionConditional = ExpressionOr \"?\" ExpressionOr \":\" ExpressionConditional --ternary\n | ExpressionOr\n ExpressionOr = ExpressionOr \"||\" ExpressionAnd --or\n | ExpressionAnd\n ExpressionAnd = ExpressionAnd \"&&\" ExpressionCompare --and\n | ExpressionCompare\n ExpressionCompare = ExpressionCompare \"!=\" ExpressionBinary --not\n | ExpressionCompare \"==\" ExpressionBinary --eq\n | ExpressionCompare \">\" ExpressionBinary --gt\n | ExpressionCompare \">=\" ExpressionBinary --gte\n | ExpressionCompare \"<\" ExpressionBinary --lt\n | ExpressionCompare \"<=\" ExpressionBinary --lte\n | ExpressionBinary\n ExpressionBinary = ExpressionBinary \">>\" ExpressionAdd --shr\n | ExpressionBinary \"<<\" ExpressionAdd --shl\n | ExpressionBinary \"&\" ExpressionAdd --bin_and\n | ExpressionBinary \"|\" ExpressionAdd --bin_or\n | ExpressionAdd\n ExpressionAdd = ExpressionAdd \"+\" ~\"+\" ExpressionMul --add\n | ExpressionAdd \"-\" ~\"-\" ExpressionMul --sub\n | ExpressionMul\n ExpressionMul = ExpressionMul \"*\" ExpressionUnary --mul\n | ExpressionMul \"/\" ExpressionUnary --div\n | ExpressionMul \"%\" ExpressionUnary --rem\n | ExpressionUnary\n ExpressionUnary = \"-\" ExpressionUnarySuffix --neg\n | \"+\" ExpressionUnarySuffix --add\n | \"!\" ExpressionUnarySuffix --not\n | ExpressionUnarySuffix\n ExpressionUnarySuffix = ExpressionValue \"!!\" --notNull\n | ExpressionValue\n ExpressionBracket = \"(\" Expression \")\"\n\n // Order is important\n ExpressionValue = ExpressionCall\n | ExpressionField\n | ExpressionStaticCall\n | ExpressionBracket\n | ExpressionNew\n | integerLiteral\n | boolLiteral\n | id\n | null\n | ExpressionInitOf\n | ExpressionString\n ExpressionString = stringLiteral\n ExpressionField = ExpressionValue \".\" id ~\"(\"\n ExpressionCall = ExpressionValue \".\" id \"(\" ListOf \",\"? \")\"\n ExpressionNew = id \"{\" ListOf \",\"? \"}\"\n NewParameter = id \":\" Expression\n ExpressionStaticCall = id \"(\" ListOf \",\"? \")\"\n ExpressionInitOf = initOf id \"(\" ListOf \",\"? \")\"\n\n // Type Literal\n typeLiteral = letterAsciiUC typeLiteralPart*\n typeLiteralPart = letterAscii | digit | \"_\"\n\n // Integer Literal\n // hexDigit defined in Ohm's built-in rules (otherwise: hexDigit = \"0\"..\"9\" | \"a\"..\"f\" | \"A\"..\"F\")\n // digit defined in Ohm's built-in rules (otherwise: digit = \"0\"..\"9\")\n integerLiteral = integerLiteralHex | integerLiteralBin | integerLiteralOct | integerLiteralDec // Order is important\n integerLiteralDec = nonZeroDigit (\"_\"? digit)* --nonZeroIntegerLiteralDec\n | \"0\" digit* --integerLiteralWithLeadingZero\n integerLiteralHex = (\"0x\" | \"0X\") hexDigit (\"_\"? hexDigit)*\n integerLiteralBin = (\"0b\" | \"0B\") binDigit (\"_\"? binDigit)*\n integerLiteralOct = (\"0o\" | \"0O\") octDigit (\"_\"? octDigit)*\n binDigit = \"0\" | \"1\"\n octDigit = \"0\"..\"7\"\n nonZeroDigit = \"1\"..\"9\"\n\n // Letters\n letterAsciiLC = \"a\"..\"z\"\n letterAsciiUC = \"A\"..\"Z\"\n letterAscii = letterAsciiLC | letterAsciiUC\n letterComment = letterAsciiLC | letterAsciiUC | digit | \"_\"\n\n // ID Literal\n idStart = letterAscii | \"_\"\n idPart = letterAscii | digit | \"_\"\n id = ~reservedWord #idStart #(idPart*)\n\n // FunC id\n funcLetter = letterAscii | \"_\" | \"'\" | \"?\" | \"!\" | \"::\" | \"&\"\n funcId = funcLetter #(funcLetter | digit)*\n\n // Bool Literal\n boolLiteral = (\"true\" | \"false\") ~idPart\n\n // String literal\n stringLiteral = \"\\\"\" (nonQuoteOrBackslashChar | escapeSequence)* \"\\\"\"\n nonQuoteOrBackslashChar = ~(\"\\\"\" | \"\\\\\") any\n escapeSequence = \"\\\\\\\\\" -- backslash\n | \"\\\\\\\"\" -- doubleQuote\n | \"\\\\n\" -- newline\n | \"\\\\r\" -- carriageReturn\n | \"\\\\t\" -- tab\n | \"\\\\v\" -- verticalTab\n | \"\\\\b\" -- backspace\n | \"\\\\f\" -- formFeed\n | \"\\\\u{\" hexDigit hexDigit? hexDigit? hexDigit? hexDigit? hexDigit? \"}\" -- unicodeCodePoint\n | \"\\\\u\" hexDigit hexDigit hexDigit hexDigit -- unicodeEscape\n | \"\\\\x\" hexDigit hexDigit -- hexEscape\n\n // Keywords\n // NOTE Order is important\n keyword = fun \n | let\n | return \n | extend \n | native \n | public \n | null \n | if \n | else \n | while \n | repeat \n | do \n | until \n | as \n | mutates\n | extends\n | import\n | with\n | trait\n | initOf\n | override\n | abstract\n | virtual\n | inline\n | const\n contract = \"contract\" ~idPart\n let = \"let\" ~idPart\n fun = \"fun\" ~idPart\n return = \"return\" ~idPart\n extend = \"extend\" ~idPart\n native = \"native\" ~idPart\n public = \"public\" ~idPart\n null = \"null\" ~idPart\n if = \"if\" ~idPart\n else = \"else\" ~idPart\n while = \"while\" ~idPart\n repeat = \"repeat\" ~idPart\n do = \"do\" ~idPart\n until = \"until\" ~idPart\n as = \"as\" ~idPart\n mutates = \"mutates\" ~idPart\n extends = \"extends\" ~idPart\n import = \"import\" ~idPart\n with = \"with\" ~idPart\n trait = \"trait\" ~idPart\n initOf = \"initOf\" ~idPart\n virtual = \"virtual\" ~idPart\n override = \"override\" ~idPart\n inline = \"inline\" ~idPart\n const = \"const\" ~idPart\n abstract = \"abstract\" ~idPart\n\n // Attributes\n nameAttribute = \"@name\"\n\n // Reserved\n reservedWord = keyword\n\n // Comments\n space += comment | lineTerminator\n comment = multiLineComment | singleLineComment\n lineTerminator = \"\\n\" | \"\\r\" | \"\\u2028\" | \"\\u2029\"\n multiLineComment = \"/*\" (~\"*/\" any)* \"*/\"\n singleLineComment = \"//\" (~lineTerminator any)*\n}"},"Tact",null,"Program",{"Program":["define",{"sourceInterval":[49,71]},null,[],["star",{"sourceInterval":[59,71]},["app",{"sourceInterval":[59,70]},"ProgramItem",[]]]],"ProgramItem":["define",{"sourceInterval":[76,300]},null,[],["alt",{"sourceInterval":[90,300]},["app",{"sourceInterval":[90,96]},"Struct",[]],["app",{"sourceInterval":[115,123]},"Contract",[]],["app",{"sourceInterval":[142,151]},"Primitive",[]],["app",{"sourceInterval":[170,184]},"StaticFunction",[]],["app",{"sourceInterval":[203,217]},"NativeFunction",[]],["app",{"sourceInterval":[236,249]},"ProgramImport",[]],["app",{"sourceInterval":[268,273]},"Trait",[]],["app",{"sourceInterval":[292,300]},"Constant",[]]]],"ProgramImport":["define",{"sourceInterval":[305,345]},null,[],["seq",{"sourceInterval":[321,345]},["app",{"sourceInterval":[321,327]},"import",[]],["app",{"sourceInterval":[328,341]},"stringLiteral",[]],["terminal",{"sourceInterval":[342,345]},";"]]],"Primitive":["define",{"sourceInterval":[380,412]},null,[],["seq",{"sourceInterval":[392,412]},["terminal",{"sourceInterval":[392,403]},"primitive"],["app",{"sourceInterval":[404,408]},"Type",[]],["terminal",{"sourceInterval":[409,412]},";"]]],"StaticFunction":["define",{"sourceInterval":[441,466]},null,[],["app",{"sourceInterval":[458,466]},"Function",[]]],"NativeFunction_withVoid":["define",{"sourceInterval":[488,597]},null,[],["seq",{"sourceInterval":[488,586]},["app",{"sourceInterval":[488,501]},"nameAttribute",[]],["terminal",{"sourceInterval":[502,505]},"("],["app",{"sourceInterval":[506,512]},"funcId",[]],["terminal",{"sourceInterval":[513,516]},")"],["star",{"sourceInterval":[517,535]},["app",{"sourceInterval":[517,534]},"FunctionAttribute",[]]],["app",{"sourceInterval":[536,542]},"native",[]],["app",{"sourceInterval":[543,545]},"id",[]],["terminal",{"sourceInterval":[546,549]},"("],["app",{"sourceInterval":[550,573]},"ListOf",[["app",{"sourceInterval":[557,568]},"FunctionArg",[]],["terminal",{"sourceInterval":[569,572]},","]]],["opt",{"sourceInterval":[574,578]},["terminal",{"sourceInterval":[574,577]},","]],["terminal",{"sourceInterval":[579,582]},")"],["terminal",{"sourceInterval":[583,586]},";"]]],"NativeFunction_withType":["define",{"sourceInterval":[619,737]},null,[],["seq",{"sourceInterval":[619,726]},["app",{"sourceInterval":[619,632]},"nameAttribute",[]],["terminal",{"sourceInterval":[633,636]},"("],["app",{"sourceInterval":[637,643]},"funcId",[]],["terminal",{"sourceInterval":[644,647]},")"],["star",{"sourceInterval":[648,666]},["app",{"sourceInterval":[648,665]},"FunctionAttribute",[]]],["app",{"sourceInterval":[667,673]},"native",[]],["app",{"sourceInterval":[674,676]},"id",[]],["terminal",{"sourceInterval":[677,680]},"("],["app",{"sourceInterval":[681,704]},"ListOf",[["app",{"sourceInterval":[688,699]},"FunctionArg",[]],["terminal",{"sourceInterval":[700,703]},","]]],["opt",{"sourceInterval":[705,709]},["terminal",{"sourceInterval":[705,708]},","]],["terminal",{"sourceInterval":[710,713]},")"],["terminal",{"sourceInterval":[714,717]},":"],["app",{"sourceInterval":[718,722]},"Type",[]],["terminal",{"sourceInterval":[723,726]},";"]]],"NativeFunction":["define",{"sourceInterval":[471,737]},null,[],["alt",{"sourceInterval":[488,737]},["app",{"sourceInterval":[488,586]},"NativeFunction_withVoid",[]],["app",{"sourceInterval":[619,726]},"NativeFunction_withType",[]]]],"Type_optional":["define",{"sourceInterval":[780,806]},null,[],["seq",{"sourceInterval":[780,795]},["app",{"sourceInterval":[780,791]},"typeLiteral",[]],["terminal",{"sourceInterval":[792,795]},"?"]]],"Type_required":["define",{"sourceInterval":[818,840]},null,[],["app",{"sourceInterval":[818,829]},"typeLiteral",[]]],"Type_map":["define",{"sourceInterval":[852,917]},null,[],["seq",{"sourceInterval":[852,911]},["terminal",{"sourceInterval":[852,857]},"map"],["terminal",{"sourceInterval":[858,861]},"<"],["app",{"sourceInterval":[862,873]},"typeLiteral",[]],["opt",{"sourceInterval":[874,882]},["seq",{"sourceInterval":[875,880]},["app",{"sourceInterval":[875,877]},"as",[]],["app",{"sourceInterval":[878,880]},"id",[]]]],["terminal",{"sourceInterval":[883,886]},","],["app",{"sourceInterval":[887,898]},"typeLiteral",[]],["opt",{"sourceInterval":[899,907]},["seq",{"sourceInterval":[900,905]},["app",{"sourceInterval":[900,902]},"as",[]],["app",{"sourceInterval":[903,905]},"id",[]]]],["terminal",{"sourceInterval":[908,911]},">"]]],"Type_bounced":["define",{"sourceInterval":[929,968]},null,[],["seq",{"sourceInterval":[929,958]},["terminal",{"sourceInterval":[929,938]},"bounced"],["terminal",{"sourceInterval":[939,942]},"<"],["app",{"sourceInterval":[943,954]},"typeLiteral",[]],["terminal",{"sourceInterval":[955,958]},">"]]],"Type":["define",{"sourceInterval":[773,968]},null,[],["alt",{"sourceInterval":[780,968]},["app",{"sourceInterval":[780,795]},"Type_optional",[]],["app",{"sourceInterval":[818,829]},"Type_required",[]],["app",{"sourceInterval":[852,911]},"Type_map",[]],["app",{"sourceInterval":[929,958]},"Type_bounced",[]]]],"Field_default":["define",{"sourceInterval":[981,1006]},null,[],["seq",{"sourceInterval":[981,996]},["app",{"sourceInterval":[981,983]},"id",[]],["terminal",{"sourceInterval":[984,987]},":"],["app",{"sourceInterval":[988,992]},"Type",[]],["terminal",{"sourceInterval":[993,996]},";"]]],"Field_defaultWithInit":["define",{"sourceInterval":[1019,1067]},null,[],["seq",{"sourceInterval":[1019,1049]},["app",{"sourceInterval":[1019,1021]},"id",[]],["terminal",{"sourceInterval":[1022,1025]},":"],["app",{"sourceInterval":[1026,1030]},"Type",[]],["terminal",{"sourceInterval":[1031,1034]},"="],["app",{"sourceInterval":[1035,1045]},"Expression",[]],["terminal",{"sourceInterval":[1046,1049]},";"]]],"Field_withSerialization":["define",{"sourceInterval":[1080,1121]},null,[],["seq",{"sourceInterval":[1080,1101]},["app",{"sourceInterval":[1080,1082]},"id",[]],["terminal",{"sourceInterval":[1083,1086]},":"],["app",{"sourceInterval":[1087,1091]},"Type",[]],["app",{"sourceInterval":[1092,1094]},"as",[]],["app",{"sourceInterval":[1095,1097]},"id",[]],["terminal",{"sourceInterval":[1098,1101]},";"]]],"Field_withSerializationAndInit":["define",{"sourceInterval":[1134,1197]},null,[],["seq",{"sourceInterval":[1134,1170]},["app",{"sourceInterval":[1134,1136]},"id",[]],["terminal",{"sourceInterval":[1137,1140]},":"],["app",{"sourceInterval":[1141,1145]},"Type",[]],["app",{"sourceInterval":[1146,1148]},"as",[]],["app",{"sourceInterval":[1149,1151]},"id",[]],["terminal",{"sourceInterval":[1152,1155]},"="],["app",{"sourceInterval":[1156,1166]},"Expression",[]],["terminal",{"sourceInterval":[1167,1170]},";"]]],"Field":["define",{"sourceInterval":[973,1197]},null,[],["alt",{"sourceInterval":[981,1197]},["app",{"sourceInterval":[981,996]},"Field_default",[]],["app",{"sourceInterval":[1019,1049]},"Field_defaultWithInit",[]],["app",{"sourceInterval":[1080,1101]},"Field_withSerialization",[]],["app",{"sourceInterval":[1134,1170]},"Field_withSerializationAndInit",[]]]],"ConstantAttribute_virtual":["define",{"sourceInterval":[1243,1263]},null,[],["app",{"sourceInterval":[1243,1250]},"virtual",[]]],"ConstantAttribute_override":["define",{"sourceInterval":[1288,1309]},null,[],["app",{"sourceInterval":[1288,1296]},"override",[]]],"ConstantAttribute_abstract":["define",{"sourceInterval":[1334,1355]},null,[],["app",{"sourceInterval":[1334,1342]},"abstract",[]]],"ConstantAttribute":["define",{"sourceInterval":[1223,1355]},null,[],["alt",{"sourceInterval":[1243,1355]},["app",{"sourceInterval":[1243,1250]},"ConstantAttribute_virtual",[]],["app",{"sourceInterval":[1288,1296]},"ConstantAttribute_override",[]],["app",{"sourceInterval":[1334,1342]},"ConstantAttribute_abstract",[]]]],"Constant_withValue":["define",{"sourceInterval":[1371,1443]},null,[],["seq",{"sourceInterval":[1371,1431]},["star",{"sourceInterval":[1371,1389]},["app",{"sourceInterval":[1371,1388]},"ConstantAttribute",[]]],["not",{"sourceInterval":[1390,1394]},["app",{"sourceInterval":[1391,1394]},"fun",[]]],["app",{"sourceInterval":[1395,1400]},"const",[]],["app",{"sourceInterval":[1401,1403]},"id",[]],["terminal",{"sourceInterval":[1404,1407]},":"],["app",{"sourceInterval":[1408,1412]},"Type",[]],["terminal",{"sourceInterval":[1413,1416]},"="],["app",{"sourceInterval":[1417,1427]},"Expression",[]],["terminal",{"sourceInterval":[1428,1431]},";"]]],"Constant_withEmpty":["define",{"sourceInterval":[1459,1531]},null,[],["seq",{"sourceInterval":[1459,1504]},["star",{"sourceInterval":[1459,1477]},["app",{"sourceInterval":[1459,1476]},"ConstantAttribute",[]]],["not",{"sourceInterval":[1478,1482]},["app",{"sourceInterval":[1479,1482]},"fun",[]]],["app",{"sourceInterval":[1483,1488]},"const",[]],["app",{"sourceInterval":[1489,1491]},"id",[]],["terminal",{"sourceInterval":[1492,1495]},":"],["app",{"sourceInterval":[1496,1500]},"Type",[]],["terminal",{"sourceInterval":[1501,1504]},";"]]],"Constant":["define",{"sourceInterval":[1360,1531]},null,[],["alt",{"sourceInterval":[1371,1531]},["app",{"sourceInterval":[1371,1431]},"Constant_withValue",[]],["app",{"sourceInterval":[1459,1504]},"Constant_withEmpty",[]]]],"Struct_originary":["define",{"sourceInterval":[1560,1612]},null,[],["seq",{"sourceInterval":[1560,1600]},["terminal",{"sourceInterval":[1560,1568]},"struct"],["app",{"sourceInterval":[1569,1580]},"typeLiteral",[]],["terminal",{"sourceInterval":[1581,1584]},"{"],["star",{"sourceInterval":[1585,1596]},["app",{"sourceInterval":[1585,1595]},"StructBody",[]]],["terminal",{"sourceInterval":[1597,1600]},"}"]]],"Struct_message":["define",{"sourceInterval":[1626,1677]},null,[],["seq",{"sourceInterval":[1626,1667]},["terminal",{"sourceInterval":[1626,1635]},"message"],["app",{"sourceInterval":[1636,1647]},"typeLiteral",[]],["terminal",{"sourceInterval":[1648,1651]},"{"],["star",{"sourceInterval":[1652,1663]},["app",{"sourceInterval":[1652,1662]},"StructBody",[]]],["terminal",{"sourceInterval":[1664,1667]},"}"]]],"Struct_messageWithId":["define",{"sourceInterval":[1691,1771]},null,[],["seq",{"sourceInterval":[1691,1755]},["terminal",{"sourceInterval":[1691,1700]},"message"],["terminal",{"sourceInterval":[1701,1704]},"("],["app",{"sourceInterval":[1705,1719]},"integerLiteral",[]],["terminal",{"sourceInterval":[1720,1723]},")"],["app",{"sourceInterval":[1724,1735]},"typeLiteral",[]],["terminal",{"sourceInterval":[1736,1739]},"{"],["star",{"sourceInterval":[1740,1751]},["app",{"sourceInterval":[1740,1750]},"StructBody",[]]],["terminal",{"sourceInterval":[1752,1755]},"}"]]],"Struct":["define",{"sourceInterval":[1551,1771]},null,[],["alt",{"sourceInterval":[1560,1771]},["app",{"sourceInterval":[1560,1600]},"Struct_originary",[]],["app",{"sourceInterval":[1626,1667]},"Struct_message",[]],["app",{"sourceInterval":[1691,1755]},"Struct_messageWithId",[]]]],"StructBody":["define",{"sourceInterval":[1776,1794]},null,[],["app",{"sourceInterval":[1789,1794]},"Field",[]]],"Contract_simple":["define",{"sourceInterval":[1827,1888]},null,[],["seq",{"sourceInterval":[1827,1879]},["star",{"sourceInterval":[1827,1845]},["app",{"sourceInterval":[1827,1844]},"ContractAttribute",[]]],["app",{"sourceInterval":[1846,1854]},"contract",[]],["app",{"sourceInterval":[1855,1857]},"id",[]],["terminal",{"sourceInterval":[1858,1861]},"{"],["star",{"sourceInterval":[1862,1875]},["app",{"sourceInterval":[1862,1874]},"ContractBody",[]]],["terminal",{"sourceInterval":[1876,1879]},"}"]]],"Contract_withTraits":["define",{"sourceInterval":[1904,1989]},null,[],["seq",{"sourceInterval":[1904,1976]},["star",{"sourceInterval":[1904,1922]},["app",{"sourceInterval":[1904,1921]},"ContractAttribute",[]]],["app",{"sourceInterval":[1923,1931]},"contract",[]],["app",{"sourceInterval":[1932,1934]},"id",[]],["app",{"sourceInterval":[1935,1939]},"with",[]],["app",{"sourceInterval":[1940,1954]},"ListOf",[["app",{"sourceInterval":[1947,1949]},"id",[]],["terminal",{"sourceInterval":[1950,1953]},","]]],["terminal",{"sourceInterval":[1955,1958]},"{"],["star",{"sourceInterval":[1959,1972]},["app",{"sourceInterval":[1959,1971]},"ContractBody",[]]],["terminal",{"sourceInterval":[1973,1976]},"}"]]],"Contract":["define",{"sourceInterval":[1816,1989]},null,[],["alt",{"sourceInterval":[1827,1989]},["app",{"sourceInterval":[1827,1879]},"Contract_simple",[]],["app",{"sourceInterval":[1904,1976]},"Contract_withTraits",[]]]],"ContractInit":["define",{"sourceInterval":[1994,2066]},null,[],["seq",{"sourceInterval":[2009,2066]},["terminal",{"sourceInterval":[2009,2015]},"init"],["terminal",{"sourceInterval":[2016,2019]},"("],["app",{"sourceInterval":[2020,2043]},"ListOf",[["app",{"sourceInterval":[2027,2038]},"FunctionArg",[]],["terminal",{"sourceInterval":[2039,2042]},","]]],["terminal",{"sourceInterval":[2044,2047]},")"],["terminal",{"sourceInterval":[2048,2051]},"{"],["star",{"sourceInterval":[2052,2062]},["app",{"sourceInterval":[2052,2061]},"Statement",[]]],["terminal",{"sourceInterval":[2063,2066]},"}"]]],"ContractBody":["define",{"sourceInterval":[2071,2214]},null,[],["alt",{"sourceInterval":[2086,2214]},["app",{"sourceInterval":[2086,2091]},"Field",[]],["app",{"sourceInterval":[2111,2123]},"ContractInit",[]],["app",{"sourceInterval":[2143,2158]},"ReceiveFunction",[]],["app",{"sourceInterval":[2178,2186]},"Function",[]],["app",{"sourceInterval":[2206,2214]},"Constant",[]]]],"Trait_originary":["define",{"sourceInterval":[2245,2303]},null,[],["seq",{"sourceInterval":[2245,2291]},["star",{"sourceInterval":[2245,2263]},["app",{"sourceInterval":[2245,2262]},"ContractAttribute",[]]],["app",{"sourceInterval":[2264,2269]},"trait",[]],["app",{"sourceInterval":[2270,2272]},"id",[]],["terminal",{"sourceInterval":[2273,2276]},"{"],["star",{"sourceInterval":[2277,2287]},["app",{"sourceInterval":[2277,2286]},"TraitBody",[]]],["terminal",{"sourceInterval":[2288,2291]},"}"]]],"Trait_withTraits":["define",{"sourceInterval":[2316,2395]},null,[],["seq",{"sourceInterval":[2316,2382]},["star",{"sourceInterval":[2316,2334]},["app",{"sourceInterval":[2316,2333]},"ContractAttribute",[]]],["app",{"sourceInterval":[2335,2340]},"trait",[]],["app",{"sourceInterval":[2341,2343]},"id",[]],["app",{"sourceInterval":[2344,2348]},"with",[]],["app",{"sourceInterval":[2349,2363]},"ListOf",[["app",{"sourceInterval":[2356,2358]},"id",[]],["terminal",{"sourceInterval":[2359,2362]},","]]],["terminal",{"sourceInterval":[2364,2367]},"{"],["star",{"sourceInterval":[2368,2378]},["app",{"sourceInterval":[2368,2377]},"TraitBody",[]]],["terminal",{"sourceInterval":[2379,2382]},"}"]]],"Trait":["define",{"sourceInterval":[2237,2395]},null,[],["alt",{"sourceInterval":[2245,2395]},["app",{"sourceInterval":[2245,2291]},"Trait_originary",[]],["app",{"sourceInterval":[2316,2382]},"Trait_withTraits",[]]]],"TraitBody":["define",{"sourceInterval":[2400,2499]},null,[],["alt",{"sourceInterval":[2412,2499]},["app",{"sourceInterval":[2412,2417]},"Field",[]],["app",{"sourceInterval":[2434,2449]},"ReceiveFunction",[]],["app",{"sourceInterval":[2466,2474]},"Function",[]],["app",{"sourceInterval":[2491,2499]},"Constant",[]]]],"ContractAttribute_interface":["define",{"sourceInterval":[2552,2598]},null,[],["seq",{"sourceInterval":[2552,2586]},["terminal",{"sourceInterval":[2552,2564]},"@interface"],["terminal",{"sourceInterval":[2565,2568]},"("],["app",{"sourceInterval":[2569,2582]},"stringLiteral",[]],["terminal",{"sourceInterval":[2583,2586]},")"]]],"ContractAttribute":["define",{"sourceInterval":[2532,2598]},null,[],["app",{"sourceInterval":[2552,2598]},"ContractAttribute_interface",[]]],"FunctionAttribute_getter":["define",{"sourceInterval":[2640,2658]},null,[],["terminal",{"sourceInterval":[2640,2645]},"get"]],"FunctionAttribute_mutates":["define",{"sourceInterval":[2683,2702]},null,[],["app",{"sourceInterval":[2683,2690]},"mutates",[]]],"FunctionAttribute_extends":["define",{"sourceInterval":[2727,2746]},null,[],["app",{"sourceInterval":[2727,2734]},"extends",[]]],"FunctionAttribute_virtual":["define",{"sourceInterval":[2771,2790]},null,[],["app",{"sourceInterval":[2771,2778]},"virtual",[]]],"FunctionAttribute_override":["define",{"sourceInterval":[2815,2835]},null,[],["app",{"sourceInterval":[2815,2823]},"override",[]]],"FunctionAttribute_inline":["define",{"sourceInterval":[2860,2878]},null,[],["app",{"sourceInterval":[2860,2866]},"inline",[]]],"FunctionAttribute_abstract":["define",{"sourceInterval":[2903,2923]},null,[],["app",{"sourceInterval":[2903,2911]},"abstract",[]]],"FunctionAttribute":["define",{"sourceInterval":[2620,2923]},null,[],["alt",{"sourceInterval":[2640,2923]},["app",{"sourceInterval":[2640,2645]},"FunctionAttribute_getter",[]],["app",{"sourceInterval":[2683,2690]},"FunctionAttribute_mutates",[]],["app",{"sourceInterval":[2727,2734]},"FunctionAttribute_extends",[]],["app",{"sourceInterval":[2771,2778]},"FunctionAttribute_virtual",[]],["app",{"sourceInterval":[2815,2823]},"FunctionAttribute_override",[]],["app",{"sourceInterval":[2860,2866]},"FunctionAttribute_inline",[]],["app",{"sourceInterval":[2903,2911]},"FunctionAttribute_abstract",[]]]],"Function_withVoid":["define",{"sourceInterval":[2939,3031]},null,[],["seq",{"sourceInterval":[2939,3020]},["star",{"sourceInterval":[2939,2957]},["app",{"sourceInterval":[2939,2956]},"FunctionAttribute",[]]],["app",{"sourceInterval":[2958,2961]},"fun",[]],["app",{"sourceInterval":[2962,2964]},"id",[]],["terminal",{"sourceInterval":[2965,2968]},"("],["app",{"sourceInterval":[2969,2992]},"ListOf",[["app",{"sourceInterval":[2976,2987]},"FunctionArg",[]],["terminal",{"sourceInterval":[2988,2991]},","]]],["opt",{"sourceInterval":[2993,2997]},["terminal",{"sourceInterval":[2993,2996]},","]],["terminal",{"sourceInterval":[2998,3001]},")"],["terminal",{"sourceInterval":[3002,3005]},"{"],["star",{"sourceInterval":[3006,3016]},["app",{"sourceInterval":[3006,3015]},"Statement",[]]],["terminal",{"sourceInterval":[3017,3020]},"}"]]],"Function_withType":["define",{"sourceInterval":[3047,3148]},null,[],["seq",{"sourceInterval":[3047,3137]},["star",{"sourceInterval":[3047,3065]},["app",{"sourceInterval":[3047,3064]},"FunctionAttribute",[]]],["app",{"sourceInterval":[3066,3069]},"fun",[]],["app",{"sourceInterval":[3070,3072]},"id",[]],["terminal",{"sourceInterval":[3073,3076]},"("],["app",{"sourceInterval":[3077,3100]},"ListOf",[["app",{"sourceInterval":[3084,3095]},"FunctionArg",[]],["terminal",{"sourceInterval":[3096,3099]},","]]],["opt",{"sourceInterval":[3101,3105]},["terminal",{"sourceInterval":[3101,3104]},","]],["terminal",{"sourceInterval":[3106,3109]},")"],["terminal",{"sourceInterval":[3110,3113]},":"],["app",{"sourceInterval":[3114,3118]},"Type",[]],["terminal",{"sourceInterval":[3119,3122]},"{"],["star",{"sourceInterval":[3123,3133]},["app",{"sourceInterval":[3123,3132]},"Statement",[]]],["terminal",{"sourceInterval":[3134,3137]},"}"]]],"Function_abstractVoid":["define",{"sourceInterval":[3164,3245]},null,[],["seq",{"sourceInterval":[3164,3230]},["star",{"sourceInterval":[3164,3182]},["app",{"sourceInterval":[3164,3181]},"FunctionAttribute",[]]],["app",{"sourceInterval":[3183,3186]},"fun",[]],["app",{"sourceInterval":[3187,3189]},"id",[]],["terminal",{"sourceInterval":[3190,3193]},"("],["app",{"sourceInterval":[3194,3217]},"ListOf",[["app",{"sourceInterval":[3201,3212]},"FunctionArg",[]],["terminal",{"sourceInterval":[3213,3216]},","]]],["opt",{"sourceInterval":[3218,3222]},["terminal",{"sourceInterval":[3218,3221]},","]],["terminal",{"sourceInterval":[3223,3226]},")"],["terminal",{"sourceInterval":[3227,3230]},";"]]],"Function_abstractType":["define",{"sourceInterval":[3261,3351]},null,[],["seq",{"sourceInterval":[3261,3336]},["star",{"sourceInterval":[3261,3279]},["app",{"sourceInterval":[3261,3278]},"FunctionAttribute",[]]],["app",{"sourceInterval":[3280,3283]},"fun",[]],["app",{"sourceInterval":[3284,3286]},"id",[]],["terminal",{"sourceInterval":[3287,3290]},"("],["app",{"sourceInterval":[3291,3314]},"ListOf",[["app",{"sourceInterval":[3298,3309]},"FunctionArg",[]],["terminal",{"sourceInterval":[3310,3313]},","]]],["opt",{"sourceInterval":[3315,3319]},["terminal",{"sourceInterval":[3315,3318]},","]],["terminal",{"sourceInterval":[3320,3323]},")"],["terminal",{"sourceInterval":[3324,3327]},":"],["app",{"sourceInterval":[3328,3332]},"Type",[]],["terminal",{"sourceInterval":[3333,3336]},";"]]],"Function":["define",{"sourceInterval":[2928,3351]},null,[],["alt",{"sourceInterval":[2939,3351]},["app",{"sourceInterval":[2939,3020]},"Function_withVoid",[]],["app",{"sourceInterval":[3047,3137]},"Function_withType",[]],["app",{"sourceInterval":[3164,3230]},"Function_abstractVoid",[]],["app",{"sourceInterval":[3261,3336]},"Function_abstractType",[]]]],"FunctionArg":["define",{"sourceInterval":[3356,3381]},null,[],["seq",{"sourceInterval":[3370,3381]},["app",{"sourceInterval":[3370,3372]},"id",[]],["terminal",{"sourceInterval":[3373,3376]},":"],["app",{"sourceInterval":[3377,3381]},"Type",[]]]],"ReceiveFunction_simple":["define",{"sourceInterval":[3409,3466]},null,[],["seq",{"sourceInterval":[3409,3457]},["terminal",{"sourceInterval":[3409,3418]},"receive"],["terminal",{"sourceInterval":[3419,3422]},"("],["app",{"sourceInterval":[3423,3434]},"FunctionArg",[]],["terminal",{"sourceInterval":[3435,3438]},")"],["terminal",{"sourceInterval":[3439,3442]},"{"],["star",{"sourceInterval":[3443,3453]},["app",{"sourceInterval":[3443,3452]},"Statement",[]]],["terminal",{"sourceInterval":[3454,3457]},"}"]]],"ReceiveFunction_empty":["define",{"sourceInterval":[3489,3533]},null,[],["seq",{"sourceInterval":[3489,3525]},["terminal",{"sourceInterval":[3489,3498]},"receive"],["terminal",{"sourceInterval":[3499,3502]},"("],["terminal",{"sourceInterval":[3503,3506]},")"],["terminal",{"sourceInterval":[3507,3510]},"{"],["star",{"sourceInterval":[3511,3521]},["app",{"sourceInterval":[3511,3520]},"Statement",[]]],["terminal",{"sourceInterval":[3522,3525]},"}"]]],"ReceiveFunction_comment":["define",{"sourceInterval":[3556,3616]},null,[],["seq",{"sourceInterval":[3556,3606]},["terminal",{"sourceInterval":[3556,3565]},"receive"],["terminal",{"sourceInterval":[3566,3569]},"("],["app",{"sourceInterval":[3570,3583]},"stringLiteral",[]],["terminal",{"sourceInterval":[3584,3587]},")"],["terminal",{"sourceInterval":[3588,3591]},"{"],["star",{"sourceInterval":[3592,3602]},["app",{"sourceInterval":[3592,3601]},"Statement",[]]],["terminal",{"sourceInterval":[3603,3606]},"}"]]],"ReceiveFunction_bounced":["define",{"sourceInterval":[3639,3697]},null,[],["seq",{"sourceInterval":[3639,3687]},["terminal",{"sourceInterval":[3639,3648]},"bounced"],["terminal",{"sourceInterval":[3649,3652]},"("],["app",{"sourceInterval":[3653,3664]},"FunctionArg",[]],["terminal",{"sourceInterval":[3665,3668]},")"],["terminal",{"sourceInterval":[3669,3672]},"{"],["star",{"sourceInterval":[3673,3683]},["app",{"sourceInterval":[3673,3682]},"Statement",[]]],["terminal",{"sourceInterval":[3684,3687]},"}"]]],"ReceiveFunction_externalSimple":["define",{"sourceInterval":[3720,3786]},null,[],["seq",{"sourceInterval":[3720,3769]},["terminal",{"sourceInterval":[3720,3730]},"external"],["terminal",{"sourceInterval":[3731,3734]},"("],["app",{"sourceInterval":[3735,3746]},"FunctionArg",[]],["terminal",{"sourceInterval":[3747,3750]},")"],["terminal",{"sourceInterval":[3751,3754]},"{"],["star",{"sourceInterval":[3755,3765]},["app",{"sourceInterval":[3755,3764]},"Statement",[]]],["terminal",{"sourceInterval":[3766,3769]},"}"]]],"ReceiveFunction_externalComment":["define",{"sourceInterval":[3809,3878]},null,[],["seq",{"sourceInterval":[3809,3860]},["terminal",{"sourceInterval":[3809,3819]},"external"],["terminal",{"sourceInterval":[3820,3823]},"("],["app",{"sourceInterval":[3824,3837]},"stringLiteral",[]],["terminal",{"sourceInterval":[3838,3841]},")"],["terminal",{"sourceInterval":[3842,3845]},"{"],["star",{"sourceInterval":[3846,3856]},["app",{"sourceInterval":[3846,3855]},"Statement",[]]],["terminal",{"sourceInterval":[3857,3860]},"}"]]],"ReceiveFunction_externalEmpty":["define",{"sourceInterval":[3901,3954]},null,[],["seq",{"sourceInterval":[3901,3938]},["terminal",{"sourceInterval":[3901,3911]},"external"],["terminal",{"sourceInterval":[3912,3915]},"("],["terminal",{"sourceInterval":[3916,3919]},")"],["terminal",{"sourceInterval":[3920,3923]},"{"],["star",{"sourceInterval":[3924,3934]},["app",{"sourceInterval":[3924,3933]},"Statement",[]]],["terminal",{"sourceInterval":[3935,3938]},"}"]]],"ReceiveFunction":["define",{"sourceInterval":[3391,3954]},null,[],["alt",{"sourceInterval":[3409,3954]},["app",{"sourceInterval":[3409,3457]},"ReceiveFunction_simple",[]],["app",{"sourceInterval":[3489,3525]},"ReceiveFunction_empty",[]],["app",{"sourceInterval":[3556,3606]},"ReceiveFunction_comment",[]],["app",{"sourceInterval":[3639,3687]},"ReceiveFunction_bounced",[]],["app",{"sourceInterval":[3720,3769]},"ReceiveFunction_externalSimple",[]],["app",{"sourceInterval":[3809,3860]},"ReceiveFunction_externalComment",[]],["app",{"sourceInterval":[3901,3938]},"ReceiveFunction_externalEmpty",[]]]],"Statement":["define",{"sourceInterval":[3978,4303]},null,[],["alt",{"sourceInterval":[3990,4303]},["app",{"sourceInterval":[3990,4002]},"StatementLet",[]],["app",{"sourceInterval":[4019,4033]},"StatementBlock",[]],["app",{"sourceInterval":[4050,4065]},"StatementReturn",[]],["app",{"sourceInterval":[4082,4101]},"StatementExpression",[]],["app",{"sourceInterval":[4118,4133]},"StatementAssign",[]],["app",{"sourceInterval":[4150,4174]},"StatementAugmentedAssign",[]],["app",{"sourceInterval":[4191,4209]},"StatementCondition",[]],["app",{"sourceInterval":[4226,4240]},"StatementWhile",[]],["app",{"sourceInterval":[4257,4272]},"StatementRepeat",[]],["app",{"sourceInterval":[4289,4303]},"StatementUntil",[]]]],"StatementBlock":["define",{"sourceInterval":[4308,4343]},null,[],["seq",{"sourceInterval":[4325,4343]},["terminal",{"sourceInterval":[4325,4328]},"{"],["star",{"sourceInterval":[4329,4339]},["app",{"sourceInterval":[4329,4338]},"Statement",[]]],["terminal",{"sourceInterval":[4340,4343]},"}"]]],"StatementLet":["define",{"sourceInterval":[4348,4397]},null,[],["seq",{"sourceInterval":[4363,4397]},["app",{"sourceInterval":[4363,4366]},"let",[]],["app",{"sourceInterval":[4367,4369]},"id",[]],["terminal",{"sourceInterval":[4370,4373]},":"],["app",{"sourceInterval":[4374,4378]},"Type",[]],["terminal",{"sourceInterval":[4379,4382]},"="],["app",{"sourceInterval":[4383,4393]},"Expression",[]],["terminal",{"sourceInterval":[4394,4397]},";"]]],"StatementReturn_withExpression":["define",{"sourceInterval":[4420,4458]},null,[],["seq",{"sourceInterval":[4420,4441]},["app",{"sourceInterval":[4420,4426]},"return",[]],["app",{"sourceInterval":[4427,4437]},"Expression",[]],["terminal",{"sourceInterval":[4438,4441]},";"]]],"StatementReturn_withoutExpression":["define",{"sourceInterval":[4481,4511]},null,[],["seq",{"sourceInterval":[4481,4491]},["app",{"sourceInterval":[4481,4487]},"return",[]],["terminal",{"sourceInterval":[4488,4491]},";"]]],"StatementReturn":["define",{"sourceInterval":[4402,4511]},null,[],["alt",{"sourceInterval":[4420,4511]},["app",{"sourceInterval":[4420,4441]},"StatementReturn_withExpression",[]],["app",{"sourceInterval":[4481,4491]},"StatementReturn_withoutExpression",[]]]],"StatementExpression":["define",{"sourceInterval":[4520,4556]},null,[],["seq",{"sourceInterval":[4542,4556]},["app",{"sourceInterval":[4542,4552]},"Expression",[]],["terminal",{"sourceInterval":[4553,4556]},";"]]],"StatementAssign":["define",{"sourceInterval":[4561,4604]},null,[],["seq",{"sourceInterval":[4579,4604]},["app",{"sourceInterval":[4579,4585]},"LValue",[]],["terminal",{"sourceInterval":[4586,4589]},"="],["app",{"sourceInterval":[4590,4600]},"Expression",[]],["terminal",{"sourceInterval":[4601,4604]},";"]]],"StatementAugmentedAssign":["define",{"sourceInterval":[4609,4899]},null,[],["alt",{"sourceInterval":[4636,4899]},["app",{"sourceInterval":[4636,4663]},"StatementAugmentedAssignAdd",[]],["app",{"sourceInterval":[4695,4722]},"StatementAugmentedAssignSub",[]],["app",{"sourceInterval":[4754,4781]},"StatementAugmentedAssignMul",[]],["app",{"sourceInterval":[4813,4840]},"StatementAugmentedAssignDiv",[]],["app",{"sourceInterval":[4872,4899]},"StatementAugmentedAssignRem",[]]]],"StatementAugmentedAssignAdd":["define",{"sourceInterval":[4904,4960]},null,[],["seq",{"sourceInterval":[4934,4960]},["app",{"sourceInterval":[4934,4940]},"LValue",[]],["terminal",{"sourceInterval":[4941,4945]},"+="],["app",{"sourceInterval":[4946,4956]},"Expression",[]],["terminal",{"sourceInterval":[4957,4960]},";"]]],"StatementAugmentedAssignSub":["define",{"sourceInterval":[4965,5021]},null,[],["seq",{"sourceInterval":[4995,5021]},["app",{"sourceInterval":[4995,5001]},"LValue",[]],["terminal",{"sourceInterval":[5002,5006]},"-="],["app",{"sourceInterval":[5007,5017]},"Expression",[]],["terminal",{"sourceInterval":[5018,5021]},";"]]],"StatementAugmentedAssignMul":["define",{"sourceInterval":[5026,5082]},null,[],["seq",{"sourceInterval":[5056,5082]},["app",{"sourceInterval":[5056,5062]},"LValue",[]],["terminal",{"sourceInterval":[5063,5067]},"*="],["app",{"sourceInterval":[5068,5078]},"Expression",[]],["terminal",{"sourceInterval":[5079,5082]},";"]]],"StatementAugmentedAssignDiv":["define",{"sourceInterval":[5087,5143]},null,[],["seq",{"sourceInterval":[5117,5143]},["app",{"sourceInterval":[5117,5123]},"LValue",[]],["terminal",{"sourceInterval":[5124,5128]},"/="],["app",{"sourceInterval":[5129,5139]},"Expression",[]],["terminal",{"sourceInterval":[5140,5143]},";"]]],"StatementAugmentedAssignRem":["define",{"sourceInterval":[5148,5204]},null,[],["seq",{"sourceInterval":[5178,5204]},["app",{"sourceInterval":[5178,5184]},"LValue",[]],["terminal",{"sourceInterval":[5185,5189]},"%="],["app",{"sourceInterval":[5190,5200]},"Expression",[]],["terminal",{"sourceInterval":[5201,5204]},";"]]],"StatementCondition_simple":["define",{"sourceInterval":[5230,5277]},null,[],["seq",{"sourceInterval":[5230,5268]},["app",{"sourceInterval":[5230,5232]},"if",[]],["app",{"sourceInterval":[5233,5243]},"Expression",[]],["terminal",{"sourceInterval":[5244,5247]},"{"],["star",{"sourceInterval":[5248,5258]},["app",{"sourceInterval":[5248,5257]},"Statement",[]]],["terminal",{"sourceInterval":[5259,5262]},"}"],["not",{"sourceInterval":[5263,5268]},["app",{"sourceInterval":[5264,5268]},"else",[]]]]],"StatementCondition_withElse":["define",{"sourceInterval":[5303,5370]},null,[],["seq",{"sourceInterval":[5303,5359]},["app",{"sourceInterval":[5303,5305]},"if",[]],["app",{"sourceInterval":[5306,5316]},"Expression",[]],["terminal",{"sourceInterval":[5317,5320]},"{"],["star",{"sourceInterval":[5321,5331]},["app",{"sourceInterval":[5321,5330]},"Statement",[]]],["terminal",{"sourceInterval":[5332,5335]},"}"],["app",{"sourceInterval":[5336,5340]},"else",[]],["terminal",{"sourceInterval":[5341,5344]},"{"],["star",{"sourceInterval":[5345,5355]},["app",{"sourceInterval":[5345,5354]},"Statement",[]]],["terminal",{"sourceInterval":[5356,5359]},"}"]]],"StatementCondition_withElseIf":["define",{"sourceInterval":[5396,5465]},null,[],["seq",{"sourceInterval":[5396,5452]},["app",{"sourceInterval":[5396,5398]},"if",[]],["app",{"sourceInterval":[5399,5409]},"Expression",[]],["terminal",{"sourceInterval":[5410,5413]},"{"],["star",{"sourceInterval":[5414,5424]},["app",{"sourceInterval":[5414,5423]},"Statement",[]]],["terminal",{"sourceInterval":[5425,5428]},"}"],["app",{"sourceInterval":[5429,5433]},"else",[]],["app",{"sourceInterval":[5434,5452]},"StatementCondition",[]]]],"StatementCondition":["define",{"sourceInterval":[5209,5465]},null,[],["alt",{"sourceInterval":[5230,5465]},["app",{"sourceInterval":[5230,5268]},"StatementCondition_simple",[]],["app",{"sourceInterval":[5303,5359]},"StatementCondition_withElse",[]],["app",{"sourceInterval":[5396,5452]},"StatementCondition_withElseIf",[]]]],"StatementWhile":["define",{"sourceInterval":[5470,5530]},null,[],["seq",{"sourceInterval":[5487,5530]},["app",{"sourceInterval":[5487,5492]},"while",[]],["terminal",{"sourceInterval":[5493,5496]},"("],["app",{"sourceInterval":[5497,5507]},"Expression",[]],["terminal",{"sourceInterval":[5508,5511]},")"],["terminal",{"sourceInterval":[5512,5515]},"{"],["star",{"sourceInterval":[5516,5526]},["app",{"sourceInterval":[5516,5525]},"Statement",[]]],["terminal",{"sourceInterval":[5527,5530]},"}"]]],"StatementRepeat":["define",{"sourceInterval":[5535,5597]},null,[],["seq",{"sourceInterval":[5553,5597]},["app",{"sourceInterval":[5553,5559]},"repeat",[]],["terminal",{"sourceInterval":[5560,5563]},"("],["app",{"sourceInterval":[5564,5574]},"Expression",[]],["terminal",{"sourceInterval":[5575,5578]},")"],["terminal",{"sourceInterval":[5579,5582]},"{"],["star",{"sourceInterval":[5583,5593]},["app",{"sourceInterval":[5583,5592]},"Statement",[]]],["terminal",{"sourceInterval":[5594,5597]},"}"]]],"StatementUntil":["define",{"sourceInterval":[5602,5669]},null,[],["seq",{"sourceInterval":[5619,5669]},["app",{"sourceInterval":[5619,5621]},"do",[]],["terminal",{"sourceInterval":[5622,5625]},"{"],["star",{"sourceInterval":[5626,5636]},["app",{"sourceInterval":[5626,5635]},"Statement",[]]],["terminal",{"sourceInterval":[5637,5640]},"}"],["app",{"sourceInterval":[5641,5646]},"until",[]],["terminal",{"sourceInterval":[5647,5650]},"("],["app",{"sourceInterval":[5651,5661]},"Expression",[]],["terminal",{"sourceInterval":[5662,5665]},")"],["terminal",{"sourceInterval":[5666,5669]},";"]]],"LValue_more":["define",{"sourceInterval":[5699,5719]},null,[],["seq",{"sourceInterval":[5699,5712]},["app",{"sourceInterval":[5699,5701]},"id",[]],["terminal",{"sourceInterval":[5702,5705]},"."],["app",{"sourceInterval":[5706,5712]},"LValue",[]]]],"LValue_single":["define",{"sourceInterval":[5733,5744]},null,[],["app",{"sourceInterval":[5733,5735]},"id",[]]],"LValue":["define",{"sourceInterval":[5690,5744]},null,[],["alt",{"sourceInterval":[5699,5744]},["app",{"sourceInterval":[5699,5712]},"LValue_more",[]],["app",{"sourceInterval":[5733,5735]},"LValue_single",[]]]],"Expression":["define",{"sourceInterval":[5769,5803]},null,[],["app",{"sourceInterval":[5782,5803]},"ExpressionConditional",[]]],"ExpressionConditional_ternary":["define",{"sourceInterval":[5832,5897]},null,[],["seq",{"sourceInterval":[5832,5887]},["app",{"sourceInterval":[5832,5844]},"ExpressionOr",[]],["terminal",{"sourceInterval":[5845,5848]},"?"],["app",{"sourceInterval":[5849,5861]},"ExpressionOr",[]],["terminal",{"sourceInterval":[5862,5865]},":"],["app",{"sourceInterval":[5866,5887]},"ExpressionConditional",[]]]],"ExpressionConditional":["define",{"sourceInterval":[5808,5938]},null,[],["alt",{"sourceInterval":[5832,5938]},["app",{"sourceInterval":[5832,5887]},"ExpressionConditional_ternary",[]],["app",{"sourceInterval":[5926,5938]},"ExpressionOr",[]]]],"ExpressionOr_or":["define",{"sourceInterval":[5958,5994]},null,[],["seq",{"sourceInterval":[5958,5989]},["app",{"sourceInterval":[5958,5970]},"ExpressionOr",[]],["terminal",{"sourceInterval":[5971,5975]},"||"],["app",{"sourceInterval":[5976,5989]},"ExpressionAnd",[]]]],"ExpressionOr":["define",{"sourceInterval":[5943,6027]},null,[],["alt",{"sourceInterval":[5958,6027]},["app",{"sourceInterval":[5958,5989]},"ExpressionOr_or",[]],["app",{"sourceInterval":[6014,6027]},"ExpressionAnd",[]]]],"ExpressionAnd_and":["define",{"sourceInterval":[6048,6090]},null,[],["seq",{"sourceInterval":[6048,6084]},["app",{"sourceInterval":[6048,6061]},"ExpressionAnd",[]],["terminal",{"sourceInterval":[6062,6066]},"&&"],["app",{"sourceInterval":[6067,6084]},"ExpressionCompare",[]]]],"ExpressionAnd":["define",{"sourceInterval":[6032,6128]},null,[],["alt",{"sourceInterval":[6048,6128]},["app",{"sourceInterval":[6048,6084]},"ExpressionAnd_and",[]],["app",{"sourceInterval":[6111,6128]},"ExpressionCompare",[]]]],"ExpressionCompare_not":["define",{"sourceInterval":[6153,6198]},null,[],["seq",{"sourceInterval":[6153,6192]},["app",{"sourceInterval":[6153,6170]},"ExpressionCompare",[]],["terminal",{"sourceInterval":[6171,6175]},"!="],["app",{"sourceInterval":[6176,6192]},"ExpressionBinary",[]]]],"ExpressionCompare_eq":["define",{"sourceInterval":[6223,6267]},null,[],["seq",{"sourceInterval":[6223,6262]},["app",{"sourceInterval":[6223,6240]},"ExpressionCompare",[]],["terminal",{"sourceInterval":[6241,6245]},"=="],["app",{"sourceInterval":[6246,6262]},"ExpressionBinary",[]]]],"ExpressionCompare_gt":["define",{"sourceInterval":[6292,6335]},null,[],["seq",{"sourceInterval":[6292,6330]},["app",{"sourceInterval":[6292,6309]},"ExpressionCompare",[]],["terminal",{"sourceInterval":[6310,6313]},">"],["app",{"sourceInterval":[6314,6330]},"ExpressionBinary",[]]]],"ExpressionCompare_gte":["define",{"sourceInterval":[6360,6405]},null,[],["seq",{"sourceInterval":[6360,6399]},["app",{"sourceInterval":[6360,6377]},"ExpressionCompare",[]],["terminal",{"sourceInterval":[6378,6382]},">="],["app",{"sourceInterval":[6383,6399]},"ExpressionBinary",[]]]],"ExpressionCompare_lt":["define",{"sourceInterval":[6430,6473]},null,[],["seq",{"sourceInterval":[6430,6468]},["app",{"sourceInterval":[6430,6447]},"ExpressionCompare",[]],["terminal",{"sourceInterval":[6448,6451]},"<"],["app",{"sourceInterval":[6452,6468]},"ExpressionBinary",[]]]],"ExpressionCompare_lte":["define",{"sourceInterval":[6498,6543]},null,[],["seq",{"sourceInterval":[6498,6537]},["app",{"sourceInterval":[6498,6515]},"ExpressionCompare",[]],["terminal",{"sourceInterval":[6516,6520]},"<="],["app",{"sourceInterval":[6521,6537]},"ExpressionBinary",[]]]],"ExpressionCompare":["define",{"sourceInterval":[6133,6584]},null,[],["alt",{"sourceInterval":[6153,6584]},["app",{"sourceInterval":[6153,6192]},"ExpressionCompare_not",[]],["app",{"sourceInterval":[6223,6262]},"ExpressionCompare_eq",[]],["app",{"sourceInterval":[6292,6330]},"ExpressionCompare_gt",[]],["app",{"sourceInterval":[6360,6399]},"ExpressionCompare_gte",[]],["app",{"sourceInterval":[6430,6468]},"ExpressionCompare_lt",[]],["app",{"sourceInterval":[6498,6537]},"ExpressionCompare_lte",[]],["app",{"sourceInterval":[6568,6584]},"ExpressionBinary",[]]]],"ExpressionBinary_shr":["define",{"sourceInterval":[6608,6649]},null,[],["seq",{"sourceInterval":[6608,6643]},["app",{"sourceInterval":[6608,6624]},"ExpressionBinary",[]],["terminal",{"sourceInterval":[6625,6629]},">>"],["app",{"sourceInterval":[6630,6643]},"ExpressionAdd",[]]]],"ExpressionBinary_shl":["define",{"sourceInterval":[6672,6713]},null,[],["seq",{"sourceInterval":[6672,6707]},["app",{"sourceInterval":[6672,6688]},"ExpressionBinary",[]],["terminal",{"sourceInterval":[6689,6693]},"<<"],["app",{"sourceInterval":[6694,6707]},"ExpressionAdd",[]]]],"ExpressionBinary_bin_and":["define",{"sourceInterval":[6736,6780]},null,[],["seq",{"sourceInterval":[6736,6770]},["app",{"sourceInterval":[6736,6752]},"ExpressionBinary",[]],["terminal",{"sourceInterval":[6753,6756]},"&"],["app",{"sourceInterval":[6757,6770]},"ExpressionAdd",[]]]],"ExpressionBinary_bin_or":["define",{"sourceInterval":[6803,6846]},null,[],["seq",{"sourceInterval":[6803,6837]},["app",{"sourceInterval":[6803,6819]},"ExpressionBinary",[]],["terminal",{"sourceInterval":[6820,6823]},"|"],["app",{"sourceInterval":[6824,6837]},"ExpressionAdd",[]]]],"ExpressionBinary":["define",{"sourceInterval":[6589,6882]},null,[],["alt",{"sourceInterval":[6608,6882]},["app",{"sourceInterval":[6608,6643]},"ExpressionBinary_shr",[]],["app",{"sourceInterval":[6672,6707]},"ExpressionBinary_shl",[]],["app",{"sourceInterval":[6736,6770]},"ExpressionBinary_bin_and",[]],["app",{"sourceInterval":[6803,6837]},"ExpressionBinary_bin_or",[]],["app",{"sourceInterval":[6869,6882]},"ExpressionAdd",[]]]],"ExpressionAdd_add":["define",{"sourceInterval":[6903,6945]},null,[],["seq",{"sourceInterval":[6903,6939]},["app",{"sourceInterval":[6903,6916]},"ExpressionAdd",[]],["terminal",{"sourceInterval":[6917,6920]},"+"],["not",{"sourceInterval":[6921,6925]},["terminal",{"sourceInterval":[6922,6925]},"+"]],["app",{"sourceInterval":[6926,6939]},"ExpressionMul",[]]]],"ExpressionAdd_sub":["define",{"sourceInterval":[6966,7008]},null,[],["seq",{"sourceInterval":[6966,7002]},["app",{"sourceInterval":[6966,6979]},"ExpressionAdd",[]],["terminal",{"sourceInterval":[6980,6983]},"-"],["not",{"sourceInterval":[6984,6988]},["terminal",{"sourceInterval":[6985,6988]},"-"]],["app",{"sourceInterval":[6989,7002]},"ExpressionMul",[]]]],"ExpressionAdd":["define",{"sourceInterval":[6887,7042]},null,[],["alt",{"sourceInterval":[6903,7042]},["app",{"sourceInterval":[6903,6939]},"ExpressionAdd_add",[]],["app",{"sourceInterval":[6966,7002]},"ExpressionAdd_sub",[]],["app",{"sourceInterval":[7029,7042]},"ExpressionMul",[]]]],"ExpressionMul_mul":["define",{"sourceInterval":[7063,7102]},null,[],["seq",{"sourceInterval":[7063,7096]},["app",{"sourceInterval":[7063,7076]},"ExpressionMul",[]],["terminal",{"sourceInterval":[7077,7080]},"*"],["app",{"sourceInterval":[7081,7096]},"ExpressionUnary",[]]]],"ExpressionMul_div":["define",{"sourceInterval":[7123,7162]},null,[],["seq",{"sourceInterval":[7123,7156]},["app",{"sourceInterval":[7123,7136]},"ExpressionMul",[]],["terminal",{"sourceInterval":[7137,7140]},"/"],["app",{"sourceInterval":[7141,7156]},"ExpressionUnary",[]]]],"ExpressionMul_rem":["define",{"sourceInterval":[7183,7222]},null,[],["seq",{"sourceInterval":[7183,7216]},["app",{"sourceInterval":[7183,7196]},"ExpressionMul",[]],["terminal",{"sourceInterval":[7197,7200]},"%"],["app",{"sourceInterval":[7201,7216]},"ExpressionUnary",[]]]],"ExpressionMul":["define",{"sourceInterval":[7047,7258]},null,[],["alt",{"sourceInterval":[7063,7258]},["app",{"sourceInterval":[7063,7096]},"ExpressionMul_mul",[]],["app",{"sourceInterval":[7123,7156]},"ExpressionMul_div",[]],["app",{"sourceInterval":[7183,7216]},"ExpressionMul_rem",[]],["app",{"sourceInterval":[7243,7258]},"ExpressionUnary",[]]]],"ExpressionUnary_neg":["define",{"sourceInterval":[7281,7312]},null,[],["seq",{"sourceInterval":[7281,7306]},["terminal",{"sourceInterval":[7281,7284]},"-"],["app",{"sourceInterval":[7285,7306]},"ExpressionUnarySuffix",[]]]],"ExpressionUnary_add":["define",{"sourceInterval":[7335,7366]},null,[],["seq",{"sourceInterval":[7335,7360]},["terminal",{"sourceInterval":[7335,7338]},"+"],["app",{"sourceInterval":[7339,7360]},"ExpressionUnarySuffix",[]]]],"ExpressionUnary_not":["define",{"sourceInterval":[7389,7420]},null,[],["seq",{"sourceInterval":[7389,7414]},["terminal",{"sourceInterval":[7389,7392]},"!"],["app",{"sourceInterval":[7393,7414]},"ExpressionUnarySuffix",[]]]],"ExpressionUnary":["define",{"sourceInterval":[7263,7464]},null,[],["alt",{"sourceInterval":[7281,7464]},["app",{"sourceInterval":[7281,7306]},"ExpressionUnary_neg",[]],["app",{"sourceInterval":[7335,7360]},"ExpressionUnary_add",[]],["app",{"sourceInterval":[7389,7414]},"ExpressionUnary_not",[]],["app",{"sourceInterval":[7443,7464]},"ExpressionUnarySuffix",[]]]],"ExpressionUnarySuffix_notNull":["define",{"sourceInterval":[7493,7523]},null,[],["seq",{"sourceInterval":[7493,7513]},["app",{"sourceInterval":[7493,7508]},"ExpressionValue",[]],["terminal",{"sourceInterval":[7509,7513]},"!!"]]],"ExpressionUnarySuffix":["define",{"sourceInterval":[7469,7567]},null,[],["alt",{"sourceInterval":[7493,7567]},["app",{"sourceInterval":[7493,7513]},"ExpressionUnarySuffix_notNull",[]],["app",{"sourceInterval":[7552,7567]},"ExpressionValue",[]]]],"ExpressionBracket":["define",{"sourceInterval":[7572,7610]},null,[],["seq",{"sourceInterval":[7592,7610]},["terminal",{"sourceInterval":[7592,7595]},"("],["app",{"sourceInterval":[7596,7606]},"Expression",[]],["terminal",{"sourceInterval":[7607,7610]},")"]]],"ExpressionValue":["define",{"sourceInterval":[7642,8032]},null,[],["alt",{"sourceInterval":[7660,8032]},["app",{"sourceInterval":[7660,7674]},"ExpressionCall",[]],["app",{"sourceInterval":[7697,7712]},"ExpressionField",[]],["app",{"sourceInterval":[7735,7755]},"ExpressionStaticCall",[]],["app",{"sourceInterval":[7778,7795]},"ExpressionBracket",[]],["app",{"sourceInterval":[7818,7831]},"ExpressionNew",[]],["app",{"sourceInterval":[7854,7868]},"integerLiteral",[]],["app",{"sourceInterval":[7891,7902]},"boolLiteral",[]],["app",{"sourceInterval":[7925,7927]},"id",[]],["app",{"sourceInterval":[7950,7954]},"null",[]],["app",{"sourceInterval":[7977,7993]},"ExpressionInitOf",[]],["app",{"sourceInterval":[8016,8032]},"ExpressionString",[]]]],"ExpressionString":["define",{"sourceInterval":[8037,8069]},null,[],["app",{"sourceInterval":[8056,8069]},"stringLiteral",[]]],"ExpressionField":["define",{"sourceInterval":[8074,8119]},null,[],["seq",{"sourceInterval":[8092,8119]},["app",{"sourceInterval":[8092,8107]},"ExpressionValue",[]],["terminal",{"sourceInterval":[8108,8111]},"."],["app",{"sourceInterval":[8112,8114]},"id",[]],["not",{"sourceInterval":[8115,8119]},["terminal",{"sourceInterval":[8116,8119]},"("]]]],"ExpressionCall":["define",{"sourceInterval":[8124,8200]},null,[],["seq",{"sourceInterval":[8141,8200]},["app",{"sourceInterval":[8141,8156]},"ExpressionValue",[]],["terminal",{"sourceInterval":[8157,8160]},"."],["app",{"sourceInterval":[8161,8163]},"id",[]],["terminal",{"sourceInterval":[8164,8167]},"("],["app",{"sourceInterval":[8168,8191]},"ListOf",[["app",{"sourceInterval":[8175,8185]},"Expression",[]],["terminal",{"sourceInterval":[8187,8190]},","]]],["opt",{"sourceInterval":[8192,8196]},["terminal",{"sourceInterval":[8192,8195]},","]],["terminal",{"sourceInterval":[8197,8200]},")"]]],"ExpressionNew":["define",{"sourceInterval":[8205,8262]},null,[],["seq",{"sourceInterval":[8221,8262]},["app",{"sourceInterval":[8221,8223]},"id",[]],["terminal",{"sourceInterval":[8224,8227]},"{"],["app",{"sourceInterval":[8228,8253]},"ListOf",[["app",{"sourceInterval":[8235,8247]},"NewParameter",[]],["terminal",{"sourceInterval":[8249,8252]},","]]],["opt",{"sourceInterval":[8254,8258]},["terminal",{"sourceInterval":[8254,8257]},","]],["terminal",{"sourceInterval":[8259,8262]},"}"]]],"NewParameter":["define",{"sourceInterval":[8267,8299]},null,[],["seq",{"sourceInterval":[8282,8299]},["app",{"sourceInterval":[8282,8284]},"id",[]],["terminal",{"sourceInterval":[8285,8288]},":"],["app",{"sourceInterval":[8289,8299]},"Expression",[]]]],"ExpressionStaticCall":["define",{"sourceInterval":[8304,8366]},null,[],["seq",{"sourceInterval":[8327,8366]},["app",{"sourceInterval":[8327,8329]},"id",[]],["terminal",{"sourceInterval":[8330,8333]},"("],["app",{"sourceInterval":[8334,8357]},"ListOf",[["app",{"sourceInterval":[8341,8351]},"Expression",[]],["terminal",{"sourceInterval":[8353,8356]},","]]],["opt",{"sourceInterval":[8358,8362]},["terminal",{"sourceInterval":[8358,8361]},","]],["terminal",{"sourceInterval":[8363,8366]},")"]]],"ExpressionInitOf":["define",{"sourceInterval":[8371,8436]},null,[],["seq",{"sourceInterval":[8390,8436]},["app",{"sourceInterval":[8390,8396]},"initOf",[]],["app",{"sourceInterval":[8397,8399]},"id",[]],["terminal",{"sourceInterval":[8400,8403]},"("],["app",{"sourceInterval":[8404,8427]},"ListOf",[["app",{"sourceInterval":[8411,8421]},"Expression",[]],["terminal",{"sourceInterval":[8423,8426]},","]]],["opt",{"sourceInterval":[8428,8432]},["terminal",{"sourceInterval":[8428,8431]},","]],["terminal",{"sourceInterval":[8433,8436]},")"]]],"typeLiteral":["define",{"sourceInterval":[8462,8506]},null,[],["seq",{"sourceInterval":[8476,8506]},["app",{"sourceInterval":[8476,8489]},"letterAsciiUC",[]],["star",{"sourceInterval":[8490,8506]},["app",{"sourceInterval":[8490,8505]},"typeLiteralPart",[]]]]],"typeLiteralPart":["define",{"sourceInterval":[8511,8554]},null,[],["alt",{"sourceInterval":[8529,8554]},["app",{"sourceInterval":[8529,8540]},"letterAscii",[]],["app",{"sourceInterval":[8543,8548]},"digit",[]],["terminal",{"sourceInterval":[8551,8554]},"_"]]],"integerLiteral":["define",{"sourceInterval":[8761,8855]},null,[],["alt",{"sourceInterval":[8778,8855]},["app",{"sourceInterval":[8778,8795]},"integerLiteralHex",[]],["app",{"sourceInterval":[8798,8815]},"integerLiteralBin",[]],["app",{"sourceInterval":[8818,8835]},"integerLiteralOct",[]],["app",{"sourceInterval":[8838,8855]},"integerLiteralDec",[]]]],"integerLiteralDec_nonZeroIntegerLiteralDec":["define",{"sourceInterval":[8902,8956]},null,[],["seq",{"sourceInterval":[8902,8928]},["app",{"sourceInterval":[8902,8914]},"nonZeroDigit",[]],["star",{"sourceInterval":[8915,8928]},["seq",{"sourceInterval":[8916,8926]},["opt",{"sourceInterval":[8916,8920]},["terminal",{"sourceInterval":[8916,8919]},"_"]],["app",{"sourceInterval":[8921,8926]},"digit",[]]]]]],"integerLiteralDec_integerLiteralWithLeadingZero":["define",{"sourceInterval":[8981,9040]},null,[],["seq",{"sourceInterval":[8981,8991]},["terminal",{"sourceInterval":[8981,8984]},"0"],["star",{"sourceInterval":[8985,8991]},["app",{"sourceInterval":[8985,8990]},"digit",[]]]]],"integerLiteralDec":["define",{"sourceInterval":[8882,9040]},null,[],["alt",{"sourceInterval":[8902,9040]},["app",{"sourceInterval":[8902,8928]},"integerLiteralDec_nonZeroIntegerLiteralDec",[]],["app",{"sourceInterval":[8981,8991]},"integerLiteralDec_integerLiteralWithLeadingZero",[]]]],"integerLiteralHex":["define",{"sourceInterval":[9045,9104]},null,[],["seq",{"sourceInterval":[9065,9104]},["alt",{"sourceInterval":[9066,9077]},["terminal",{"sourceInterval":[9066,9070]},"0x"],["terminal",{"sourceInterval":[9073,9077]},"0X"]],["app",{"sourceInterval":[9079,9087]},"hexDigit",[]],["star",{"sourceInterval":[9088,9104]},["seq",{"sourceInterval":[9089,9102]},["opt",{"sourceInterval":[9089,9093]},["terminal",{"sourceInterval":[9089,9092]},"_"]],["app",{"sourceInterval":[9094,9102]},"hexDigit",[]]]]]],"integerLiteralBin":["define",{"sourceInterval":[9109,9168]},null,[],["seq",{"sourceInterval":[9129,9168]},["alt",{"sourceInterval":[9130,9141]},["terminal",{"sourceInterval":[9130,9134]},"0b"],["terminal",{"sourceInterval":[9137,9141]},"0B"]],["app",{"sourceInterval":[9143,9151]},"binDigit",[]],["star",{"sourceInterval":[9152,9168]},["seq",{"sourceInterval":[9153,9166]},["opt",{"sourceInterval":[9153,9157]},["terminal",{"sourceInterval":[9153,9156]},"_"]],["app",{"sourceInterval":[9158,9166]},"binDigit",[]]]]]],"integerLiteralOct":["define",{"sourceInterval":[9173,9232]},null,[],["seq",{"sourceInterval":[9193,9232]},["alt",{"sourceInterval":[9194,9205]},["terminal",{"sourceInterval":[9194,9198]},"0o"],["terminal",{"sourceInterval":[9201,9205]},"0O"]],["app",{"sourceInterval":[9207,9215]},"octDigit",[]],["star",{"sourceInterval":[9216,9232]},["seq",{"sourceInterval":[9217,9230]},["opt",{"sourceInterval":[9217,9221]},["terminal",{"sourceInterval":[9217,9220]},"_"]],["app",{"sourceInterval":[9222,9230]},"octDigit",[]]]]]],"binDigit":["define",{"sourceInterval":[9237,9257]},null,[],["alt",{"sourceInterval":[9248,9257]},["terminal",{"sourceInterval":[9248,9251]},"0"],["terminal",{"sourceInterval":[9254,9257]},"1"]]],"octDigit":["define",{"sourceInterval":[9262,9281]},null,[],["range",{"sourceInterval":[9273,9281]},"0","7"]],"nonZeroDigit":["define",{"sourceInterval":[9286,9309]},null,[],["range",{"sourceInterval":[9301,9309]},"1","9"]],"letterAsciiLC":["define",{"sourceInterval":[9330,9354]},null,[],["range",{"sourceInterval":[9346,9354]},"a","z"]],"letterAsciiUC":["define",{"sourceInterval":[9359,9383]},null,[],["range",{"sourceInterval":[9375,9383]},"A","Z"]],"letterAscii":["define",{"sourceInterval":[9388,9431]},null,[],["alt",{"sourceInterval":[9402,9431]},["app",{"sourceInterval":[9402,9415]},"letterAsciiLC",[]],["app",{"sourceInterval":[9418,9431]},"letterAsciiUC",[]]]],"letterComment":["define",{"sourceInterval":[9436,9495]},null,[],["alt",{"sourceInterval":[9452,9495]},["app",{"sourceInterval":[9452,9465]},"letterAsciiLC",[]],["app",{"sourceInterval":[9468,9481]},"letterAsciiUC",[]],["app",{"sourceInterval":[9484,9489]},"digit",[]],["terminal",{"sourceInterval":[9492,9495]},"_"]]],"idStart":["define",{"sourceInterval":[9519,9546]},null,[],["alt",{"sourceInterval":[9529,9546]},["app",{"sourceInterval":[9529,9540]},"letterAscii",[]],["terminal",{"sourceInterval":[9543,9546]},"_"]]],"idPart":["define",{"sourceInterval":[9551,9585]},null,[],["alt",{"sourceInterval":[9560,9585]},["app",{"sourceInterval":[9560,9571]},"letterAscii",[]],["app",{"sourceInterval":[9574,9579]},"digit",[]],["terminal",{"sourceInterval":[9582,9585]},"_"]]],"id":["define",{"sourceInterval":[9590,9628]},null,[],["seq",{"sourceInterval":[9595,9628]},["not",{"sourceInterval":[9595,9608]},["app",{"sourceInterval":[9596,9608]},"reservedWord",[]]],["lex",{"sourceInterval":[9609,9617]},["app",{"sourceInterval":[9610,9617]},"idStart",[]]],["lex",{"sourceInterval":[9618,9628]},["star",{"sourceInterval":[9620,9627]},["app",{"sourceInterval":[9620,9626]},"idPart",[]]]]]],"funcLetter":["define",{"sourceInterval":[9649,9710]},null,[],["alt",{"sourceInterval":[9662,9710]},["app",{"sourceInterval":[9662,9673]},"letterAscii",[]],["terminal",{"sourceInterval":[9676,9679]},"_"],["terminal",{"sourceInterval":[9682,9685]},"'"],["terminal",{"sourceInterval":[9688,9691]},"?"],["terminal",{"sourceInterval":[9694,9697]},"!"],["terminal",{"sourceInterval":[9700,9704]},"::"],["terminal",{"sourceInterval":[9707,9710]},"&"]]],"funcId":["define",{"sourceInterval":[9715,9757]},null,[],["seq",{"sourceInterval":[9724,9757]},["app",{"sourceInterval":[9724,9734]},"funcLetter",[]],["star",{"sourceInterval":[9735,9757]},["lex",{"sourceInterval":[9735,9756]},["alt",{"sourceInterval":[9737,9755]},["app",{"sourceInterval":[9737,9747]},"funcLetter",[]],["app",{"sourceInterval":[9750,9755]},"digit",[]]]]]]],"boolLiteral":["define",{"sourceInterval":[9783,9823]},null,[],["seq",{"sourceInterval":[9797,9823]},["alt",{"sourceInterval":[9798,9814]},["terminal",{"sourceInterval":[9798,9804]},"true"],["terminal",{"sourceInterval":[9807,9814]},"false"]],["not",{"sourceInterval":[9816,9823]},["app",{"sourceInterval":[9817,9823]},"idPart",[]]]]],"stringLiteral":["define",{"sourceInterval":[9851,9920]},null,[],["seq",{"sourceInterval":[9867,9920]},["terminal",{"sourceInterval":[9867,9871]},"\""],["star",{"sourceInterval":[9872,9915]},["alt",{"sourceInterval":[9873,9913]},["app",{"sourceInterval":[9873,9896]},"nonQuoteOrBackslashChar",[]],["app",{"sourceInterval":[9899,9913]},"escapeSequence",[]]]],["terminal",{"sourceInterval":[9916,9920]},"\""]]],"nonQuoteOrBackslashChar":["define",{"sourceInterval":[9925,9969]},null,[],["seq",{"sourceInterval":[9951,9969]},["not",{"sourceInterval":[9951,9965]},["alt",{"sourceInterval":[9953,9964]},["terminal",{"sourceInterval":[9953,9957]},"\""],["terminal",{"sourceInterval":[9960,9964]},"\\"]]],["app",{"sourceInterval":[9966,9969]},"any",[]]]],"escapeSequence_backslash":["define",{"sourceInterval":[9991,10010]},null,[],["terminal",{"sourceInterval":[9991,9997]},"\\\\"]],"escapeSequence_doubleQuote":["define",{"sourceInterval":[10032,10053]},null,[],["terminal",{"sourceInterval":[10032,10038]},"\\\""]],"escapeSequence_newline":["define",{"sourceInterval":[10075,10091]},null,[],["terminal",{"sourceInterval":[10075,10080]},"\\n"]],"escapeSequence_carriageReturn":["define",{"sourceInterval":[10113,10136]},null,[],["terminal",{"sourceInterval":[10113,10118]},"\\r"]],"escapeSequence_tab":["define",{"sourceInterval":[10158,10170]},null,[],["terminal",{"sourceInterval":[10158,10163]},"\\t"]],"escapeSequence_verticalTab":["define",{"sourceInterval":[10192,10212]},null,[],["terminal",{"sourceInterval":[10192,10197]},"\\v"]],"escapeSequence_backspace":["define",{"sourceInterval":[10234,10252]},null,[],["terminal",{"sourceInterval":[10234,10239]},"\\b"]],"escapeSequence_formFeed":["define",{"sourceInterval":[10274,10291]},null,[],["terminal",{"sourceInterval":[10274,10279]},"\\f"]],"escapeSequence_unicodeCodePoint":["define",{"sourceInterval":[10313,10402]},null,[],["seq",{"sourceInterval":[10313,10382]},["terminal",{"sourceInterval":[10313,10319]},"\\u{"],["app",{"sourceInterval":[10320,10328]},"hexDigit",[]],["opt",{"sourceInterval":[10329,10338]},["app",{"sourceInterval":[10329,10337]},"hexDigit",[]]],["opt",{"sourceInterval":[10339,10348]},["app",{"sourceInterval":[10339,10347]},"hexDigit",[]]],["opt",{"sourceInterval":[10349,10358]},["app",{"sourceInterval":[10349,10357]},"hexDigit",[]]],["opt",{"sourceInterval":[10359,10368]},["app",{"sourceInterval":[10359,10367]},"hexDigit",[]]],["opt",{"sourceInterval":[10369,10378]},["app",{"sourceInterval":[10369,10377]},"hexDigit",[]]],["terminal",{"sourceInterval":[10379,10382]},"}"]]],"escapeSequence_unicodeEscape":["define",{"sourceInterval":[10424,10482]},null,[],["seq",{"sourceInterval":[10424,10465]},["terminal",{"sourceInterval":[10424,10429]},"\\u"],["app",{"sourceInterval":[10430,10438]},"hexDigit",[]],["app",{"sourceInterval":[10439,10447]},"hexDigit",[]],["app",{"sourceInterval":[10448,10456]},"hexDigit",[]],["app",{"sourceInterval":[10457,10465]},"hexDigit",[]]]],"escapeSequence_hexEscape":["define",{"sourceInterval":[10504,10540]},null,[],["seq",{"sourceInterval":[10504,10527]},["terminal",{"sourceInterval":[10504,10509]},"\\x"],["app",{"sourceInterval":[10510,10518]},"hexDigit",[]],["app",{"sourceInterval":[10519,10527]},"hexDigit",[]]]],"escapeSequence":["define",{"sourceInterval":[9974,10540]},null,[],["alt",{"sourceInterval":[9991,10540]},["app",{"sourceInterval":[9991,9997]},"escapeSequence_backslash",[]],["app",{"sourceInterval":[10032,10038]},"escapeSequence_doubleQuote",[]],["app",{"sourceInterval":[10075,10080]},"escapeSequence_newline",[]],["app",{"sourceInterval":[10113,10118]},"escapeSequence_carriageReturn",[]],["app",{"sourceInterval":[10158,10163]},"escapeSequence_tab",[]],["app",{"sourceInterval":[10192,10197]},"escapeSequence_verticalTab",[]],["app",{"sourceInterval":[10234,10239]},"escapeSequence_backspace",[]],["app",{"sourceInterval":[10274,10279]},"escapeSequence_formFeed",[]],["app",{"sourceInterval":[10313,10382]},"escapeSequence_unicodeCodePoint",[]],["app",{"sourceInterval":[10424,10465]},"escapeSequence_unicodeEscape",[]],["app",{"sourceInterval":[10504,10527]},"escapeSequence_hexEscape",[]]]],"keyword":["define",{"sourceInterval":[10593,11106]},null,[],["alt",{"sourceInterval":[10603,11106]},["app",{"sourceInterval":[10603,10606]},"fun",[]],["app",{"sourceInterval":[10622,10625]},"let",[]],["app",{"sourceInterval":[10640,10646]},"return",[]],["app",{"sourceInterval":[10662,10668]},"extend",[]],["app",{"sourceInterval":[10684,10690]},"native",[]],["app",{"sourceInterval":[10706,10712]},"public",[]],["app",{"sourceInterval":[10728,10732]},"null",[]],["app",{"sourceInterval":[10748,10750]},"if",[]],["app",{"sourceInterval":[10766,10770]},"else",[]],["app",{"sourceInterval":[10786,10791]},"while",[]],["app",{"sourceInterval":[10807,10813]},"repeat",[]],["app",{"sourceInterval":[10829,10831]},"do",[]],["app",{"sourceInterval":[10847,10852]},"until",[]],["app",{"sourceInterval":[10868,10870]},"as",[]],["app",{"sourceInterval":[10887,10894]},"mutates",[]],["app",{"sourceInterval":[10909,10916]},"extends",[]],["app",{"sourceInterval":[10931,10937]},"import",[]],["app",{"sourceInterval":[10952,10956]},"with",[]],["app",{"sourceInterval":[10971,10976]},"trait",[]],["app",{"sourceInterval":[10991,10997]},"initOf",[]],["app",{"sourceInterval":[11012,11020]},"override",[]],["app",{"sourceInterval":[11035,11043]},"abstract",[]],["app",{"sourceInterval":[11058,11065]},"virtual",[]],["app",{"sourceInterval":[11080,11086]},"inline",[]],["app",{"sourceInterval":[11101,11106]},"const",[]]]],"contract":["define",{"sourceInterval":[11111,11140]},null,[],["seq",{"sourceInterval":[11122,11140]},["terminal",{"sourceInterval":[11122,11132]},"contract"],["not",{"sourceInterval":[11133,11140]},["app",{"sourceInterval":[11134,11140]},"idPart",[]]]]],"let":["define",{"sourceInterval":[11145,11164]},null,[],["seq",{"sourceInterval":[11151,11164]},["terminal",{"sourceInterval":[11151,11156]},"let"],["not",{"sourceInterval":[11157,11164]},["app",{"sourceInterval":[11158,11164]},"idPart",[]]]]],"fun":["define",{"sourceInterval":[11169,11188]},null,[],["seq",{"sourceInterval":[11175,11188]},["terminal",{"sourceInterval":[11175,11180]},"fun"],["not",{"sourceInterval":[11181,11188]},["app",{"sourceInterval":[11182,11188]},"idPart",[]]]]],"return":["define",{"sourceInterval":[11193,11218]},null,[],["seq",{"sourceInterval":[11202,11218]},["terminal",{"sourceInterval":[11202,11210]},"return"],["not",{"sourceInterval":[11211,11218]},["app",{"sourceInterval":[11212,11218]},"idPart",[]]]]],"extend":["define",{"sourceInterval":[11223,11248]},null,[],["seq",{"sourceInterval":[11232,11248]},["terminal",{"sourceInterval":[11232,11240]},"extend"],["not",{"sourceInterval":[11241,11248]},["app",{"sourceInterval":[11242,11248]},"idPart",[]]]]],"native":["define",{"sourceInterval":[11253,11278]},null,[],["seq",{"sourceInterval":[11262,11278]},["terminal",{"sourceInterval":[11262,11270]},"native"],["not",{"sourceInterval":[11271,11278]},["app",{"sourceInterval":[11272,11278]},"idPart",[]]]]],"public":["define",{"sourceInterval":[11283,11308]},null,[],["seq",{"sourceInterval":[11292,11308]},["terminal",{"sourceInterval":[11292,11300]},"public"],["not",{"sourceInterval":[11301,11308]},["app",{"sourceInterval":[11302,11308]},"idPart",[]]]]],"null":["define",{"sourceInterval":[11313,11334]},null,[],["seq",{"sourceInterval":[11320,11334]},["terminal",{"sourceInterval":[11320,11326]},"null"],["not",{"sourceInterval":[11327,11334]},["app",{"sourceInterval":[11328,11334]},"idPart",[]]]]],"if":["define",{"sourceInterval":[11339,11356]},null,[],["seq",{"sourceInterval":[11344,11356]},["terminal",{"sourceInterval":[11344,11348]},"if"],["not",{"sourceInterval":[11349,11356]},["app",{"sourceInterval":[11350,11356]},"idPart",[]]]]],"else":["define",{"sourceInterval":[11361,11382]},null,[],["seq",{"sourceInterval":[11368,11382]},["terminal",{"sourceInterval":[11368,11374]},"else"],["not",{"sourceInterval":[11375,11382]},["app",{"sourceInterval":[11376,11382]},"idPart",[]]]]],"while":["define",{"sourceInterval":[11387,11410]},null,[],["seq",{"sourceInterval":[11395,11410]},["terminal",{"sourceInterval":[11395,11402]},"while"],["not",{"sourceInterval":[11403,11410]},["app",{"sourceInterval":[11404,11410]},"idPart",[]]]]],"repeat":["define",{"sourceInterval":[11415,11440]},null,[],["seq",{"sourceInterval":[11424,11440]},["terminal",{"sourceInterval":[11424,11432]},"repeat"],["not",{"sourceInterval":[11433,11440]},["app",{"sourceInterval":[11434,11440]},"idPart",[]]]]],"do":["define",{"sourceInterval":[11445,11462]},null,[],["seq",{"sourceInterval":[11450,11462]},["terminal",{"sourceInterval":[11450,11454]},"do"],["not",{"sourceInterval":[11455,11462]},["app",{"sourceInterval":[11456,11462]},"idPart",[]]]]],"until":["define",{"sourceInterval":[11467,11490]},null,[],["seq",{"sourceInterval":[11475,11490]},["terminal",{"sourceInterval":[11475,11482]},"until"],["not",{"sourceInterval":[11483,11490]},["app",{"sourceInterval":[11484,11490]},"idPart",[]]]]],"as":["define",{"sourceInterval":[11495,11512]},null,[],["seq",{"sourceInterval":[11500,11512]},["terminal",{"sourceInterval":[11500,11504]},"as"],["not",{"sourceInterval":[11505,11512]},["app",{"sourceInterval":[11506,11512]},"idPart",[]]]]],"mutates":["define",{"sourceInterval":[11517,11544]},null,[],["seq",{"sourceInterval":[11527,11544]},["terminal",{"sourceInterval":[11527,11536]},"mutates"],["not",{"sourceInterval":[11537,11544]},["app",{"sourceInterval":[11538,11544]},"idPart",[]]]]],"extends":["define",{"sourceInterval":[11549,11576]},null,[],["seq",{"sourceInterval":[11559,11576]},["terminal",{"sourceInterval":[11559,11568]},"extends"],["not",{"sourceInterval":[11569,11576]},["app",{"sourceInterval":[11570,11576]},"idPart",[]]]]],"import":["define",{"sourceInterval":[11581,11606]},null,[],["seq",{"sourceInterval":[11590,11606]},["terminal",{"sourceInterval":[11590,11598]},"import"],["not",{"sourceInterval":[11599,11606]},["app",{"sourceInterval":[11600,11606]},"idPart",[]]]]],"with":["define",{"sourceInterval":[11611,11632]},null,[],["seq",{"sourceInterval":[11618,11632]},["terminal",{"sourceInterval":[11618,11624]},"with"],["not",{"sourceInterval":[11625,11632]},["app",{"sourceInterval":[11626,11632]},"idPart",[]]]]],"trait":["define",{"sourceInterval":[11637,11660]},null,[],["seq",{"sourceInterval":[11645,11660]},["terminal",{"sourceInterval":[11645,11652]},"trait"],["not",{"sourceInterval":[11653,11660]},["app",{"sourceInterval":[11654,11660]},"idPart",[]]]]],"initOf":["define",{"sourceInterval":[11665,11690]},null,[],["seq",{"sourceInterval":[11674,11690]},["terminal",{"sourceInterval":[11674,11682]},"initOf"],["not",{"sourceInterval":[11683,11690]},["app",{"sourceInterval":[11684,11690]},"idPart",[]]]]],"virtual":["define",{"sourceInterval":[11695,11722]},null,[],["seq",{"sourceInterval":[11705,11722]},["terminal",{"sourceInterval":[11705,11714]},"virtual"],["not",{"sourceInterval":[11715,11722]},["app",{"sourceInterval":[11716,11722]},"idPart",[]]]]],"override":["define",{"sourceInterval":[11727,11756]},null,[],["seq",{"sourceInterval":[11738,11756]},["terminal",{"sourceInterval":[11738,11748]},"override"],["not",{"sourceInterval":[11749,11756]},["app",{"sourceInterval":[11750,11756]},"idPart",[]]]]],"inline":["define",{"sourceInterval":[11761,11786]},null,[],["seq",{"sourceInterval":[11770,11786]},["terminal",{"sourceInterval":[11770,11778]},"inline"],["not",{"sourceInterval":[11779,11786]},["app",{"sourceInterval":[11780,11786]},"idPart",[]]]]],"const":["define",{"sourceInterval":[11791,11814]},null,[],["seq",{"sourceInterval":[11799,11814]},["terminal",{"sourceInterval":[11799,11806]},"const"],["not",{"sourceInterval":[11807,11814]},["app",{"sourceInterval":[11808,11814]},"idPart",[]]]]],"abstract":["define",{"sourceInterval":[11819,11848]},null,[],["seq",{"sourceInterval":[11830,11848]},["terminal",{"sourceInterval":[11830,11840]},"abstract"],["not",{"sourceInterval":[11841,11848]},["app",{"sourceInterval":[11842,11848]},"idPart",[]]]]],"nameAttribute":["define",{"sourceInterval":[11872,11895]},null,[],["terminal",{"sourceInterval":[11888,11895]},"@name"]],"reservedWord":["define",{"sourceInterval":[11917,11939]},null,[],["app",{"sourceInterval":[11932,11939]},"keyword",[]]],"space":["extend",{"sourceInterval":[11961,11994]},null,[],["alt",{"sourceInterval":[11970,11994]},["app",{"sourceInterval":[11970,11977]},"comment",[]],["app",{"sourceInterval":[11980,11994]},"lineTerminator",[]]]],"comment":["define",{"sourceInterval":[11999,12045]},null,[],["alt",{"sourceInterval":[12009,12045]},["app",{"sourceInterval":[12009,12025]},"multiLineComment",[]],["app",{"sourceInterval":[12028,12045]},"singleLineComment",[]]]],"lineTerminator":["define",{"sourceInterval":[12050,12100]},null,[],["alt",{"sourceInterval":[12067,12100]},["terminal",{"sourceInterval":[12067,12071]},"\n"],["terminal",{"sourceInterval":[12074,12078]},"\r"],["terminal",{"sourceInterval":[12081,12089]},"\u2028"],["terminal",{"sourceInterval":[12092,12100]},"\u2029"]]],"multiLineComment":["define",{"sourceInterval":[12105,12146]},null,[],["seq",{"sourceInterval":[12124,12146]},["terminal",{"sourceInterval":[12124,12128]},"/*"],["star",{"sourceInterval":[12129,12141]},["seq",{"sourceInterval":[12130,12139]},["not",{"sourceInterval":[12130,12135]},["terminal",{"sourceInterval":[12131,12135]},"*/"]],["app",{"sourceInterval":[12136,12139]},"any",[]]]],["terminal",{"sourceInterval":[12142,12146]},"*/"]]],"singleLineComment":["define",{"sourceInterval":[12151,12198]},null,[],["seq",{"sourceInterval":[12171,12198]},["terminal",{"sourceInterval":[12171,12175]},"//"],["star",{"sourceInterval":[12176,12198]},["seq",{"sourceInterval":[12177,12196]},["not",{"sourceInterval":[12177,12192]},["app",{"sourceInterval":[12178,12192]},"lineTerminator",[]]],["app",{"sourceInterval":[12193,12196]},"any",[]]]]]]}]);module.exports=result; \ No newline at end of file diff --git a/src/grammar/grammar.ts b/src/grammar/grammar.ts index e5d62213f..91c631751 100644 --- a/src/grammar/grammar.ts +++ b/src/grammar/grammar.ts @@ -282,7 +282,11 @@ semantics.addOperation('resolve_declaration', { ref: createRef(this) }) }, - Function_withType(arg0, _arg1, arg2, _arg3, arg4, _arg5, _arg6, arg7, _arg8, arg9, _) { + Function_withType(arg0, _arg1, arg2, _arg3, arg4, arg5, _arg6, _arg7, arg8, _arg9, arg10, _arg11) { + if (arg4.source.contents === '' && arg5.sourceString === ',') { + throwError('Empty parameter list should not have a dangling comma.', createRef(arg5)); + } + const attributes = arg0.children.map((v) => v.resolve_attributes()) as ASTFunctionAttribute[]; checkVariableName(arg2.sourceString, createRef(arg2)); checkFunctionAttributes(false, attributes, createRef(this)); @@ -291,13 +295,17 @@ semantics.addOperation('resolve_declaration', { origin: ctx!.origin, attributes, name: arg2.sourceString, - return: arg7.resolve_expression(), + return: arg8.resolve_expression(), args: arg4.asIteration().children.map((v) => v.resolve_declaration()), - statements: arg9.children.map((v) => v.resolve_statement()), + statements: arg10.children.map((v) => v.resolve_statement()), ref: createRef(this) }) }, - Function_withVoid(arg0, _arg1, arg2, _arg3, arg4, _arg5, _arg6, arg7, _) { + Function_withVoid(arg0, _arg1, arg2, _arg3, arg4, arg5, _arg6, _arg7, arg8, _arg9) { + if (arg4.source.contents === '' && arg5.sourceString === ',') { + throwError('Empty parameter list should not have a dangling comma.', createRef(arg5)); + } + const attributes = arg0.children.map((v) => v.resolve_attributes()) as ASTFunctionAttribute[]; checkVariableName(arg2.sourceString, createRef(arg2)); checkFunctionAttributes(false, attributes, createRef(this)); @@ -308,11 +316,15 @@ semantics.addOperation('resolve_declaration', { name: arg2.sourceString, return: null, args: arg4.asIteration().children.map((v) => v.resolve_declaration()), - statements: arg7.children.map((v) => v.resolve_statement()), + statements: arg8.children.map((v) => v.resolve_statement()), ref: createRef(this) }) }, - Function_abstractVoid(arg0, _arg1, arg2, _arg3, arg4, _arg5, _arg6) { + Function_abstractVoid(arg0, _arg1, arg2, _arg3, arg4, arg5, _arg6, _arg7) { + if (arg4.source.contents === '' && arg5.sourceString === ',') { + throwError('Empty parameter list should not have a dangling comma.', createRef(arg5)); + } + const attributes = arg0.children.map((v) => v.resolve_attributes()) as ASTFunctionAttribute[]; checkVariableName(arg2.sourceString, createRef(arg2)); checkFunctionAttributes(true, attributes, createRef(this)); @@ -327,7 +339,11 @@ semantics.addOperation('resolve_declaration', { ref: createRef(this) }) }, - Function_abstractType(arg0, _arg1, arg2, _arg3, arg4, _arg5, _arg6, arg7, _arg8) { + Function_abstractType(arg0, _arg1, arg2, _arg3, arg4, arg5, _arg6, _arg7, arg8, _arg9) { + if (arg4.source.contents === '' && arg5.sourceString === ',') { + throwError('Empty parameter list should not have a dangling comma.', createRef(arg5)); + } + const attributes = arg0.children.map((v) => v.resolve_attributes()) as ASTFunctionAttribute[]; checkVariableName(arg2.sourceString, createRef(arg2)); checkFunctionAttributes(true, attributes, createRef(this)); @@ -336,13 +352,17 @@ semantics.addOperation('resolve_declaration', { origin: ctx!.origin, attributes, name: arg2.sourceString, - return: arg7.resolve_expression(), + return: arg8.resolve_expression(), args: arg4.asIteration().children.map((v) => v.resolve_declaration()), statements: null, ref: createRef(this) }) }, - NativeFunction_withType(_arg0, _arg1, arg2, _arg3, arg4, arg5, arg6, _arg7, arg8, _arg9, _arg10, arg11, _arg12) { + NativeFunction_withType(_arg0, _arg1, arg2, _arg3, arg4, arg5, arg6, _arg7, arg8, arg9, _arg10, _arg11, arg12, _arg13) { + if (arg8.source.contents === '' && arg9.sourceString === ',') { + throwError('Empty parameter list should not have a dangling comma.', createRef(arg9)); + } + checkVariableName(arg5.sourceString, createRef(arg5)); return createNode({ kind: 'def_native_function', @@ -350,12 +370,16 @@ semantics.addOperation('resolve_declaration', { attributes: arg4.children.map((v) => v.resolve_attributes()), name: arg6.sourceString, nativeName: arg2.sourceString, - return: arg11.resolve_expression(), + return: arg12.resolve_expression(), args: arg8.asIteration().children.map((v) => v.resolve_declaration()), ref: createRef(this) }) }, - NativeFunction_withVoid(_arg0, _arg1, arg2, _arg3, arg4, arg5, arg6, _arg7, arg8, _arg9, _arg10) { + NativeFunction_withVoid(_arg0, _arg1, arg2, _arg3, arg4, arg5, arg6, _arg7, arg8, arg9, _arg10, _arg11) { + if (arg8.source.contents === '' && arg9.sourceString === ',') { + throwError('Empty parameter list should not have a dangling comma.', createRef(arg9)); + } + checkVariableName(arg5.sourceString, createRef(arg5)); return createNode({ kind: 'def_native_function', @@ -706,19 +730,35 @@ semantics.addOperation('resolve_expression', { ExpressionField(arg0, _arg1, arg2) { return createNode({ kind: 'op_field', src: arg0.resolve_expression(), name: arg2.sourceString, ref: createRef(this) }); }, - ExpressionCall(arg0, _arg1, arg2, _arg3, arg4, _arg5) { + ExpressionCall(arg0, _arg1, arg2, _arg3, arg4, arg5, _arg6) { + if (arg4.source.contents === '' && arg5.sourceString === ',') { + throwError('Empty parameter list should not have a dangling comma.', createRef(arg5)); + } + return createNode({ kind: 'op_call', src: arg0.resolve_expression(), name: arg2.sourceString, args: arg4.asIteration().children.map((v) => v.resolve_expression()), ref: createRef(this) }); }, - ExpressionStaticCall(arg0, _arg1, arg2, _arg3) { + ExpressionStaticCall(arg0, _arg1, arg2, arg3, _arg4) { + if (arg2.source.contents === '' && arg3.sourceString === ',') { + throwError('Empty parameter list should not have a dangling comma.', createRef(arg3)); + } + return createNode({ kind: 'op_static_call', name: arg0.sourceString, args: arg2.asIteration().children.map((v) => v.resolve_expression()), ref: createRef(this) }); }, - ExpressionNew(arg0, _arg1, arg2, _arg3) { + ExpressionNew(arg0, _arg1, arg2, arg3, _arg4) { + if (arg2.source.contents === '' && arg3.sourceString === ',') { + throwError('Empty parameter list should not have a dangling comma.', createRef(arg3)); + } + return createNode({ kind: 'op_new', type: arg0.sourceString, args: arg2.asIteration().children.map((v) => v.resolve_expression()), ref: createRef(this) }); }, NewParameter(arg0, _arg1, arg2) { return createNode({ kind: 'new_parameter', name: arg0.sourceString, exp: arg2.resolve_expression(), ref: createRef(this) }); }, - ExpressionInitOf(_arg0, arg1, _arg2, arg3, _arg4) { + ExpressionInitOf(_arg0, arg1, _arg2, arg3, arg4, _arg5) { + if (arg3.source.contents === '' && arg4.sourceString === ',') { + throwError('Empty parameter list should not have a dangling comma.', createRef(arg4)); + } + return createNode({ kind: 'init_of', name: arg1.sourceString, args: arg3.asIteration().children.map((v) => v.resolve_expression()), ref: createRef(this) }); }, diff --git a/src/grammar/test-failed/case-19.tact b/src/grammar/test-failed/case-19.tact new file mode 100644 index 000000000..6de325c04 --- /dev/null +++ b/src/grammar/test-failed/case-19.tact @@ -0,0 +1 @@ +fun function(,) {} diff --git a/src/grammar/test-failed/case-20.tact b/src/grammar/test-failed/case-20.tact new file mode 100644 index 000000000..4eeea7ca7 --- /dev/null +++ b/src/grammar/test-failed/case-20.tact @@ -0,0 +1,3 @@ +fun another() { + return 42.toString(,); +} diff --git a/src/grammar/test-failed/case-21.tact b/src/grammar/test-failed/case-21.tact new file mode 100644 index 000000000..c4b5dd91a --- /dev/null +++ b/src/grammar/test-failed/case-21.tact @@ -0,0 +1,3 @@ +fun function(,) : Int { + return 42; +} diff --git a/src/grammar/test-failed/case-22.tact b/src/grammar/test-failed/case-22.tact new file mode 100644 index 000000000..29f9f5595 --- /dev/null +++ b/src/grammar/test-failed/case-22.tact @@ -0,0 +1,7 @@ +fun a(): Int { + return 42; +} + +fun b(): Int { + return a(,); +} diff --git a/src/grammar/test-failed/case-23.tact b/src/grammar/test-failed/case-23.tact new file mode 100644 index 000000000..7bb4d0a21 --- /dev/null +++ b/src/grammar/test-failed/case-23.tact @@ -0,0 +1,2 @@ +@name(native_name_1) +native testNativeFunc(,); \ No newline at end of file diff --git a/src/grammar/test-failed/case-24.tact b/src/grammar/test-failed/case-24.tact new file mode 100644 index 000000000..7122d84bb --- /dev/null +++ b/src/grammar/test-failed/case-24.tact @@ -0,0 +1 @@ +abstract fun testFuncAbstract(,); \ No newline at end of file diff --git a/src/grammar/test-failed/case-25.tact b/src/grammar/test-failed/case-25.tact new file mode 100644 index 000000000..6f8231ffe --- /dev/null +++ b/src/grammar/test-failed/case-25.tact @@ -0,0 +1 @@ +abstract fun testFuncAbstractWithType(,): Int; \ No newline at end of file diff --git a/src/grammar/test-failed/case-26.tact b/src/grammar/test-failed/case-26.tact new file mode 100644 index 000000000..5f13a9844 --- /dev/null +++ b/src/grammar/test-failed/case-26.tact @@ -0,0 +1,2 @@ +@name(native_name_2) +native testNativeFuncWithType(,): Int; \ No newline at end of file diff --git a/src/grammar/test/case-17.tact b/src/grammar/test/case-17.tact index b1e810d25..da78a62df 100644 --- a/src/grammar/test/case-17.tact +++ b/src/grammar/test/case-17.tact @@ -1,7 +1,27 @@ struct A { x: Int; + y: Int; +} + +const a: A = new { x: 1 }; + +fun getA(): A { + return A { + x: 1, + y: 2, + }; } message B { x: Int; -} \ No newline at end of file + y: Int; +} + +const b: B = new { + x: 2, + y: 3, +}; + +fun getB(): B { + return B { x: 1, y: 5, }; +} diff --git a/src/grammar/test/case-25.tact b/src/grammar/test/case-25.tact index 4d8e0571a..dd2bfcd1e 100644 --- a/src/grammar/test/case-25.tact +++ b/src/grammar/test/case-25.tact @@ -1,3 +1,47 @@ fun function(a: Int, b: Int): Int { return (a >> b) || (a << (32 - b)); -} \ No newline at end of file +} + +fun anotherFunction( + a: Int, + b: Int, + ): Int { + return (a >> b) || (a << (32 - b)); +} + +extends fun extension(self: Int, c: Int, d: Int) { + return self + c + d; +} + +fun coverage(a: Int, b: Int) { + let k: Int = a.extension( + b, + 4, + ); + + let c: Int = anotherFunction( + a, + b, + ); +} + +fun oneMoreFunction( + a: Int, + b: Int, + ): Int { + return anotherFunction( + a, + b, + ); +} + +contract TestContract { + init(arg1: Int, arg2: Int) {} +} + +fun test() { + let k: StateInit = initOf TestContract( + 2, + 3, + ); +}