agentic-lang 0.2.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/COMMUNITY.md +220 -0
- package/CONTRIBUTING.md +194 -0
- package/FINAL_REPORT.md +398 -0
- package/FOR_OTHER_LLMS.md +286 -0
- package/IMPROVEMENTS.md +319 -0
- package/LAUNCH_GUIDE.md +388 -0
- package/LICENSE +21 -0
- package/NPM_PUBLISH.md +257 -0
- package/PROJECT_COMPLETE.md +414 -0
- package/PROJECT_OVERVIEW.md +265 -0
- package/PROJECT_TREE.txt +228 -0
- package/PUBLISHING_GUIDE.md +426 -0
- package/PUBLISH_NOW.md +337 -0
- package/QUICKSTART.md +207 -0
- package/README.md +195 -0
- package/README_ENHANCED.md +329 -0
- package/READY_TO_LAUNCH.txt +56 -0
- package/REFACTOR_PLAN.md +179 -0
- package/ROADMAP.md +201 -0
- package/SUMMARY.md +315 -0
- package/bin/agentic.js +3 -0
- package/blog/001-introducing-agentic.md +382 -0
- package/blog/002-confidence-driven-development.md +490 -0
- package/blog/003-formal-verification.md +427 -0
- package/blog/004-multi-agent-production.md +436 -0
- package/dist/cli.d.ts +7 -0
- package/dist/cli.d.ts.map +1 -0
- package/dist/cli.js +151 -0
- package/dist/cli.js.map +1 -0
- package/dist/diagnostics/diagnostic.d.ts +115 -0
- package/dist/diagnostics/diagnostic.d.ts.map +1 -0
- package/dist/diagnostics/diagnostic.js +101 -0
- package/dist/diagnostics/diagnostic.js.map +1 -0
- package/dist/diagnostics/formatter.d.ts +36 -0
- package/dist/diagnostics/formatter.d.ts.map +1 -0
- package/dist/diagnostics/formatter.js +263 -0
- package/dist/diagnostics/formatter.js.map +1 -0
- package/dist/effects/effect-system.d.ts +64 -0
- package/dist/effects/effect-system.d.ts.map +1 -0
- package/dist/effects/effect-system.js +197 -0
- package/dist/effects/effect-system.js.map +1 -0
- package/dist/generator/typescript-generator.d.ts +31 -0
- package/dist/generator/typescript-generator.d.ts.map +1 -0
- package/dist/generator/typescript-generator.js +308 -0
- package/dist/generator/typescript-generator.js.map +1 -0
- package/dist/index.d.ts +19 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +60 -0
- package/dist/index.js.map +1 -0
- package/dist/lean4/exporter.d.ts +24 -0
- package/dist/lean4/exporter.d.ts.map +1 -0
- package/dist/lean4/exporter.js +142 -0
- package/dist/lean4/exporter.js.map +1 -0
- package/dist/lsp/server.d.ts +6 -0
- package/dist/lsp/server.d.ts.map +1 -0
- package/dist/lsp/server.js +131 -0
- package/dist/lsp/server.js.map +1 -0
- package/dist/parser/lexer.d.ts +79 -0
- package/dist/parser/lexer.d.ts.map +1 -0
- package/dist/parser/lexer.js +296 -0
- package/dist/parser/lexer.js.map +1 -0
- package/dist/parser/parser-enhanced.d.ts +12 -0
- package/dist/parser/parser-enhanced.d.ts.map +1 -0
- package/dist/parser/parser-enhanced.js +206 -0
- package/dist/parser/parser-enhanced.js.map +1 -0
- package/dist/parser/parser.d.ts +34 -0
- package/dist/parser/parser.d.ts.map +1 -0
- package/dist/parser/parser.js +507 -0
- package/dist/parser/parser.js.map +1 -0
- package/dist/property-tests/generator-enhanced.d.ts +27 -0
- package/dist/property-tests/generator-enhanced.d.ts.map +1 -0
- package/dist/property-tests/generator-enhanced.js +209 -0
- package/dist/property-tests/generator-enhanced.js.map +1 -0
- package/dist/property-tests/generator-fixed.d.ts +2 -0
- package/dist/property-tests/generator-fixed.d.ts.map +1 -0
- package/dist/property-tests/generator-fixed.js +7 -0
- package/dist/property-tests/generator-fixed.js.map +1 -0
- package/dist/property-tests/generator.d.ts +28 -0
- package/dist/property-tests/generator.d.ts.map +1 -0
- package/dist/property-tests/generator.js +284 -0
- package/dist/property-tests/generator.js.map +1 -0
- package/dist/refinements/refinement-types.d.ts +96 -0
- package/dist/refinements/refinement-types.d.ts.map +1 -0
- package/dist/refinements/refinement-types.js +234 -0
- package/dist/refinements/refinement-types.js.map +1 -0
- package/dist/repl.d.ts +21 -0
- package/dist/repl.d.ts.map +1 -0
- package/dist/repl.js +317 -0
- package/dist/repl.js.map +1 -0
- package/dist/runtime/agents.d.ts +97 -0
- package/dist/runtime/agents.d.ts.map +1 -0
- package/dist/runtime/agents.js +258 -0
- package/dist/runtime/agents.js.map +1 -0
- package/dist/runtime/index.d.ts +98 -0
- package/dist/runtime/index.d.ts.map +1 -0
- package/dist/runtime/index.js +253 -0
- package/dist/runtime/index.js.map +1 -0
- package/dist/types-extended.d.ts +197 -0
- package/dist/types-extended.d.ts.map +1 -0
- package/dist/types-extended.js +7 -0
- package/dist/types-extended.js.map +1 -0
- package/dist/types.d.ts +129 -0
- package/dist/types.d.ts.map +1 -0
- package/dist/types.js +6 -0
- package/dist/types.js.map +1 -0
- package/dist/verification/z3-engine.d.ts +75 -0
- package/dist/verification/z3-engine.d.ts.map +1 -0
- package/dist/verification/z3-engine.js +234 -0
- package/dist/verification/z3-engine.js.map +1 -0
- package/examples/advanced-features.agentic +98 -0
- package/examples/annotations.agentic +37 -0
- package/examples/auth.agentic +53 -0
- package/examples/enterprise-example.agentic +360 -0
- package/examples/minimal.agentic +3 -0
- package/examples/minimal.ts +7 -0
- package/examples/ml-pipeline.agentic +350 -0
- package/examples/multi-agent-example.agentic +212 -0
- package/examples/onboarding-tutorial.agentic +263 -0
- package/examples/production-api.agentic +304 -0
- package/examples/real-world-chatbot.agentic +351 -0
- package/examples/result-handling.agentic +34 -0
- package/examples/runtime.ts +24 -0
- package/examples/showcase.agentic +22 -0
- package/examples/showcase.ts +28 -0
- package/examples/simple-test.agentic +4 -0
- package/examples/simple-test.ts +7 -0
- package/examples/simple.agentic +20 -0
- package/examples/test2.agentic +4 -0
- package/examples/test2.ts +9 -0
- package/examples/test3.agentic +4 -0
- package/examples/test3.ts +9 -0
- package/package.json +70 -0
- package/playground/index.html +221 -0
- package/playground/playground.js +291 -0
- package/registry/package-registry.ts +319 -0
- package/scripts/build.js +50 -0
- package/scripts/validate-confidence-mutation.ts +112 -0
- package/stdlib/async/promise.agentic +216 -0
- package/stdlib/database/pool.agentic +235 -0
- package/stdlib/file/io.agentic +194 -0
- package/stdlib/http/client.agentic +168 -0
- package/video-scripts/001-agentic-in-100-seconds.md +175 -0
- package/vscode-extension/README.md +67 -0
- package/vscode-extension/language-configuration.json +31 -0
- package/vscode-extension/package.json +46 -0
- package/vscode-extension/syntaxes/agentic.tmLanguage.json +134 -0
|
@@ -0,0 +1,296 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
/**
|
|
3
|
+
* Simple regex-based lexer for Agentic language
|
|
4
|
+
* For MVP - full Tree-sitter parser can be added later
|
|
5
|
+
*/
|
|
6
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
7
|
+
exports.Lexer = exports.TokenType = void 0;
|
|
8
|
+
var TokenType;
|
|
9
|
+
(function (TokenType) {
|
|
10
|
+
// Keywords
|
|
11
|
+
TokenType["FUNC"] = "FUNC";
|
|
12
|
+
TokenType["RETURN"] = "RETURN";
|
|
13
|
+
TokenType["IF"] = "IF";
|
|
14
|
+
TokenType["ELSE"] = "ELSE";
|
|
15
|
+
TokenType["MATCH"] = "MATCH";
|
|
16
|
+
TokenType["OR"] = "OR";
|
|
17
|
+
TokenType["ERROR"] = "ERROR";
|
|
18
|
+
// Literals
|
|
19
|
+
TokenType["NUMBER"] = "NUMBER";
|
|
20
|
+
TokenType["STRING"] = "STRING";
|
|
21
|
+
TokenType["BOOLEAN"] = "BOOLEAN";
|
|
22
|
+
TokenType["NULL"] = "NULL";
|
|
23
|
+
// Identifiers
|
|
24
|
+
TokenType["IDENTIFIER"] = "IDENTIFIER";
|
|
25
|
+
// Operators
|
|
26
|
+
TokenType["ARROW"] = "ARROW";
|
|
27
|
+
TokenType["FAT_ARROW"] = "FAT_ARROW";
|
|
28
|
+
TokenType["PIPE"] = "PIPE";
|
|
29
|
+
TokenType["DOT"] = "DOT";
|
|
30
|
+
TokenType["COMMA"] = "COMMA";
|
|
31
|
+
TokenType["COLON"] = "COLON";
|
|
32
|
+
TokenType["SEMICOLON"] = "SEMICOLON";
|
|
33
|
+
TokenType["PLUS"] = "PLUS";
|
|
34
|
+
TokenType["MINUS"] = "MINUS";
|
|
35
|
+
TokenType["STAR"] = "STAR";
|
|
36
|
+
TokenType["SLASH"] = "SLASH";
|
|
37
|
+
TokenType["PERCENT"] = "PERCENT";
|
|
38
|
+
// Comparison
|
|
39
|
+
TokenType["EQ"] = "EQ";
|
|
40
|
+
TokenType["NEQ"] = "NEQ";
|
|
41
|
+
TokenType["LT"] = "LT";
|
|
42
|
+
TokenType["GT"] = "GT";
|
|
43
|
+
TokenType["LTE"] = "LTE";
|
|
44
|
+
TokenType["GTE"] = "GTE";
|
|
45
|
+
// Delimiters
|
|
46
|
+
TokenType["LPAREN"] = "LPAREN";
|
|
47
|
+
TokenType["RPAREN"] = "RPAREN";
|
|
48
|
+
TokenType["LBRACE"] = "LBRACE";
|
|
49
|
+
TokenType["RBRACE"] = "RBRACE";
|
|
50
|
+
TokenType["LBRACKET"] = "LBRACKET";
|
|
51
|
+
TokenType["RBRACKET"] = "RBRACKET";
|
|
52
|
+
// Annotations
|
|
53
|
+
TokenType["AT"] = "AT";
|
|
54
|
+
// Special
|
|
55
|
+
TokenType["NEWLINE"] = "NEWLINE";
|
|
56
|
+
TokenType["EOF"] = "EOF";
|
|
57
|
+
TokenType["UNKNOWN"] = "UNKNOWN";
|
|
58
|
+
})(TokenType || (exports.TokenType = TokenType = {}));
|
|
59
|
+
const KEYWORDS = {
|
|
60
|
+
func: TokenType.FUNC,
|
|
61
|
+
return: TokenType.RETURN,
|
|
62
|
+
if: TokenType.IF,
|
|
63
|
+
else: TokenType.ELSE,
|
|
64
|
+
match: TokenType.MATCH,
|
|
65
|
+
or: TokenType.OR,
|
|
66
|
+
error: TokenType.ERROR,
|
|
67
|
+
true: TokenType.BOOLEAN,
|
|
68
|
+
false: TokenType.BOOLEAN,
|
|
69
|
+
null: TokenType.NULL,
|
|
70
|
+
};
|
|
71
|
+
class Lexer {
|
|
72
|
+
constructor(source) {
|
|
73
|
+
this.pos = 0;
|
|
74
|
+
this.line = 1;
|
|
75
|
+
this.column = 1;
|
|
76
|
+
this.tokens = [];
|
|
77
|
+
this.source = source;
|
|
78
|
+
}
|
|
79
|
+
tokenize() {
|
|
80
|
+
this.tokens = [];
|
|
81
|
+
while (this.pos < this.source.length) {
|
|
82
|
+
this.skipWhitespace();
|
|
83
|
+
if (this.pos >= this.source.length)
|
|
84
|
+
break;
|
|
85
|
+
// Skip comments
|
|
86
|
+
if (this.peek() === '/' && this.peek(1) === '/') {
|
|
87
|
+
this.skipLineComment();
|
|
88
|
+
continue;
|
|
89
|
+
}
|
|
90
|
+
if (this.peek() === '/' && this.peek(1) === '*') {
|
|
91
|
+
this.skipBlockComment();
|
|
92
|
+
continue;
|
|
93
|
+
}
|
|
94
|
+
const token = this.nextToken();
|
|
95
|
+
if (token.type !== TokenType.NEWLINE) {
|
|
96
|
+
this.tokens.push(token);
|
|
97
|
+
}
|
|
98
|
+
}
|
|
99
|
+
this.tokens.push(this.createToken(TokenType.EOF, ''));
|
|
100
|
+
return this.tokens;
|
|
101
|
+
}
|
|
102
|
+
nextToken() {
|
|
103
|
+
const char = this.peek();
|
|
104
|
+
// Annotations
|
|
105
|
+
if (char === '@') {
|
|
106
|
+
return this.scanAnnotation();
|
|
107
|
+
}
|
|
108
|
+
// Strings
|
|
109
|
+
if (char === '"' || char === "'") {
|
|
110
|
+
return this.scanString();
|
|
111
|
+
}
|
|
112
|
+
// Numbers
|
|
113
|
+
if (this.isDigit(char)) {
|
|
114
|
+
return this.scanNumber();
|
|
115
|
+
}
|
|
116
|
+
// Identifiers and keywords
|
|
117
|
+
if (this.isAlpha(char) || char === '_') {
|
|
118
|
+
return this.scanIdentifier();
|
|
119
|
+
}
|
|
120
|
+
// Operators and delimiters
|
|
121
|
+
return this.scanOperator();
|
|
122
|
+
}
|
|
123
|
+
scanAnnotation() {
|
|
124
|
+
const start = this.pos;
|
|
125
|
+
this.advance(); // consume @
|
|
126
|
+
if (this.isAlpha(this.peek())) {
|
|
127
|
+
while (this.isAlphaNumeric(this.peek())) {
|
|
128
|
+
this.advance();
|
|
129
|
+
}
|
|
130
|
+
}
|
|
131
|
+
const value = this.source.substring(start, this.pos);
|
|
132
|
+
return this.createToken(TokenType.AT, value);
|
|
133
|
+
}
|
|
134
|
+
scanString() {
|
|
135
|
+
const quote = this.peek();
|
|
136
|
+
this.advance(); // consume opening quote
|
|
137
|
+
const start = this.pos;
|
|
138
|
+
while (this.peek() !== quote && !this.isAtEnd()) {
|
|
139
|
+
if (this.peek() === '\\') {
|
|
140
|
+
this.advance(); // skip escape
|
|
141
|
+
}
|
|
142
|
+
this.advance();
|
|
143
|
+
}
|
|
144
|
+
const value = this.source.substring(start, this.pos);
|
|
145
|
+
this.advance(); // consume closing quote
|
|
146
|
+
return this.createToken(TokenType.STRING, value);
|
|
147
|
+
}
|
|
148
|
+
scanNumber() {
|
|
149
|
+
const start = this.pos;
|
|
150
|
+
while (this.isDigit(this.peek())) {
|
|
151
|
+
this.advance();
|
|
152
|
+
}
|
|
153
|
+
if (this.peek() === '.' && this.isDigit(this.peek(1))) {
|
|
154
|
+
this.advance(); // consume .
|
|
155
|
+
while (this.isDigit(this.peek())) {
|
|
156
|
+
this.advance();
|
|
157
|
+
}
|
|
158
|
+
}
|
|
159
|
+
const value = this.source.substring(start, this.pos);
|
|
160
|
+
return this.createToken(TokenType.NUMBER, value);
|
|
161
|
+
}
|
|
162
|
+
scanIdentifier() {
|
|
163
|
+
const start = this.pos;
|
|
164
|
+
while (this.isAlphaNumeric(this.peek())) {
|
|
165
|
+
this.advance();
|
|
166
|
+
}
|
|
167
|
+
const value = this.source.substring(start, this.pos);
|
|
168
|
+
const type = KEYWORDS[value] || TokenType.IDENTIFIER;
|
|
169
|
+
return this.createToken(type, value);
|
|
170
|
+
}
|
|
171
|
+
scanOperator() {
|
|
172
|
+
const char = this.peek();
|
|
173
|
+
const next = this.peek(1);
|
|
174
|
+
// Two-character operators
|
|
175
|
+
if (char === '-' && next === '>') {
|
|
176
|
+
this.advance();
|
|
177
|
+
this.advance();
|
|
178
|
+
return this.createToken(TokenType.ARROW, '->');
|
|
179
|
+
}
|
|
180
|
+
if (char === '=' && next === '>') {
|
|
181
|
+
this.advance();
|
|
182
|
+
this.advance();
|
|
183
|
+
return this.createToken(TokenType.FAT_ARROW, '=>');
|
|
184
|
+
}
|
|
185
|
+
if (char === '=' && next === '=') {
|
|
186
|
+
this.advance();
|
|
187
|
+
this.advance();
|
|
188
|
+
return this.createToken(TokenType.EQ, '==');
|
|
189
|
+
}
|
|
190
|
+
if (char === '!' && next === '=') {
|
|
191
|
+
this.advance();
|
|
192
|
+
this.advance();
|
|
193
|
+
return this.createToken(TokenType.NEQ, '!=');
|
|
194
|
+
}
|
|
195
|
+
if (char === '<' && next === '=') {
|
|
196
|
+
this.advance();
|
|
197
|
+
this.advance();
|
|
198
|
+
return this.createToken(TokenType.LTE, '<=');
|
|
199
|
+
}
|
|
200
|
+
if (char === '>' && next === '=') {
|
|
201
|
+
this.advance();
|
|
202
|
+
this.advance();
|
|
203
|
+
return this.createToken(TokenType.GTE, '>=');
|
|
204
|
+
}
|
|
205
|
+
// Single-character operators
|
|
206
|
+
const singleChars = {
|
|
207
|
+
'(': TokenType.LPAREN,
|
|
208
|
+
')': TokenType.RPAREN,
|
|
209
|
+
'{': TokenType.LBRACE,
|
|
210
|
+
'}': TokenType.RBRACE,
|
|
211
|
+
'[': TokenType.LBRACKET,
|
|
212
|
+
']': TokenType.RBRACKET,
|
|
213
|
+
',': TokenType.COMMA,
|
|
214
|
+
'.': TokenType.DOT,
|
|
215
|
+
':': TokenType.COLON,
|
|
216
|
+
';': TokenType.SEMICOLON,
|
|
217
|
+
'|': TokenType.PIPE,
|
|
218
|
+
'+': TokenType.PLUS,
|
|
219
|
+
'-': TokenType.MINUS,
|
|
220
|
+
'*': TokenType.STAR,
|
|
221
|
+
'/': TokenType.SLASH,
|
|
222
|
+
'%': TokenType.PERCENT,
|
|
223
|
+
'<': TokenType.LT,
|
|
224
|
+
'>': TokenType.GT,
|
|
225
|
+
'\n': TokenType.NEWLINE,
|
|
226
|
+
};
|
|
227
|
+
const type = singleChars[char];
|
|
228
|
+
if (type) {
|
|
229
|
+
this.advance();
|
|
230
|
+
return this.createToken(type, char);
|
|
231
|
+
}
|
|
232
|
+
// Unknown
|
|
233
|
+
this.advance();
|
|
234
|
+
return this.createToken(TokenType.UNKNOWN, char);
|
|
235
|
+
}
|
|
236
|
+
skipWhitespace() {
|
|
237
|
+
while (!this.isAtEnd() && /\s/.test(this.peek()) && this.peek() !== '\n') {
|
|
238
|
+
this.advance();
|
|
239
|
+
}
|
|
240
|
+
}
|
|
241
|
+
skipLineComment() {
|
|
242
|
+
while (this.peek() !== '\n' && !this.isAtEnd()) {
|
|
243
|
+
this.advance();
|
|
244
|
+
}
|
|
245
|
+
}
|
|
246
|
+
skipBlockComment() {
|
|
247
|
+
this.advance(); // /
|
|
248
|
+
this.advance(); // *
|
|
249
|
+
while (!this.isAtEnd()) {
|
|
250
|
+
if (this.peek() === '*' && this.peek(1) === '/') {
|
|
251
|
+
this.advance();
|
|
252
|
+
this.advance();
|
|
253
|
+
break;
|
|
254
|
+
}
|
|
255
|
+
this.advance();
|
|
256
|
+
}
|
|
257
|
+
}
|
|
258
|
+
peek(offset = 0) {
|
|
259
|
+
const index = this.pos + offset;
|
|
260
|
+
return index < this.source.length ? this.source[index] : '\0';
|
|
261
|
+
}
|
|
262
|
+
advance() {
|
|
263
|
+
const char = this.source[this.pos++];
|
|
264
|
+
if (char === '\n') {
|
|
265
|
+
this.line++;
|
|
266
|
+
this.column = 1;
|
|
267
|
+
}
|
|
268
|
+
else {
|
|
269
|
+
this.column++;
|
|
270
|
+
}
|
|
271
|
+
return char;
|
|
272
|
+
}
|
|
273
|
+
isAtEnd() {
|
|
274
|
+
return this.pos >= this.source.length;
|
|
275
|
+
}
|
|
276
|
+
isDigit(char) {
|
|
277
|
+
return /[0-9]/.test(char);
|
|
278
|
+
}
|
|
279
|
+
isAlpha(char) {
|
|
280
|
+
return /[a-zA-Z_]/.test(char);
|
|
281
|
+
}
|
|
282
|
+
isAlphaNumeric(char) {
|
|
283
|
+
return this.isAlpha(char) || this.isDigit(char);
|
|
284
|
+
}
|
|
285
|
+
createToken(type, value) {
|
|
286
|
+
return {
|
|
287
|
+
type,
|
|
288
|
+
value,
|
|
289
|
+
line: this.line,
|
|
290
|
+
column: this.column - value.length,
|
|
291
|
+
offset: this.pos - value.length,
|
|
292
|
+
};
|
|
293
|
+
}
|
|
294
|
+
}
|
|
295
|
+
exports.Lexer = Lexer;
|
|
296
|
+
//# sourceMappingURL=lexer.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"lexer.js","sourceRoot":"","sources":["../../src/parser/lexer.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAEH,IAAY,SAwDX;AAxDD,WAAY,SAAS;IACnB,WAAW;IACX,0BAAa,CAAA;IACb,8BAAiB,CAAA;IACjB,sBAAS,CAAA;IACT,0BAAa,CAAA;IACb,4BAAe,CAAA;IACf,sBAAS,CAAA;IACT,4BAAe,CAAA;IAEf,WAAW;IACX,8BAAiB,CAAA;IACjB,8BAAiB,CAAA;IACjB,gCAAmB,CAAA;IACnB,0BAAa,CAAA;IAEb,cAAc;IACd,sCAAyB,CAAA;IAEzB,YAAY;IACZ,4BAAe,CAAA;IACf,oCAAuB,CAAA;IACvB,0BAAa,CAAA;IACb,wBAAW,CAAA;IACX,4BAAe,CAAA;IACf,4BAAe,CAAA;IACf,oCAAuB,CAAA;IACvB,0BAAa,CAAA;IACb,4BAAe,CAAA;IACf,0BAAa,CAAA;IACb,4BAAe,CAAA;IACf,gCAAmB,CAAA;IAEnB,aAAa;IACb,sBAAS,CAAA;IACT,wBAAW,CAAA;IACX,sBAAS,CAAA;IACT,sBAAS,CAAA;IACT,wBAAW,CAAA;IACX,wBAAW,CAAA;IAEX,aAAa;IACb,8BAAiB,CAAA;IACjB,8BAAiB,CAAA;IACjB,8BAAiB,CAAA;IACjB,8BAAiB,CAAA;IACjB,kCAAqB,CAAA;IACrB,kCAAqB,CAAA;IAErB,cAAc;IACd,sBAAS,CAAA;IAET,UAAU;IACV,gCAAmB,CAAA;IACnB,wBAAW,CAAA;IACX,gCAAmB,CAAA;AACrB,CAAC,EAxDW,SAAS,yBAAT,SAAS,QAwDpB;AAUD,MAAM,QAAQ,GAA8B;IAC1C,IAAI,EAAE,SAAS,CAAC,IAAI;IACpB,MAAM,EAAE,SAAS,CAAC,MAAM;IACxB,EAAE,EAAE,SAAS,CAAC,EAAE;IAChB,IAAI,EAAE,SAAS,CAAC,IAAI;IACpB,KAAK,EAAE,SAAS,CAAC,KAAK;IACtB,EAAE,EAAE,SAAS,CAAC,EAAE;IAChB,KAAK,EAAE,SAAS,CAAC,KAAK;IACtB,IAAI,EAAE,SAAS,CAAC,OAAO;IACvB,KAAK,EAAE,SAAS,CAAC,OAAO;IACxB,IAAI,EAAE,SAAS,CAAC,IAAI;CACrB,CAAC;AAEF,MAAa,KAAK;IAOhB,YAAY,MAAc;QALlB,QAAG,GAAG,CAAC,CAAC;QACR,SAAI,GAAG,CAAC,CAAC;QACT,WAAM,GAAG,CAAC,CAAC;QACX,WAAM,GAAY,EAAE,CAAC;QAG3B,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAED,QAAQ;QACN,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;QAEjB,OAAO,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YACrC,IAAI,CAAC,cAAc,EAAE,CAAC;YAEtB,IAAI,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM;gBAAE,MAAM;YAE1C,gBAAgB;YAChB,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBAChD,IAAI,CAAC,eAAe,EAAE,CAAC;gBACvB,SAAS;YACX,CAAC;YAED,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBAChD,IAAI,CAAC,gBAAgB,EAAE,CAAC;gBACxB,SAAS;YACX,CAAC;YAED,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;YAC/B,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,OAAO,EAAE,CAAC;gBACrC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;QAED,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QACtD,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IAEO,SAAS;QACf,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAEzB,cAAc;QACd,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjB,OAAO,IAAI,CAAC,cAAc,EAAE,CAAC;QAC/B,CAAC;QAED,UAAU;QACV,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjC,OAAO,IAAI,CAAC,UAAU,EAAE,CAAC;QAC3B,CAAC;QAED,UAAU;QACV,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,OAAO,IAAI,CAAC,UAAU,EAAE,CAAC;QAC3B,CAAC;QAED,2BAA2B;QAC3B,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACvC,OAAO,IAAI,CAAC,cAAc,EAAE,CAAC;QAC/B,CAAC;QAED,2BAA2B;QAC3B,OAAO,IAAI,CAAC,YAAY,EAAE,CAAC;IAC7B,CAAC;IAEO,cAAc;QACpB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC;QACvB,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,YAAY;QAE5B,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;gBACxC,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,CAAC;QACH,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACrD,OAAO,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC/C,CAAC;IAEO,UAAU;QAChB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1B,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,wBAAwB;QAExC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC;QACvB,OAAO,IAAI,CAAC,IAAI,EAAE,KAAK,KAAK,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;YAChD,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;gBACzB,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,cAAc;YAChC,CAAC;YACD,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACrD,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,wBAAwB;QAExC,OAAO,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACnD,CAAC;IAEO,UAAU;QAChB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC;QAEvB,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;YACjC,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACtD,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,YAAY;YAC5B,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;gBACjC,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,CAAC;QACH,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACrD,OAAO,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACnD,CAAC;IAEO,cAAc;QACpB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC;QAEvB,OAAO,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;YACxC,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACrD,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC;QAErD,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACvC,CAAC;IAEO,YAAY;QAClB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAE1B,0BAA0B;QAC1B,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjC,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,OAAO,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACjD,CAAC;QAED,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjC,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,OAAO,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACrD,CAAC;QAED,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjC,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,OAAO,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC9C,CAAC;QAED,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjC,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,OAAO,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC/C,CAAC;QAED,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjC,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,OAAO,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC/C,CAAC;QAED,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjC,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,OAAO,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC/C,CAAC;QAED,6BAA6B;QAC7B,MAAM,WAAW,GAA8B;YAC7C,GAAG,EAAE,SAAS,CAAC,MAAM;YACrB,GAAG,EAAE,SAAS,CAAC,MAAM;YACrB,GAAG,EAAE,SAAS,CAAC,MAAM;YACrB,GAAG,EAAE,SAAS,CAAC,MAAM;YACrB,GAAG,EAAE,SAAS,CAAC,QAAQ;YACvB,GAAG,EAAE,SAAS,CAAC,QAAQ;YACvB,GAAG,EAAE,SAAS,CAAC,KAAK;YACpB,GAAG,EAAE,SAAS,CAAC,GAAG;YAClB,GAAG,EAAE,SAAS,CAAC,KAAK;YACpB,GAAG,EAAE,SAAS,CAAC,SAAS;YACxB,GAAG,EAAE,SAAS,CAAC,IAAI;YACnB,GAAG,EAAE,SAAS,CAAC,IAAI;YACnB,GAAG,EAAE,SAAS,CAAC,KAAK;YACpB,GAAG,EAAE,SAAS,CAAC,IAAI;YACnB,GAAG,EAAE,SAAS,CAAC,KAAK;YACpB,GAAG,EAAE,SAAS,CAAC,OAAO;YACtB,GAAG,EAAE,SAAS,CAAC,EAAE;YACjB,GAAG,EAAE,SAAS,CAAC,EAAE;YACjB,IAAI,EAAE,SAAS,CAAC,OAAO;SACxB,CAAC;QAEF,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACtC,CAAC;QAED,UAAU;QACV,IAAI,CAAC,OAAO,EAAE,CAAC;QACf,OAAO,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACnD,CAAC;IAEO,cAAc;QACpB,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YACzE,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;IACH,CAAC;IAEO,eAAe;QACrB,OAAO,IAAI,CAAC,IAAI,EAAE,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;YAC/C,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;IACH,CAAC;IAEO,gBAAgB;QACtB,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI;QACpB,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI;QAEpB,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;YACvB,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBAChD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACf,IAAI,CAAC,OAAO,EAAE,CAAC;gBACf,MAAM;YACR,CAAC;YACD,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;IACH,CAAC;IAEO,IAAI,CAAC,MAAM,GAAG,CAAC;QACrB,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,GAAG,MAAM,CAAC;QAChC,OAAO,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAChE,CAAC;IAEO,OAAO;QACb,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;QACrC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;QAClB,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,MAAM,EAAE,CAAC;QAChB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,OAAO;QACb,OAAO,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,CAAC;IAEO,OAAO,CAAC,IAAY;QAC1B,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;IAEO,OAAO,CAAC,IAAY;QAC1B,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC;IAEO,cAAc,CAAC,IAAY;QACjC,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC;IAEO,WAAW,CAAC,IAAe,EAAE,KAAa;QAChD,OAAO;YACL,IAAI;YACJ,KAAK;YACL,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,MAAM,EAAE,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM;YAClC,MAAM,EAAE,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,MAAM;SAChC,CAAC;IACJ,CAAC;CACF;AAhRD,sBAgRC"}
|
|
@@ -0,0 +1,12 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Enhanced parser methods for match expressions and error recovery
|
|
3
|
+
* These can be merged into parser.ts
|
|
4
|
+
*/
|
|
5
|
+
import * as AST from '../types';
|
|
6
|
+
export declare function parseExpression_Enhanced(parser: any): AST.ASTNode;
|
|
7
|
+
export declare function parseMatchExpression(parser: any, discriminant: AST.ASTNode): AST.MatchExpression;
|
|
8
|
+
export declare function parseErrorRecovery(parser: any, expression: AST.ASTNode): AST.ErrorRecovery;
|
|
9
|
+
export declare function parseContextBlock(parser: any): AST.ContextBlock;
|
|
10
|
+
export declare function parseContextValue(parser: any): any;
|
|
11
|
+
export declare function parseAnnotation_Enhanced(parser: any): AST.Annotation;
|
|
12
|
+
//# sourceMappingURL=parser-enhanced.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"parser-enhanced.d.ts","sourceRoot":"","sources":["../../src/parser/parser-enhanced.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAIhC,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,GAAG,GAAG,GAAG,CAAC,OAAO,CAcjE;AAED,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,CAAC,OAAO,GAAG,GAAG,CAAC,eAAe,CAsChG;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,CAAC,OAAO,GAAG,GAAG,CAAC,aAAa,CA8B1F;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,GAAG,GAAG,GAAG,CAAC,YAAY,CA6B/D;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,GAAG,GAAG,GAAG,CAsClD;AAGD,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,GAAG,GAAG,GAAG,CAAC,UAAU,CAiDpE"}
|
|
@@ -0,0 +1,206 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
/**
|
|
3
|
+
* Enhanced parser methods for match expressions and error recovery
|
|
4
|
+
* These can be merged into parser.ts
|
|
5
|
+
*/
|
|
6
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
7
|
+
exports.parseExpression_Enhanced = parseExpression_Enhanced;
|
|
8
|
+
exports.parseMatchExpression = parseMatchExpression;
|
|
9
|
+
exports.parseErrorRecovery = parseErrorRecovery;
|
|
10
|
+
exports.parseContextBlock = parseContextBlock;
|
|
11
|
+
exports.parseContextValue = parseContextValue;
|
|
12
|
+
exports.parseAnnotation_Enhanced = parseAnnotation_Enhanced;
|
|
13
|
+
const lexer_1 = require("./lexer");
|
|
14
|
+
// Add these methods to the Parser class
|
|
15
|
+
function parseExpression_Enhanced(parser) {
|
|
16
|
+
let expr = parser.parseBinaryExpression();
|
|
17
|
+
// Check for match expression
|
|
18
|
+
if (parser.check(lexer_1.TokenType.MATCH)) {
|
|
19
|
+
return parseMatchExpression(parser, expr);
|
|
20
|
+
}
|
|
21
|
+
// Check for error recovery: expr or error { ... }
|
|
22
|
+
if (parser.check(lexer_1.TokenType.OR)) {
|
|
23
|
+
return parseErrorRecovery(parser, expr);
|
|
24
|
+
}
|
|
25
|
+
return expr;
|
|
26
|
+
}
|
|
27
|
+
function parseMatchExpression(parser, discriminant) {
|
|
28
|
+
parser.consume(lexer_1.TokenType.MATCH);
|
|
29
|
+
parser.consume(lexer_1.TokenType.LBRACE);
|
|
30
|
+
const cases = [];
|
|
31
|
+
while (!parser.check(lexer_1.TokenType.RBRACE) && !parser.isAtEnd()) {
|
|
32
|
+
const pattern = parser.consume(lexer_1.TokenType.IDENTIFIER).value; // Ok, Err, _
|
|
33
|
+
let binding;
|
|
34
|
+
if (parser.match(lexer_1.TokenType.LPAREN)) {
|
|
35
|
+
binding = parser.consume(lexer_1.TokenType.IDENTIFIER).value;
|
|
36
|
+
parser.consume(lexer_1.TokenType.RPAREN);
|
|
37
|
+
}
|
|
38
|
+
parser.consume(lexer_1.TokenType.ARROW);
|
|
39
|
+
// Parse body - can be expression or block
|
|
40
|
+
let body;
|
|
41
|
+
if (parser.check(lexer_1.TokenType.LBRACE)) {
|
|
42
|
+
body = parser.parseBlockStatement();
|
|
43
|
+
}
|
|
44
|
+
else {
|
|
45
|
+
body = parser.parseExpression();
|
|
46
|
+
}
|
|
47
|
+
cases.push({ pattern, binding, body });
|
|
48
|
+
// Optional comma between cases
|
|
49
|
+
parser.match(lexer_1.TokenType.COMMA);
|
|
50
|
+
}
|
|
51
|
+
parser.consume(lexer_1.TokenType.RBRACE);
|
|
52
|
+
return {
|
|
53
|
+
type: 'MatchExpression',
|
|
54
|
+
discriminant,
|
|
55
|
+
cases,
|
|
56
|
+
};
|
|
57
|
+
}
|
|
58
|
+
function parseErrorRecovery(parser, expression) {
|
|
59
|
+
parser.consume(lexer_1.TokenType.OR);
|
|
60
|
+
parser.consume(lexer_1.TokenType.ERROR);
|
|
61
|
+
parser.consume(lexer_1.TokenType.LBRACE);
|
|
62
|
+
// Parse optional error binding
|
|
63
|
+
let binding = 'e';
|
|
64
|
+
// Parse @context annotation if present
|
|
65
|
+
let contextBlock = {};
|
|
66
|
+
if (parser.check(lexer_1.TokenType.AT)) {
|
|
67
|
+
contextBlock = parseContextBlock(parser);
|
|
68
|
+
}
|
|
69
|
+
// Parse error action (usually a return statement or block)
|
|
70
|
+
let errorAction;
|
|
71
|
+
if (parser.check(lexer_1.TokenType.RETURN)) {
|
|
72
|
+
errorAction = parser.parseReturnStatement();
|
|
73
|
+
}
|
|
74
|
+
else {
|
|
75
|
+
errorAction = parser.parseStatement() || { type: 'BlockStatement', body: [] };
|
|
76
|
+
}
|
|
77
|
+
parser.consume(lexer_1.TokenType.RBRACE);
|
|
78
|
+
return {
|
|
79
|
+
type: 'ErrorRecovery',
|
|
80
|
+
binding,
|
|
81
|
+
contextBlock,
|
|
82
|
+
errorAction,
|
|
83
|
+
};
|
|
84
|
+
}
|
|
85
|
+
function parseContextBlock(parser) {
|
|
86
|
+
// Expect @context
|
|
87
|
+
parser.consume(lexer_1.TokenType.AT);
|
|
88
|
+
const contextToken = parser.consume(lexer_1.TokenType.IDENTIFIER);
|
|
89
|
+
if (contextToken.value !== 'context') {
|
|
90
|
+
throw new Error(`Expected @context, got @${contextToken.value}`);
|
|
91
|
+
}
|
|
92
|
+
parser.consume(lexer_1.TokenType.LBRACE);
|
|
93
|
+
const context = {};
|
|
94
|
+
// Parse key-value pairs
|
|
95
|
+
while (!parser.check(lexer_1.TokenType.RBRACE) && !parser.isAtEnd()) {
|
|
96
|
+
const keyToken = parser.consume(lexer_1.TokenType.IDENTIFIER);
|
|
97
|
+
parser.consume(lexer_1.TokenType.COLON);
|
|
98
|
+
// Parse value (simplified - just capture until comma or closing brace)
|
|
99
|
+
const value = parseContextValue(parser);
|
|
100
|
+
context[keyToken.value] = value;
|
|
101
|
+
parser.match(lexer_1.TokenType.COMMA);
|
|
102
|
+
}
|
|
103
|
+
parser.consume(lexer_1.TokenType.RBRACE);
|
|
104
|
+
return context;
|
|
105
|
+
}
|
|
106
|
+
function parseContextValue(parser) {
|
|
107
|
+
// Simplified context value parsing
|
|
108
|
+
if (parser.check(lexer_1.TokenType.STRING)) {
|
|
109
|
+
return parser.advance().value;
|
|
110
|
+
}
|
|
111
|
+
if (parser.check(lexer_1.TokenType.NUMBER)) {
|
|
112
|
+
return parseFloat(parser.advance().value);
|
|
113
|
+
}
|
|
114
|
+
if (parser.check(lexer_1.TokenType.BOOLEAN)) {
|
|
115
|
+
return parser.advance().value === 'true';
|
|
116
|
+
}
|
|
117
|
+
if (parser.check(lexer_1.TokenType.LBRACE)) {
|
|
118
|
+
// Parse object
|
|
119
|
+
parser.consume(lexer_1.TokenType.LBRACE);
|
|
120
|
+
const obj = {};
|
|
121
|
+
while (!parser.check(lexer_1.TokenType.RBRACE) && !parser.isAtEnd()) {
|
|
122
|
+
const key = parser.consume(lexer_1.TokenType.IDENTIFIER).value;
|
|
123
|
+
parser.consume(lexer_1.TokenType.COLON);
|
|
124
|
+
obj[key] = parseContextValue(parser);
|
|
125
|
+
parser.match(lexer_1.TokenType.COMMA);
|
|
126
|
+
}
|
|
127
|
+
parser.consume(lexer_1.TokenType.RBRACE);
|
|
128
|
+
return obj;
|
|
129
|
+
}
|
|
130
|
+
if (parser.check(lexer_1.TokenType.LBRACKET)) {
|
|
131
|
+
// Parse array
|
|
132
|
+
parser.consume(lexer_1.TokenType.LBRACKET);
|
|
133
|
+
const arr = [];
|
|
134
|
+
while (!parser.check(lexer_1.TokenType.RBRACKET) && !parser.isAtEnd()) {
|
|
135
|
+
arr.push(parseContextValue(parser));
|
|
136
|
+
parser.match(lexer_1.TokenType.COMMA);
|
|
137
|
+
}
|
|
138
|
+
parser.consume(lexer_1.TokenType.RBRACKET);
|
|
139
|
+
return arr;
|
|
140
|
+
}
|
|
141
|
+
// Default: identifier or literal
|
|
142
|
+
return parser.advance().value;
|
|
143
|
+
}
|
|
144
|
+
// Enhanced annotation parsing
|
|
145
|
+
function parseAnnotation_Enhanced(parser) {
|
|
146
|
+
// Consume the @ token
|
|
147
|
+
const atToken = parser.advance();
|
|
148
|
+
// Extract annotation name
|
|
149
|
+
let name = '';
|
|
150
|
+
if (atToken.value.startsWith('@')) {
|
|
151
|
+
const parts = atToken.value.match(/@(\w+)/);
|
|
152
|
+
name = parts ? parts[1] : atToken.value.substring(1);
|
|
153
|
+
}
|
|
154
|
+
else {
|
|
155
|
+
name = parser.consume(lexer_1.TokenType.IDENTIFIER).value;
|
|
156
|
+
}
|
|
157
|
+
const args = {};
|
|
158
|
+
if (parser.match(lexer_1.TokenType.LPAREN)) {
|
|
159
|
+
// Parse annotation arguments properly
|
|
160
|
+
if (!parser.check(lexer_1.TokenType.RPAREN)) {
|
|
161
|
+
// Try to parse as positional or named arguments
|
|
162
|
+
// For @confidence(0.90) we expect a single number
|
|
163
|
+
// For @needs(database: Database) we expect key: value pairs
|
|
164
|
+
const firstToken = parser.peek();
|
|
165
|
+
// Check if this looks like a named parameter (identifier followed by colon)
|
|
166
|
+
const isNamed = firstToken.type === lexer_1.TokenType.IDENTIFIER &&
|
|
167
|
+
parser.peekNext()?.type === lexer_1.TokenType.COLON;
|
|
168
|
+
if (isNamed) {
|
|
169
|
+
// Parse named parameters
|
|
170
|
+
do {
|
|
171
|
+
const paramName = parser.consume(lexer_1.TokenType.IDENTIFIER).value;
|
|
172
|
+
parser.consume(lexer_1.TokenType.COLON);
|
|
173
|
+
const paramValue = parseAnnotationValue(parser);
|
|
174
|
+
args[paramName] = paramValue;
|
|
175
|
+
} while (parser.match(lexer_1.TokenType.COMMA));
|
|
176
|
+
}
|
|
177
|
+
else {
|
|
178
|
+
// Parse positional parameter (single value)
|
|
179
|
+
const value = parseAnnotationValue(parser);
|
|
180
|
+
args['value'] = value;
|
|
181
|
+
}
|
|
182
|
+
}
|
|
183
|
+
parser.consume(lexer_1.TokenType.RPAREN);
|
|
184
|
+
}
|
|
185
|
+
return {
|
|
186
|
+
name,
|
|
187
|
+
args,
|
|
188
|
+
};
|
|
189
|
+
}
|
|
190
|
+
function parseAnnotationValue(parser) {
|
|
191
|
+
if (parser.check(lexer_1.TokenType.NUMBER)) {
|
|
192
|
+
return parseFloat(parser.advance().value);
|
|
193
|
+
}
|
|
194
|
+
if (parser.check(lexer_1.TokenType.STRING)) {
|
|
195
|
+
return parser.advance().value;
|
|
196
|
+
}
|
|
197
|
+
if (parser.check(lexer_1.TokenType.BOOLEAN)) {
|
|
198
|
+
return parser.advance().value === 'true';
|
|
199
|
+
}
|
|
200
|
+
if (parser.check(lexer_1.TokenType.IDENTIFIER)) {
|
|
201
|
+
// Could be a type reference
|
|
202
|
+
return parser.advance().value;
|
|
203
|
+
}
|
|
204
|
+
throw new Error(`Unexpected token in annotation: ${parser.peek().type}`);
|
|
205
|
+
}
|
|
206
|
+
//# sourceMappingURL=parser-enhanced.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"parser-enhanced.js","sourceRoot":"","sources":["../../src/parser/parser-enhanced.ts"],"names":[],"mappings":";AAAA;;;GAGG;;AAOH,4DAcC;AAED,oDAsCC;AAED,gDA8BC;AAED,8CA6BC;AAED,8CAsCC;AAGD,4DAiDC;AAtND,mCAAkD;AAGlD,wCAAwC;AAExC,SAAgB,wBAAwB,CAAC,MAAW;IAClD,IAAI,IAAI,GAAG,MAAM,CAAC,qBAAqB,EAAE,CAAC;IAE1C,6BAA6B;IAC7B,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QAClC,OAAO,oBAAoB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC5C,CAAC;IAED,kDAAkD;IAClD,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,EAAE,CAAC,EAAE,CAAC;QAC/B,OAAO,kBAAkB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC1C,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAgB,oBAAoB,CAAC,MAAW,EAAE,YAAyB;IACzE,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,MAAM,CAAC,CAAC;IAEjC,MAAM,KAAK,GAAoB,EAAE,CAAC;IAElC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;QAC5D,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,CAAC,aAAa;QAEzE,IAAI,OAA2B,CAAC;QAChC,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;YACnC,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC;YACrD,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,MAAM,CAAC,CAAC;QACnC,CAAC;QAED,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,KAAK,CAAC,CAAC;QAEhC,0CAA0C;QAC1C,IAAI,IAAiB,CAAC;QACtB,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;YACnC,IAAI,GAAG,MAAM,CAAC,mBAAmB,EAAE,CAAC;QACtC,CAAC;aAAM,CAAC;YACN,IAAI,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC;QAClC,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QAEvC,+BAA+B;QAC/B,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,MAAM,CAAC,CAAC;IAEjC,OAAO;QACL,IAAI,EAAE,iBAAiB;QACvB,YAAY;QACZ,KAAK;KACN,CAAC;AACJ,CAAC;AAED,SAAgB,kBAAkB,CAAC,MAAW,EAAE,UAAuB;IACrE,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,EAAE,CAAC,CAAC;IAC7B,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,MAAM,CAAC,CAAC;IAEjC,+BAA+B;IAC/B,IAAI,OAAO,GAAG,GAAG,CAAC;IAElB,uCAAuC;IACvC,IAAI,YAAY,GAAqB,EAAE,CAAC;IACxC,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,EAAE,CAAC,EAAE,CAAC;QAC/B,YAAY,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC3C,CAAC;IAED,2DAA2D;IAC3D,IAAI,WAAwB,CAAC;IAC7B,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QACnC,WAAW,GAAG,MAAM,CAAC,oBAAoB,EAAE,CAAC;IAC9C,CAAC;SAAM,CAAC;QACN,WAAW,GAAG,MAAM,CAAC,cAAc,EAAE,IAAI,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IAChF,CAAC;IAED,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,MAAM,CAAC,CAAC;IAEjC,OAAO;QACL,IAAI,EAAE,eAAe;QACrB,OAAO;QACP,YAAY;QACZ,WAAW;KACZ,CAAC;AACJ,CAAC;AAED,SAAgB,iBAAiB,CAAC,MAAW;IAC3C,kBAAkB;IAClB,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,EAAE,CAAC,CAAC;IAC7B,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,UAAU,CAAC,CAAC;IAE1D,IAAI,YAAY,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CAAC,2BAA2B,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC;IACnE,CAAC;IAED,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,MAAM,CAAC,CAAC;IAEjC,MAAM,OAAO,GAAqB,EAAE,CAAC;IAErC,wBAAwB;IACxB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;QAC5D,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,UAAU,CAAC,CAAC;QACtD,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,KAAK,CAAC,CAAC;QAEhC,uEAAuE;QACvE,MAAM,KAAK,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;QAEvC,OAAe,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;QAEzC,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,MAAM,CAAC,CAAC;IAEjC,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAgB,iBAAiB,CAAC,MAAW;IAC3C,mCAAmC;IACnC,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QACnC,OAAO,MAAM,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC;IAChC,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QACnC,OAAO,UAAU,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,OAAO,CAAC,EAAE,CAAC;QACpC,OAAO,MAAM,CAAC,OAAO,EAAE,CAAC,KAAK,KAAK,MAAM,CAAC;IAC3C,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QACnC,eAAe;QACf,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,MAAM,CAAC,CAAC;QACjC,MAAM,GAAG,GAAQ,EAAE,CAAC;QACpB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;YAC5D,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC;YACvD,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,KAAK,CAAC,CAAC;YAChC,GAAG,CAAC,GAAG,CAAC,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YACrC,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,KAAK,CAAC,CAAC;QAChC,CAAC;QACD,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,MAAM,CAAC,CAAC;QACjC,OAAO,GAAG,CAAC;IACb,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrC,cAAc;QACd,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,QAAQ,CAAC,CAAC;QACnC,MAAM,GAAG,GAAU,EAAE,CAAC;QACtB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;YAC9D,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC;YACpC,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,KAAK,CAAC,CAAC;QAChC,CAAC;QACD,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,QAAQ,CAAC,CAAC;QACnC,OAAO,GAAG,CAAC;IACb,CAAC;IAED,iCAAiC;IACjC,OAAO,MAAM,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC;AAChC,CAAC;AAED,8BAA8B;AAC9B,SAAgB,wBAAwB,CAAC,MAAW;IAClD,sBAAsB;IACtB,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;IAEjC,0BAA0B;IAC1B,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC5C,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC;SAAM,CAAC;QACN,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC;IACpD,CAAC;IAED,MAAM,IAAI,GAAwB,EAAE,CAAC;IAErC,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QACnC,sCAAsC;QACtC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;YACpC,gDAAgD;YAChD,kDAAkD;YAClD,4DAA4D;YAE5D,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;YAEjC,4EAA4E;YAC5E,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,KAAK,iBAAS,CAAC,UAAU;gBACxC,MAAM,CAAC,QAAQ,EAAE,EAAE,IAAI,KAAK,iBAAS,CAAC,KAAK,CAAC;YAE5D,IAAI,OAAO,EAAE,CAAC;gBACZ,yBAAyB;gBACzB,GAAG,CAAC;oBACF,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC;oBAC7D,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,KAAK,CAAC,CAAC;oBAChC,MAAM,UAAU,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;oBAChD,IAAI,CAAC,SAAS,CAAC,GAAG,UAAU,CAAC;gBAC/B,CAAC,QAAQ,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,KAAK,CAAC,EAAE;YAC1C,CAAC;iBAAM,CAAC;gBACN,4CAA4C;gBAC5C,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;gBAC3C,IAAI,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC;YACxB,CAAC;QACH,CAAC;QACD,MAAM,CAAC,OAAO,CAAC,iBAAS,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IAED,OAAO;QACL,IAAI;QACJ,IAAI;KACL,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAW;IACvC,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QACnC,OAAO,UAAU,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QACnC,OAAO,MAAM,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC;IAChC,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,OAAO,CAAC,EAAE,CAAC;QACpC,OAAO,MAAM,CAAC,OAAO,EAAE,CAAC,KAAK,KAAK,MAAM,CAAC;IAC3C,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,CAAC,iBAAS,CAAC,UAAU,CAAC,EAAE,CAAC;QACvC,4BAA4B;QAC5B,OAAO,MAAM,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC;IAChC,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,mCAAmC,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;AAC3E,CAAC"}
|
|
@@ -0,0 +1,34 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Recursive descent parser for Agentic language
|
|
3
|
+
* Converts tokens into AST
|
|
4
|
+
*/
|
|
5
|
+
import * as AST from '../types';
|
|
6
|
+
export declare class Parser {
|
|
7
|
+
private tokens;
|
|
8
|
+
private current;
|
|
9
|
+
parse(source: string): AST.ASTNode[];
|
|
10
|
+
private parseStatement;
|
|
11
|
+
private parseFunctionDeclaration;
|
|
12
|
+
private parseParameterList;
|
|
13
|
+
private parseTypeAnnotation;
|
|
14
|
+
private parseBlockStatement;
|
|
15
|
+
private parseReturnStatement;
|
|
16
|
+
private parseIfStatement;
|
|
17
|
+
private parseVariableOrExpression;
|
|
18
|
+
private parseExpression;
|
|
19
|
+
private parseBinaryExpression;
|
|
20
|
+
private parsePrimaryExpression;
|
|
21
|
+
private parseAnnotation;
|
|
22
|
+
private parseAnnotationValue;
|
|
23
|
+
private match;
|
|
24
|
+
private check;
|
|
25
|
+
private advance;
|
|
26
|
+
private isAtEnd;
|
|
27
|
+
private peek;
|
|
28
|
+
private peekNext;
|
|
29
|
+
private previous;
|
|
30
|
+
private consume;
|
|
31
|
+
private parseMatchExpression;
|
|
32
|
+
private parseErrorRecovery;
|
|
33
|
+
}
|
|
34
|
+
//# sourceMappingURL=parser.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../src/parser/parser.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAEhC,qBAAa,MAAM;IACjB,OAAO,CAAC,MAAM,CAAe;IAC7B,OAAO,CAAC,OAAO,CAAK;IAEpB,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,GAAG,CAAC,OAAO,EAAE;IAiBpC,OAAO,CAAC,cAAc;IA6BtB,OAAO,CAAC,wBAAwB;IA2BhC,OAAO,CAAC,kBAAkB;IAwB1B,OAAO,CAAC,mBAAmB;IA0C3B,OAAO,CAAC,mBAAmB;IAoB3B,OAAO,CAAC,oBAAoB;IAe5B,OAAO,CAAC,gBAAgB;IAwBxB,OAAO,CAAC,yBAAyB;IAqBjC,OAAO,CAAC,eAAe;IAIvB,OAAO,CAAC,qBAAqB;IAuC7B,OAAO,CAAC,sBAAsB;IA6F9B,OAAO,CAAC,eAAe;IA4DvB,OAAO,CAAC,oBAAoB;IA6B5B,OAAO,CAAC,KAAK;IAUb,OAAO,CAAC,KAAK;IAKb,OAAO,CAAC,OAAO;IAKf,OAAO,CAAC,OAAO;IAIf,OAAO,CAAC,IAAI;IAIZ,OAAO,CAAC,QAAQ;IAKhB,OAAO,CAAC,QAAQ;IAIhB,OAAO,CAAC,OAAO;IAQf,OAAO,CAAC,oBAAoB;IAuD5B,OAAO,CAAC,kBAAkB;CAwD3B"}
|