@rsconcept/domain 1.0.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/LICENSE +21 -0
- package/README.md +55 -0
- package/dist/cctext/index.d.ts +1 -0
- package/dist/cctext/index.js +42 -0
- package/dist/cctext/index.js.map +1 -0
- package/dist/cctext/language-api.d.ts +43 -0
- package/dist/cctext/language-api.js +252 -0
- package/dist/cctext/language-api.js.map +1 -0
- package/dist/cctext/language.d.ts +58 -0
- package/dist/cctext/language.js +44 -0
- package/dist/cctext/language.js.map +1 -0
- package/dist/graph/graph.d.ts +62 -0
- package/dist/graph/graph.js +385 -0
- package/dist/graph/graph.js.map +1 -0
- package/dist/graph/index.d.ts +1 -0
- package/dist/graph/index.js +384 -0
- package/dist/graph/index.js.map +1 -0
- package/dist/index.d.ts +28 -0
- package/dist/index.js +5851 -0
- package/dist/index.js.map +1 -0
- package/dist/library/folder-tree.d.ts +32 -0
- package/dist/library/folder-tree.js +136 -0
- package/dist/library/folder-tree.js.map +1 -0
- package/dist/library/index.d.ts +17 -0
- package/dist/library/index.js +2800 -0
- package/dist/library/index.js.map +1 -0
- package/dist/library/library-api.d.ts +6 -0
- package/dist/library/library-api.js +13 -0
- package/dist/library/library-api.js.map +1 -0
- package/dist/library/library.d.ts +56 -0
- package/dist/library/library.js +23 -0
- package/dist/library/library.js.map +1 -0
- package/dist/library/oss-api.d.ts +47 -0
- package/dist/library/oss-api.js +1105 -0
- package/dist/library/oss-api.js.map +1 -0
- package/dist/library/oss-layout-api.d.ts +36 -0
- package/dist/library/oss-layout-api.js +330 -0
- package/dist/library/oss-layout-api.js.map +1 -0
- package/dist/library/oss-layout.d.ts +25 -0
- package/dist/library/oss-layout.js +1 -0
- package/dist/library/oss-layout.js.map +1 -0
- package/dist/library/oss.d.ts +136 -0
- package/dist/library/oss.js +30 -0
- package/dist/library/oss.js.map +1 -0
- package/dist/library/rsengine.d.ts +116 -0
- package/dist/library/rsengine.js +2604 -0
- package/dist/library/rsengine.js.map +1 -0
- package/dist/library/rsform-api.d.ts +74 -0
- package/dist/library/rsform-api.js +879 -0
- package/dist/library/rsform-api.js.map +1 -0
- package/dist/library/rsform.d.ts +206 -0
- package/dist/library/rsform.js +32 -0
- package/dist/library/rsform.js.map +1 -0
- package/dist/library/rsmodel-api.d.ts +43 -0
- package/dist/library/rsmodel-api.js +836 -0
- package/dist/library/rsmodel-api.js.map +1 -0
- package/dist/library/rsmodel.d.ts +52 -0
- package/dist/library/rsmodel.js +25 -0
- package/dist/library/rsmodel.js.map +1 -0
- package/dist/library/structure-planner.d.ts +33 -0
- package/dist/library/structure-planner.js +481 -0
- package/dist/library/structure-planner.js.map +1 -0
- package/dist/parsing/ast.d.ts +49 -0
- package/dist/parsing/ast.js +93 -0
- package/dist/parsing/ast.js.map +1 -0
- package/dist/parsing/index.d.ts +3 -0
- package/dist/parsing/index.js +141 -0
- package/dist/parsing/index.js.map +1 -0
- package/dist/parsing/lezer-tree.d.ts +13 -0
- package/dist/parsing/lezer-tree.js +50 -0
- package/dist/parsing/lezer-tree.js.map +1 -0
- package/dist/rslang/api.d.ts +53 -0
- package/dist/rslang/api.js +846 -0
- package/dist/rslang/api.js.map +1 -0
- package/dist/rslang/ast-annotations.d.ts +18 -0
- package/dist/rslang/ast-annotations.js +56 -0
- package/dist/rslang/ast-annotations.js.map +1 -0
- package/dist/rslang/error.d.ts +85 -0
- package/dist/rslang/error.js +159 -0
- package/dist/rslang/error.js.map +1 -0
- package/dist/rslang/eval/calculator.d.ts +43 -0
- package/dist/rslang/eval/calculator.js +1639 -0
- package/dist/rslang/eval/calculator.js.map +1 -0
- package/dist/rslang/eval/evaluation-cache.d.ts +36 -0
- package/dist/rslang/eval/evaluation-cache.js +310 -0
- package/dist/rslang/eval/evaluation-cache.js.map +1 -0
- package/dist/rslang/eval/evaluator.d.ts +70 -0
- package/dist/rslang/eval/evaluator.js +1514 -0
- package/dist/rslang/eval/evaluator.js.map +1 -0
- package/dist/rslang/eval/value-api.d.ts +48 -0
- package/dist/rslang/eval/value-api.js +490 -0
- package/dist/rslang/eval/value-api.js.map +1 -0
- package/dist/rslang/eval/value.d.ts +36 -0
- package/dist/rslang/eval/value.js +118 -0
- package/dist/rslang/eval/value.js.map +1 -0
- package/dist/rslang/index.d.ts +17 -0
- package/dist/rslang/index.js +4314 -0
- package/dist/rslang/index.js.map +1 -0
- package/dist/rslang/labels.d.ts +16 -0
- package/dist/rslang/labels.js +315 -0
- package/dist/rslang/labels.js.map +1 -0
- package/dist/rslang/parser/expression-generator.d.ts +10 -0
- package/dist/rslang/parser/expression-generator.js +451 -0
- package/dist/rslang/parser/expression-generator.js.map +1 -0
- package/dist/rslang/parser/normalize.d.ts +11 -0
- package/dist/rslang/parser/normalize.js +507 -0
- package/dist/rslang/parser/normalize.js.map +1 -0
- package/dist/rslang/parser/parser.d.ts +5 -0
- package/dist/rslang/parser/parser.js +24 -0
- package/dist/rslang/parser/parser.js.map +1 -0
- package/dist/rslang/parser/parser.terms.d.ts +42 -0
- package/dist/rslang/parser/parser.terms.js +84 -0
- package/dist/rslang/parser/parser.terms.js.map +1 -0
- package/dist/rslang/parser/syntax-errors.d.ts +11 -0
- package/dist/rslang/parser/syntax-errors.js +403 -0
- package/dist/rslang/parser/syntax-errors.js.map +1 -0
- package/dist/rslang/parser/token.d.ts +79 -0
- package/dist/rslang/parser/token.js +95 -0
- package/dist/rslang/parser/token.js.map +1 -0
- package/dist/rslang/semantic/analyzer.d.ts +39 -0
- package/dist/rslang/semantic/analyzer.js +2604 -0
- package/dist/rslang/semantic/analyzer.js.map +1 -0
- package/dist/rslang/semantic/arguments-extractor.d.ts +42 -0
- package/dist/rslang/semantic/arguments-extractor.js +366 -0
- package/dist/rslang/semantic/arguments-extractor.js.map +1 -0
- package/dist/rslang/semantic/type-auditor.d.ts +73 -0
- package/dist/rslang/semantic/type-auditor.js +1570 -0
- package/dist/rslang/semantic/type-auditor.js.map +1 -0
- package/dist/rslang/semantic/typification-api.d.ts +27 -0
- package/dist/rslang/semantic/typification-api.js +320 -0
- package/dist/rslang/semantic/typification-api.js.map +1 -0
- package/dist/rslang/semantic/typification-parser.d.ts +12 -0
- package/dist/rslang/semantic/typification-parser.js +226 -0
- package/dist/rslang/semantic/typification-parser.js.map +1 -0
- package/dist/rslang/semantic/typification.d.ts +119 -0
- package/dist/rslang/semantic/typification.js +74 -0
- package/dist/rslang/semantic/typification.js.map +1 -0
- package/dist/rslang/semantic/value-auditor.d.ts +43 -0
- package/dist/rslang/semantic/value-auditor.js +523 -0
- package/dist/rslang/semantic/value-auditor.js.map +1 -0
- package/dist/rslang/semantic/value-class.d.ts +10 -0
- package/dist/rslang/semantic/value-class.js +9 -0
- package/dist/rslang/semantic/value-class.js.map +1 -0
- package/dist/rslang/typification-graph.d.ts +33 -0
- package/dist/rslang/typification-graph.js +311 -0
- package/dist/rslang/typification-graph.js.map +1 -0
- package/dist/shared/branded.d.ts +7 -0
- package/dist/shared/branded.js +1 -0
- package/dist/shared/branded.js.map +1 -0
- package/dist/shared/hash.d.ts +6 -0
- package/dist/shared/hash.js +18 -0
- package/dist/shared/hash.js.map +1 -0
- package/dist/shared/index.d.ts +2 -0
- package/dist/shared/index.js +18 -0
- package/dist/shared/index.js.map +1 -0
- package/package.json +184 -0
- package/src/cctext/index.ts +9 -0
- package/src/cctext/language-api.test.ts +149 -0
- package/src/cctext/language-api.ts +285 -0
- package/src/cctext/language.ts +80 -0
- package/src/graph/graph.test.ts +392 -0
- package/src/graph/graph.ts +433 -0
- package/src/graph/index.ts +1 -0
- package/src/index.ts +96 -0
- package/src/library/folder-tree.test.ts +47 -0
- package/src/library/folder-tree.ts +156 -0
- package/src/library/index.ts +46 -0
- package/src/library/library-api.test.ts +32 -0
- package/src/library/library-api.ts +11 -0
- package/src/library/library.ts +61 -0
- package/src/library/oss-api.ts +449 -0
- package/src/library/oss-layout-api.ts +377 -0
- package/src/library/oss-layout.ts +27 -0
- package/src/library/oss.ts +150 -0
- package/src/library/rsengine.ts +593 -0
- package/src/library/rsform-api.ts +533 -0
- package/src/library/rsform.ts +228 -0
- package/src/library/rsmodel-api.ts +340 -0
- package/src/library/rsmodel.ts +50 -0
- package/src/library/structure-planner.ts +143 -0
- package/src/parsing/ast.ts +136 -0
- package/src/parsing/index.ts +15 -0
- package/src/parsing/lezer-tree.ts +69 -0
- package/src/rslang/api.test.ts +116 -0
- package/src/rslang/api.ts +183 -0
- package/src/rslang/ast-annotations.ts +70 -0
- package/src/rslang/error.ts +129 -0
- package/src/rslang/eval/calculator.test.ts +124 -0
- package/src/rslang/eval/calculator.ts +121 -0
- package/src/rslang/eval/evaluation-cache.ts +257 -0
- package/src/rslang/eval/evaluator.test.ts +352 -0
- package/src/rslang/eval/evaluator.ts +935 -0
- package/src/rslang/eval/value-api.test.ts +105 -0
- package/src/rslang/eval/value-api.ts +444 -0
- package/src/rslang/eval/value.ts +102 -0
- package/src/rslang/index.ts +23 -0
- package/src/rslang/labels.ts +191 -0
- package/src/rslang/parser/expression-generator.test.ts +100 -0
- package/src/rslang/parser/expression-generator.ts +466 -0
- package/src/rslang/parser/normalize.test.ts +99 -0
- package/src/rslang/parser/normalize.ts +462 -0
- package/src/rslang/parser/parser.terms.ts +42 -0
- package/src/rslang/parser/parser.test.ts +153 -0
- package/src/rslang/parser/parser.ts +20 -0
- package/src/rslang/parser/rslang.grammar +251 -0
- package/src/rslang/parser/syntax-errors.ts +209 -0
- package/src/rslang/parser/token.ts +106 -0
- package/src/rslang/semantic/analyzer.test.ts +59 -0
- package/src/rslang/semantic/analyzer.ts +179 -0
- package/src/rslang/semantic/arguments-extractor.ts +327 -0
- package/src/rslang/semantic/type-auditor.test.ts +326 -0
- package/src/rslang/semantic/type-auditor.ts +1049 -0
- package/src/rslang/semantic/typification-api.test.ts +46 -0
- package/src/rslang/semantic/typification-api.ts +321 -0
- package/src/rslang/semantic/typification-parser.test.ts +50 -0
- package/src/rslang/semantic/typification-parser.ts +220 -0
- package/src/rslang/semantic/typification.ts +180 -0
- package/src/rslang/semantic/value-auditor.test.ts +206 -0
- package/src/rslang/semantic/value-auditor.ts +332 -0
- package/src/rslang/semantic/value-class.ts +11 -0
- package/src/rslang/typification-graph.ts +155 -0
- package/src/shared/branded.ts +6 -0
- package/src/shared/hash.ts +17 -0
- package/src/shared/index.ts +2 -0
|
@@ -0,0 +1,507 @@
|
|
|
1
|
+
// src/parsing/ast.ts
|
|
2
|
+
var TOKEN_ERROR = 0;
|
|
3
|
+
function visitAstDFS(node, callback) {
|
|
4
|
+
for (const child of node.children) {
|
|
5
|
+
visitAstDFS(child, callback);
|
|
6
|
+
}
|
|
7
|
+
callback(node);
|
|
8
|
+
}
|
|
9
|
+
|
|
10
|
+
// src/rslang/parser/parser.terms.ts
|
|
11
|
+
var Expression = 1;
|
|
12
|
+
var Logic = 2;
|
|
13
|
+
var Logic_predicates = 3;
|
|
14
|
+
var Variable = 4;
|
|
15
|
+
var Local = 5;
|
|
16
|
+
var Tuple = 8;
|
|
17
|
+
var Expr_enum_min2 = 9;
|
|
18
|
+
var Logic_unary = 24;
|
|
19
|
+
var Predicate = 26;
|
|
20
|
+
var Logic_quantor = 29;
|
|
21
|
+
var Variable_pack = 31;
|
|
22
|
+
var Logic_binary = 33;
|
|
23
|
+
var Setexpr = 38;
|
|
24
|
+
var Integer = 39;
|
|
25
|
+
var EmptySet = 40;
|
|
26
|
+
var IntegerSet = 41;
|
|
27
|
+
var Global = 42;
|
|
28
|
+
var Radical = 43;
|
|
29
|
+
var Setexpr_binary = 44;
|
|
30
|
+
var Enumeration = 55;
|
|
31
|
+
var Boolean = 56;
|
|
32
|
+
var Filter_expression = 58;
|
|
33
|
+
var Filter = 59;
|
|
34
|
+
var Declarative = 60;
|
|
35
|
+
var PrefixD = 62;
|
|
36
|
+
var Imperative = 64;
|
|
37
|
+
var Imp_blocks = 65;
|
|
38
|
+
var Recursion = 68;
|
|
39
|
+
var Function = 69;
|
|
40
|
+
var BigPr = 70;
|
|
41
|
+
var SmallPr = 71;
|
|
42
|
+
var Card = 72;
|
|
43
|
+
var Bool = 73;
|
|
44
|
+
var Debool = 74;
|
|
45
|
+
var Red = 75;
|
|
46
|
+
var Function_decl = 76;
|
|
47
|
+
var Arguments = 77;
|
|
48
|
+
var Declaration = 78;
|
|
49
|
+
|
|
50
|
+
// src/rslang/parser/token.ts
|
|
51
|
+
var TokenID = {
|
|
52
|
+
// Global, local IDs and literals
|
|
53
|
+
ERROR: TOKEN_ERROR,
|
|
54
|
+
ID_LOCAL: 258,
|
|
55
|
+
ID_GLOBAL: 259,
|
|
56
|
+
ID_FUNCTION: 260,
|
|
57
|
+
ID_PREDICATE: 261,
|
|
58
|
+
ID_RADICAL: 262,
|
|
59
|
+
LIT_INTEGER: 263,
|
|
60
|
+
LIT_WHOLE_NUMBERS: 264,
|
|
61
|
+
LIT_EMPTYSET: 265,
|
|
62
|
+
// Arithmetic
|
|
63
|
+
PLUS: 266,
|
|
64
|
+
MINUS: 267,
|
|
65
|
+
MULTIPLY: 268,
|
|
66
|
+
// Integer predicate symbols
|
|
67
|
+
GREATER: 269,
|
|
68
|
+
LESSER: 270,
|
|
69
|
+
GREATER_OR_EQ: 271,
|
|
70
|
+
LESSER_OR_EQ: 272,
|
|
71
|
+
// Equality comparison
|
|
72
|
+
EQUAL: 273,
|
|
73
|
+
NOTEQUAL: 274,
|
|
74
|
+
// Logic predicate symbols
|
|
75
|
+
QUANTOR_UNIVERSAL: 275,
|
|
76
|
+
QUANTOR_EXISTS: 276,
|
|
77
|
+
LOGIC_NOT: 277,
|
|
78
|
+
LOGIC_EQUIVALENT: 278,
|
|
79
|
+
LOGIC_IMPLICATION: 279,
|
|
80
|
+
LOGIC_OR: 280,
|
|
81
|
+
LOGIC_AND: 281,
|
|
82
|
+
// Set theory predicate symbols
|
|
83
|
+
SET_IN: 282,
|
|
84
|
+
SET_NOT_IN: 283,
|
|
85
|
+
SUBSET: 284,
|
|
86
|
+
SUBSET_OR_EQ: 285,
|
|
87
|
+
NOT_SUBSET: 286,
|
|
88
|
+
// Set theory operators
|
|
89
|
+
DECART: 287,
|
|
90
|
+
SET_UNION: 288,
|
|
91
|
+
SET_INTERSECTION: 289,
|
|
92
|
+
SET_MINUS: 290,
|
|
93
|
+
SET_SYMMETRIC_MINUS: 291,
|
|
94
|
+
BOOLEAN: 292,
|
|
95
|
+
// Structure operations
|
|
96
|
+
BIGPR: 293,
|
|
97
|
+
SMALLPR: 294,
|
|
98
|
+
FILTER: 295,
|
|
99
|
+
CARD: 296,
|
|
100
|
+
BOOL: 297,
|
|
101
|
+
DEBOOL: 298,
|
|
102
|
+
REDUCE: 299,
|
|
103
|
+
// Term constructions prefixes
|
|
104
|
+
DECLARATIVE: 300,
|
|
105
|
+
RECURSIVE: 301,
|
|
106
|
+
IMPERATIVE: 302,
|
|
107
|
+
ITERATE: 303,
|
|
108
|
+
ASSIGN: 304,
|
|
109
|
+
// Punctuation
|
|
110
|
+
PUNCTUATION_DEFINE: 305,
|
|
111
|
+
PUNCTUATION_STRUCT: 306,
|
|
112
|
+
PUNCTUATION_PL: 307,
|
|
113
|
+
PUNCTUATION_PR: 308,
|
|
114
|
+
PUNCTUATION_CL: 309,
|
|
115
|
+
PUNCTUATION_CR: 310,
|
|
116
|
+
PUNCTUATION_SL: 311,
|
|
117
|
+
PUNCTUATION_SR: 312,
|
|
118
|
+
PUNCTUATION_BAR: 313,
|
|
119
|
+
PUNCTUATION_COMMA: 314,
|
|
120
|
+
PUNCTUATION_SEMICOLON: 315,
|
|
121
|
+
// ======= Non-terminal tokens =========
|
|
122
|
+
NT_ENUM_DECL: 316,
|
|
123
|
+
NT_TUPLE: 317,
|
|
124
|
+
NT_ENUMERATION: 318,
|
|
125
|
+
NT_TUPLE_DECL: 319,
|
|
126
|
+
NT_ARG_DECL: 320,
|
|
127
|
+
NT_FUNC_DEFINITION: 321,
|
|
128
|
+
NT_ARGUMENTS: 322,
|
|
129
|
+
NT_FUNC_CALL: 323,
|
|
130
|
+
NT_DECLARATIVE_EXPR: 324,
|
|
131
|
+
NT_IMPERATIVE_EXPR: 325,
|
|
132
|
+
NT_RECURSIVE_FULL: 326,
|
|
133
|
+
NT_RECURSIVE_SHORT: 327,
|
|
134
|
+
// ======= Helper tokens ========
|
|
135
|
+
INTERRUPT: 328,
|
|
136
|
+
END: 329
|
|
137
|
+
};
|
|
138
|
+
|
|
139
|
+
// src/rslang/parser/normalize.ts
|
|
140
|
+
function normalizeAST(ast, input) {
|
|
141
|
+
visitAstDFS(ast, (node) => normalizeNode(node, input));
|
|
142
|
+
}
|
|
143
|
+
var idRecord = {
|
|
144
|
+
[Global]: TokenID.ID_GLOBAL,
|
|
145
|
+
[Local]: TokenID.ID_LOCAL,
|
|
146
|
+
[Radical]: TokenID.ID_RADICAL,
|
|
147
|
+
[Function]: TokenID.ID_FUNCTION,
|
|
148
|
+
[Predicate]: TokenID.ID_PREDICATE,
|
|
149
|
+
[Integer]: TokenID.LIT_INTEGER,
|
|
150
|
+
[EmptySet]: TokenID.LIT_EMPTYSET,
|
|
151
|
+
[IntegerSet]: TokenID.LIT_WHOLE_NUMBERS,
|
|
152
|
+
[Boolean]: TokenID.BOOLEAN,
|
|
153
|
+
[BigPr]: TokenID.BIGPR,
|
|
154
|
+
[SmallPr]: TokenID.SMALLPR,
|
|
155
|
+
[Filter]: TokenID.FILTER,
|
|
156
|
+
[Bool]: TokenID.BOOL,
|
|
157
|
+
[Debool]: TokenID.DEBOOL,
|
|
158
|
+
[Red]: TokenID.REDUCE,
|
|
159
|
+
[Card]: TokenID.CARD,
|
|
160
|
+
[Enumeration]: TokenID.NT_ENUMERATION,
|
|
161
|
+
[Tuple]: TokenID.NT_TUPLE,
|
|
162
|
+
[Arguments]: TokenID.NT_ARGUMENTS,
|
|
163
|
+
[Declaration]: TokenID.NT_ARG_DECL,
|
|
164
|
+
[Function_decl]: TokenID.NT_FUNC_DEFINITION,
|
|
165
|
+
[Variable_pack]: TokenID.NT_ENUM_DECL,
|
|
166
|
+
[Declarative]: TokenID.NT_DECLARATIVE_EXPR,
|
|
167
|
+
[Imperative]: TokenID.NT_IMPERATIVE_EXPR
|
|
168
|
+
};
|
|
169
|
+
function normalizeNode(node, input) {
|
|
170
|
+
if (node.hasError) {
|
|
171
|
+
return;
|
|
172
|
+
}
|
|
173
|
+
switch (node.typeID) {
|
|
174
|
+
case 0:
|
|
175
|
+
return;
|
|
176
|
+
case Expression:
|
|
177
|
+
promoteSingleChild(node);
|
|
178
|
+
return;
|
|
179
|
+
case EmptySet:
|
|
180
|
+
case IntegerSet:
|
|
181
|
+
node.typeID = idRecord[node.typeID];
|
|
182
|
+
clearData(node);
|
|
183
|
+
return;
|
|
184
|
+
case Integer:
|
|
185
|
+
node.typeID = idRecord[node.typeID];
|
|
186
|
+
node.data.dataType = "number";
|
|
187
|
+
node.data.value = Number(input.slice(node.from, node.to));
|
|
188
|
+
return;
|
|
189
|
+
case Function:
|
|
190
|
+
case Predicate:
|
|
191
|
+
case Global:
|
|
192
|
+
case Local:
|
|
193
|
+
case Radical:
|
|
194
|
+
case Integer:
|
|
195
|
+
node.typeID = idRecord[node.typeID];
|
|
196
|
+
node.data.dataType = "string";
|
|
197
|
+
node.data.value = input.slice(node.from, node.to);
|
|
198
|
+
return;
|
|
199
|
+
case Boolean:
|
|
200
|
+
node.typeID = idRecord[node.typeID];
|
|
201
|
+
if (node.children.length === 4) {
|
|
202
|
+
node.children = [node.children[2]];
|
|
203
|
+
} else {
|
|
204
|
+
node.children = [node.children[1]];
|
|
205
|
+
}
|
|
206
|
+
clearData(node);
|
|
207
|
+
return;
|
|
208
|
+
case Filter:
|
|
209
|
+
case BigPr:
|
|
210
|
+
case SmallPr:
|
|
211
|
+
node.typeID = idRecord[node.typeID];
|
|
212
|
+
node.data.dataType = "string[]";
|
|
213
|
+
node.data.value = parseIndex(input.slice(node.from + 2, node.to));
|
|
214
|
+
return;
|
|
215
|
+
case Red:
|
|
216
|
+
case Debool:
|
|
217
|
+
case Bool:
|
|
218
|
+
case Card:
|
|
219
|
+
node.typeID = idRecord[node.typeID];
|
|
220
|
+
clearData(node);
|
|
221
|
+
return;
|
|
222
|
+
case Function_decl:
|
|
223
|
+
node.typeID = idRecord[node.typeID];
|
|
224
|
+
clearData(node);
|
|
225
|
+
node.children = [node.children[1], node.children[3]];
|
|
226
|
+
return;
|
|
227
|
+
case Declaration:
|
|
228
|
+
node.typeID = idRecord[node.typeID];
|
|
229
|
+
clearData(node);
|
|
230
|
+
node.children = [node.children[0], node.children[2]];
|
|
231
|
+
return;
|
|
232
|
+
case Arguments:
|
|
233
|
+
node.typeID = idRecord[node.typeID];
|
|
234
|
+
clearData(node);
|
|
235
|
+
if (node.children.length === 3) {
|
|
236
|
+
processLeftEnum(node);
|
|
237
|
+
}
|
|
238
|
+
return;
|
|
239
|
+
case Expr_enum_min2:
|
|
240
|
+
processLeftEnum(node);
|
|
241
|
+
return;
|
|
242
|
+
case Setexpr:
|
|
243
|
+
if (node.children.length === 1) {
|
|
244
|
+
promoteSingleChild(node);
|
|
245
|
+
} else if (node.children.length === 4) {
|
|
246
|
+
processTextFunction(node);
|
|
247
|
+
}
|
|
248
|
+
return;
|
|
249
|
+
case Tuple:
|
|
250
|
+
case Enumeration:
|
|
251
|
+
node.typeID = idRecord[node.typeID];
|
|
252
|
+
clearData(node);
|
|
253
|
+
if (node.children[1].typeID === Expr_enum_min2) {
|
|
254
|
+
for (const child of node.children[1].children) {
|
|
255
|
+
child.parent = node;
|
|
256
|
+
}
|
|
257
|
+
node.children = node.children[1].children;
|
|
258
|
+
} else {
|
|
259
|
+
node.children = [node.children[1]];
|
|
260
|
+
}
|
|
261
|
+
return;
|
|
262
|
+
case Logic_binary:
|
|
263
|
+
case Logic_predicates:
|
|
264
|
+
case Setexpr_binary:
|
|
265
|
+
if (node.children[0].data.value === "(") {
|
|
266
|
+
processParenthesis(node);
|
|
267
|
+
} else {
|
|
268
|
+
clearData(node);
|
|
269
|
+
node.typeID = symbolToToken(node.children[1].data.value);
|
|
270
|
+
if (node.typeID === TokenID.DECART) {
|
|
271
|
+
processDecartChildren(node);
|
|
272
|
+
} else {
|
|
273
|
+
node.children = [node.children[0], node.children[2]];
|
|
274
|
+
}
|
|
275
|
+
}
|
|
276
|
+
return;
|
|
277
|
+
case Filter_expression:
|
|
278
|
+
processFilter(node);
|
|
279
|
+
return;
|
|
280
|
+
case Logic:
|
|
281
|
+
if (node.children[0].data.value === "(") {
|
|
282
|
+
processParenthesis(node);
|
|
283
|
+
} else {
|
|
284
|
+
promoteSingleChild(node);
|
|
285
|
+
}
|
|
286
|
+
return;
|
|
287
|
+
case Logic_unary:
|
|
288
|
+
if (node.children[0].data.value === "\xAC") {
|
|
289
|
+
clearData(node);
|
|
290
|
+
node.typeID = TokenID.LOGIC_NOT;
|
|
291
|
+
node.children = [node.children[1]];
|
|
292
|
+
} else if (node.children[0].typeID === TokenID.ID_PREDICATE) {
|
|
293
|
+
processTextFunction(node);
|
|
294
|
+
} else {
|
|
295
|
+
promoteSingleChild(node);
|
|
296
|
+
}
|
|
297
|
+
return;
|
|
298
|
+
case Logic_quantor:
|
|
299
|
+
clearData(node);
|
|
300
|
+
node.typeID = symbolToToken(node.children[0].data.value);
|
|
301
|
+
node.children = [node.children[1], node.children[3], node.children[4]];
|
|
302
|
+
return;
|
|
303
|
+
case Variable:
|
|
304
|
+
convertTupleDeclaration(node.children[0]);
|
|
305
|
+
promoteSingleChild(node);
|
|
306
|
+
return;
|
|
307
|
+
case Variable_pack:
|
|
308
|
+
if (node.children.length === 1) {
|
|
309
|
+
promoteSingleChild(node);
|
|
310
|
+
} else {
|
|
311
|
+
node.typeID = idRecord[node.typeID];
|
|
312
|
+
processLeftEnum(node);
|
|
313
|
+
}
|
|
314
|
+
return;
|
|
315
|
+
case Declarative:
|
|
316
|
+
node.typeID = idRecord[node.typeID];
|
|
317
|
+
clearData(node);
|
|
318
|
+
if (node.children[0].typeID === PrefixD) {
|
|
319
|
+
node.children = [node.children[2], node.children[4], node.children[6]];
|
|
320
|
+
} else {
|
|
321
|
+
node.children = [node.children[1], node.children[3], node.children[5]];
|
|
322
|
+
}
|
|
323
|
+
return;
|
|
324
|
+
case Imp_blocks:
|
|
325
|
+
if (node.children.length === 1) {
|
|
326
|
+
if (node.parent?.typeID === Imp_blocks) {
|
|
327
|
+
promoteSingleChild(node);
|
|
328
|
+
}
|
|
329
|
+
} else {
|
|
330
|
+
processLeftEnum(node);
|
|
331
|
+
}
|
|
332
|
+
return;
|
|
333
|
+
case Imperative:
|
|
334
|
+
node.typeID = idRecord[node.typeID];
|
|
335
|
+
clearData(node);
|
|
336
|
+
for (const child of node.children[4].children) {
|
|
337
|
+
child.parent = node;
|
|
338
|
+
}
|
|
339
|
+
node.children = [node.children[2], ...node.children[4].children];
|
|
340
|
+
return;
|
|
341
|
+
case Recursion:
|
|
342
|
+
if (node.children.length > 9) {
|
|
343
|
+
node.typeID = TokenID.NT_RECURSIVE_FULL;
|
|
344
|
+
node.children = [node.children[2], node.children[4], node.children[6], node.children[8]];
|
|
345
|
+
} else {
|
|
346
|
+
node.typeID = TokenID.NT_RECURSIVE_SHORT;
|
|
347
|
+
node.children = [node.children[2], node.children[4], node.children[6]];
|
|
348
|
+
}
|
|
349
|
+
return;
|
|
350
|
+
}
|
|
351
|
+
}
|
|
352
|
+
function convertTupleDeclaration(node) {
|
|
353
|
+
if (node.typeID !== TokenID.NT_TUPLE) {
|
|
354
|
+
return;
|
|
355
|
+
}
|
|
356
|
+
node.typeID = TokenID.NT_TUPLE_DECL;
|
|
357
|
+
for (const child of node.children) {
|
|
358
|
+
convertTupleDeclaration(child);
|
|
359
|
+
}
|
|
360
|
+
}
|
|
361
|
+
function clearData(node) {
|
|
362
|
+
node.data.value = null;
|
|
363
|
+
node.data.dataType = "null";
|
|
364
|
+
}
|
|
365
|
+
function promoteSingleChild(node, index = 0) {
|
|
366
|
+
for (const child of node.children[index].children) {
|
|
367
|
+
child.parent = node;
|
|
368
|
+
}
|
|
369
|
+
node.typeID = node.children[index].typeID;
|
|
370
|
+
node.data = node.children[index].data;
|
|
371
|
+
node.parenthesis = node.children[index].parenthesis;
|
|
372
|
+
node.children = node.children[index].children;
|
|
373
|
+
}
|
|
374
|
+
function parseIndex(text) {
|
|
375
|
+
return text.split(",");
|
|
376
|
+
}
|
|
377
|
+
function symbolToToken(symbol) {
|
|
378
|
+
switch (symbol) {
|
|
379
|
+
case "+":
|
|
380
|
+
return TokenID.PLUS;
|
|
381
|
+
case "-":
|
|
382
|
+
return TokenID.MINUS;
|
|
383
|
+
case "*":
|
|
384
|
+
return TokenID.MULTIPLY;
|
|
385
|
+
case "\u222A":
|
|
386
|
+
return TokenID.SET_UNION;
|
|
387
|
+
case "\\":
|
|
388
|
+
return TokenID.SET_MINUS;
|
|
389
|
+
case "\u2206":
|
|
390
|
+
return TokenID.SET_SYMMETRIC_MINUS;
|
|
391
|
+
case "\u2229":
|
|
392
|
+
return TokenID.SET_INTERSECTION;
|
|
393
|
+
case "\xD7":
|
|
394
|
+
return TokenID.DECART;
|
|
395
|
+
case "\u2208":
|
|
396
|
+
return TokenID.SET_IN;
|
|
397
|
+
case "\u2209":
|
|
398
|
+
return TokenID.SET_NOT_IN;
|
|
399
|
+
case "\u2286":
|
|
400
|
+
return TokenID.SUBSET_OR_EQ;
|
|
401
|
+
case "\u2284":
|
|
402
|
+
return TokenID.NOT_SUBSET;
|
|
403
|
+
case "\u2282":
|
|
404
|
+
return TokenID.SUBSET;
|
|
405
|
+
case ">":
|
|
406
|
+
return TokenID.GREATER;
|
|
407
|
+
case "\u2265":
|
|
408
|
+
return TokenID.GREATER_OR_EQ;
|
|
409
|
+
case "<":
|
|
410
|
+
return TokenID.LESSER;
|
|
411
|
+
case "\u2264":
|
|
412
|
+
return TokenID.LESSER_OR_EQ;
|
|
413
|
+
case "\u2260":
|
|
414
|
+
return TokenID.NOTEQUAL;
|
|
415
|
+
case "=":
|
|
416
|
+
return TokenID.EQUAL;
|
|
417
|
+
case ":\u2208":
|
|
418
|
+
return TokenID.ITERATE;
|
|
419
|
+
case ":=":
|
|
420
|
+
return TokenID.ASSIGN;
|
|
421
|
+
case "\xAC":
|
|
422
|
+
return TokenID.LOGIC_NOT;
|
|
423
|
+
case "\u21D4":
|
|
424
|
+
return TokenID.LOGIC_EQUIVALENT;
|
|
425
|
+
case "\u21D2":
|
|
426
|
+
return TokenID.LOGIC_IMPLICATION;
|
|
427
|
+
case "\u2228":
|
|
428
|
+
return TokenID.LOGIC_OR;
|
|
429
|
+
case "&":
|
|
430
|
+
return TokenID.LOGIC_AND;
|
|
431
|
+
case "\u2200":
|
|
432
|
+
return TokenID.QUANTOR_UNIVERSAL;
|
|
433
|
+
case "\u2203":
|
|
434
|
+
return TokenID.QUANTOR_EXISTS;
|
|
435
|
+
}
|
|
436
|
+
return TokenID.ERROR;
|
|
437
|
+
}
|
|
438
|
+
function processParenthesis(node) {
|
|
439
|
+
promoteSingleChild(node, 1);
|
|
440
|
+
node.parenthesis = true;
|
|
441
|
+
}
|
|
442
|
+
function processLeftEnum(node) {
|
|
443
|
+
if (node.children[0].typeID === node.typeID) {
|
|
444
|
+
for (const child of node.children[0].children) {
|
|
445
|
+
child.parent = node;
|
|
446
|
+
}
|
|
447
|
+
node.children = [...node.children[0].children, node.children[2]];
|
|
448
|
+
} else {
|
|
449
|
+
node.children = [node.children[0], node.children[2]];
|
|
450
|
+
}
|
|
451
|
+
}
|
|
452
|
+
function processDecartChildren(node) {
|
|
453
|
+
const newChildren = [];
|
|
454
|
+
if (node.children[0].typeID === TokenID.DECART && !node.children[0].parenthesis) {
|
|
455
|
+
for (const child of node.children[0].children) {
|
|
456
|
+
child.parent = node;
|
|
457
|
+
newChildren.push(child);
|
|
458
|
+
}
|
|
459
|
+
} else {
|
|
460
|
+
newChildren.push(node.children[0]);
|
|
461
|
+
}
|
|
462
|
+
if (node.children[2].typeID === TokenID.DECART && !node.children[2].parenthesis) {
|
|
463
|
+
for (const child of node.children[2].children) {
|
|
464
|
+
child.parent = node;
|
|
465
|
+
newChildren.push(child);
|
|
466
|
+
}
|
|
467
|
+
} else {
|
|
468
|
+
newChildren.push(node.children[2]);
|
|
469
|
+
}
|
|
470
|
+
node.children = newChildren;
|
|
471
|
+
}
|
|
472
|
+
function processTextFunction(node) {
|
|
473
|
+
if (node.children[0].typeID === TokenID.ID_FUNCTION || node.children[0].typeID === TokenID.ID_PREDICATE) {
|
|
474
|
+
node.typeID = TokenID.NT_FUNC_CALL;
|
|
475
|
+
clearData(node);
|
|
476
|
+
if (node.children[2].typeID === Expr_enum_min2) {
|
|
477
|
+
for (const child of node.children[2].children) {
|
|
478
|
+
child.parent = node;
|
|
479
|
+
}
|
|
480
|
+
node.children = [node.children[0], ...node.children[2].children];
|
|
481
|
+
} else {
|
|
482
|
+
node.children = [node.children[0], node.children[2]];
|
|
483
|
+
}
|
|
484
|
+
} else {
|
|
485
|
+
node.typeID = node.children[0].typeID;
|
|
486
|
+
node.data = node.children[0].data;
|
|
487
|
+
node.children = [node.children[2]];
|
|
488
|
+
}
|
|
489
|
+
}
|
|
490
|
+
function processFilter(node) {
|
|
491
|
+
const children = [];
|
|
492
|
+
if (node.children[2].typeID === Expr_enum_min2) {
|
|
493
|
+
for (const child of node.children[2].children) {
|
|
494
|
+
child.parent = node;
|
|
495
|
+
children.push(child);
|
|
496
|
+
}
|
|
497
|
+
} else {
|
|
498
|
+
children.push(node.children[2]);
|
|
499
|
+
}
|
|
500
|
+
children.push(node.children[5]);
|
|
501
|
+
promoteSingleChild(node);
|
|
502
|
+
node.children = children;
|
|
503
|
+
}
|
|
504
|
+
export {
|
|
505
|
+
normalizeAST
|
|
506
|
+
};
|
|
507
|
+
//# sourceMappingURL=normalize.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"sources":["../../../src/parsing/ast.ts","../../../src/rslang/parser/parser.terms.ts","../../../src/rslang/parser/token.ts","../../../src/rslang/parser/normalize.ts"],"sourcesContent":["import { type TreeCursor } from './lezer-tree';\n\nexport const TOKEN_ERROR = 0;\n\n/** Represents AST node data. */\ninterface AstNodeData extends Record<string, unknown> {\n dataType: string;\n value: unknown;\n}\n\n/** Represents AST structured node base. */\nexport interface AstNodeBase {\n typeID: number;\n data: AstNodeData;\n annotation?: Record<string, unknown>;\n}\n\n/** Represents AST structured node. */\nexport interface AstNode extends Record<string, unknown>, AstNodeBase {\n uid: number;\n from: number;\n to: number;\n hasError: boolean;\n parenthesis?: boolean;\n parent: AstNode | null;\n children: AstNode[];\n}\n\n/** Represents AST node. */\nexport interface FlatAstNode extends Record<string, unknown>, AstNodeBase {\n uid: number;\n parent: number | null;\n from: number;\n to: number;\n}\n\n/** Represents Syntax tree flat representation. */\nexport type FlatAST = FlatAstNode[];\n\n/** Builds AST tree from a given tree cursor, generating unique uids for each node. */\nexport function buildTree(cursor: TreeCursor): AstNode {\n let nextUid = 1;\n function genUid() {\n return nextUid++;\n }\n return buildTreeInternal(cursor, null, genUid);\n}\n\n/** Flattens AST tree to a array form. */\nexport function flattenAst(node: AstNode, parent: number | null = null, out: FlatAST = []): FlatAST {\n out.push({\n uid: node.uid,\n parent: parent,\n typeID: node.typeID,\n from: node.from,\n to: node.to,\n data: node.data,\n annotation: node.annotation\n });\n for (const child of node.children) {\n flattenAst(child, node.uid, out);\n }\n return out;\n}\n\n/** Visits AST tree in depth-first order. */\nexport function visitAstDFS(node: AstNode, callback: (node: AstNode) => void) {\n for (const child of node.children) {\n visitAstDFS(child, callback);\n }\n callback(node);\n}\n\n/** Finds and returns the AstNode with the given ui. */\nexport function findByUid(root: AstNode, uid: number): AstNode | null {\n let found: AstNode | null = null;\n visitAstDFS(root, node => {\n if (node.uid === uid && !found) {\n found = node;\n }\n });\n return found;\n}\n\n/** Prints AST tree. */\nexport function printAst(node: AstNode, printNode: (node: AstNode) => string): string {\n let children: string = '';\n for (const child of node.children) {\n children += `${printAst(child, printNode)}`;\n }\n return `[${printNode(node)}${children}]`;\n}\n\n/** Extracts node text. */\nexport function getNodeText(node: AstNode): string {\n if (node.data.dataType === 'string' && typeof node.data.value === 'string') {\n return node.data.value;\n }\n return `NO DATA NODE: ${node.typeID}`;\n}\n\n/** Extracts node indices. */\nexport function getNodeIndices(node: AstNode): number[] {\n if (node.data.dataType === 'string[]' && Array.isArray(node.data.value)) {\n return (node.data.value as string[]).map(s => parseInt(s, 10)).filter(n => !isNaN(n));\n }\n return [];\n}\n\n// ======== Internals ========\nfunction buildTreeInternal(cursor: TreeCursor, parent: AstNode | null = null, genUid: () => number): AstNode {\n const node = cursor.node;\n\n const result: AstNode = {\n uid: genUid(),\n typeID: node.type.isError ? 0 : node.type.id,\n from: node.from,\n to: node.to,\n hasError: node.type.isError,\n data: node.type.isError ? { dataType: 'null', value: null } : { dataType: 'string', value: node.type.name },\n parent,\n children: []\n };\n\n if (cursor.firstChild()) {\n do {\n const child = buildTreeInternal(cursor, result, genUid);\n if (child.hasError) {\n result.hasError = true;\n }\n result.children.push(child);\n } while (cursor.nextSibling());\n cursor.parent();\n }\n return result;\n}\n","// This file was generated by lezer-generator. You probably shouldn't edit it.\nexport const\n Expression = 1,\n Logic = 2,\n Logic_predicates = 3,\n Variable = 4,\n Local = 5,\n Tuple = 8,\n Expr_enum_min2 = 9,\n Logic_unary = 24,\n Predicate = 26,\n Logic_quantor = 29,\n Variable_pack = 31,\n Logic_binary = 33,\n Setexpr = 38,\n Integer = 39,\n EmptySet = 40,\n IntegerSet = 41,\n Global = 42,\n Radical = 43,\n Setexpr_binary = 44,\n Enumeration = 55,\n Boolean = 56,\n Filter_expression = 58,\n Filter = 59,\n Declarative = 60,\n PrefixD = 62,\n PrefixI = 63,\n Imperative = 64,\n Imp_blocks = 65,\n PrefixR = 67,\n Recursion = 68,\n Function = 69,\n BigPr = 70,\n SmallPr = 71,\n Card = 72,\n Bool = 73,\n Debool = 74,\n Red = 75,\n Function_decl = 76,\n Arguments = 77,\n Declaration = 78\n","import { TOKEN_ERROR } from '../../parsing';\n\n/** Represents RSLang token types. */\nexport const TokenID = {\n // Global, local IDs and literals\n ERROR: TOKEN_ERROR,\n\n ID_LOCAL: 258,\n ID_GLOBAL: 259,\n ID_FUNCTION: 260,\n ID_PREDICATE: 261,\n ID_RADICAL: 262,\n LIT_INTEGER: 263,\n LIT_WHOLE_NUMBERS: 264,\n LIT_EMPTYSET: 265,\n\n // Arithmetic\n PLUS: 266,\n MINUS: 267,\n MULTIPLY: 268,\n\n // Integer predicate symbols\n GREATER: 269,\n LESSER: 270,\n GREATER_OR_EQ: 271,\n LESSER_OR_EQ: 272,\n\n // Equality comparison\n EQUAL: 273,\n NOTEQUAL: 274,\n\n // Logic predicate symbols\n QUANTOR_UNIVERSAL: 275,\n QUANTOR_EXISTS: 276,\n LOGIC_NOT: 277,\n LOGIC_EQUIVALENT: 278,\n LOGIC_IMPLICATION: 279,\n LOGIC_OR: 280,\n LOGIC_AND: 281,\n\n // Set theory predicate symbols\n SET_IN: 282,\n SET_NOT_IN: 283,\n SUBSET: 284,\n SUBSET_OR_EQ: 285,\n NOT_SUBSET: 286,\n\n // Set theory operators\n DECART: 287,\n SET_UNION: 288,\n SET_INTERSECTION: 289,\n SET_MINUS: 290,\n SET_SYMMETRIC_MINUS: 291,\n BOOLEAN: 292,\n\n // Structure operations\n BIGPR: 293,\n SMALLPR: 294,\n FILTER: 295,\n CARD: 296,\n BOOL: 297,\n DEBOOL: 298,\n REDUCE: 299,\n\n // Term constructions prefixes\n DECLARATIVE: 300,\n RECURSIVE: 301,\n IMPERATIVE: 302,\n\n ITERATE: 303,\n ASSIGN: 304,\n\n // Punctuation\n PUNCTUATION_DEFINE: 305,\n PUNCTUATION_STRUCT: 306,\n PUNCTUATION_PL: 307,\n PUNCTUATION_PR: 308,\n PUNCTUATION_CL: 309,\n PUNCTUATION_CR: 310,\n PUNCTUATION_SL: 311,\n PUNCTUATION_SR: 312,\n PUNCTUATION_BAR: 313,\n PUNCTUATION_COMMA: 314,\n PUNCTUATION_SEMICOLON: 315,\n\n // ======= Non-terminal tokens =========\n NT_ENUM_DECL: 316,\n NT_TUPLE: 317,\n NT_ENUMERATION: 318,\n NT_TUPLE_DECL: 319,\n NT_ARG_DECL: 320,\n\n NT_FUNC_DEFINITION: 321,\n NT_ARGUMENTS: 322,\n NT_FUNC_CALL: 323,\n\n NT_DECLARATIVE_EXPR: 324,\n NT_IMPERATIVE_EXPR: 325,\n NT_RECURSIVE_FULL: 326,\n NT_RECURSIVE_SHORT: 327,\n\n // ======= Helper tokens ========\n INTERRUPT: 328,\n END: 329\n} as const;\nexport type TokenID = (typeof TokenID)[keyof typeof TokenID];\n","/**\n * Module: Transforming AST to a simple form.\n */\n\nimport { type AstNode, visitAstDFS } from '../../parsing';\n\nimport {\n Arguments,\n BigPr,\n Bool,\n Boolean,\n Card,\n Debool,\n Declaration,\n Declarative,\n EmptySet,\n Enumeration,\n Expr_enum_min2,\n Expression,\n Filter,\n Filter_expression,\n Function,\n Function_decl,\n Global,\n Imp_blocks,\n Imperative,\n Integer,\n IntegerSet,\n Local,\n Logic,\n Logic_binary,\n Logic_predicates,\n Logic_quantor,\n Logic_unary,\n Predicate,\n PrefixD,\n Radical,\n Recursion,\n Red,\n Setexpr,\n Setexpr_binary,\n SmallPr,\n Tuple,\n Variable,\n Variable_pack\n} from './parser.terms';\nimport { TokenID } from './token';\n\n/** Normalizes AST to a simple form. */\nexport function normalizeAST(ast: AstNode, input: string) {\n visitAstDFS(ast, node => normalizeNode(node, input));\n}\n\n// ====== Internals =========\nconst idRecord: Record<number, TokenID> = {\n [Global]: TokenID.ID_GLOBAL,\n [Local]: TokenID.ID_LOCAL,\n [Radical]: TokenID.ID_RADICAL,\n [Function]: TokenID.ID_FUNCTION,\n [Predicate]: TokenID.ID_PREDICATE,\n [Integer]: TokenID.LIT_INTEGER,\n [EmptySet]: TokenID.LIT_EMPTYSET,\n [IntegerSet]: TokenID.LIT_WHOLE_NUMBERS,\n\n [Boolean]: TokenID.BOOLEAN,\n\n [BigPr]: TokenID.BIGPR,\n [SmallPr]: TokenID.SMALLPR,\n [Filter]: TokenID.FILTER,\n\n [Bool]: TokenID.BOOL,\n [Debool]: TokenID.DEBOOL,\n [Red]: TokenID.REDUCE,\n [Card]: TokenID.CARD,\n\n [Enumeration]: TokenID.NT_ENUMERATION,\n [Tuple]: TokenID.NT_TUPLE,\n [Arguments]: TokenID.NT_ARGUMENTS,\n [Declaration]: TokenID.NT_ARG_DECL,\n [Function_decl]: TokenID.NT_FUNC_DEFINITION,\n [Variable_pack]: TokenID.NT_ENUM_DECL,\n [Declarative]: TokenID.NT_DECLARATIVE_EXPR,\n [Imperative]: TokenID.NT_IMPERATIVE_EXPR\n};\n\nfunction normalizeNode(node: AstNode, input: string) {\n if (node.hasError) {\n return;\n }\n switch (node.typeID) {\n case 0:\n return;\n\n case Expression:\n promoteSingleChild(node);\n return;\n\n case EmptySet:\n case IntegerSet:\n node.typeID = idRecord[node.typeID];\n clearData(node);\n return;\n\n case Integer:\n node.typeID = idRecord[node.typeID];\n node.data.dataType = 'number';\n node.data.value = Number(input.slice(node.from, node.to));\n return;\n\n case Function:\n case Predicate:\n case Global:\n case Local:\n case Radical:\n case Integer:\n node.typeID = idRecord[node.typeID];\n node.data.dataType = 'string';\n node.data.value = input.slice(node.from, node.to);\n return;\n\n case Boolean:\n node.typeID = idRecord[node.typeID];\n if (node.children.length === 4) {\n node.children = [node.children[2]];\n } else {\n node.children = [node.children[1]];\n }\n clearData(node);\n return;\n\n case Filter:\n case BigPr:\n case SmallPr:\n node.typeID = idRecord[node.typeID];\n node.data.dataType = 'string[]';\n node.data.value = parseIndex(input.slice(node.from + 2, node.to));\n return;\n\n case Red:\n case Debool:\n case Bool:\n case Card:\n node.typeID = idRecord[node.typeID];\n clearData(node);\n return;\n\n case Function_decl:\n node.typeID = idRecord[node.typeID];\n clearData(node);\n node.children = [node.children[1], node.children[3]];\n return;\n case Declaration:\n node.typeID = idRecord[node.typeID];\n clearData(node);\n node.children = [node.children[0], node.children[2]];\n return;\n\n case Arguments:\n node.typeID = idRecord[node.typeID];\n clearData(node);\n if (node.children.length === 3) {\n processLeftEnum(node);\n }\n return;\n\n case Expr_enum_min2:\n processLeftEnum(node);\n return;\n\n case Setexpr:\n if (node.children.length === 1) {\n promoteSingleChild(node);\n } else if (node.children.length === 4) {\n processTextFunction(node);\n }\n return;\n\n case Tuple:\n case Enumeration:\n node.typeID = idRecord[node.typeID];\n clearData(node);\n if (node.children[1].typeID === Expr_enum_min2) {\n for (const child of node.children[1].children) {\n child.parent = node;\n }\n node.children = node.children[1].children;\n } else {\n node.children = [node.children[1]];\n }\n return;\n\n case Logic_binary:\n case Logic_predicates:\n case Setexpr_binary:\n if (node.children[0].data.value === '(') {\n processParenthesis(node);\n } else {\n clearData(node);\n node.typeID = symbolToToken(node.children[1].data.value as string);\n if (node.typeID === TokenID.DECART) {\n processDecartChildren(node);\n } else {\n node.children = [node.children[0], node.children[2]];\n }\n }\n return;\n\n case Filter_expression:\n processFilter(node);\n return;\n\n case Logic:\n if (node.children[0].data.value === '(') {\n processParenthesis(node);\n } else {\n promoteSingleChild(node);\n }\n return;\n\n case Logic_unary:\n if (node.children[0].data.value === '¬') {\n clearData(node);\n node.typeID = TokenID.LOGIC_NOT;\n node.children = [node.children[1]];\n } else if (node.children[0].typeID === TokenID.ID_PREDICATE) {\n processTextFunction(node);\n } else {\n promoteSingleChild(node);\n }\n return;\n\n case Logic_quantor:\n clearData(node);\n node.typeID = symbolToToken(node.children[0].data.value as string);\n node.children = [node.children[1], node.children[3], node.children[4]];\n return;\n\n case Variable:\n convertTupleDeclaration(node.children[0]);\n promoteSingleChild(node);\n return;\n\n case Variable_pack:\n if (node.children.length === 1) {\n promoteSingleChild(node);\n } else {\n node.typeID = idRecord[node.typeID];\n processLeftEnum(node);\n }\n return;\n\n case Declarative:\n node.typeID = idRecord[node.typeID];\n clearData(node);\n if (node.children[0].typeID === PrefixD) {\n node.children = [node.children[2], node.children[4], node.children[6]];\n } else {\n node.children = [node.children[1], node.children[3], node.children[5]];\n }\n return;\n\n case Imp_blocks:\n if (node.children.length === 1) {\n if (node.parent?.typeID === Imp_blocks) {\n promoteSingleChild(node);\n }\n } else {\n processLeftEnum(node);\n }\n return;\n\n case Imperative:\n node.typeID = idRecord[node.typeID];\n clearData(node);\n for (const child of node.children[4].children) {\n child.parent = node;\n }\n node.children = [node.children[2], ...node.children[4].children];\n return;\n\n case Recursion:\n if (node.children.length > 9) {\n node.typeID = TokenID.NT_RECURSIVE_FULL;\n node.children = [node.children[2], node.children[4], node.children[6], node.children[8]];\n } else {\n node.typeID = TokenID.NT_RECURSIVE_SHORT;\n node.children = [node.children[2], node.children[4], node.children[6]];\n }\n return;\n }\n}\n\nfunction convertTupleDeclaration(node: AstNode) {\n if (node.typeID !== TokenID.NT_TUPLE) {\n return;\n }\n node.typeID = TokenID.NT_TUPLE_DECL;\n for (const child of node.children) {\n convertTupleDeclaration(child);\n }\n}\n\nfunction clearData(node: AstNode) {\n node.data.value = null;\n node.data.dataType = 'null';\n}\n\nfunction promoteSingleChild(node: AstNode, index: number = 0) {\n for (const child of node.children[index].children) {\n child.parent = node;\n }\n node.typeID = node.children[index].typeID;\n node.data = node.children[index].data;\n node.parenthesis = node.children[index].parenthesis;\n node.children = node.children[index].children;\n}\n\nfunction parseIndex(text: string): string[] {\n return text.split(',');\n}\n\nfunction symbolToToken(symbol: string): TokenID {\n switch (symbol) {\n case '+':\n return TokenID.PLUS;\n case '-':\n return TokenID.MINUS;\n case '*':\n return TokenID.MULTIPLY;\n\n case '∪':\n return TokenID.SET_UNION;\n case '\\\\':\n return TokenID.SET_MINUS;\n case '∆':\n return TokenID.SET_SYMMETRIC_MINUS;\n case '∩':\n return TokenID.SET_INTERSECTION;\n case '×':\n return TokenID.DECART;\n\n case '∈':\n return TokenID.SET_IN;\n case '∉':\n return TokenID.SET_NOT_IN;\n case '⊆':\n return TokenID.SUBSET_OR_EQ;\n case '⊄':\n return TokenID.NOT_SUBSET;\n case '⊂':\n return TokenID.SUBSET;\n\n case '>':\n return TokenID.GREATER;\n case '≥':\n return TokenID.GREATER_OR_EQ;\n case '<':\n return TokenID.LESSER;\n case '≤':\n return TokenID.LESSER_OR_EQ;\n\n case '≠':\n return TokenID.NOTEQUAL;\n case '=':\n return TokenID.EQUAL;\n\n case ':∈':\n return TokenID.ITERATE;\n case ':=':\n return TokenID.ASSIGN;\n\n case '¬':\n return TokenID.LOGIC_NOT;\n\n case '⇔':\n return TokenID.LOGIC_EQUIVALENT;\n case '⇒':\n return TokenID.LOGIC_IMPLICATION;\n case '∨':\n return TokenID.LOGIC_OR;\n case '&':\n return TokenID.LOGIC_AND;\n\n case '∀':\n return TokenID.QUANTOR_UNIVERSAL;\n case '∃':\n return TokenID.QUANTOR_EXISTS;\n }\n return TokenID.ERROR;\n}\n\nfunction processParenthesis(node: AstNode) {\n promoteSingleChild(node, 1);\n node.parenthesis = true;\n}\n\nfunction processLeftEnum(node: AstNode) {\n if (node.children[0].typeID === node.typeID) {\n for (const child of node.children[0].children) {\n child.parent = node;\n }\n node.children = [...node.children[0].children, node.children[2]];\n } else {\n node.children = [node.children[0], node.children[2]];\n }\n}\n\nfunction processDecartChildren(node: AstNode) {\n const newChildren: AstNode[] = [];\n if (node.children[0].typeID === TokenID.DECART && !node.children[0].parenthesis) {\n for (const child of node.children[0].children) {\n child.parent = node;\n newChildren.push(child);\n }\n } else {\n newChildren.push(node.children[0]);\n }\n\n if (node.children[2].typeID === TokenID.DECART && !node.children[2].parenthesis) {\n for (const child of node.children[2].children) {\n child.parent = node;\n newChildren.push(child);\n }\n } else {\n newChildren.push(node.children[2]);\n }\n node.children = newChildren;\n}\n\nfunction processTextFunction(node: AstNode) {\n if (node.children[0].typeID === TokenID.ID_FUNCTION || node.children[0].typeID === TokenID.ID_PREDICATE) {\n node.typeID = TokenID.NT_FUNC_CALL;\n clearData(node);\n if (node.children[2].typeID === Expr_enum_min2) {\n for (const child of node.children[2].children) {\n child.parent = node;\n }\n node.children = [node.children[0], ...node.children[2].children];\n } else {\n node.children = [node.children[0], node.children[2]];\n }\n } else {\n node.typeID = node.children[0].typeID;\n node.data = node.children[0].data;\n node.children = [node.children[2]];\n }\n}\n\nfunction processFilter(node: AstNode) {\n const children: AstNode[] = [];\n if (node.children[2].typeID === Expr_enum_min2) {\n for (const child of node.children[2].children) {\n child.parent = node;\n children.push(child);\n }\n } else {\n children.push(node.children[2]);\n }\n children.push(node.children[5]);\n promoteSingleChild(node);\n node.children = children;\n}\n"],"mappings":";AAEO,IAAM,cAAc;AAgEpB,SAAS,YAAY,MAAe,UAAmC;AAC5E,aAAW,SAAS,KAAK,UAAU;AACjC,gBAAY,OAAO,QAAQ;AAAA,EAC7B;AACA,WAAS,IAAI;AACf;;;ACtEO,IACL,aAAa;AADR,IAEL,QAAQ;AAFH,IAGL,mBAAmB;AAHd,IAIL,WAAW;AAJN,IAKL,QAAQ;AALH,IAML,QAAQ;AANH,IAOL,iBAAiB;AAPZ,IAQL,cAAc;AART,IASL,YAAY;AATP,IAUL,gBAAgB;AAVX,IAWL,gBAAgB;AAXX,IAYL,eAAe;AAZV,IAaL,UAAU;AAbL,IAcL,UAAU;AAdL,IAeL,WAAW;AAfN,IAgBL,aAAa;AAhBR,IAiBL,SAAS;AAjBJ,IAkBL,UAAU;AAlBL,IAmBL,iBAAiB;AAnBZ,IAoBL,cAAc;AApBT,IAqBL,UAAU;AArBL,IAsBL,oBAAoB;AAtBf,IAuBL,SAAS;AAvBJ,IAwBL,cAAc;AAxBT,IAyBL,UAAU;AAzBL,IA2BL,aAAa;AA3BR,IA4BL,aAAa;AA5BR,IA8BL,YAAY;AA9BP,IA+BL,WAAW;AA/BN,IAgCL,QAAQ;AAhCH,IAiCL,UAAU;AAjCL,IAkCL,OAAO;AAlCF,IAmCL,OAAO;AAnCF,IAoCL,SAAS;AApCJ,IAqCL,MAAM;AArCD,IAsCL,gBAAgB;AAtCX,IAuCL,YAAY;AAvCP,IAwCL,cAAc;;;ACtCT,IAAM,UAAU;AAAA;AAAA,EAErB,OAAO;AAAA,EAEP,UAAU;AAAA,EACV,WAAW;AAAA,EACX,aAAa;AAAA,EACb,cAAc;AAAA,EACd,YAAY;AAAA,EACZ,aAAa;AAAA,EACb,mBAAmB;AAAA,EACnB,cAAc;AAAA;AAAA,EAGd,MAAM;AAAA,EACN,OAAO;AAAA,EACP,UAAU;AAAA;AAAA,EAGV,SAAS;AAAA,EACT,QAAQ;AAAA,EACR,eAAe;AAAA,EACf,cAAc;AAAA;AAAA,EAGd,OAAO;AAAA,EACP,UAAU;AAAA;AAAA,EAGV,mBAAmB;AAAA,EACnB,gBAAgB;AAAA,EAChB,WAAW;AAAA,EACX,kBAAkB;AAAA,EAClB,mBAAmB;AAAA,EACnB,UAAU;AAAA,EACV,WAAW;AAAA;AAAA,EAGX,QAAQ;AAAA,EACR,YAAY;AAAA,EACZ,QAAQ;AAAA,EACR,cAAc;AAAA,EACd,YAAY;AAAA;AAAA,EAGZ,QAAQ;AAAA,EACR,WAAW;AAAA,EACX,kBAAkB;AAAA,EAClB,WAAW;AAAA,EACX,qBAAqB;AAAA,EACrB,SAAS;AAAA;AAAA,EAGT,OAAO;AAAA,EACP,SAAS;AAAA,EACT,QAAQ;AAAA,EACR,MAAM;AAAA,EACN,MAAM;AAAA,EACN,QAAQ;AAAA,EACR,QAAQ;AAAA;AAAA,EAGR,aAAa;AAAA,EACb,WAAW;AAAA,EACX,YAAY;AAAA,EAEZ,SAAS;AAAA,EACT,QAAQ;AAAA;AAAA,EAGR,oBAAoB;AAAA,EACpB,oBAAoB;AAAA,EACpB,gBAAgB;AAAA,EAChB,gBAAgB;AAAA,EAChB,gBAAgB;AAAA,EAChB,gBAAgB;AAAA,EAChB,gBAAgB;AAAA,EAChB,gBAAgB;AAAA,EAChB,iBAAiB;AAAA,EACjB,mBAAmB;AAAA,EACnB,uBAAuB;AAAA;AAAA,EAGvB,cAAc;AAAA,EACd,UAAU;AAAA,EACV,gBAAgB;AAAA,EAChB,eAAe;AAAA,EACf,aAAa;AAAA,EAEb,oBAAoB;AAAA,EACpB,cAAc;AAAA,EACd,cAAc;AAAA,EAEd,qBAAqB;AAAA,EACrB,oBAAoB;AAAA,EACpB,mBAAmB;AAAA,EACnB,oBAAoB;AAAA;AAAA,EAGpB,WAAW;AAAA,EACX,KAAK;AACP;;;ACvDO,SAAS,aAAa,KAAc,OAAe;AACxD,cAAY,KAAK,UAAQ,cAAc,MAAM,KAAK,CAAC;AACrD;AAGA,IAAM,WAAoC;AAAA,EACxC,CAAC,MAAM,GAAG,QAAQ;AAAA,EAClB,CAAC,KAAK,GAAG,QAAQ;AAAA,EACjB,CAAC,OAAO,GAAG,QAAQ;AAAA,EACnB,CAAC,QAAQ,GAAG,QAAQ;AAAA,EACpB,CAAC,SAAS,GAAG,QAAQ;AAAA,EACrB,CAAC,OAAO,GAAG,QAAQ;AAAA,EACnB,CAAC,QAAQ,GAAG,QAAQ;AAAA,EACpB,CAAC,UAAU,GAAG,QAAQ;AAAA,EAEtB,CAAC,OAAO,GAAG,QAAQ;AAAA,EAEnB,CAAC,KAAK,GAAG,QAAQ;AAAA,EACjB,CAAC,OAAO,GAAG,QAAQ;AAAA,EACnB,CAAC,MAAM,GAAG,QAAQ;AAAA,EAElB,CAAC,IAAI,GAAG,QAAQ;AAAA,EAChB,CAAC,MAAM,GAAG,QAAQ;AAAA,EAClB,CAAC,GAAG,GAAG,QAAQ;AAAA,EACf,CAAC,IAAI,GAAG,QAAQ;AAAA,EAEhB,CAAC,WAAW,GAAG,QAAQ;AAAA,EACvB,CAAC,KAAK,GAAG,QAAQ;AAAA,EACjB,CAAC,SAAS,GAAG,QAAQ;AAAA,EACrB,CAAC,WAAW,GAAG,QAAQ;AAAA,EACvB,CAAC,aAAa,GAAG,QAAQ;AAAA,EACzB,CAAC,aAAa,GAAG,QAAQ;AAAA,EACzB,CAAC,WAAW,GAAG,QAAQ;AAAA,EACvB,CAAC,UAAU,GAAG,QAAQ;AACxB;AAEA,SAAS,cAAc,MAAe,OAAe;AACnD,MAAI,KAAK,UAAU;AACjB;AAAA,EACF;AACA,UAAQ,KAAK,QAAQ;AAAA,IACnB,KAAK;AACH;AAAA,IAEF,KAAK;AACH,yBAAmB,IAAI;AACvB;AAAA,IAEF,KAAK;AAAA,IACL,KAAK;AACH,WAAK,SAAS,SAAS,KAAK,MAAM;AAClC,gBAAU,IAAI;AACd;AAAA,IAEF,KAAK;AACH,WAAK,SAAS,SAAS,KAAK,MAAM;AAClC,WAAK,KAAK,WAAW;AACrB,WAAK,KAAK,QAAQ,OAAO,MAAM,MAAM,KAAK,MAAM,KAAK,EAAE,CAAC;AACxD;AAAA,IAEF,KAAK;AAAA,IACL,KAAK;AAAA,IACL,KAAK;AAAA,IACL,KAAK;AAAA,IACL,KAAK;AAAA,IACL,KAAK;AACH,WAAK,SAAS,SAAS,KAAK,MAAM;AAClC,WAAK,KAAK,WAAW;AACrB,WAAK,KAAK,QAAQ,MAAM,MAAM,KAAK,MAAM,KAAK,EAAE;AAChD;AAAA,IAEF,KAAK;AACH,WAAK,SAAS,SAAS,KAAK,MAAM;AAClC,UAAI,KAAK,SAAS,WAAW,GAAG;AAC9B,aAAK,WAAW,CAAC,KAAK,SAAS,CAAC,CAAC;AAAA,MACnC,OAAO;AACL,aAAK,WAAW,CAAC,KAAK,SAAS,CAAC,CAAC;AAAA,MACnC;AACA,gBAAU,IAAI;AACd;AAAA,IAEF,KAAK;AAAA,IACL,KAAK;AAAA,IACL,KAAK;AACH,WAAK,SAAS,SAAS,KAAK,MAAM;AAClC,WAAK,KAAK,WAAW;AACrB,WAAK,KAAK,QAAQ,WAAW,MAAM,MAAM,KAAK,OAAO,GAAG,KAAK,EAAE,CAAC;AAChE;AAAA,IAEF,KAAK;AAAA,IACL,KAAK;AAAA,IACL,KAAK;AAAA,IACL,KAAK;AACH,WAAK,SAAS,SAAS,KAAK,MAAM;AAClC,gBAAU,IAAI;AACd;AAAA,IAEF,KAAK;AACH,WAAK,SAAS,SAAS,KAAK,MAAM;AAClC,gBAAU,IAAI;AACd,WAAK,WAAW,CAAC,KAAK,SAAS,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC;AACnD;AAAA,IACF,KAAK;AACH,WAAK,SAAS,SAAS,KAAK,MAAM;AAClC,gBAAU,IAAI;AACd,WAAK,WAAW,CAAC,KAAK,SAAS,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC;AACnD;AAAA,IAEF,KAAK;AACH,WAAK,SAAS,SAAS,KAAK,MAAM;AAClC,gBAAU,IAAI;AACd,UAAI,KAAK,SAAS,WAAW,GAAG;AAC9B,wBAAgB,IAAI;AAAA,MACtB;AACA;AAAA,IAEF,KAAK;AACH,sBAAgB,IAAI;AACpB;AAAA,IAEF,KAAK;AACH,UAAI,KAAK,SAAS,WAAW,GAAG;AAC9B,2BAAmB,IAAI;AAAA,MACzB,WAAW,KAAK,SAAS,WAAW,GAAG;AACrC,4BAAoB,IAAI;AAAA,MAC1B;AACA;AAAA,IAEF,KAAK;AAAA,IACL,KAAK;AACH,WAAK,SAAS,SAAS,KAAK,MAAM;AAClC,gBAAU,IAAI;AACd,UAAI,KAAK,SAAS,CAAC,EAAE,WAAW,gBAAgB;AAC9C,mBAAW,SAAS,KAAK,SAAS,CAAC,EAAE,UAAU;AAC7C,gBAAM,SAAS;AAAA,QACjB;AACA,aAAK,WAAW,KAAK,SAAS,CAAC,EAAE;AAAA,MACnC,OAAO;AACL,aAAK,WAAW,CAAC,KAAK,SAAS,CAAC,CAAC;AAAA,MACnC;AACA;AAAA,IAEF,KAAK;AAAA,IACL,KAAK;AAAA,IACL,KAAK;AACH,UAAI,KAAK,SAAS,CAAC,EAAE,KAAK,UAAU,KAAK;AACvC,2BAAmB,IAAI;AAAA,MACzB,OAAO;AACL,kBAAU,IAAI;AACd,aAAK,SAAS,cAAc,KAAK,SAAS,CAAC,EAAE,KAAK,KAAe;AACjE,YAAI,KAAK,WAAW,QAAQ,QAAQ;AAClC,gCAAsB,IAAI;AAAA,QAC5B,OAAO;AACL,eAAK,WAAW,CAAC,KAAK,SAAS,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC;AAAA,QACrD;AAAA,MACF;AACA;AAAA,IAEF,KAAK;AACH,oBAAc,IAAI;AAClB;AAAA,IAEF,KAAK;AACH,UAAI,KAAK,SAAS,CAAC,EAAE,KAAK,UAAU,KAAK;AACvC,2BAAmB,IAAI;AAAA,MACzB,OAAO;AACL,2BAAmB,IAAI;AAAA,MACzB;AACA;AAAA,IAEF,KAAK;AACH,UAAI,KAAK,SAAS,CAAC,EAAE,KAAK,UAAU,QAAK;AACvC,kBAAU,IAAI;AACd,aAAK,SAAS,QAAQ;AACtB,aAAK,WAAW,CAAC,KAAK,SAAS,CAAC,CAAC;AAAA,MACnC,WAAW,KAAK,SAAS,CAAC,EAAE,WAAW,QAAQ,cAAc;AAC3D,4BAAoB,IAAI;AAAA,MAC1B,OAAO;AACL,2BAAmB,IAAI;AAAA,MACzB;AACA;AAAA,IAEF,KAAK;AACH,gBAAU,IAAI;AACd,WAAK,SAAS,cAAc,KAAK,SAAS,CAAC,EAAE,KAAK,KAAe;AACjE,WAAK,WAAW,CAAC,KAAK,SAAS,CAAC,GAAG,KAAK,SAAS,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC;AACrE;AAAA,IAEF,KAAK;AACH,8BAAwB,KAAK,SAAS,CAAC,CAAC;AACxC,yBAAmB,IAAI;AACvB;AAAA,IAEF,KAAK;AACH,UAAI,KAAK,SAAS,WAAW,GAAG;AAC9B,2BAAmB,IAAI;AAAA,MACzB,OAAO;AACL,aAAK,SAAS,SAAS,KAAK,MAAM;AAClC,wBAAgB,IAAI;AAAA,MACtB;AACA;AAAA,IAEF,KAAK;AACH,WAAK,SAAS,SAAS,KAAK,MAAM;AAClC,gBAAU,IAAI;AACd,UAAI,KAAK,SAAS,CAAC,EAAE,WAAW,SAAS;AACvC,aAAK,WAAW,CAAC,KAAK,SAAS,CAAC,GAAG,KAAK,SAAS,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC;AAAA,MACvE,OAAO;AACL,aAAK,WAAW,CAAC,KAAK,SAAS,CAAC,GAAG,KAAK,SAAS,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC;AAAA,MACvE;AACA;AAAA,IAEF,KAAK;AACH,UAAI,KAAK,SAAS,WAAW,GAAG;AAC9B,YAAI,KAAK,QAAQ,WAAW,YAAY;AACtC,6BAAmB,IAAI;AAAA,QACzB;AAAA,MACF,OAAO;AACL,wBAAgB,IAAI;AAAA,MACtB;AACA;AAAA,IAEF,KAAK;AACH,WAAK,SAAS,SAAS,KAAK,MAAM;AAClC,gBAAU,IAAI;AACd,iBAAW,SAAS,KAAK,SAAS,CAAC,EAAE,UAAU;AAC7C,cAAM,SAAS;AAAA,MACjB;AACA,WAAK,WAAW,CAAC,KAAK,SAAS,CAAC,GAAG,GAAG,KAAK,SAAS,CAAC,EAAE,QAAQ;AAC/D;AAAA,IAEF,KAAK;AACH,UAAI,KAAK,SAAS,SAAS,GAAG;AAC5B,aAAK,SAAS,QAAQ;AACtB,aAAK,WAAW,CAAC,KAAK,SAAS,CAAC,GAAG,KAAK,SAAS,CAAC,GAAG,KAAK,SAAS,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC;AAAA,MACzF,OAAO;AACL,aAAK,SAAS,QAAQ;AACtB,aAAK,WAAW,CAAC,KAAK,SAAS,CAAC,GAAG,KAAK,SAAS,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC;AAAA,MACvE;AACA;AAAA,EACJ;AACF;AAEA,SAAS,wBAAwB,MAAe;AAC9C,MAAI,KAAK,WAAW,QAAQ,UAAU;AACpC;AAAA,EACF;AACA,OAAK,SAAS,QAAQ;AACtB,aAAW,SAAS,KAAK,UAAU;AACjC,4BAAwB,KAAK;AAAA,EAC/B;AACF;AAEA,SAAS,UAAU,MAAe;AAChC,OAAK,KAAK,QAAQ;AAClB,OAAK,KAAK,WAAW;AACvB;AAEA,SAAS,mBAAmB,MAAe,QAAgB,GAAG;AAC5D,aAAW,SAAS,KAAK,SAAS,KAAK,EAAE,UAAU;AACjD,UAAM,SAAS;AAAA,EACjB;AACA,OAAK,SAAS,KAAK,SAAS,KAAK,EAAE;AACnC,OAAK,OAAO,KAAK,SAAS,KAAK,EAAE;AACjC,OAAK,cAAc,KAAK,SAAS,KAAK,EAAE;AACxC,OAAK,WAAW,KAAK,SAAS,KAAK,EAAE;AACvC;AAEA,SAAS,WAAW,MAAwB;AAC1C,SAAO,KAAK,MAAM,GAAG;AACvB;AAEA,SAAS,cAAc,QAAyB;AAC9C,UAAQ,QAAQ;AAAA,IACd,KAAK;AACH,aAAO,QAAQ;AAAA,IACjB,KAAK;AACH,aAAO,QAAQ;AAAA,IACjB,KAAK;AACH,aAAO,QAAQ;AAAA,IAEjB,KAAK;AACH,aAAO,QAAQ;AAAA,IACjB,KAAK;AACH,aAAO,QAAQ;AAAA,IACjB,KAAK;AACH,aAAO,QAAQ;AAAA,IACjB,KAAK;AACH,aAAO,QAAQ;AAAA,IACjB,KAAK;AACH,aAAO,QAAQ;AAAA,IAEjB,KAAK;AACH,aAAO,QAAQ;AAAA,IACjB,KAAK;AACH,aAAO,QAAQ;AAAA,IACjB,KAAK;AACH,aAAO,QAAQ;AAAA,IACjB,KAAK;AACH,aAAO,QAAQ;AAAA,IACjB,KAAK;AACH,aAAO,QAAQ;AAAA,IAEjB,KAAK;AACH,aAAO,QAAQ;AAAA,IACjB,KAAK;AACH,aAAO,QAAQ;AAAA,IACjB,KAAK;AACH,aAAO,QAAQ;AAAA,IACjB,KAAK;AACH,aAAO,QAAQ;AAAA,IAEjB,KAAK;AACH,aAAO,QAAQ;AAAA,IACjB,KAAK;AACH,aAAO,QAAQ;AAAA,IAEjB,KAAK;AACH,aAAO,QAAQ;AAAA,IACjB,KAAK;AACH,aAAO,QAAQ;AAAA,IAEjB,KAAK;AACH,aAAO,QAAQ;AAAA,IAEjB,KAAK;AACH,aAAO,QAAQ;AAAA,IACjB,KAAK;AACH,aAAO,QAAQ;AAAA,IACjB,KAAK;AACH,aAAO,QAAQ;AAAA,IACjB,KAAK;AACH,aAAO,QAAQ;AAAA,IAEjB,KAAK;AACH,aAAO,QAAQ;AAAA,IACjB,KAAK;AACH,aAAO,QAAQ;AAAA,EACnB;AACA,SAAO,QAAQ;AACjB;AAEA,SAAS,mBAAmB,MAAe;AACzC,qBAAmB,MAAM,CAAC;AAC1B,OAAK,cAAc;AACrB;AAEA,SAAS,gBAAgB,MAAe;AACtC,MAAI,KAAK,SAAS,CAAC,EAAE,WAAW,KAAK,QAAQ;AAC3C,eAAW,SAAS,KAAK,SAAS,CAAC,EAAE,UAAU;AAC7C,YAAM,SAAS;AAAA,IACjB;AACA,SAAK,WAAW,CAAC,GAAG,KAAK,SAAS,CAAC,EAAE,UAAU,KAAK,SAAS,CAAC,CAAC;AAAA,EACjE,OAAO;AACL,SAAK,WAAW,CAAC,KAAK,SAAS,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC;AAAA,EACrD;AACF;AAEA,SAAS,sBAAsB,MAAe;AAC5C,QAAM,cAAyB,CAAC;AAChC,MAAI,KAAK,SAAS,CAAC,EAAE,WAAW,QAAQ,UAAU,CAAC,KAAK,SAAS,CAAC,EAAE,aAAa;AAC/E,eAAW,SAAS,KAAK,SAAS,CAAC,EAAE,UAAU;AAC7C,YAAM,SAAS;AACf,kBAAY,KAAK,KAAK;AAAA,IACxB;AAAA,EACF,OAAO;AACL,gBAAY,KAAK,KAAK,SAAS,CAAC,CAAC;AAAA,EACnC;AAEA,MAAI,KAAK,SAAS,CAAC,EAAE,WAAW,QAAQ,UAAU,CAAC,KAAK,SAAS,CAAC,EAAE,aAAa;AAC/E,eAAW,SAAS,KAAK,SAAS,CAAC,EAAE,UAAU;AAC7C,YAAM,SAAS;AACf,kBAAY,KAAK,KAAK;AAAA,IACxB;AAAA,EACF,OAAO;AACL,gBAAY,KAAK,KAAK,SAAS,CAAC,CAAC;AAAA,EACnC;AACA,OAAK,WAAW;AAClB;AAEA,SAAS,oBAAoB,MAAe;AAC1C,MAAI,KAAK,SAAS,CAAC,EAAE,WAAW,QAAQ,eAAe,KAAK,SAAS,CAAC,EAAE,WAAW,QAAQ,cAAc;AACvG,SAAK,SAAS,QAAQ;AACtB,cAAU,IAAI;AACd,QAAI,KAAK,SAAS,CAAC,EAAE,WAAW,gBAAgB;AAC9C,iBAAW,SAAS,KAAK,SAAS,CAAC,EAAE,UAAU;AAC7C,cAAM,SAAS;AAAA,MACjB;AACA,WAAK,WAAW,CAAC,KAAK,SAAS,CAAC,GAAG,GAAG,KAAK,SAAS,CAAC,EAAE,QAAQ;AAAA,IACjE,OAAO;AACL,WAAK,WAAW,CAAC,KAAK,SAAS,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC;AAAA,IACrD;AAAA,EACF,OAAO;AACL,SAAK,SAAS,KAAK,SAAS,CAAC,EAAE;AAC/B,SAAK,OAAO,KAAK,SAAS,CAAC,EAAE;AAC7B,SAAK,WAAW,CAAC,KAAK,SAAS,CAAC,CAAC;AAAA,EACnC;AACF;AAEA,SAAS,cAAc,MAAe;AACpC,QAAM,WAAsB,CAAC;AAC7B,MAAI,KAAK,SAAS,CAAC,EAAE,WAAW,gBAAgB;AAC9C,eAAW,SAAS,KAAK,SAAS,CAAC,EAAE,UAAU;AAC7C,YAAM,SAAS;AACf,eAAS,KAAK,KAAK;AAAA,IACrB;AAAA,EACF,OAAO;AACL,aAAS,KAAK,KAAK,SAAS,CAAC,CAAC;AAAA,EAChC;AACA,WAAS,KAAK,KAAK,SAAS,CAAC,CAAC;AAC9B,qBAAmB,IAAI;AACvB,OAAK,WAAW;AAClB;","names":[]}
|
|
@@ -0,0 +1,24 @@
|
|
|
1
|
+
// src/rslang/parser/parser.ts
|
|
2
|
+
import { LRParser } from "@lezer/lr";
|
|
3
|
+
var parser = LRParser.deserialize({
|
|
4
|
+
version: 14,
|
|
5
|
+
states: "2lO!sQPOOOVQPO'#CdO$qQPO'#C`O&pQPO'#C`O*bQPO'#C_Q*jQPOOO,TQPO'#CyOVQPO'#CtO,]QPO'#CtOOQO'#Ct'#CtOOQO'#C^'#C^OOQO'#ES'#ESOOQO'#ET'#ETO,bQPO'#DeO,iQPO'#DfO,qQPO'#DhO,vQPO'#DjO,{QPO'#DnO-QQPO'#DrOOQO'#EU'#EUOOQO'#EV'#EVOOQO'#DS'#DSO-VQPO'#DSO-[QPO'#DSOOQO'#EQ'#EQO,TQPO'#DzQOQPOOO-aQPO'#ERO-nQPO,59OO-vQPO'#CeO-{QPO,58xO/lQPO,59tOVQPO,58yOVQPO,58yOVQPO,59iOVQPO,59iOVQPO,59iOVQPO,59iOVQPO,59tOVQPO,59tOVQPO,59tOVQPO,59tOVQPO,59tOVQPO,59tOVQPO,59tOVQPO,59tOVQPO'#CdOOQO'#C`'#C`OOQO'#C{'#C{O1]QPO,59eO2rQPO,59`OVQPO,59`OOQO'#ER'#ERO5TQPO,5:PO5]QPO,5:UOVQPO,5:QOOQO,5:Q,5:QOVQPO,5:SO,TQPO,5:UOVQPO,5:YO,TQPO,5:^OVQPO,59nOVQPO,59nO5dQPO'#D|OOQO'#D{'#D{O5iQPO,5:fOOQO1G.j1G.jOVQPO,59POOQO1G.d1G.dOOQO1G/`1G/`O5qQPO1G.eO7vQPO1G.eO:zQPO1G/TO=]QPO1G/TO?nQPO1G/TOBPQPO1G/TOGyQPO1G/`OHQQPO1G/`OKpQPO1G/`O! `QPO1G/`O! gQPO1G/`O! nQPO1G/`O! uQPO1G/`O,TQPO,59gOVQPO1G/PO!%aQPO1G.zOOQO1G/k1G/kOVQPO1G/pO!%iQPO1G/lO!%pQPO1G/nO!%xQPO1G/pO!%}QPO1G/tO!&UQPO1G/xO!&ZQPO1G/YO!&cQPO1G/YOVQPO,5:hO,TQPO,5:gOVQPO1G0QO!&jQPO1G.kOOQO1G/R1G/RO!&zQPO7+$kOOQO7+$f7+$fO!(gQPO7+%[OOQO7+%W7+%WO!(nQPO7+%YOVQPO7+%[OVQPO7+%`OVQPO7+%dOOQO7+$t7+$tO!(sQPO1G0SOOQO1G0R1G0RO!(}QPO7+%lO!)UQPO<<HVOVQPO<<HvOVQPO<<HtO!+gQPO<<HvO!+nQPO'#DoO!+xQPO<<HzO!,QQPO<<IOO!,XQPOAN>bO!,`QPOAN>`OVQPOAN>bOVQPO,5:ZOOQOAN>fAN>fOVQPOAN>jOOQOG23|G23|OOQOG23zG23zO!,gQPOG23|O!,nQPO1G/uO!,xQPOG24UOOQOLD)hLD)hOOQOLD)pLD)pOVQPOLD)pO!-SQPO!$'M[OOQO!)9Bv!)9Bv",
|
|
6
|
+
stateData: "!-l~O!sOS~OTQOVPOiVOjWOnUOpUOwZOxZOyZOz[O{[O!W]O!Z^O!]_O!``O!aaO!ebO!gfO!hdO!idO!jdO!kdO!ldO!mdO~OkiO~PVOZSX[SX]!wX^!wX_!wX`!wXa!wXb!wXc!wXd!wXe!wXf!wXg!wXr!wXs!wXt!wXu!wX}!wX!O!wX!P!wX!Q!wX!R!wX!S!wX!T!wX!U!wXY!wX!V!wX~O!q!wXU!wXl!wX!_!wXT!wXV!wXi!wXj!wXn!wXp!wXw!wXx!wXy!wXz!wX{!wX!W!wX!Z!wX!]!wX!`!wX!a!wX!e!wX!g!wX!h!wX!i!wX!j!wX!k!wX!l!wX!m!wX!d!wX~P!zOZSX[SX]!xX^!xX_!xX`!xXa!xXb!xXc!xXd!xXe!xXf!xXg!xXr!xXs!xXt!xXu!xX}!xX!O!xX!P!xX!Q!xX!R!xX!S!xX!T!xX!U!xX!q!xXY!xX!V!xXU!xXl!xX!_!xXT!xXV!xXi!xXj!xXn!xXp!xXw!xXx!xXy!xXz!xX{!xX!W!xX!Z!xX!]!xX!`!xX!a!xX!e!xX!g!xX!h!xX!i!xX!j!xX!k!xX!l!xX!m!xX!d!xX~OZpO[pO~O]qO^qO_qO`qOaqObqOcqOdqOeqOfqOgqOrrOssOttOuuO}vO!OwO!PxO!QyO!RzO!S{O!T|O!U}O~OT!POV!OO~Ok!TO~OT!WO~PYOV!XO!Z^O~Ok!ZO~O!W![O~O!W!]O~O!W!^O~Ok!_O~OV!`O~OY!uX!V!uXl!uX~P*jOU!dOY!uX~OY!eO~OU!fOY!tX]!tX^!tX_!tX`!tXa!tXb!tXc!tXd!tXe!tXf!tXg!tXr!tXs!tXt!tXu!tX}!tX!O!tX!P!tX!Q!tX!R!tX!S!tX!T!tX!U!tX~OU!gOYvX]vX^vX_vX`vXavXbvXcvXdvXevXfvXgvXrvXsvXtvXuvX}vX!OvX!PvX!QvX!RvX!SvX!TvX!UvX~OY!uO]!vO~O]qO^qO_qO`qOaqObqOcqOdqOeqOfqOgqO}vO!OwO!PxO!QyO!RzO!S{O!T|O!U}O~Orhashathauha!qhaUhaYha!Vhalha!_haThaVhaihajhanhaphawhaxhayhazha{ha!Wha!Zha!]ha!`ha!aha!eha!gha!hha!iha!jha!kha!lha!mha!dha~P1eOY!eO!V!xO~O]!yO~P!zO]#RO~OY#SOl#TO~O!qRiURiYRi!VRilRi!_RiTRiVRiiRijRinRipRiwRixRiyRizRi{Ri!WRi!ZRi!]Ri!`Ri!aRi!eRi!gRi!hRi!iRi!jRi!kRi!lRi!mRi!dRi~P*jO]Ri^Ri_Ri`RiaRibRicRidRieRifRigRirRisRitRiuRi!qRiURiYRi!VRilRi!_RiTRiVRiiRijRinRipRiwRixRiyRizRi{Ri!WRi!ZRi!]Ri!`Ri!aRi!eRi!gRi!hRi!iRi!jRi!kRi!lRi!mRi!dRi~P+iOssOttOuuOrqi!qqiUqiYqi!Vqilqi!_qiTqiVqiiqijqinqipqiwqixqiyqizqi{qi!Wqi!Zqi!]qi!`qi!aqi!eqi!gqi!hqi!iqi!jqi!kqi!lqi!mqi!dqi~P1eOttOuuOrqisqi!qqiUqiYqi!Vqilqi!_qiTqiVqiiqijqinqipqiwqixqiyqizqi{qi!Wqi!Zqi!]qi!`qi!aqi!eqi!gqi!hqi!iqi!jqi!kqi!lqi!mqi!dqi~P1eOuuOrqisqitqi!qqiUqiYqi!Vqilqi!_qiTqiVqiiqijqinqipqiwqixqiyqizqi{qi!Wqi!Zqi!]qi!`qi!aqi!eqi!gqi!hqi!iqi!jqi!kqi!lqi!mqi!dqi~P1eOrqisqitqiuqi!qqiUqiYqi!Vqilqi!_qiTqiVqiiqijqinqipqiwqixqiyqizqi{qi!Wqi!Zqi!]qi!`qi!aqi!eqi!gqi!hqi!iqi!jqi!kqi!lqi!mqi!dqi~P1eO}vO]|i^|i_|i`|ia|ib|ic|id|ie|if|ig|ir|is|it|iu|i!P|i!Q|i!R|i!S|i!T|i!U|i!q|iU|iY|i!V|il|i!_|iT|iV|ii|ij|in|ip|iw|ix|iy|iz|i{|i!W|i!Z|i!]|i!`|i!a|i!e|i!g|i!h|i!i|i!j|i!k|i!l|i!m|i!d|i~O!O|i~PDbO!OwO~PDbO}vO!OwO!PxO!U}O]|i^|i_|i`|ia|ib|ic|id|ie|if|ig|ir|is|it|iu|i!R|i!S|i!T|i!q|iU|iY|i!V|il|i!_|iT|iV|ii|ij|in|ip|iw|ix|iy|iz|i{|i!W|i!Z|i!]|i!`|i!a|i!e|i!g|i!h|i!i|i!j|i!k|i!l|i!m|i!d|i~O!Q|i~PHXO}vO!OwO!PxO!QyO!T|O!U}O]|i^|i_|i`|ia|ib|ic|id|ie|if|ig|ir|is|it|iu|i!S|i!q|iU|iY|i!V|il|i!_|iT|iV|ii|ij|in|ip|iw|ix|iy|iz|i{|i!W|i!Z|i!]|i!`|i!a|i!e|i!g|i!h|i!i|i!j|i!k|i!l|i!m|i!d|i~O!R|i~PKwO!RzO~PKwO!QyO~PHXO}vO!OwO!PxO]|i^|i_|i`|ia|ib|ic|id|ie|if|ig|ir|is|it|iu|i!Q|i!R|i!S|i!T|i!U|i!q|iU|iY|i!V|il|i!_|iT|iV|ii|ij|in|ip|iw|ix|iy|iz|i{|i!W|i!Z|i!]|i!`|i!a|i!e|i!g|i!h|i!i|i!j|i!k|i!l|i!m|i!d|i~OY!eOl#XO~OU#ZO~P*jOY!eOl#[O~O]#]O~O!_#^O~P*jO[#_O~OY!eOl#`O~OU#`O~P*jOUXiYXi!VXilXi~P*jO]qO^qO_qO`qOaqObqOcqOdqOeqOfqOgqOrrOssOttOuuO}vO!OwO!PxO!QyO!RzO!S{O!T|O!U}O~PVO!_#eO~P*jOV#fO~OY!pil!pi~P*jO!q!nq~P*jOrmysmytmyumy!qmyUmyYmy!Vmylmy!_myTmyVmyimyjmynmypmywmyxmyymyzmy{my!Wmy!Zmy!]my!`my!amy!emy!gmy!hmy!imy!jmy!kmy!lmy!mmy!dmy~P1eO!_#mO~P*jO!V!cX!d!cX~P*jO!V#oO!d#nO~O!_#pO~P*jO!V#qO~P*jOU#rO~P*jO!V#vO~P*jO!V!ci!d!ci~P*jO!V#wO!_#xO~P*jO!V#zO~P*jO!]!hj!gz{!j!k!l!m!iT!e!a!`!a~",
|
|
7
|
+
goto: "1O!zPP!{#y$uPPP&R'VPPPPPPPPPPPPPP#yPPPP'aP(]P#yPPPP(`PPPPP)[PPPPPPPPPP*Y+UP*YP*YPPP*Y,TPP*YPPPPPPP,W,Z,^PPP,d.v/W/W/W0S!phOV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#xRnP!sYOPV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#x!rSOPV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#xQ!QUS!ai#SQ!|![Q#O!^R#V!u!rROPV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#x]!PUi![!^!u#SSlP!OX!U]!T!Z!_!sXOPV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#xR!RU!shOPV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#x!peOV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#xRoP!scOPV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#x!rcOPV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#xR!Y^R#i#^RjOR!ciQ!biR#b#SQTO[kP]!O!T!Z!_Q!SVQ!gvQ!hpQ!iqQ!jrQ!ksQ!ltQ!muQ!nwQ!oxQ!pyQ!qzQ!r{Q!s|Q!t}Q!z!XQ!}!]Q#Q!`Q#U!eQ#W!vQ#Y!yQ#a#RQ#c#TQ#d#WQ#g#]Q#h#^Q#j#_Q#k#eQ#l#fQ#s#mQ#t#nQ#u#pR#y#xSmP!OQ!V]Q!w!TQ!{!ZR#P!_!seOPV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#x!sgOPV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#x",
|
|
8
|
+
nodeNames: "\u26A0 Expression Logic Logic_predicates Variable Local ) ( Tuple Expr_enum_min2 , :\u2208 := \u2208 \u2209 \u2286 \u2284 \u2282 > \u2265 < \u2264 \u2260 = Logic_unary \xAC Predicate [ ] Logic_quantor \u2200 Variable_pack \u2203 Logic_binary \u21D4 \u21D2 \u2228 & Setexpr Integer EmptySet IntegerSet Global Radical Setexpr_binary * + - \u222A \\ \u2206 \u2229 \xD7 } { Enumeration Boolean \u212C Filter_expression Filter Declarative | PrefixD PrefixI Imperative Imp_blocks ; PrefixR Recursion Function BigPr SmallPr Card Bool Debool Red Function_decl Arguments Declaration",
|
|
9
|
+
maxTerm: 87,
|
|
10
|
+
nodeProps: [
|
|
11
|
+
["openedBy", 6, "(", 53, "{"],
|
|
12
|
+
["closedBy", 7, ")", 54, "}"]
|
|
13
|
+
],
|
|
14
|
+
skippedNodes: [0],
|
|
15
|
+
repeatNodeCount: 0,
|
|
16
|
+
tokenData: "6j~R!jX^%spq%svw&hxy&myz&rz{&w{|&||}'R}!O'W!Q![']![!]'e!]!^'x!^!_'}!_!`(S!`!a(X!c!d(^!e!f(^!f!g(l!h!i(t!k!l)h!p!q(^!r!s)m!t!u*a!u!v(^!v!w(^!z!{(^!|!}*q!}#O*v#O#P*{#P#Q+Q#R#S+V#T#U+V#U#V+m#V#W-]#W#X.x#X#d+V#d#e1b#e#f+V#f#g2w#g#o+V#o#p4R#p#q4W#q#r4]#y#z%s$f$g%s$r$s4b%o%p4g5i6S+V#BY#BZ%s$IS$I_%s$I|$JO%s$JT$JU%s$KV$KW%s% l% m4l%%Y%%Z4q%%[%%]4v%&Y%&Z4{%&]%&^5Q%&_%&`5V%&`%&a5[%&b%&c5a%&c%&d5f%'S%'T5k%'T%'U5p%'U%'V5u%(^%(_5z%(b%(c6P%(c%(d6U%)Q%)R6Z%)S%)T6`%)U%)V6e&FU&FV%s~%xY!s~X^%spq%s#y#z%s$f$g%s#BY#BZ%s$IS$I_%s$I|$JO%s$JT$JU%s$KV$KW%s&FU&FV%s~&mOu~~&rOV~~&wOU~~&|O}~~'RO!O~~'WOY~~']O!P~~'bPw~!Q![']~'hQ!_!`'n%&b%&c's~'sO[~~'xOZ~~'}O!d~~(SOd~~(XOg~~(^Ob~~(aP!Q![(d~(iPz~!Q![(d~(qP!`~!Q![(d~(wQ!Q![(}#]#^)V~)SP!g~!Q![(}~)YP!R![)]~)bQ!]~|})V!Q![)]~)mO!a~~)pQ!Q![)v#f#g*O~){Pj~!Q![)v~*RP!R![*U~*ZQ!h~|}*O!Q![*U~*fP!e~!Q![*i~*nP{~!Q![*i~*vOy~~*{Ok~~+QO!R~~+VOl~~+[RT~!Q![+e#T#o+V5i6S+V~+jPT~!Q![+e~+rTT~!Q![+e#T#c+V#c#d,R#d#o+V5i6S+V~,WTT~!Q![+e#T#c+V#c#d,g#d#o+V5i6S+V~,lTT~!Q![+e#T#`+V#`#a,{#a#o+V5i6S+V~-SR!k~T~!Q![+e#T#o+V5i6S+V~-bST~!Q![+e#T#U-n#U#o+V5i6S+V~-sTT~!Q![+e#T#f+V#f#g.S#g#o+V5i6S+V~.XTT~!Q![+e#T#W+V#W#X.h#X#o+V5i6S+V~.oR!j~T~!Q![+e#T#o+V5i6S+V~.}TT~!Q![+e#T#X+V#X#Y/^#Y#o+V5i6S+V~/cTT~!Q![+e#T#U+V#U#V/r#V#o+V5i6S+V~/wTT~!Q![+e#T#c+V#c#d0W#d#o+V5i6S+V~0]TT~!Q![+e#T#c+V#c#d0l#d#o+V5i6S+V~0qTT~!Q![+e#T#`+V#`#a1Q#a#o+V5i6S+V~1XR!l~T~!Q![+e#T#o+V5i6S+V~1gTT~!Q![+e#T#f+V#f#g1v#g#o+V5i6S+V~1{ST~!Q!R+e!R![2X#T#o+V5i6S+V~2`Q!i~T~|}2f!Q![2X~2iP!R![2l~2qQ!i~|}2f!Q![2l~2|TT~!Q![+e#T#X+V#X#Y3]#Y#o+V5i6S+V~3bTT~!Q![+e#T#W+V#W#X3q#X#o+V5i6S+V~3xR!m~T~!Q![+e#T#o+V5i6S+V~4WO!W~~4]O!_~~4bO!V~~4gOi~~4lO!U~~4qO!Z~~4vOs~~4{Or~~5QOn~~5VOp~~5[Ox~~5aO!S~~5fO]~~5kO^~~5pOt~~5uO!T~~5zO!Q~~6POf~~6UOe~~6ZOc~~6`Oa~~6eO`~~6jO_~",
|
|
17
|
+
tokenizers: [0],
|
|
18
|
+
topRules: { "Expression": [0, 1] },
|
|
19
|
+
tokenPrec: 2679
|
|
20
|
+
});
|
|
21
|
+
export {
|
|
22
|
+
parser
|
|
23
|
+
};
|
|
24
|
+
//# sourceMappingURL=parser.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"sources":["../../../src/rslang/parser/parser.ts"],"sourcesContent":["// This file was generated by lezer-generator. You probably shouldn't edit it.\nimport {LRParser} from \"@lezer/lr\"\nexport const parser = LRParser.deserialize({\n version: 14,\n states: \"2lO!sQPOOOVQPO'#CdO$qQPO'#C`O&pQPO'#C`O*bQPO'#C_Q*jQPOOO,TQPO'#CyOVQPO'#CtO,]QPO'#CtOOQO'#Ct'#CtOOQO'#C^'#C^OOQO'#ES'#ESOOQO'#ET'#ETO,bQPO'#DeO,iQPO'#DfO,qQPO'#DhO,vQPO'#DjO,{QPO'#DnO-QQPO'#DrOOQO'#EU'#EUOOQO'#EV'#EVOOQO'#DS'#DSO-VQPO'#DSO-[QPO'#DSOOQO'#EQ'#EQO,TQPO'#DzQOQPOOO-aQPO'#ERO-nQPO,59OO-vQPO'#CeO-{QPO,58xO/lQPO,59tOVQPO,58yOVQPO,58yOVQPO,59iOVQPO,59iOVQPO,59iOVQPO,59iOVQPO,59tOVQPO,59tOVQPO,59tOVQPO,59tOVQPO,59tOVQPO,59tOVQPO,59tOVQPO,59tOVQPO'#CdOOQO'#C`'#C`OOQO'#C{'#C{O1]QPO,59eO2rQPO,59`OVQPO,59`OOQO'#ER'#ERO5TQPO,5:PO5]QPO,5:UOVQPO,5:QOOQO,5:Q,5:QOVQPO,5:SO,TQPO,5:UOVQPO,5:YO,TQPO,5:^OVQPO,59nOVQPO,59nO5dQPO'#D|OOQO'#D{'#D{O5iQPO,5:fOOQO1G.j1G.jOVQPO,59POOQO1G.d1G.dOOQO1G/`1G/`O5qQPO1G.eO7vQPO1G.eO:zQPO1G/TO=]QPO1G/TO?nQPO1G/TOBPQPO1G/TOGyQPO1G/`OHQQPO1G/`OKpQPO1G/`O! `QPO1G/`O! gQPO1G/`O! nQPO1G/`O! uQPO1G/`O,TQPO,59gOVQPO1G/PO!%aQPO1G.zOOQO1G/k1G/kOVQPO1G/pO!%iQPO1G/lO!%pQPO1G/nO!%xQPO1G/pO!%}QPO1G/tO!&UQPO1G/xO!&ZQPO1G/YO!&cQPO1G/YOVQPO,5:hO,TQPO,5:gOVQPO1G0QO!&jQPO1G.kOOQO1G/R1G/RO!&zQPO7+$kOOQO7+$f7+$fO!(gQPO7+%[OOQO7+%W7+%WO!(nQPO7+%YOVQPO7+%[OVQPO7+%`OVQPO7+%dOOQO7+$t7+$tO!(sQPO1G0SOOQO1G0R1G0RO!(}QPO7+%lO!)UQPO<<HVOVQPO<<HvOVQPO<<HtO!+gQPO<<HvO!+nQPO'#DoO!+xQPO<<HzO!,QQPO<<IOO!,XQPOAN>bO!,`QPOAN>`OVQPOAN>bOVQPO,5:ZOOQOAN>fAN>fOVQPOAN>jOOQOG23|G23|OOQOG23zG23zO!,gQPOG23|O!,nQPO1G/uO!,xQPOG24UOOQOLD)hLD)hOOQOLD)pLD)pOVQPOLD)pO!-SQPO!$'M[OOQO!)9Bv!)9Bv\",\n stateData: \"!-l~O!sOS~OTQOVPOiVOjWOnUOpUOwZOxZOyZOz[O{[O!W]O!Z^O!]_O!``O!aaO!ebO!gfO!hdO!idO!jdO!kdO!ldO!mdO~OkiO~PVOZSX[SX]!wX^!wX_!wX`!wXa!wXb!wXc!wXd!wXe!wXf!wXg!wXr!wXs!wXt!wXu!wX}!wX!O!wX!P!wX!Q!wX!R!wX!S!wX!T!wX!U!wXY!wX!V!wX~O!q!wXU!wXl!wX!_!wXT!wXV!wXi!wXj!wXn!wXp!wXw!wXx!wXy!wXz!wX{!wX!W!wX!Z!wX!]!wX!`!wX!a!wX!e!wX!g!wX!h!wX!i!wX!j!wX!k!wX!l!wX!m!wX!d!wX~P!zOZSX[SX]!xX^!xX_!xX`!xXa!xXb!xXc!xXd!xXe!xXf!xXg!xXr!xXs!xXt!xXu!xX}!xX!O!xX!P!xX!Q!xX!R!xX!S!xX!T!xX!U!xX!q!xXY!xX!V!xXU!xXl!xX!_!xXT!xXV!xXi!xXj!xXn!xXp!xXw!xXx!xXy!xXz!xX{!xX!W!xX!Z!xX!]!xX!`!xX!a!xX!e!xX!g!xX!h!xX!i!xX!j!xX!k!xX!l!xX!m!xX!d!xX~OZpO[pO~O]qO^qO_qO`qOaqObqOcqOdqOeqOfqOgqOrrOssOttOuuO}vO!OwO!PxO!QyO!RzO!S{O!T|O!U}O~OT!POV!OO~Ok!TO~OT!WO~PYOV!XO!Z^O~Ok!ZO~O!W![O~O!W!]O~O!W!^O~Ok!_O~OV!`O~OY!uX!V!uXl!uX~P*jOU!dOY!uX~OY!eO~OU!fOY!tX]!tX^!tX_!tX`!tXa!tXb!tXc!tXd!tXe!tXf!tXg!tXr!tXs!tXt!tXu!tX}!tX!O!tX!P!tX!Q!tX!R!tX!S!tX!T!tX!U!tX~OU!gOYvX]vX^vX_vX`vXavXbvXcvXdvXevXfvXgvXrvXsvXtvXuvX}vX!OvX!PvX!QvX!RvX!SvX!TvX!UvX~OY!uO]!vO~O]qO^qO_qO`qOaqObqOcqOdqOeqOfqOgqO}vO!OwO!PxO!QyO!RzO!S{O!T|O!U}O~Orhashathauha!qhaUhaYha!Vhalha!_haThaVhaihajhanhaphawhaxhayhazha{ha!Wha!Zha!]ha!`ha!aha!eha!gha!hha!iha!jha!kha!lha!mha!dha~P1eOY!eO!V!xO~O]!yO~P!zO]#RO~OY#SOl#TO~O!qRiURiYRi!VRilRi!_RiTRiVRiiRijRinRipRiwRixRiyRizRi{Ri!WRi!ZRi!]Ri!`Ri!aRi!eRi!gRi!hRi!iRi!jRi!kRi!lRi!mRi!dRi~P*jO]Ri^Ri_Ri`RiaRibRicRidRieRifRigRirRisRitRiuRi!qRiURiYRi!VRilRi!_RiTRiVRiiRijRinRipRiwRixRiyRizRi{Ri!WRi!ZRi!]Ri!`Ri!aRi!eRi!gRi!hRi!iRi!jRi!kRi!lRi!mRi!dRi~P+iOssOttOuuOrqi!qqiUqiYqi!Vqilqi!_qiTqiVqiiqijqinqipqiwqixqiyqizqi{qi!Wqi!Zqi!]qi!`qi!aqi!eqi!gqi!hqi!iqi!jqi!kqi!lqi!mqi!dqi~P1eOttOuuOrqisqi!qqiUqiYqi!Vqilqi!_qiTqiVqiiqijqinqipqiwqixqiyqizqi{qi!Wqi!Zqi!]qi!`qi!aqi!eqi!gqi!hqi!iqi!jqi!kqi!lqi!mqi!dqi~P1eOuuOrqisqitqi!qqiUqiYqi!Vqilqi!_qiTqiVqiiqijqinqipqiwqixqiyqizqi{qi!Wqi!Zqi!]qi!`qi!aqi!eqi!gqi!hqi!iqi!jqi!kqi!lqi!mqi!dqi~P1eOrqisqitqiuqi!qqiUqiYqi!Vqilqi!_qiTqiVqiiqijqinqipqiwqixqiyqizqi{qi!Wqi!Zqi!]qi!`qi!aqi!eqi!gqi!hqi!iqi!jqi!kqi!lqi!mqi!dqi~P1eO}vO]|i^|i_|i`|ia|ib|ic|id|ie|if|ig|ir|is|it|iu|i!P|i!Q|i!R|i!S|i!T|i!U|i!q|iU|iY|i!V|il|i!_|iT|iV|ii|ij|in|ip|iw|ix|iy|iz|i{|i!W|i!Z|i!]|i!`|i!a|i!e|i!g|i!h|i!i|i!j|i!k|i!l|i!m|i!d|i~O!O|i~PDbO!OwO~PDbO}vO!OwO!PxO!U}O]|i^|i_|i`|ia|ib|ic|id|ie|if|ig|ir|is|it|iu|i!R|i!S|i!T|i!q|iU|iY|i!V|il|i!_|iT|iV|ii|ij|in|ip|iw|ix|iy|iz|i{|i!W|i!Z|i!]|i!`|i!a|i!e|i!g|i!h|i!i|i!j|i!k|i!l|i!m|i!d|i~O!Q|i~PHXO}vO!OwO!PxO!QyO!T|O!U}O]|i^|i_|i`|ia|ib|ic|id|ie|if|ig|ir|is|it|iu|i!S|i!q|iU|iY|i!V|il|i!_|iT|iV|ii|ij|in|ip|iw|ix|iy|iz|i{|i!W|i!Z|i!]|i!`|i!a|i!e|i!g|i!h|i!i|i!j|i!k|i!l|i!m|i!d|i~O!R|i~PKwO!RzO~PKwO!QyO~PHXO}vO!OwO!PxO]|i^|i_|i`|ia|ib|ic|id|ie|if|ig|ir|is|it|iu|i!Q|i!R|i!S|i!T|i!U|i!q|iU|iY|i!V|il|i!_|iT|iV|ii|ij|in|ip|iw|ix|iy|iz|i{|i!W|i!Z|i!]|i!`|i!a|i!e|i!g|i!h|i!i|i!j|i!k|i!l|i!m|i!d|i~OY!eOl#XO~OU#ZO~P*jOY!eOl#[O~O]#]O~O!_#^O~P*jO[#_O~OY!eOl#`O~OU#`O~P*jOUXiYXi!VXilXi~P*jO]qO^qO_qO`qOaqObqOcqOdqOeqOfqOgqOrrOssOttOuuO}vO!OwO!PxO!QyO!RzO!S{O!T|O!U}O~PVO!_#eO~P*jOV#fO~OY!pil!pi~P*jO!q!nq~P*jOrmysmytmyumy!qmyUmyYmy!Vmylmy!_myTmyVmyimyjmynmypmywmyxmyymyzmy{my!Wmy!Zmy!]my!`my!amy!emy!gmy!hmy!imy!jmy!kmy!lmy!mmy!dmy~P1eO!_#mO~P*jO!V!cX!d!cX~P*jO!V#oO!d#nO~O!_#pO~P*jO!V#qO~P*jOU#rO~P*jO!V#vO~P*jO!V!ci!d!ci~P*jO!V#wO!_#xO~P*jO!V#zO~P*jO!]!hj!gz{!j!k!l!m!iT!e!a!`!a~\",\n goto: \"1O!zPP!{#y$uPPP&R'VPPPPPPPPPPPPPP#yPPPP'aP(]P#yPPPP(`PPPPP)[PPPPPPPPPP*Y+UP*YP*YPPP*Y,TPP*YPPPPPPP,W,Z,^PPP,d.v/W/W/W0S!phOV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#xRnP!sYOPV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#x!rSOPV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#xQ!QUS!ai#SQ!|![Q#O!^R#V!u!rROPV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#x]!PUi![!^!u#SSlP!OX!U]!T!Z!_!sXOPV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#xR!RU!shOPV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#x!peOV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#xRoP!scOPV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#x!rcOPV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#xR!Y^R#i#^RjOR!ciQ!biR#b#SQTO[kP]!O!T!Z!_Q!SVQ!gvQ!hpQ!iqQ!jrQ!ksQ!ltQ!muQ!nwQ!oxQ!pyQ!qzQ!r{Q!s|Q!t}Q!z!XQ!}!]Q#Q!`Q#U!eQ#W!vQ#Y!yQ#a#RQ#c#TQ#d#WQ#g#]Q#h#^Q#j#_Q#k#eQ#l#fQ#s#mQ#t#nQ#u#pR#y#xSmP!OQ!V]Q!w!TQ!{!ZR#P!_!seOPV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#x!sgOPV]pqrstuvwxyz{|}!O!T!X!Z!]!_!`!e!v!y#R#T#W#]#^#_#e#f#m#n#p#x\",\n nodeNames: \"⚠ Expression Logic Logic_predicates Variable Local ) ( Tuple Expr_enum_min2 , :∈ := ∈ ∉ ⊆ ⊄ ⊂ > ≥ < ≤ ≠ = Logic_unary ¬ Predicate [ ] Logic_quantor ∀ Variable_pack ∃ Logic_binary ⇔ ⇒ ∨ & Setexpr Integer EmptySet IntegerSet Global Radical Setexpr_binary * + - ∪ \\\\ ∆ ∩ × } { Enumeration Boolean ℬ Filter_expression Filter Declarative | PrefixD PrefixI Imperative Imp_blocks ; PrefixR Recursion Function BigPr SmallPr Card Bool Debool Red Function_decl Arguments Declaration\",\n maxTerm: 87,\n nodeProps: [\n [\"openedBy\", 6,\"(\",53,\"{\"],\n [\"closedBy\", 7,\")\",54,\"}\"]\n ],\n skippedNodes: [0],\n repeatNodeCount: 0,\n tokenData: \"6j~R!jX^%spq%svw&hxy&myz&rz{&w{|&||}'R}!O'W!Q![']![!]'e!]!^'x!^!_'}!_!`(S!`!a(X!c!d(^!e!f(^!f!g(l!h!i(t!k!l)h!p!q(^!r!s)m!t!u*a!u!v(^!v!w(^!z!{(^!|!}*q!}#O*v#O#P*{#P#Q+Q#R#S+V#T#U+V#U#V+m#V#W-]#W#X.x#X#d+V#d#e1b#e#f+V#f#g2w#g#o+V#o#p4R#p#q4W#q#r4]#y#z%s$f$g%s$r$s4b%o%p4g5i6S+V#BY#BZ%s$IS$I_%s$I|$JO%s$JT$JU%s$KV$KW%s% l% m4l%%Y%%Z4q%%[%%]4v%&Y%&Z4{%&]%&^5Q%&_%&`5V%&`%&a5[%&b%&c5a%&c%&d5f%'S%'T5k%'T%'U5p%'U%'V5u%(^%(_5z%(b%(c6P%(c%(d6U%)Q%)R6Z%)S%)T6`%)U%)V6e&FU&FV%s~%xY!s~X^%spq%s#y#z%s$f$g%s#BY#BZ%s$IS$I_%s$I|$JO%s$JT$JU%s$KV$KW%s&FU&FV%s~&mOu~~&rOV~~&wOU~~&|O}~~'RO!O~~'WOY~~']O!P~~'bPw~!Q![']~'hQ!_!`'n%&b%&c's~'sO[~~'xOZ~~'}O!d~~(SOd~~(XOg~~(^Ob~~(aP!Q![(d~(iPz~!Q![(d~(qP!`~!Q![(d~(wQ!Q![(}#]#^)V~)SP!g~!Q![(}~)YP!R![)]~)bQ!]~|})V!Q![)]~)mO!a~~)pQ!Q![)v#f#g*O~){Pj~!Q![)v~*RP!R![*U~*ZQ!h~|}*O!Q![*U~*fP!e~!Q![*i~*nP{~!Q![*i~*vOy~~*{Ok~~+QO!R~~+VOl~~+[RT~!Q![+e#T#o+V5i6S+V~+jPT~!Q![+e~+rTT~!Q![+e#T#c+V#c#d,R#d#o+V5i6S+V~,WTT~!Q![+e#T#c+V#c#d,g#d#o+V5i6S+V~,lTT~!Q![+e#T#`+V#`#a,{#a#o+V5i6S+V~-SR!k~T~!Q![+e#T#o+V5i6S+V~-bST~!Q![+e#T#U-n#U#o+V5i6S+V~-sTT~!Q![+e#T#f+V#f#g.S#g#o+V5i6S+V~.XTT~!Q![+e#T#W+V#W#X.h#X#o+V5i6S+V~.oR!j~T~!Q![+e#T#o+V5i6S+V~.}TT~!Q![+e#T#X+V#X#Y/^#Y#o+V5i6S+V~/cTT~!Q![+e#T#U+V#U#V/r#V#o+V5i6S+V~/wTT~!Q![+e#T#c+V#c#d0W#d#o+V5i6S+V~0]TT~!Q![+e#T#c+V#c#d0l#d#o+V5i6S+V~0qTT~!Q![+e#T#`+V#`#a1Q#a#o+V5i6S+V~1XR!l~T~!Q![+e#T#o+V5i6S+V~1gTT~!Q![+e#T#f+V#f#g1v#g#o+V5i6S+V~1{ST~!Q!R+e!R![2X#T#o+V5i6S+V~2`Q!i~T~|}2f!Q![2X~2iP!R![2l~2qQ!i~|}2f!Q![2l~2|TT~!Q![+e#T#X+V#X#Y3]#Y#o+V5i6S+V~3bTT~!Q![+e#T#W+V#W#X3q#X#o+V5i6S+V~3xR!m~T~!Q![+e#T#o+V5i6S+V~4WO!W~~4]O!_~~4bO!V~~4gOi~~4lO!U~~4qO!Z~~4vOs~~4{Or~~5QOn~~5VOp~~5[Ox~~5aO!S~~5fO]~~5kO^~~5pOt~~5uO!T~~5zO!Q~~6POf~~6UOe~~6ZOc~~6`Oa~~6eO`~~6jO_~\",\n tokenizers: [0],\n topRules: {\"Expression\":[0,1]},\n tokenPrec: 2679\n})\n"],"mappings":";AACA,SAAQ,gBAAe;AAChB,IAAM,SAAS,SAAS,YAAY;AAAA,EACzC,SAAS;AAAA,EACT,QAAQ;AAAA,EACR,WAAW;AAAA,EACX,MAAM;AAAA,EACN,WAAW;AAAA,EACX,SAAS;AAAA,EACT,WAAW;AAAA,IACT,CAAC,YAAY,GAAE,KAAI,IAAG,GAAG;AAAA,IACzB,CAAC,YAAY,GAAE,KAAI,IAAG,GAAG;AAAA,EAC3B;AAAA,EACA,cAAc,CAAC,CAAC;AAAA,EAChB,iBAAiB;AAAA,EACjB,WAAW;AAAA,EACX,YAAY,CAAC,CAAC;AAAA,EACd,UAAU,EAAC,cAAa,CAAC,GAAE,CAAC,EAAC;AAAA,EAC7B,WAAW;AACb,CAAC;","names":[]}
|
|
@@ -0,0 +1,42 @@
|
|
|
1
|
+
declare const Expression = 1;
|
|
2
|
+
declare const Logic = 2;
|
|
3
|
+
declare const Logic_predicates = 3;
|
|
4
|
+
declare const Variable = 4;
|
|
5
|
+
declare const Local = 5;
|
|
6
|
+
declare const Tuple = 8;
|
|
7
|
+
declare const Expr_enum_min2 = 9;
|
|
8
|
+
declare const Logic_unary = 24;
|
|
9
|
+
declare const Predicate = 26;
|
|
10
|
+
declare const Logic_quantor = 29;
|
|
11
|
+
declare const Variable_pack = 31;
|
|
12
|
+
declare const Logic_binary = 33;
|
|
13
|
+
declare const Setexpr = 38;
|
|
14
|
+
declare const Integer = 39;
|
|
15
|
+
declare const EmptySet = 40;
|
|
16
|
+
declare const IntegerSet = 41;
|
|
17
|
+
declare const Global = 42;
|
|
18
|
+
declare const Radical = 43;
|
|
19
|
+
declare const Setexpr_binary = 44;
|
|
20
|
+
declare const Enumeration = 55;
|
|
21
|
+
declare const Boolean = 56;
|
|
22
|
+
declare const Filter_expression = 58;
|
|
23
|
+
declare const Filter = 59;
|
|
24
|
+
declare const Declarative = 60;
|
|
25
|
+
declare const PrefixD = 62;
|
|
26
|
+
declare const PrefixI = 63;
|
|
27
|
+
declare const Imperative = 64;
|
|
28
|
+
declare const Imp_blocks = 65;
|
|
29
|
+
declare const PrefixR = 67;
|
|
30
|
+
declare const Recursion = 68;
|
|
31
|
+
declare const Function = 69;
|
|
32
|
+
declare const BigPr = 70;
|
|
33
|
+
declare const SmallPr = 71;
|
|
34
|
+
declare const Card = 72;
|
|
35
|
+
declare const Bool = 73;
|
|
36
|
+
declare const Debool = 74;
|
|
37
|
+
declare const Red = 75;
|
|
38
|
+
declare const Function_decl = 76;
|
|
39
|
+
declare const Arguments = 77;
|
|
40
|
+
declare const Declaration = 78;
|
|
41
|
+
|
|
42
|
+
export { Arguments, BigPr, Bool, Boolean, Card, Debool, Declaration, Declarative, EmptySet, Enumeration, Expr_enum_min2, Expression, Filter, Filter_expression, Function, Function_decl, Global, Imp_blocks, Imperative, Integer, IntegerSet, Local, Logic, Logic_binary, Logic_predicates, Logic_quantor, Logic_unary, Predicate, PrefixD, PrefixI, PrefixR, Radical, Recursion, Red, Setexpr, Setexpr_binary, SmallPr, Tuple, Variable, Variable_pack };
|