@futpib/parser 1.0.4 → 1.0.6
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/.claude/settings.local.json +24 -0
- package/.github/workflows/main.yml +1 -0
- package/build/androidPackageParser.js +30 -32
- package/build/arbitraryDalvikBytecode.d.ts +3 -3
- package/build/arbitraryDalvikBytecode.js +33 -27
- package/build/arbitraryDalvikExecutable.js +55 -17
- package/build/arbitraryJava.d.ts +31 -0
- package/build/arbitraryJava.js +532 -0
- package/build/arbitraryJavaScript.d.ts +3 -0
- package/build/arbitraryJavaScript.js +263 -0
- package/build/arbitraryJavascript.d.ts +3 -0
- package/build/arbitraryJavascript.js +263 -0
- package/build/arbitraryZig.d.ts +3 -0
- package/build/arbitraryZig.js +240 -0
- package/build/arbitraryZipStream.d.ts +1 -1
- package/build/arrayParser.js +72 -13
- package/build/backsmali.d.ts +4 -3
- package/build/backsmali.js +26 -6
- package/build/bash.d.ts +6 -1
- package/build/bashParser.js +131 -90
- package/build/bashParser.test.js +162 -0
- package/build/bashParserEdgeCases.test.d.ts +1 -0
- package/build/bashParserEdgeCases.test.js +117 -0
- package/build/dalvikBytecodeParser/addressConversion.d.ts +110 -0
- package/build/dalvikBytecodeParser/addressConversion.js +334 -0
- package/build/dalvikBytecodeParser/formatParsers.d.ts +7 -6
- package/build/dalvikBytecodeParser/formatParsers.js +13 -14
- package/build/dalvikBytecodeParser.d.ts +60 -31
- package/build/dalvikBytecodeParser.js +92 -35
- package/build/dalvikBytecodeParser.test-d.d.ts +1 -0
- package/build/dalvikBytecodeParser.test-d.js +268 -0
- package/build/dalvikBytecodeUnparser/formatUnparsers.d.ts +9 -8
- package/build/dalvikBytecodeUnparser/formatUnparsers.js +13 -12
- package/build/dalvikBytecodeUnparser.d.ts +2 -2
- package/build/dalvikBytecodeUnparser.js +23 -23
- package/build/dalvikBytecodeUnparser.test.js +7 -7
- package/build/dalvikExecutable.d.ts +3 -3
- package/build/dalvikExecutable.test-d.d.ts +1 -0
- package/build/dalvikExecutable.test-d.js +59 -0
- package/build/dalvikExecutableParser/typedNumbers.d.ts +18 -0
- package/build/dalvikExecutableParser/typedNumbers.js +3 -0
- package/build/dalvikExecutableParser.d.ts +2 -1
- package/build/dalvikExecutableParser.js +96 -77
- package/build/dalvikExecutableParser.test.js +24 -3
- package/build/dalvikExecutableParserAgainstSmaliParser.test.js +3 -0
- package/build/dalvikExecutableUnparser/poolScanners.d.ts +2 -2
- package/build/dalvikExecutableUnparser/sectionUnparsers.d.ts +3 -3
- package/build/dalvikExecutableUnparser/sectionUnparsers.js +26 -11
- package/build/dalvikExecutableUnparser.d.ts +2 -2
- package/build/dalvikExecutableUnparser.test.js +2 -1
- package/build/disjunctionParser.d.ts +5 -3
- package/build/disjunctionParser.js +79 -17
- package/build/disjunctionParser.test-d.d.ts +1 -0
- package/build/disjunctionParser.test-d.js +72 -0
- package/build/elementSwitchParser.d.ts +4 -0
- package/build/{exactElementSwitchParser.js → elementSwitchParser.js} +3 -4
- package/build/elementSwitchParser.test-d.d.ts +1 -0
- package/build/elementSwitchParser.test-d.js +44 -0
- package/build/exactSequenceParser.d.ts +4 -2
- package/build/exactSequenceParser.test-d.d.ts +1 -0
- package/build/exactSequenceParser.test-d.js +36 -0
- package/build/fetchCid.js +2 -66
- package/build/index.d.ts +3 -2
- package/build/index.js +2 -1
- package/build/index.test.js +16 -1
- package/build/inputReader.d.ts +10 -0
- package/build/inputReader.js +36 -0
- package/build/java.d.ts +502 -0
- package/build/java.js +2 -0
- package/build/javaKeyStoreParser.js +14 -17
- package/build/javaParser.d.ts +51 -0
- package/build/javaParser.js +1538 -0
- package/build/javaParser.test.d.ts +1 -0
- package/build/javaParser.test.js +1287 -0
- package/build/javaScript.d.ts +35 -0
- package/build/javaScript.js +1 -0
- package/build/javaScriptParser.d.ts +9 -0
- package/build/javaScriptParser.js +34 -0
- package/build/javaScriptUnparser.d.ts +3 -0
- package/build/javaScriptUnparser.js +4 -0
- package/build/javaScriptUnparser.test.d.ts +1 -0
- package/build/javaScriptUnparser.test.js +24 -0
- package/build/javaUnparser.d.ts +2 -0
- package/build/javaUnparser.js +519 -0
- package/build/javaUnparser.test.d.ts +1 -0
- package/build/javaUnparser.test.js +24 -0
- package/build/javascript.d.ts +35 -0
- package/build/javascript.js +1 -0
- package/build/javascriptParser.d.ts +9 -0
- package/build/javascriptParser.js +34 -0
- package/build/javascriptUnparser.d.ts +3 -0
- package/build/javascriptUnparser.js +4 -0
- package/build/javascriptUnparser.test.d.ts +1 -0
- package/build/javascriptUnparser.test.js +24 -0
- package/build/jsonParser.js +2 -12
- package/build/lazyMessageError.d.ts +3 -0
- package/build/lookaheadParser.js +60 -3
- package/build/negativeLookaheadParser.js +70 -11
- package/build/nonEmptyArrayParser.js +72 -13
- package/build/objectParser.d.ts +12 -0
- package/build/objectParser.js +31 -0
- package/build/objectParser.test-d.d.ts +1 -0
- package/build/objectParser.test-d.js +112 -0
- package/build/objectParser.test.d.ts +1 -0
- package/build/objectParser.test.js +55 -0
- package/build/optionalParser.js +69 -10
- package/build/parser.d.ts +4 -0
- package/build/parser.js +3 -1
- package/build/parser.test.js +114 -1
- package/build/parserConsumedSequenceParser.js +66 -7
- package/build/parserContext.d.ts +6 -0
- package/build/parserContext.js +20 -11
- package/build/parserError.d.ts +119 -27
- package/build/parserError.js +16 -8
- package/build/regexpParser.js +33 -3
- package/build/regexpParser.test.js +31 -0
- package/build/regularExpressionParser.js +35 -15
- package/build/separatedArrayParser.js +73 -14
- package/build/separatedNonEmptyArrayParser.js +73 -14
- package/build/sliceBoundedParser.js +62 -5
- package/build/smaliParser.d.ts +7 -7
- package/build/smaliParser.js +185 -268
- package/build/smaliParser.test.js +58 -0
- package/build/stringEscapes.d.ts +5 -0
- package/build/stringEscapes.js +244 -0
- package/build/symbolicExpression.d.ts +29 -0
- package/build/symbolicExpression.js +1 -0
- package/build/symbolicExpressionParser.d.ts +4 -0
- package/build/symbolicExpressionParser.js +123 -0
- package/build/symbolicExpressionParser.test.d.ts +1 -0
- package/build/symbolicExpressionParser.test.js +289 -0
- package/build/terminatedArrayParser.js +113 -38
- package/build/terminatedArrayParser.test.js +4 -2
- package/build/tupleParser.d.ts +7 -15
- package/build/tupleParser.js +1 -0
- package/build/unionParser.d.ts +5 -3
- package/build/unionParser.js +7 -2
- package/build/unionParser.test-d.d.ts +1 -0
- package/build/unionParser.test-d.js +72 -0
- package/build/unionParser.test.js +10 -11
- package/build/zig.d.ts +280 -0
- package/build/zig.js +2 -0
- package/build/zigParser.d.ts +3 -0
- package/build/zigParser.js +1119 -0
- package/build/zigParser.test.d.ts +1 -0
- package/build/zigParser.test.js +1590 -0
- package/build/zigUnparser.d.ts +2 -0
- package/build/zigUnparser.js +460 -0
- package/build/zigUnparser.test.d.ts +1 -0
- package/build/zigUnparser.test.js +24 -0
- package/build/zipParser.js +19 -32
- package/build/zipUnparser.js +19 -7
- package/build/zipUnparser.test.js +1 -1
- package/node_modules-@types/s-expression/index.d.ts +5 -0
- package/package.json +24 -6
- package/src/androidPackageParser.ts +33 -60
- package/src/arbitraryDalvikBytecode.ts +39 -31
- package/src/arbitraryDalvikExecutable.ts +65 -20
- package/src/arbitraryJava.ts +804 -0
- package/src/arbitraryJavaScript.ts +410 -0
- package/src/arbitraryZig.ts +380 -0
- package/src/arrayParser.ts +1 -3
- package/src/backsmali.ts +35 -4
- package/src/bash.ts +8 -1
- package/src/bashParser.test.ts +258 -0
- package/src/bashParser.ts +180 -143
- package/src/dalvikBytecodeParser/addressConversion.ts +496 -0
- package/src/dalvikBytecodeParser/formatParsers.ts +19 -29
- package/src/dalvikBytecodeParser.test-d.ts +310 -0
- package/src/dalvikBytecodeParser.ts +194 -69
- package/src/dalvikBytecodeUnparser/formatUnparsers.ts +27 -26
- package/src/dalvikBytecodeUnparser.test.ts +7 -7
- package/src/dalvikBytecodeUnparser.ts +31 -30
- package/src/dalvikExecutable.test-d.ts +132 -0
- package/src/dalvikExecutable.ts +3 -3
- package/src/dalvikExecutableParser/typedNumbers.ts +11 -0
- package/src/dalvikExecutableParser.test.ts +37 -3
- package/src/dalvikExecutableParser.test.ts.md +163 -2
- package/src/dalvikExecutableParser.test.ts.snap +0 -0
- package/src/dalvikExecutableParser.ts +121 -139
- package/src/dalvikExecutableParserAgainstSmaliParser.test.ts +4 -0
- package/src/dalvikExecutableUnparser/poolScanners.ts +6 -6
- package/src/dalvikExecutableUnparser/sectionUnparsers.ts +38 -14
- package/src/dalvikExecutableUnparser.test.ts +3 -2
- package/src/dalvikExecutableUnparser.ts +4 -4
- package/src/disjunctionParser.test-d.ts +105 -0
- package/src/disjunctionParser.ts +18 -15
- package/src/elementSwitchParser.test-d.ts +74 -0
- package/src/elementSwitchParser.ts +51 -0
- package/src/exactSequenceParser.test-d.ts +43 -0
- package/src/exactSequenceParser.ts +13 -8
- package/src/fetchCid.ts +2 -76
- package/src/index.test.ts +22 -1
- package/src/index.ts +7 -1
- package/src/inputReader.ts +53 -0
- package/src/java.ts +708 -0
- package/src/javaKeyStoreParser.ts +18 -32
- package/src/javaParser.test.ts +1592 -0
- package/src/javaParser.ts +2640 -0
- package/src/javaScript.ts +36 -0
- package/src/javaScriptParser.ts +57 -0
- package/src/javaScriptUnparser.test.ts +37 -0
- package/src/javaScriptUnparser.ts +7 -0
- package/src/javaUnparser.test.ts +37 -0
- package/src/javaUnparser.ts +640 -0
- package/src/jsonParser.ts +6 -27
- package/src/lookaheadParser.ts +2 -6
- package/src/negativeLookaheadParser.ts +1 -3
- package/src/nonEmptyArrayParser.ts +1 -3
- package/src/objectParser.test-d.ts +152 -0
- package/src/objectParser.test.ts +71 -0
- package/src/objectParser.ts +69 -0
- package/src/optionalParser.ts +1 -3
- package/src/parser.test.ts +151 -4
- package/src/parser.ts +11 -1
- package/src/parserConsumedSequenceParser.ts +2 -4
- package/src/parserContext.ts +26 -11
- package/src/parserError.ts +17 -3
- package/src/regexpParser.test.ts +78 -0
- package/src/regexpParser.ts +35 -3
- package/src/regularExpressionParser.ts +36 -37
- package/src/separatedArrayParser.ts +1 -3
- package/src/separatedNonEmptyArrayParser.ts +1 -3
- package/src/sliceBoundedParser.test.ts +2 -2
- package/src/sliceBoundedParser.ts +15 -19
- package/src/smaliParser.test.ts +64 -0
- package/src/smaliParser.test.ts.md +12 -12
- package/src/smaliParser.test.ts.snap +0 -0
- package/src/smaliParser.ts +246 -534
- package/src/stringEscapes.ts +253 -0
- package/src/symbolicExpression.ts +17 -0
- package/src/symbolicExpressionParser.test.ts +466 -0
- package/src/symbolicExpressionParser.ts +190 -0
- package/src/terminatedArrayParser.test.ts +9 -6
- package/src/terminatedArrayParser.ts +25 -29
- package/src/tupleParser.ts +21 -18
- package/src/unionParser.test-d.ts +105 -0
- package/src/unionParser.test.ts +18 -17
- package/src/unionParser.ts +28 -16
- package/src/zig.ts +411 -0
- package/src/zigParser.test.ts +1693 -0
- package/src/zigParser.ts +1745 -0
- package/src/zigUnparser.test.ts +37 -0
- package/src/zigUnparser.ts +615 -0
- package/src/zipParser.ts +20 -56
- package/src/zipUnparser.test.ts +1 -1
- package/src/zipUnparser.ts +22 -7
- package/tsconfig.json +2 -2
- package/build/exactElementSwitchParser.d.ts +0 -3
- package/src/exactElementSwitchParser.ts +0 -41
|
@@ -0,0 +1,1119 @@
|
|
|
1
|
+
import { setParserName } from './parser.js';
|
|
2
|
+
import { createUnionParser } from './unionParser.js';
|
|
3
|
+
import { createExactSequenceParser } from './exactSequenceParser.js';
|
|
4
|
+
import { promiseCompose } from './promiseCompose.js';
|
|
5
|
+
import { createTupleParser } from './tupleParser.js';
|
|
6
|
+
import { createDisjunctionParser } from './disjunctionParser.js';
|
|
7
|
+
import { createArrayParser } from './arrayParser.js';
|
|
8
|
+
import { createOptionalParser } from './optionalParser.js';
|
|
9
|
+
import { createRegExpParser } from './regexpParser.js';
|
|
10
|
+
import { createSeparatedNonEmptyArrayParser } from './separatedNonEmptyArrayParser.js';
|
|
11
|
+
import { createObjectParser } from './objectParser.js';
|
|
12
|
+
import { createNonEmptyArrayParser } from './nonEmptyArrayParser.js';
|
|
13
|
+
import { createParserAccessorParser } from './parserAccessorParser.js';
|
|
14
|
+
import { unescapeZigString } from './stringEscapes.js';
|
|
15
|
+
// Whitespace (spaces, tabs, newlines)
|
|
16
|
+
const zigWhitespaceParser = promiseCompose(createRegExpParser(/\s+/), match => match[0]);
|
|
17
|
+
// Line comment: // ...
|
|
18
|
+
const zigLineCommentParser = promiseCompose(createRegExpParser(/\/\/[^\n]*/), match => match[0]);
|
|
19
|
+
// Whitespace or comment
|
|
20
|
+
const zigWhitespaceOrCommentParser = createUnionParser([
|
|
21
|
+
zigWhitespaceParser,
|
|
22
|
+
zigLineCommentParser,
|
|
23
|
+
]);
|
|
24
|
+
// Optional whitespace/comments (skippable)
|
|
25
|
+
const zigSkippableParser = createArrayParser(zigWhitespaceOrCommentParser);
|
|
26
|
+
setParserName(zigSkippableParser, 'zigSkippableParser');
|
|
27
|
+
// Mandatory whitespace (at least one whitespace or comment)
|
|
28
|
+
const zigMandatorySkipParser = createNonEmptyArrayParser(zigWhitespaceOrCommentParser);
|
|
29
|
+
setParserName(zigMandatorySkipParser, 'zigMandatorySkipParser');
|
|
30
|
+
// Keywords
|
|
31
|
+
const zigKeywords = new Set([
|
|
32
|
+
'addrspace', 'align', 'allowzero', 'and', 'anyframe', 'anytype',
|
|
33
|
+
'asm', 'async', 'await', 'break', 'callconv', 'catch', 'comptime',
|
|
34
|
+
'const', 'continue', 'defer', 'else', 'enum', 'errdefer', 'error',
|
|
35
|
+
'export', 'extern', 'false', 'fn', 'for', 'if', 'inline',
|
|
36
|
+
'linksection', 'noalias', 'nosuspend', 'null', 'opaque', 'or',
|
|
37
|
+
'orelse', 'packed', 'pub', 'resume', 'return', 'struct',
|
|
38
|
+
'suspend', 'switch', 'test', 'threadlocal', 'true', 'try',
|
|
39
|
+
'undefined', 'union', 'unreachable', 'var', 'volatile', 'while',
|
|
40
|
+
]);
|
|
41
|
+
// Identifier: [a-zA-Z_][a-zA-Z0-9_]* (not a keyword) or @"string"
|
|
42
|
+
const zigIdentifierParser = createDisjunctionParser([
|
|
43
|
+
promiseCompose(createRegExpParser(/@"(?:[^"\\]|\\.)*"/), match => match[0]),
|
|
44
|
+
promiseCompose(createRegExpParser(/[a-zA-Z_][a-zA-Z0-9_]*/), match => {
|
|
45
|
+
if (zigKeywords.has(match[0])) {
|
|
46
|
+
throw Object.assign(new Error(`Expected identifier, got keyword "${match[0]}"`), { depth: 0, position: 0, furthestReadPosition: 0, furthestPeekedPosition: 0 });
|
|
47
|
+
}
|
|
48
|
+
return match[0];
|
|
49
|
+
}),
|
|
50
|
+
]);
|
|
51
|
+
setParserName(zigIdentifierParser, 'zigIdentifierParser');
|
|
52
|
+
// Keyword parser helper
|
|
53
|
+
function zigKeyword(kw) {
|
|
54
|
+
return promiseCompose(createRegExpParser(new RegExp(kw + '(?![a-zA-Z0-9_])')), match => match[0]);
|
|
55
|
+
}
|
|
56
|
+
// Literals
|
|
57
|
+
const zigIntegerLiteralParser = promiseCompose(createRegExpParser(/0x[0-9a-fA-F][0-9a-fA-F_]*|0o[0-7][0-7_]*|0b[01][01_]*|[0-9][0-9_]*/), match => ({
|
|
58
|
+
type: 'IntegerLiteral',
|
|
59
|
+
value: match[0],
|
|
60
|
+
}));
|
|
61
|
+
setParserName(zigIntegerLiteralParser, 'zigIntegerLiteralParser');
|
|
62
|
+
const zigFloatLiteralParser = promiseCompose(createRegExpParser(/[0-9][0-9_]*\.[0-9][0-9_]*(?:[eE][+-]?[0-9][0-9_]*)?|[0-9][0-9_]*[eE][+-]?[0-9][0-9_]*|0x[0-9a-fA-F][0-9a-fA-F_]*\.[0-9a-fA-F][0-9a-fA-F_]*(?:[pP][+-]?[0-9][0-9_]*)?|0x[0-9a-fA-F][0-9a-fA-F_]*[pP][+-]?[0-9][0-9_]*/), match => ({
|
|
63
|
+
type: 'FloatLiteral',
|
|
64
|
+
value: match[0],
|
|
65
|
+
}));
|
|
66
|
+
setParserName(zigFloatLiteralParser, 'zigFloatLiteralParser');
|
|
67
|
+
const zigStringLiteralParser = promiseCompose(createRegExpParser(/"(?:[^"\\]|\\.)*"/), match => ({
|
|
68
|
+
type: 'StringLiteral',
|
|
69
|
+
value: unescapeZigString(match[0].slice(1, -1)),
|
|
70
|
+
}));
|
|
71
|
+
setParserName(zigStringLiteralParser, 'zigStringLiteralParser');
|
|
72
|
+
const zigMultilineStringLiteralParser = promiseCompose(createRegExpParser(/(?:\\\\[^\n]*\n?)+/), match => ({
|
|
73
|
+
type: 'MultilineStringLiteral',
|
|
74
|
+
value: match[0],
|
|
75
|
+
}));
|
|
76
|
+
setParserName(zigMultilineStringLiteralParser, 'zigMultilineStringLiteralParser');
|
|
77
|
+
const zigCharLiteralParser = promiseCompose(createRegExpParser(/'(?:[^'\\]|\\.)*'/), match => ({
|
|
78
|
+
type: 'CharLiteral',
|
|
79
|
+
value: unescapeZigString(match[0].slice(1, -1)),
|
|
80
|
+
}));
|
|
81
|
+
setParserName(zigCharLiteralParser, 'zigCharLiteralParser');
|
|
82
|
+
const zigEnumLiteralParser = promiseCompose(createTupleParser([
|
|
83
|
+
createExactSequenceParser('.'),
|
|
84
|
+
zigIdentifierParser,
|
|
85
|
+
]), ([, name]) => ({
|
|
86
|
+
type: 'EnumLiteral',
|
|
87
|
+
name,
|
|
88
|
+
}));
|
|
89
|
+
setParserName(zigEnumLiteralParser, 'zigEnumLiteralParser');
|
|
90
|
+
// Forward references via accessor parsers
|
|
91
|
+
const zigExpressionParser = createParserAccessorParser(() => zigExpressionParserImpl);
|
|
92
|
+
const zigTypeExprParser = createParserAccessorParser(() => zigErrorUnionExprParser);
|
|
93
|
+
const zigStatementParser = createParserAccessorParser(() => zigStatementParserImpl);
|
|
94
|
+
const zigBlockExprParser = createParserAccessorParser(() => zigBlockExprParserImpl);
|
|
95
|
+
const zigPrefixExprParser = createParserAccessorParser(() => zigPrefixExprParserImpl);
|
|
96
|
+
const zigPrimaryExprParser = createParserAccessorParser(() => zigPrimaryExprParserImpl);
|
|
97
|
+
// Builtin call: @import("std"), @intCast(x), etc.
|
|
98
|
+
const zigBuiltinCallExprParser = promiseCompose(createTupleParser([
|
|
99
|
+
createRegExpParser(/@[a-zA-Z_][a-zA-Z0-9_]*/),
|
|
100
|
+
zigSkippableParser,
|
|
101
|
+
createExactSequenceParser('('),
|
|
102
|
+
zigSkippableParser,
|
|
103
|
+
createOptionalParser(createSeparatedNonEmptyArrayParser(promiseCompose(createTupleParser([
|
|
104
|
+
zigExpressionParser,
|
|
105
|
+
zigSkippableParser,
|
|
106
|
+
]), ([expr]) => expr), promiseCompose(createTupleParser([
|
|
107
|
+
createExactSequenceParser(','),
|
|
108
|
+
zigSkippableParser,
|
|
109
|
+
]), () => ','))),
|
|
110
|
+
zigSkippableParser,
|
|
111
|
+
createOptionalParser(createExactSequenceParser(',')),
|
|
112
|
+
zigSkippableParser,
|
|
113
|
+
createExactSequenceParser(')'),
|
|
114
|
+
]), ([name, , , , args]) => ({
|
|
115
|
+
type: 'BuiltinCallExpr',
|
|
116
|
+
name: name[0].slice(1),
|
|
117
|
+
args: args ?? [],
|
|
118
|
+
}));
|
|
119
|
+
setParserName(zigBuiltinCallExprParser, 'zigBuiltinCallExprParser');
|
|
120
|
+
// Error set: error{OutOfMemory, ...}
|
|
121
|
+
const zigErrorSetExprParser = promiseCompose(createTupleParser([
|
|
122
|
+
zigKeyword('error'),
|
|
123
|
+
zigSkippableParser,
|
|
124
|
+
createExactSequenceParser('{'),
|
|
125
|
+
zigSkippableParser,
|
|
126
|
+
createOptionalParser(createSeparatedNonEmptyArrayParser(promiseCompose(createTupleParser([
|
|
127
|
+
zigIdentifierParser,
|
|
128
|
+
zigSkippableParser,
|
|
129
|
+
]), ([name]) => name), promiseCompose(createTupleParser([
|
|
130
|
+
createExactSequenceParser(','),
|
|
131
|
+
zigSkippableParser,
|
|
132
|
+
]), () => ','))),
|
|
133
|
+
createOptionalParser(createExactSequenceParser(',')),
|
|
134
|
+
zigSkippableParser,
|
|
135
|
+
createExactSequenceParser('}'),
|
|
136
|
+
]), ([, , , , names]) => ({
|
|
137
|
+
type: 'ErrorSetExpr',
|
|
138
|
+
names: names ?? [],
|
|
139
|
+
}));
|
|
140
|
+
setParserName(zigErrorSetExprParser, 'zigErrorSetExprParser');
|
|
141
|
+
// Grouped expression: (expr)
|
|
142
|
+
const zigGroupedExprParser = promiseCompose(createTupleParser([
|
|
143
|
+
createExactSequenceParser('('),
|
|
144
|
+
zigSkippableParser,
|
|
145
|
+
zigExpressionParser,
|
|
146
|
+
zigSkippableParser,
|
|
147
|
+
createExactSequenceParser(')'),
|
|
148
|
+
]), ([, , inner]) => ({
|
|
149
|
+
type: 'GroupedExpr',
|
|
150
|
+
inner,
|
|
151
|
+
}));
|
|
152
|
+
setParserName(zigGroupedExprParser, 'zigGroupedExprParser');
|
|
153
|
+
// Capture: |name|
|
|
154
|
+
const zigCaptureParser = promiseCompose(createTupleParser([
|
|
155
|
+
createExactSequenceParser('|'),
|
|
156
|
+
zigSkippableParser,
|
|
157
|
+
zigIdentifierParser,
|
|
158
|
+
zigSkippableParser,
|
|
159
|
+
createExactSequenceParser('|'),
|
|
160
|
+
zigSkippableParser,
|
|
161
|
+
]), ([, , name]) => name);
|
|
162
|
+
setParserName(zigCaptureParser, 'zigCaptureParser');
|
|
163
|
+
// If expression: if (cond) |capture| body else |capture| elseBody
|
|
164
|
+
const zigIfExprParser = promiseCompose(createTupleParser([
|
|
165
|
+
zigKeyword('if'),
|
|
166
|
+
zigSkippableParser,
|
|
167
|
+
createExactSequenceParser('('),
|
|
168
|
+
zigSkippableParser,
|
|
169
|
+
zigExpressionParser,
|
|
170
|
+
zigSkippableParser,
|
|
171
|
+
createExactSequenceParser(')'),
|
|
172
|
+
zigSkippableParser,
|
|
173
|
+
createOptionalParser(zigCaptureParser),
|
|
174
|
+
zigExpressionParser,
|
|
175
|
+
zigSkippableParser,
|
|
176
|
+
createOptionalParser(promiseCompose(createTupleParser([
|
|
177
|
+
zigKeyword('else'),
|
|
178
|
+
zigSkippableParser,
|
|
179
|
+
createOptionalParser(zigCaptureParser),
|
|
180
|
+
zigExpressionParser,
|
|
181
|
+
]), ([, , capture, body]) => ({ capture, body }))),
|
|
182
|
+
]), ([, , , , condition, , , , capture, body, , elsePart]) => ({
|
|
183
|
+
type: 'IfExpr',
|
|
184
|
+
condition,
|
|
185
|
+
...(capture ? { capture } : {}),
|
|
186
|
+
body,
|
|
187
|
+
...(elsePart?.capture ? { elseCapture: elsePart.capture } : {}),
|
|
188
|
+
...(elsePart ? { elseBody: elsePart.body } : {}),
|
|
189
|
+
}));
|
|
190
|
+
setParserName(zigIfExprParser, 'zigIfExprParser');
|
|
191
|
+
// Switch expression
|
|
192
|
+
const zigSwitchProngParser = promiseCompose(createTupleParser([
|
|
193
|
+
createDisjunctionParser([
|
|
194
|
+
promiseCompose(zigKeyword('else'), () => ({ isElse: true, cases: [] })),
|
|
195
|
+
promiseCompose(createSeparatedNonEmptyArrayParser(promiseCompose(createTupleParser([
|
|
196
|
+
zigExpressionParser,
|
|
197
|
+
zigSkippableParser,
|
|
198
|
+
]), ([expr]) => expr), promiseCompose(createTupleParser([
|
|
199
|
+
createExactSequenceParser(','),
|
|
200
|
+
zigSkippableParser,
|
|
201
|
+
]), () => ',')), (cases) => ({ isElse: false, cases })),
|
|
202
|
+
]),
|
|
203
|
+
zigSkippableParser,
|
|
204
|
+
createExactSequenceParser('=>'),
|
|
205
|
+
zigSkippableParser,
|
|
206
|
+
createOptionalParser(zigCaptureParser),
|
|
207
|
+
zigExpressionParser,
|
|
208
|
+
]), ([casesInfo, , , , capture, body]) => ({
|
|
209
|
+
type: 'SwitchProng',
|
|
210
|
+
cases: casesInfo.cases,
|
|
211
|
+
isElse: casesInfo.isElse,
|
|
212
|
+
...(capture ? { capture } : {}),
|
|
213
|
+
body,
|
|
214
|
+
}));
|
|
215
|
+
const zigSwitchExprParser = promiseCompose(createTupleParser([
|
|
216
|
+
zigKeyword('switch'),
|
|
217
|
+
zigSkippableParser,
|
|
218
|
+
createExactSequenceParser('('),
|
|
219
|
+
zigSkippableParser,
|
|
220
|
+
zigExpressionParser,
|
|
221
|
+
zigSkippableParser,
|
|
222
|
+
createExactSequenceParser(')'),
|
|
223
|
+
zigSkippableParser,
|
|
224
|
+
createExactSequenceParser('{'),
|
|
225
|
+
zigSkippableParser,
|
|
226
|
+
createOptionalParser(createSeparatedNonEmptyArrayParser(promiseCompose(createTupleParser([
|
|
227
|
+
zigSwitchProngParser,
|
|
228
|
+
zigSkippableParser,
|
|
229
|
+
]), ([prong]) => prong), promiseCompose(createTupleParser([
|
|
230
|
+
createExactSequenceParser(','),
|
|
231
|
+
zigSkippableParser,
|
|
232
|
+
]), () => ','))),
|
|
233
|
+
createOptionalParser(createExactSequenceParser(',')),
|
|
234
|
+
zigSkippableParser,
|
|
235
|
+
createExactSequenceParser('}'),
|
|
236
|
+
]), ([, , , , operand, , , , , , prongs]) => ({
|
|
237
|
+
type: 'SwitchExpr',
|
|
238
|
+
operand,
|
|
239
|
+
prongs: prongs ?? [],
|
|
240
|
+
}));
|
|
241
|
+
setParserName(zigSwitchExprParser, 'zigSwitchExprParser');
|
|
242
|
+
// Struct init: .{ .field = value, ... }
|
|
243
|
+
const zigAnonStructInitParser = promiseCompose(createTupleParser([
|
|
244
|
+
createExactSequenceParser('.'),
|
|
245
|
+
zigSkippableParser,
|
|
246
|
+
createExactSequenceParser('{'),
|
|
247
|
+
zigSkippableParser,
|
|
248
|
+
createOptionalParser(createSeparatedNonEmptyArrayParser(promiseCompose(createTupleParser([
|
|
249
|
+
createExactSequenceParser('.'),
|
|
250
|
+
zigIdentifierParser,
|
|
251
|
+
zigSkippableParser,
|
|
252
|
+
createExactSequenceParser('='),
|
|
253
|
+
zigSkippableParser,
|
|
254
|
+
zigExpressionParser,
|
|
255
|
+
zigSkippableParser,
|
|
256
|
+
]), ([, name, , , , value]) => ({ type: 'StructInitField', name, value })), promiseCompose(createTupleParser([
|
|
257
|
+
createExactSequenceParser(','),
|
|
258
|
+
zigSkippableParser,
|
|
259
|
+
]), () => ','))),
|
|
260
|
+
createOptionalParser(createExactSequenceParser(',')),
|
|
261
|
+
zigSkippableParser,
|
|
262
|
+
createExactSequenceParser('}'),
|
|
263
|
+
]), ([, , , , fields]) => ({
|
|
264
|
+
type: 'StructInitExpr',
|
|
265
|
+
fields: fields ?? [],
|
|
266
|
+
}));
|
|
267
|
+
setParserName(zigAnonStructInitParser, 'zigAnonStructInitParser');
|
|
268
|
+
// Anonymous array init: .{ expr1, expr2, ... }
|
|
269
|
+
const zigAnonArrayInitParser = promiseCompose(createTupleParser([
|
|
270
|
+
createExactSequenceParser('.'),
|
|
271
|
+
zigSkippableParser,
|
|
272
|
+
createExactSequenceParser('{'),
|
|
273
|
+
zigSkippableParser,
|
|
274
|
+
createOptionalParser(createSeparatedNonEmptyArrayParser(promiseCompose(createTupleParser([
|
|
275
|
+
zigExpressionParser,
|
|
276
|
+
zigSkippableParser,
|
|
277
|
+
]), ([expr]) => expr), promiseCompose(createTupleParser([
|
|
278
|
+
createExactSequenceParser(','),
|
|
279
|
+
zigSkippableParser,
|
|
280
|
+
]), () => ','))),
|
|
281
|
+
createOptionalParser(createExactSequenceParser(',')),
|
|
282
|
+
zigSkippableParser,
|
|
283
|
+
createExactSequenceParser('}'),
|
|
284
|
+
]), ([, , , , elements]) => ({
|
|
285
|
+
type: 'ArrayInitExpr',
|
|
286
|
+
elements: elements ?? [],
|
|
287
|
+
}));
|
|
288
|
+
setParserName(zigAnonArrayInitParser, 'zigAnonArrayInitParser');
|
|
289
|
+
// Block expression: [label:] { statements... }
|
|
290
|
+
const zigBlockExprParserImpl = promiseCompose(createTupleParser([
|
|
291
|
+
createOptionalParser(promiseCompose(createTupleParser([
|
|
292
|
+
zigIdentifierParser,
|
|
293
|
+
zigSkippableParser,
|
|
294
|
+
createExactSequenceParser(':'),
|
|
295
|
+
zigSkippableParser,
|
|
296
|
+
]), ([label]) => label)),
|
|
297
|
+
createExactSequenceParser('{'),
|
|
298
|
+
zigSkippableParser,
|
|
299
|
+
createArrayParser(promiseCompose(createTupleParser([
|
|
300
|
+
zigStatementParser,
|
|
301
|
+
zigSkippableParser,
|
|
302
|
+
]), ([stmt]) => stmt)),
|
|
303
|
+
createExactSequenceParser('}'),
|
|
304
|
+
]), ([label, , , statements]) => ({
|
|
305
|
+
type: 'BlockExpr',
|
|
306
|
+
...(label ? { label } : {}),
|
|
307
|
+
statements,
|
|
308
|
+
}));
|
|
309
|
+
setParserName(zigBlockExprParserImpl, 'zigBlockExprParserImpl');
|
|
310
|
+
// Try and comptime are handled as prefix operators below
|
|
311
|
+
// Identifier expression
|
|
312
|
+
const zigIdentifierExprParser = promiseCompose(zigIdentifierParser, name => ({
|
|
313
|
+
type: 'Identifier',
|
|
314
|
+
name,
|
|
315
|
+
}));
|
|
316
|
+
setParserName(zigIdentifierExprParser, 'zigIdentifierExprParser');
|
|
317
|
+
// Forward references for items defined later
|
|
318
|
+
const zigFnParamListParserRef = createParserAccessorParser(() => zigFnParamListParser);
|
|
319
|
+
const zigContainerMemberParserRef = createParserAccessorParser(() => zigContainerMemberParser);
|
|
320
|
+
// Function prototype type expression: fn(params) returnType
|
|
321
|
+
const zigFnProtoTypeExprParser = promiseCompose(createTupleParser([
|
|
322
|
+
zigKeyword('fn'),
|
|
323
|
+
zigSkippableParser,
|
|
324
|
+
zigFnParamListParserRef,
|
|
325
|
+
zigSkippableParser,
|
|
326
|
+
zigTypeExprParser,
|
|
327
|
+
]), ([, , params, , returnType]) => ({
|
|
328
|
+
type: 'FnProtoType',
|
|
329
|
+
params,
|
|
330
|
+
returnType,
|
|
331
|
+
}));
|
|
332
|
+
setParserName(zigFnProtoTypeExprParser, 'zigFnProtoTypeExprParser');
|
|
333
|
+
// Container field: name: type [align(expr)] [= default],
|
|
334
|
+
const zigContainerFieldParser = promiseCompose(createTupleParser([
|
|
335
|
+
zigIdentifierParser,
|
|
336
|
+
zigSkippableParser,
|
|
337
|
+
createOptionalParser(promiseCompose(createTupleParser([createExactSequenceParser(':'), zigSkippableParser, zigExpressionParser, zigSkippableParser]), ([, , type_]) => type_)),
|
|
338
|
+
createOptionalParser(promiseCompose(createTupleParser([zigKeyword('align'), zigSkippableParser, createExactSequenceParser('('), zigSkippableParser, zigExpressionParser, zigSkippableParser, createExactSequenceParser(')'), zigSkippableParser]), ([, , , , expr]) => expr)),
|
|
339
|
+
createOptionalParser(promiseCompose(createTupleParser([createExactSequenceParser('='), zigSkippableParser, zigExpressionParser, zigSkippableParser]), ([, , init]) => init)),
|
|
340
|
+
createExactSequenceParser(','),
|
|
341
|
+
]), ([name, , typeExpr, alignExpr, defaultValue]) => ({
|
|
342
|
+
type: 'ContainerField',
|
|
343
|
+
name,
|
|
344
|
+
...(typeExpr !== undefined ? { typeExpr } : {}),
|
|
345
|
+
...(alignExpr !== undefined ? { alignExpr } : {}),
|
|
346
|
+
...(defaultValue !== undefined ? { defaultValue } : {}),
|
|
347
|
+
}));
|
|
348
|
+
setParserName(zigContainerFieldParser, 'zigContainerFieldParser');
|
|
349
|
+
// Anonymous struct expression: struct { members... }
|
|
350
|
+
const zigStructExprParser = promiseCompose(createTupleParser([
|
|
351
|
+
zigKeyword('struct'),
|
|
352
|
+
zigSkippableParser,
|
|
353
|
+
createExactSequenceParser('{'),
|
|
354
|
+
zigSkippableParser,
|
|
355
|
+
createArrayParser(promiseCompose(createTupleParser([
|
|
356
|
+
createDisjunctionParser([
|
|
357
|
+
zigContainerMemberParserRef,
|
|
358
|
+
zigContainerFieldParser,
|
|
359
|
+
]),
|
|
360
|
+
zigSkippableParser,
|
|
361
|
+
]), ([member]) => member)),
|
|
362
|
+
createExactSequenceParser('}'),
|
|
363
|
+
]), ([, , , , members]) => ({
|
|
364
|
+
type: 'StructExpr',
|
|
365
|
+
members,
|
|
366
|
+
}));
|
|
367
|
+
setParserName(zigStructExprParser, 'zigStructExprParser');
|
|
368
|
+
// Primary expression impl
|
|
369
|
+
const zigPrimaryExprParserImpl = createDisjunctionParser([
|
|
370
|
+
zigBuiltinCallExprParser,
|
|
371
|
+
zigStringLiteralParser,
|
|
372
|
+
zigMultilineStringLiteralParser,
|
|
373
|
+
zigCharLiteralParser,
|
|
374
|
+
zigFloatLiteralParser,
|
|
375
|
+
zigIntegerLiteralParser,
|
|
376
|
+
promiseCompose(zigKeyword('true'), () => ({ type: 'BoolLiteral', value: true })),
|
|
377
|
+
promiseCompose(zigKeyword('false'), () => ({ type: 'BoolLiteral', value: false })),
|
|
378
|
+
promiseCompose(zigKeyword('null'), () => ({ type: 'NullLiteral' })),
|
|
379
|
+
promiseCompose(zigKeyword('undefined'), () => ({ type: 'UndefinedLiteral' })),
|
|
380
|
+
promiseCompose(zigKeyword('unreachable'), () => ({ type: 'Identifier', name: 'unreachable' })),
|
|
381
|
+
promiseCompose(zigKeyword('anytype'), () => ({ type: 'Identifier', name: 'anytype' })),
|
|
382
|
+
zigErrorSetExprParser,
|
|
383
|
+
zigIfExprParser,
|
|
384
|
+
zigSwitchExprParser,
|
|
385
|
+
zigAnonStructInitParser,
|
|
386
|
+
zigAnonArrayInitParser,
|
|
387
|
+
zigFnProtoTypeExprParser,
|
|
388
|
+
zigStructExprParser,
|
|
389
|
+
promiseCompose(zigKeyword('type'), () => ({ type: 'Identifier', name: 'type' })),
|
|
390
|
+
zigBlockExprParser,
|
|
391
|
+
zigGroupedExprParser,
|
|
392
|
+
zigEnumLiteralParser,
|
|
393
|
+
zigIdentifierExprParser,
|
|
394
|
+
]);
|
|
395
|
+
setParserName(zigPrimaryExprParserImpl, 'zigPrimaryExprParserImpl');
|
|
396
|
+
const zigFieldAccessSuffixParser = promiseCompose(createTupleParser([
|
|
397
|
+
createExactSequenceParser('.'),
|
|
398
|
+
zigIdentifierParser,
|
|
399
|
+
]), ([, member]) => ({ kind: 'field', member }));
|
|
400
|
+
const zigDerefSuffixParser = promiseCompose(createExactSequenceParser('.*'), () => ({ kind: 'deref' }));
|
|
401
|
+
const zigUnwrapSuffixParser = promiseCompose(createExactSequenceParser('.?'), () => ({ kind: 'unwrap' }));
|
|
402
|
+
const zigCallSuffixParser = promiseCompose(createTupleParser([
|
|
403
|
+
createExactSequenceParser('('),
|
|
404
|
+
zigSkippableParser,
|
|
405
|
+
createOptionalParser(createSeparatedNonEmptyArrayParser(promiseCompose(createTupleParser([
|
|
406
|
+
zigExpressionParser,
|
|
407
|
+
zigSkippableParser,
|
|
408
|
+
]), ([expr]) => expr), promiseCompose(createTupleParser([
|
|
409
|
+
createExactSequenceParser(','),
|
|
410
|
+
zigSkippableParser,
|
|
411
|
+
]), () => ','))),
|
|
412
|
+
createOptionalParser(createExactSequenceParser(',')),
|
|
413
|
+
zigSkippableParser,
|
|
414
|
+
createExactSequenceParser(')'),
|
|
415
|
+
]), ([, , args]) => ({ kind: 'call', args: args ?? [] }));
|
|
416
|
+
const zigIndexSuffixParser = promiseCompose(createTupleParser([
|
|
417
|
+
createExactSequenceParser('['),
|
|
418
|
+
zigSkippableParser,
|
|
419
|
+
zigExpressionParser,
|
|
420
|
+
zigSkippableParser,
|
|
421
|
+
createOptionalParser(promiseCompose(createTupleParser([
|
|
422
|
+
createExactSequenceParser('..'),
|
|
423
|
+
zigSkippableParser,
|
|
424
|
+
createOptionalParser(promiseCompose(createTupleParser([
|
|
425
|
+
zigExpressionParser,
|
|
426
|
+
zigSkippableParser,
|
|
427
|
+
]), ([expr]) => expr)),
|
|
428
|
+
]), ([, , end]) => end)),
|
|
429
|
+
createExactSequenceParser(']'),
|
|
430
|
+
]), ([, , start, , sliceEnd]) => {
|
|
431
|
+
if (sliceEnd !== undefined) {
|
|
432
|
+
return { kind: 'slice', start, end: sliceEnd || undefined };
|
|
433
|
+
}
|
|
434
|
+
return { kind: 'index', index: start };
|
|
435
|
+
});
|
|
436
|
+
// Typed struct init suffix: { .field = value, ... }
|
|
437
|
+
const zigStructInitSuffixParser = promiseCompose(createTupleParser([
|
|
438
|
+
createExactSequenceParser('{'),
|
|
439
|
+
zigSkippableParser,
|
|
440
|
+
createOptionalParser(createSeparatedNonEmptyArrayParser(promiseCompose(createTupleParser([
|
|
441
|
+
createExactSequenceParser('.'),
|
|
442
|
+
zigIdentifierParser,
|
|
443
|
+
zigSkippableParser,
|
|
444
|
+
createExactSequenceParser('='),
|
|
445
|
+
zigSkippableParser,
|
|
446
|
+
zigExpressionParser,
|
|
447
|
+
zigSkippableParser,
|
|
448
|
+
]), ([, name, , , , value]) => ({ type: 'StructInitField', name, value })), promiseCompose(createTupleParser([
|
|
449
|
+
createExactSequenceParser(','),
|
|
450
|
+
zigSkippableParser,
|
|
451
|
+
]), () => ','))),
|
|
452
|
+
createOptionalParser(createExactSequenceParser(',')),
|
|
453
|
+
zigSkippableParser,
|
|
454
|
+
createExactSequenceParser('}'),
|
|
455
|
+
]), ([, , fields]) => ({ kind: 'structInit', fields: fields ?? [] }));
|
|
456
|
+
// Typed array init suffix: { expr, expr, ... }
|
|
457
|
+
const zigArrayInitSuffixParser = promiseCompose(createTupleParser([
|
|
458
|
+
createExactSequenceParser('{'),
|
|
459
|
+
zigSkippableParser,
|
|
460
|
+
createOptionalParser(createSeparatedNonEmptyArrayParser(promiseCompose(createTupleParser([
|
|
461
|
+
zigExpressionParser,
|
|
462
|
+
zigSkippableParser,
|
|
463
|
+
]), ([expr]) => expr), promiseCompose(createTupleParser([
|
|
464
|
+
createExactSequenceParser(','),
|
|
465
|
+
zigSkippableParser,
|
|
466
|
+
]), () => ','))),
|
|
467
|
+
createOptionalParser(createExactSequenceParser(',')),
|
|
468
|
+
zigSkippableParser,
|
|
469
|
+
createExactSequenceParser('}'),
|
|
470
|
+
]), ([, , elements]) => ({ kind: 'arrayInit', elements: elements ?? [] }));
|
|
471
|
+
const zigSuffixOpParser = createDisjunctionParser([
|
|
472
|
+
zigDerefSuffixParser,
|
|
473
|
+
zigUnwrapSuffixParser,
|
|
474
|
+
zigFieldAccessSuffixParser,
|
|
475
|
+
zigCallSuffixParser,
|
|
476
|
+
zigIndexSuffixParser,
|
|
477
|
+
]);
|
|
478
|
+
// Postfix expression: primary with suffix operations
|
|
479
|
+
const zigPostfixExprParser = promiseCompose(createTupleParser([
|
|
480
|
+
zigPrimaryExprParser,
|
|
481
|
+
createArrayParser(promiseCompose(createTupleParser([
|
|
482
|
+
zigSkippableParser,
|
|
483
|
+
zigSuffixOpParser,
|
|
484
|
+
]), ([, op]) => op)),
|
|
485
|
+
]), ([primary, suffixes]) => {
|
|
486
|
+
let result = primary;
|
|
487
|
+
for (const suffix of suffixes) {
|
|
488
|
+
switch (suffix.kind) {
|
|
489
|
+
case 'field':
|
|
490
|
+
result = { type: 'FieldAccessExpr', operand: result, member: suffix.member };
|
|
491
|
+
break;
|
|
492
|
+
case 'call':
|
|
493
|
+
result = { type: 'CallExpr', callee: result, args: suffix.args };
|
|
494
|
+
break;
|
|
495
|
+
case 'index':
|
|
496
|
+
result = { type: 'IndexExpr', operand: result, index: suffix.index };
|
|
497
|
+
break;
|
|
498
|
+
case 'slice':
|
|
499
|
+
result = { type: 'SliceExpr', operand: result, start: suffix.start, ...(suffix.end ? { end: suffix.end } : {}), ...(suffix.sentinel ? { sentinel: suffix.sentinel } : {}) };
|
|
500
|
+
break;
|
|
501
|
+
case 'deref':
|
|
502
|
+
result = { type: 'FieldAccessExpr', operand: result, member: '*' };
|
|
503
|
+
break;
|
|
504
|
+
case 'unwrap':
|
|
505
|
+
result = { type: 'FieldAccessExpr', operand: result, member: '?' };
|
|
506
|
+
break;
|
|
507
|
+
case 'structInit':
|
|
508
|
+
result = { type: 'StructInitExpr', operand: result, fields: suffix.fields };
|
|
509
|
+
break;
|
|
510
|
+
case 'arrayInit':
|
|
511
|
+
result = { type: 'ArrayInitExpr', operand: result, elements: suffix.elements };
|
|
512
|
+
break;
|
|
513
|
+
}
|
|
514
|
+
}
|
|
515
|
+
return result;
|
|
516
|
+
});
|
|
517
|
+
setParserName(zigPostfixExprParser, 'zigPostfixExprParser');
|
|
518
|
+
// Pointer/array/slice type prefix: [*]T, [*c]T, []T, [N]T
|
|
519
|
+
const zigBracketTypePrefixParser = promiseCompose(createTupleParser([
|
|
520
|
+
createExactSequenceParser('['),
|
|
521
|
+
zigSkippableParser,
|
|
522
|
+
createDisjunctionParser([
|
|
523
|
+
promiseCompose(createRegExpParser(/\*c(?![a-zA-Z0-9_])/), () => '*c'),
|
|
524
|
+
promiseCompose(createRegExpParser(/\*(?!=)/), () => '*'),
|
|
525
|
+
promiseCompose(createExactSequenceParser(''), () => ''),
|
|
526
|
+
]),
|
|
527
|
+
zigSkippableParser,
|
|
528
|
+
createOptionalParser(promiseCompose(createTupleParser([createExactSequenceParser(':'), zigSkippableParser, zigExpressionParser, zigSkippableParser]), ([, , sentinel]) => sentinel)),
|
|
529
|
+
createExactSequenceParser(']'),
|
|
530
|
+
zigSkippableParser,
|
|
531
|
+
createOptionalParser(promiseCompose(createTupleParser([zigKeyword('const'), zigMandatorySkipParser]), () => true)),
|
|
532
|
+
createOptionalParser(promiseCompose(createTupleParser([zigKeyword('volatile'), zigMandatorySkipParser]), () => true)),
|
|
533
|
+
zigPrefixExprParser,
|
|
534
|
+
]), ([, , kind, , _sentinel, , , _isConst, _isVolatile, child]) => ({
|
|
535
|
+
type: 'PointerType',
|
|
536
|
+
size: kind === '' ? 'slice' : kind === '*' ? 'many' : 'one',
|
|
537
|
+
isConst: _isConst ?? false,
|
|
538
|
+
child,
|
|
539
|
+
}));
|
|
540
|
+
setParserName(zigBracketTypePrefixParser, 'zigBracketTypePrefixParser');
|
|
541
|
+
// Array type prefix: [N]T or [N:sentinel]T
|
|
542
|
+
const zigArrayTypePrefixParser = promiseCompose(createTupleParser([
|
|
543
|
+
createExactSequenceParser('['),
|
|
544
|
+
zigSkippableParser,
|
|
545
|
+
zigExpressionParser,
|
|
546
|
+
zigSkippableParser,
|
|
547
|
+
createOptionalParser(promiseCompose(createTupleParser([createExactSequenceParser(':'), zigSkippableParser, zigExpressionParser, zigSkippableParser]), ([, , sentinel]) => sentinel)),
|
|
548
|
+
createExactSequenceParser(']'),
|
|
549
|
+
zigSkippableParser,
|
|
550
|
+
zigPrefixExprParser,
|
|
551
|
+
]), ([, , length, , sentinel, , , child]) => ({
|
|
552
|
+
type: 'ArrayType',
|
|
553
|
+
length,
|
|
554
|
+
...(sentinel !== undefined ? { sentinel } : {}),
|
|
555
|
+
child,
|
|
556
|
+
}));
|
|
557
|
+
setParserName(zigArrayTypePrefixParser, 'zigArrayTypePrefixParser');
|
|
558
|
+
// Optional type prefix: ?T
|
|
559
|
+
const zigOptionalTypePrefixParser = promiseCompose(createTupleParser([
|
|
560
|
+
createExactSequenceParser('?'),
|
|
561
|
+
zigSkippableParser,
|
|
562
|
+
zigPrefixExprParser,
|
|
563
|
+
]), ([, , child]) => ({
|
|
564
|
+
type: 'OptionalType',
|
|
565
|
+
child,
|
|
566
|
+
}));
|
|
567
|
+
// Single pointer prefix: *T, *const T
|
|
568
|
+
const zigSinglePointerPrefixParser = promiseCompose(createTupleParser([
|
|
569
|
+
createRegExpParser(/\*(?![*=])/),
|
|
570
|
+
zigSkippableParser,
|
|
571
|
+
createOptionalParser(promiseCompose(createTupleParser([zigKeyword('const'), zigMandatorySkipParser]), () => true)),
|
|
572
|
+
createOptionalParser(promiseCompose(createTupleParser([zigKeyword('volatile'), zigMandatorySkipParser]), () => true)),
|
|
573
|
+
zigPrefixExprParser,
|
|
574
|
+
]), ([, , isConst, _isVolatile, child]) => ({
|
|
575
|
+
type: 'PointerType',
|
|
576
|
+
size: 'one',
|
|
577
|
+
isConst: isConst ?? false,
|
|
578
|
+
child,
|
|
579
|
+
}));
|
|
580
|
+
// Prefix unary operators
|
|
581
|
+
const zigPrefixUnaryParser = createDisjunctionParser([
|
|
582
|
+
zigArrayTypePrefixParser,
|
|
583
|
+
zigBracketTypePrefixParser,
|
|
584
|
+
zigOptionalTypePrefixParser,
|
|
585
|
+
zigSinglePointerPrefixParser,
|
|
586
|
+
promiseCompose(createTupleParser([
|
|
587
|
+
zigKeyword('try'),
|
|
588
|
+
zigMandatorySkipParser,
|
|
589
|
+
zigPrefixExprParser,
|
|
590
|
+
]), ([, , operand]) => ({ type: 'TryExpr', operand })),
|
|
591
|
+
promiseCompose(createTupleParser([
|
|
592
|
+
zigKeyword('comptime'),
|
|
593
|
+
zigMandatorySkipParser,
|
|
594
|
+
zigPrefixExprParser,
|
|
595
|
+
]), ([, , operand]) => ({ type: 'ComptimeExpr', operand })),
|
|
596
|
+
promiseCompose(createTupleParser([
|
|
597
|
+
createExactSequenceParser('!'),
|
|
598
|
+
zigSkippableParser,
|
|
599
|
+
zigPrefixExprParser,
|
|
600
|
+
]), ([, , operand]) => ({ type: 'UnaryExpr', operator: '!', operand })),
|
|
601
|
+
promiseCompose(createTupleParser([
|
|
602
|
+
createRegExpParser(/-(?![-=>])/),
|
|
603
|
+
zigSkippableParser,
|
|
604
|
+
zigPrefixExprParser,
|
|
605
|
+
]), ([, , operand]) => ({ type: 'UnaryExpr', operator: '-', operand })),
|
|
606
|
+
promiseCompose(createTupleParser([
|
|
607
|
+
createExactSequenceParser('~'),
|
|
608
|
+
zigSkippableParser,
|
|
609
|
+
zigPrefixExprParser,
|
|
610
|
+
]), ([, , operand]) => ({ type: 'UnaryExpr', operator: '~', operand })),
|
|
611
|
+
promiseCompose(createTupleParser([
|
|
612
|
+
createRegExpParser(/&(?![&=])/),
|
|
613
|
+
zigSkippableParser,
|
|
614
|
+
zigPrefixExprParser,
|
|
615
|
+
]), ([, , operand]) => ({ type: 'UnaryExpr', operator: '&', operand })),
|
|
616
|
+
]);
|
|
617
|
+
const zigPrefixExprParserImpl = createDisjunctionParser([
|
|
618
|
+
zigPrefixUnaryParser,
|
|
619
|
+
zigPostfixExprParser,
|
|
620
|
+
]);
|
|
621
|
+
setParserName(zigPrefixExprParserImpl, 'zigPrefixExprParserImpl');
|
|
622
|
+
// Helper to build left-associative binary expression parser
|
|
623
|
+
function createBinaryExprParser(operandParser, operatorParsers) {
|
|
624
|
+
return promiseCompose(createTupleParser([
|
|
625
|
+
operandParser,
|
|
626
|
+
createArrayParser(promiseCompose(createTupleParser([
|
|
627
|
+
zigSkippableParser,
|
|
628
|
+
createDisjunctionParser(operatorParsers),
|
|
629
|
+
zigSkippableParser,
|
|
630
|
+
operandParser,
|
|
631
|
+
]), ([, op, , right]) => ({ op, right }))),
|
|
632
|
+
]), ([left, rest]) => {
|
|
633
|
+
let result = left;
|
|
634
|
+
for (const { op, right } of rest) {
|
|
635
|
+
result = { type: 'BinaryExpr', operator: op, left: result, right };
|
|
636
|
+
}
|
|
637
|
+
return result;
|
|
638
|
+
});
|
|
639
|
+
}
|
|
640
|
+
// Multiplication operators
|
|
641
|
+
const zigMultiplyExprParser = createBinaryExprParser(zigPrefixExprParser, [
|
|
642
|
+
promiseCompose(createRegExpParser(/\*\*(?!=)/), match => match[0]),
|
|
643
|
+
promiseCompose(createRegExpParser(/\*(?![*=])/), match => match[0]),
|
|
644
|
+
promiseCompose(createRegExpParser(/\/(?!=)/), match => match[0]),
|
|
645
|
+
promiseCompose(createRegExpParser(/%(?!=)/), match => match[0]),
|
|
646
|
+
]);
|
|
647
|
+
setParserName(zigMultiplyExprParser, 'zigMultiplyExprParser');
|
|
648
|
+
// Addition operators
|
|
649
|
+
const zigAddExprParser = createBinaryExprParser(zigMultiplyExprParser, [
|
|
650
|
+
promiseCompose(createRegExpParser(/\+\+(?!=)/), match => match[0]),
|
|
651
|
+
promiseCompose(createRegExpParser(/\+(?![+=])/), match => match[0]),
|
|
652
|
+
promiseCompose(createRegExpParser(/-(?![-=])/), match => match[0]),
|
|
653
|
+
]);
|
|
654
|
+
setParserName(zigAddExprParser, 'zigAddExprParser');
|
|
655
|
+
// Bit shift operators
|
|
656
|
+
const zigShiftExprParser = createBinaryExprParser(zigAddExprParser, [
|
|
657
|
+
promiseCompose(createRegExpParser(/<<(?!=)/), match => match[0]),
|
|
658
|
+
promiseCompose(createRegExpParser(/>>(?!=)/), match => match[0]),
|
|
659
|
+
]);
|
|
660
|
+
setParserName(zigShiftExprParser, 'zigShiftExprParser');
|
|
661
|
+
// Bitwise operators
|
|
662
|
+
const zigBitwiseExprParser = createBinaryExprParser(zigShiftExprParser, [
|
|
663
|
+
promiseCompose(createRegExpParser(/&(?![&=])/), match => match[0]),
|
|
664
|
+
promiseCompose(createRegExpParser(/\|(?![|=])/), match => match[0]),
|
|
665
|
+
promiseCompose(createRegExpParser(/\^(?!=)/), match => match[0]),
|
|
666
|
+
]);
|
|
667
|
+
setParserName(zigBitwiseExprParser, 'zigBitwiseExprParser');
|
|
668
|
+
// Comparison operators (non-associative)
|
|
669
|
+
const zigCompareExprParser = promiseCompose(createTupleParser([
|
|
670
|
+
zigBitwiseExprParser,
|
|
671
|
+
createOptionalParser(promiseCompose(createTupleParser([
|
|
672
|
+
zigSkippableParser,
|
|
673
|
+
createDisjunctionParser([
|
|
674
|
+
promiseCompose(createExactSequenceParser('=='), () => '=='),
|
|
675
|
+
promiseCompose(createExactSequenceParser('!='), () => '!='),
|
|
676
|
+
promiseCompose(createRegExpParser(/<=(?!=)/), match => match[0]),
|
|
677
|
+
promiseCompose(createRegExpParser(/>=(?!=)/), match => match[0]),
|
|
678
|
+
promiseCompose(createRegExpParser(/<(?![<=])/), match => match[0]),
|
|
679
|
+
promiseCompose(createRegExpParser(/>(?![>=])/), match => match[0]),
|
|
680
|
+
]),
|
|
681
|
+
zigSkippableParser,
|
|
682
|
+
zigBitwiseExprParser,
|
|
683
|
+
]), ([, op, , right]) => ({ op, right }))),
|
|
684
|
+
]), ([left, rest]) => {
|
|
685
|
+
if (!rest)
|
|
686
|
+
return left;
|
|
687
|
+
return { type: 'BinaryExpr', operator: rest.op, left, right: rest.right };
|
|
688
|
+
});
|
|
689
|
+
setParserName(zigCompareExprParser, 'zigCompareExprParser');
|
|
690
|
+
// orelse operator
|
|
691
|
+
const zigOrelseExprParser = createBinaryExprParser(zigCompareExprParser, [
|
|
692
|
+
zigKeyword('orelse'),
|
|
693
|
+
]);
|
|
694
|
+
setParserName(zigOrelseExprParser, 'zigOrelseExprParser');
|
|
695
|
+
// catch operator
|
|
696
|
+
const zigCatchExprParser = promiseCompose(createTupleParser([
|
|
697
|
+
zigOrelseExprParser,
|
|
698
|
+
createArrayParser(promiseCompose(createTupleParser([
|
|
699
|
+
zigSkippableParser,
|
|
700
|
+
zigKeyword('catch'),
|
|
701
|
+
zigSkippableParser,
|
|
702
|
+
createOptionalParser(zigCaptureParser),
|
|
703
|
+
zigOrelseExprParser,
|
|
704
|
+
]), ([, , , _capture, right]) => right)),
|
|
705
|
+
]), ([left, rest]) => {
|
|
706
|
+
let result = left;
|
|
707
|
+
for (const right of rest) {
|
|
708
|
+
result = { type: 'BinaryExpr', operator: 'catch', left: result, right };
|
|
709
|
+
}
|
|
710
|
+
return result;
|
|
711
|
+
});
|
|
712
|
+
setParserName(zigCatchExprParser, 'zigCatchExprParser');
|
|
713
|
+
// Boolean and
|
|
714
|
+
const zigAndExprParser = createBinaryExprParser(zigCatchExprParser, [
|
|
715
|
+
zigKeyword('and'),
|
|
716
|
+
]);
|
|
717
|
+
setParserName(zigAndExprParser, 'zigAndExprParser');
|
|
718
|
+
// Boolean or
|
|
719
|
+
const zigOrExprParser = createBinaryExprParser(zigAndExprParser, [
|
|
720
|
+
zigKeyword('or'),
|
|
721
|
+
]);
|
|
722
|
+
setParserName(zigOrExprParser, 'zigOrExprParser');
|
|
723
|
+
// Error union: Type!Type
|
|
724
|
+
const zigErrorUnionExprParser = promiseCompose(createTupleParser([
|
|
725
|
+
zigOrExprParser,
|
|
726
|
+
createOptionalParser(promiseCompose(createTupleParser([
|
|
727
|
+
zigSkippableParser,
|
|
728
|
+
createRegExpParser(/!(?!=)/),
|
|
729
|
+
zigSkippableParser,
|
|
730
|
+
zigOrExprParser,
|
|
731
|
+
]), ([, , , right]) => right)),
|
|
732
|
+
]), ([left, right]) => {
|
|
733
|
+
if (!right)
|
|
734
|
+
return left;
|
|
735
|
+
return { type: 'ErrorUnionType', error: left, payload: right };
|
|
736
|
+
});
|
|
737
|
+
setParserName(zigErrorUnionExprParser, 'zigErrorUnionExprParser');
|
|
738
|
+
const zigCurlySuffixExprParser = promiseCompose(createTupleParser([
|
|
739
|
+
zigErrorUnionExprParser,
|
|
740
|
+
createOptionalParser(promiseCompose(createTupleParser([
|
|
741
|
+
zigSkippableParser,
|
|
742
|
+
createDisjunctionParser([
|
|
743
|
+
zigStructInitSuffixParser,
|
|
744
|
+
zigArrayInitSuffixParser,
|
|
745
|
+
]),
|
|
746
|
+
]), ([, suffix]) => suffix)),
|
|
747
|
+
]), ([expr, suffix]) => {
|
|
748
|
+
if (!suffix)
|
|
749
|
+
return expr;
|
|
750
|
+
if (suffix.kind === 'structInit') {
|
|
751
|
+
return { type: 'StructInitExpr', operand: expr, fields: suffix.fields };
|
|
752
|
+
}
|
|
753
|
+
return { type: 'ArrayInitExpr', operand: expr, elements: suffix.elements };
|
|
754
|
+
});
|
|
755
|
+
// Expression impl
|
|
756
|
+
const zigExpressionParserImpl = zigCurlySuffixExprParser;
|
|
757
|
+
setParserName(zigExpressionParserImpl, 'zigExpressionParserImpl');
|
|
758
|
+
// Statements
|
|
759
|
+
// Variable declaration statement: [pub] [extern] [comptime] [threadlocal] const/var name [: type] [align(expr)] [= init];
|
|
760
|
+
const zigVarDeclStmtParser = promiseCompose(createTupleParser([
|
|
761
|
+
createOptionalParser(promiseCompose(createTupleParser([zigKeyword('pub'), zigMandatorySkipParser]), () => true)),
|
|
762
|
+
createOptionalParser(promiseCompose(createTupleParser([zigKeyword('extern'), zigMandatorySkipParser]), () => true)),
|
|
763
|
+
createOptionalParser(promiseCompose(createTupleParser([zigKeyword('comptime'), zigMandatorySkipParser]), () => true)),
|
|
764
|
+
createOptionalParser(promiseCompose(createTupleParser([zigKeyword('threadlocal'), zigMandatorySkipParser]), () => true)),
|
|
765
|
+
createDisjunctionParser([
|
|
766
|
+
promiseCompose(zigKeyword('const'), () => true),
|
|
767
|
+
promiseCompose(zigKeyword('var'), () => false),
|
|
768
|
+
]),
|
|
769
|
+
zigMandatorySkipParser,
|
|
770
|
+
zigIdentifierParser,
|
|
771
|
+
zigSkippableParser,
|
|
772
|
+
createOptionalParser(promiseCompose(createTupleParser([createExactSequenceParser(':'), zigSkippableParser, zigExpressionParser, zigSkippableParser]), ([, , type_]) => type_)),
|
|
773
|
+
createOptionalParser(promiseCompose(createTupleParser([zigKeyword('align'), zigSkippableParser, createExactSequenceParser('('), zigSkippableParser, zigExpressionParser, zigSkippableParser, createExactSequenceParser(')'), zigSkippableParser]), ([, , , , expr]) => expr)),
|
|
774
|
+
createOptionalParser(promiseCompose(createTupleParser([createExactSequenceParser('='), zigSkippableParser, zigExpressionParser, zigSkippableParser]), ([, , init]) => init)),
|
|
775
|
+
createExactSequenceParser(';'),
|
|
776
|
+
]), ([isPub, isExtern, isComptime, isThreadlocal, isConst, , name, , typeExpr, alignExpr, initExpr]) => ({
|
|
777
|
+
type: 'VarDecl',
|
|
778
|
+
isConst,
|
|
779
|
+
isPub: isPub ?? false,
|
|
780
|
+
isExtern: isExtern ?? false,
|
|
781
|
+
isComptime: isComptime ?? false,
|
|
782
|
+
isThreadlocal: isThreadlocal ?? false,
|
|
783
|
+
name,
|
|
784
|
+
...(typeExpr !== undefined ? { typeExpr } : {}),
|
|
785
|
+
...(alignExpr !== undefined ? { alignExpr } : {}),
|
|
786
|
+
...(initExpr !== undefined ? { initExpr } : {}),
|
|
787
|
+
}));
|
|
788
|
+
setParserName(zigVarDeclStmtParser, 'zigVarDeclStmtParser');
|
|
789
|
+
// Return statement: return [expr];
|
|
790
|
+
const zigReturnStmtParser = promiseCompose(createTupleParser([
|
|
791
|
+
zigKeyword('return'),
|
|
792
|
+
createOptionalParser(promiseCompose(createTupleParser([zigMandatorySkipParser, zigExpressionParser]), ([, expr]) => expr)),
|
|
793
|
+
zigSkippableParser,
|
|
794
|
+
createExactSequenceParser(';'),
|
|
795
|
+
]), ([, value]) => ({
|
|
796
|
+
type: 'ReturnStmt',
|
|
797
|
+
...(value !== undefined ? { value } : {}),
|
|
798
|
+
}));
|
|
799
|
+
setParserName(zigReturnStmtParser, 'zigReturnStmtParser');
|
|
800
|
+
// Break statement: break [:label] [value];
|
|
801
|
+
const zigBreakStmtParser = promiseCompose(createTupleParser([
|
|
802
|
+
zigKeyword('break'),
|
|
803
|
+
zigSkippableParser,
|
|
804
|
+
createOptionalParser(promiseCompose(createTupleParser([createExactSequenceParser(':'), zigIdentifierParser, zigSkippableParser]), ([, label]) => label)),
|
|
805
|
+
createOptionalParser(promiseCompose(createTupleParser([zigExpressionParser, zigSkippableParser]), ([expr]) => expr)),
|
|
806
|
+
createExactSequenceParser(';'),
|
|
807
|
+
]), ([, , label, value]) => ({
|
|
808
|
+
type: 'BreakStmt',
|
|
809
|
+
...(label ? { label } : {}),
|
|
810
|
+
...(value !== undefined ? { value } : {}),
|
|
811
|
+
}));
|
|
812
|
+
setParserName(zigBreakStmtParser, 'zigBreakStmtParser');
|
|
813
|
+
// Continue statement: continue [:label];
|
|
814
|
+
const zigContinueStmtParser = promiseCompose(createTupleParser([
|
|
815
|
+
zigKeyword('continue'),
|
|
816
|
+
zigSkippableParser,
|
|
817
|
+
createOptionalParser(promiseCompose(createTupleParser([createExactSequenceParser(':'), zigIdentifierParser, zigSkippableParser]), ([, label]) => label)),
|
|
818
|
+
createExactSequenceParser(';'),
|
|
819
|
+
]), ([, , label]) => ({
|
|
820
|
+
type: 'ContinueStmt',
|
|
821
|
+
...(label ? { label } : {}),
|
|
822
|
+
}));
|
|
823
|
+
setParserName(zigContinueStmtParser, 'zigContinueStmtParser');
|
|
824
|
+
// Defer/errdefer statement
|
|
825
|
+
const zigDeferStmtParser = promiseCompose(createTupleParser([
|
|
826
|
+
createDisjunctionParser([
|
|
827
|
+
promiseCompose(zigKeyword('errdefer'), () => true),
|
|
828
|
+
promiseCompose(zigKeyword('defer'), () => false),
|
|
829
|
+
]),
|
|
830
|
+
zigMandatorySkipParser,
|
|
831
|
+
createOptionalParser(zigCaptureParser),
|
|
832
|
+
zigStatementParser,
|
|
833
|
+
]), ([isErrdefer, , capture, body]) => ({
|
|
834
|
+
type: 'DeferStmt',
|
|
835
|
+
isErrdefer,
|
|
836
|
+
...(capture ? { capture } : {}),
|
|
837
|
+
body,
|
|
838
|
+
}));
|
|
839
|
+
setParserName(zigDeferStmtParser, 'zigDeferStmtParser');
|
|
840
|
+
// If statement (produces IfExpr with statement bodies)
|
|
841
|
+
const zigIfStmtParser = promiseCompose(createTupleParser([
|
|
842
|
+
zigKeyword('if'),
|
|
843
|
+
zigSkippableParser,
|
|
844
|
+
createExactSequenceParser('('),
|
|
845
|
+
zigSkippableParser,
|
|
846
|
+
zigExpressionParser,
|
|
847
|
+
zigSkippableParser,
|
|
848
|
+
createExactSequenceParser(')'),
|
|
849
|
+
zigSkippableParser,
|
|
850
|
+
createOptionalParser(zigCaptureParser),
|
|
851
|
+
zigStatementParser,
|
|
852
|
+
zigSkippableParser,
|
|
853
|
+
createOptionalParser(promiseCompose(createTupleParser([zigKeyword('else'), zigSkippableParser, createOptionalParser(zigCaptureParser), zigStatementParser]), ([, , capture, body]) => ({ capture, body }))),
|
|
854
|
+
]), ([, , , , condition, , , , capture, body, , elsePart]) => ({
|
|
855
|
+
type: 'IfExpr',
|
|
856
|
+
condition,
|
|
857
|
+
...(capture ? { capture } : {}),
|
|
858
|
+
body,
|
|
859
|
+
...(elsePart?.capture ? { elseCapture: elsePart.capture } : {}),
|
|
860
|
+
...(elsePart ? { elseBody: elsePart.body } : {}),
|
|
861
|
+
}));
|
|
862
|
+
setParserName(zigIfStmtParser, 'zigIfStmtParser');
|
|
863
|
+
// While statement
|
|
864
|
+
const zigWhileStmtParser = promiseCompose(createTupleParser([
|
|
865
|
+
createOptionalParser(promiseCompose(createTupleParser([zigIdentifierParser, zigSkippableParser, createExactSequenceParser(':'), zigSkippableParser]), ([label]) => label)),
|
|
866
|
+
createOptionalParser(promiseCompose(createTupleParser([zigKeyword('inline'), zigMandatorySkipParser]), () => true)),
|
|
867
|
+
zigKeyword('while'),
|
|
868
|
+
zigSkippableParser,
|
|
869
|
+
createExactSequenceParser('('),
|
|
870
|
+
zigSkippableParser,
|
|
871
|
+
zigExpressionParser,
|
|
872
|
+
zigSkippableParser,
|
|
873
|
+
createExactSequenceParser(')'),
|
|
874
|
+
zigSkippableParser,
|
|
875
|
+
createOptionalParser(zigCaptureParser),
|
|
876
|
+
createOptionalParser(promiseCompose(createTupleParser([createExactSequenceParser(':'), zigSkippableParser, createExactSequenceParser('('), zigSkippableParser, zigExpressionParser, zigSkippableParser, createExactSequenceParser(')'), zigSkippableParser]), ([, , , , expr]) => expr)),
|
|
877
|
+
zigStatementParser,
|
|
878
|
+
zigSkippableParser,
|
|
879
|
+
createOptionalParser(promiseCompose(createTupleParser([zigKeyword('else'), zigSkippableParser, zigStatementParser]), ([, , body]) => body)),
|
|
880
|
+
]), ([label, isInline, , , , , condition, , , , capture, continuation, body, , elseBody]) => ({
|
|
881
|
+
type: 'WhileStmt',
|
|
882
|
+
condition,
|
|
883
|
+
...(capture ? { capture } : {}),
|
|
884
|
+
...(continuation !== undefined ? { continuation } : {}),
|
|
885
|
+
body,
|
|
886
|
+
...(elseBody !== undefined ? { elseBody } : {}),
|
|
887
|
+
...(label ? { label } : {}),
|
|
888
|
+
isInline: isInline ?? false,
|
|
889
|
+
}));
|
|
890
|
+
setParserName(zigWhileStmtParser, 'zigWhileStmtParser');
|
|
891
|
+
// For statement
|
|
892
|
+
const zigForStmtParser = promiseCompose(createTupleParser([
|
|
893
|
+
createOptionalParser(promiseCompose(createTupleParser([zigIdentifierParser, zigSkippableParser, createExactSequenceParser(':'), zigSkippableParser]), ([label]) => label)),
|
|
894
|
+
createOptionalParser(promiseCompose(createTupleParser([zigKeyword('inline'), zigMandatorySkipParser]), () => true)),
|
|
895
|
+
zigKeyword('for'),
|
|
896
|
+
zigSkippableParser,
|
|
897
|
+
createExactSequenceParser('('),
|
|
898
|
+
zigSkippableParser,
|
|
899
|
+
createSeparatedNonEmptyArrayParser(promiseCompose(createTupleParser([zigExpressionParser, zigSkippableParser]), ([expr]) => expr), promiseCompose(createTupleParser([createExactSequenceParser(','), zigSkippableParser]), () => ',')),
|
|
900
|
+
createExactSequenceParser(')'),
|
|
901
|
+
zigSkippableParser,
|
|
902
|
+
createExactSequenceParser('|'),
|
|
903
|
+
zigSkippableParser,
|
|
904
|
+
createSeparatedNonEmptyArrayParser(promiseCompose(createTupleParser([
|
|
905
|
+
createOptionalParser(createExactSequenceParser('*')),
|
|
906
|
+
zigSkippableParser,
|
|
907
|
+
zigIdentifierParser,
|
|
908
|
+
zigSkippableParser,
|
|
909
|
+
]), ([star, , name]) => (star ? '*' + name : name)), promiseCompose(createTupleParser([createExactSequenceParser(','), zigSkippableParser]), () => ',')),
|
|
910
|
+
createExactSequenceParser('|'),
|
|
911
|
+
zigSkippableParser,
|
|
912
|
+
zigStatementParser,
|
|
913
|
+
zigSkippableParser,
|
|
914
|
+
createOptionalParser(promiseCompose(createTupleParser([zigKeyword('else'), zigSkippableParser, zigStatementParser]), ([, , body]) => body)),
|
|
915
|
+
]), ([label, isInline, , , , , inputs, , , , , captures, , , body, , elseBody]) => ({
|
|
916
|
+
type: 'ForStmt',
|
|
917
|
+
inputs,
|
|
918
|
+
captures,
|
|
919
|
+
body,
|
|
920
|
+
...(elseBody !== undefined ? { elseBody } : {}),
|
|
921
|
+
...(label ? { label } : {}),
|
|
922
|
+
isInline: isInline ?? false,
|
|
923
|
+
}));
|
|
924
|
+
setParserName(zigForStmtParser, 'zigForStmtParser');
|
|
925
|
+
// Block statement (produces BlockExpr)
|
|
926
|
+
const zigBlockStmtParser = promiseCompose(createTupleParser([
|
|
927
|
+
createOptionalParser(promiseCompose(createTupleParser([zigIdentifierParser, zigSkippableParser, createExactSequenceParser(':'), zigSkippableParser]), ([label]) => label)),
|
|
928
|
+
createExactSequenceParser('{'),
|
|
929
|
+
zigSkippableParser,
|
|
930
|
+
createArrayParser(promiseCompose(createTupleParser([zigStatementParser, zigSkippableParser]), ([stmt]) => stmt)),
|
|
931
|
+
createExactSequenceParser('}'),
|
|
932
|
+
]), ([label, , , statements]) => ({
|
|
933
|
+
type: 'BlockExpr',
|
|
934
|
+
...(label ? { label } : {}),
|
|
935
|
+
statements,
|
|
936
|
+
}));
|
|
937
|
+
setParserName(zigBlockStmtParser, 'zigBlockStmtParser');
|
|
938
|
+
// Assignment statement: expr op= expr;
|
|
939
|
+
const zigAssignStmtParser = promiseCompose(createTupleParser([
|
|
940
|
+
zigExpressionParser,
|
|
941
|
+
zigSkippableParser,
|
|
942
|
+
createDisjunctionParser([
|
|
943
|
+
promiseCompose(createExactSequenceParser('<<='), () => '<<='),
|
|
944
|
+
promiseCompose(createExactSequenceParser('>>='), () => '>>='),
|
|
945
|
+
promiseCompose(createExactSequenceParser('+='), () => '+='),
|
|
946
|
+
promiseCompose(createExactSequenceParser('-='), () => '-='),
|
|
947
|
+
promiseCompose(createExactSequenceParser('*='), () => '*='),
|
|
948
|
+
promiseCompose(createExactSequenceParser('/='), () => '/='),
|
|
949
|
+
promiseCompose(createExactSequenceParser('%='), () => '%='),
|
|
950
|
+
promiseCompose(createExactSequenceParser('&='), () => '&='),
|
|
951
|
+
promiseCompose(createExactSequenceParser('|='), () => '|='),
|
|
952
|
+
promiseCompose(createExactSequenceParser('^='), () => '^='),
|
|
953
|
+
promiseCompose(createExactSequenceParser('='), () => '='),
|
|
954
|
+
]),
|
|
955
|
+
zigSkippableParser,
|
|
956
|
+
zigExpressionParser,
|
|
957
|
+
zigSkippableParser,
|
|
958
|
+
createExactSequenceParser(';'),
|
|
959
|
+
]), ([target, , operator, , value]) => ({
|
|
960
|
+
type: 'AssignStmt',
|
|
961
|
+
target,
|
|
962
|
+
operator,
|
|
963
|
+
value,
|
|
964
|
+
}));
|
|
965
|
+
setParserName(zigAssignStmtParser, 'zigAssignStmtParser');
|
|
966
|
+
// Expression statement: expr; (returns the expression directly without wrapping)
|
|
967
|
+
const zigExprStmtParser = promiseCompose(createTupleParser([
|
|
968
|
+
zigExpressionParser,
|
|
969
|
+
zigSkippableParser,
|
|
970
|
+
createExactSequenceParser(';'),
|
|
971
|
+
]), ([expression]) => expression);
|
|
972
|
+
setParserName(zigExprStmtParser, 'zigExprStmtParser');
|
|
973
|
+
// Statement impl
|
|
974
|
+
const zigStatementParserImpl = createDisjunctionParser([
|
|
975
|
+
zigVarDeclStmtParser,
|
|
976
|
+
zigReturnStmtParser,
|
|
977
|
+
zigBreakStmtParser,
|
|
978
|
+
zigContinueStmtParser,
|
|
979
|
+
zigDeferStmtParser,
|
|
980
|
+
zigIfStmtParser,
|
|
981
|
+
zigWhileStmtParser,
|
|
982
|
+
zigForStmtParser,
|
|
983
|
+
zigBlockStmtParser,
|
|
984
|
+
zigAssignStmtParser,
|
|
985
|
+
zigExprStmtParser,
|
|
986
|
+
]);
|
|
987
|
+
setParserName(zigStatementParserImpl, 'zigStatementParserImpl');
|
|
988
|
+
// Top-level declarations
|
|
989
|
+
// Function parameter
|
|
990
|
+
const zigFnParamParser = promiseCompose(createTupleParser([
|
|
991
|
+
createOptionalParser(promiseCompose(createTupleParser([zigKeyword('comptime'), zigMandatorySkipParser]), () => true)),
|
|
992
|
+
createOptionalParser(promiseCompose(createTupleParser([zigKeyword('noalias'), zigMandatorySkipParser]), () => true)),
|
|
993
|
+
createOptionalParser(promiseCompose(createTupleParser([zigIdentifierParser, zigSkippableParser, createExactSequenceParser(':'), zigSkippableParser]), ([name]) => name)),
|
|
994
|
+
zigExpressionParser,
|
|
995
|
+
]), ([isComptime, isNoalias, name, typeExpr]) => ({
|
|
996
|
+
type: 'FnParam',
|
|
997
|
+
...(name ? { name } : {}),
|
|
998
|
+
isComptime: isComptime ?? false,
|
|
999
|
+
isNoalias: isNoalias ?? false,
|
|
1000
|
+
typeExpr,
|
|
1001
|
+
}));
|
|
1002
|
+
setParserName(zigFnParamParser, 'zigFnParamParser');
|
|
1003
|
+
// Function parameter list
|
|
1004
|
+
const zigFnParamListParser = promiseCompose(createTupleParser([
|
|
1005
|
+
createExactSequenceParser('('),
|
|
1006
|
+
zigSkippableParser,
|
|
1007
|
+
createOptionalParser(createSeparatedNonEmptyArrayParser(promiseCompose(createTupleParser([zigFnParamParser, zigSkippableParser]), ([param]) => param), promiseCompose(createTupleParser([createExactSequenceParser(','), zigSkippableParser]), () => ','))),
|
|
1008
|
+
createOptionalParser(createExactSequenceParser(',')),
|
|
1009
|
+
zigSkippableParser,
|
|
1010
|
+
createExactSequenceParser(')'),
|
|
1011
|
+
]), ([, , params]) => params ?? []);
|
|
1012
|
+
setParserName(zigFnParamListParser, 'zigFnParamListParser');
|
|
1013
|
+
// Function declaration
|
|
1014
|
+
const zigFnDeclParser = promiseCompose(createTupleParser([
|
|
1015
|
+
createOptionalParser(promiseCompose(createTupleParser([zigKeyword('pub'), zigMandatorySkipParser]), () => true)),
|
|
1016
|
+
createOptionalParser(promiseCompose(createTupleParser([zigKeyword('extern'), zigMandatorySkipParser]), () => true)),
|
|
1017
|
+
createOptionalParser(promiseCompose(createTupleParser([zigKeyword('export'), zigMandatorySkipParser]), () => true)),
|
|
1018
|
+
createOptionalParser(promiseCompose(createTupleParser([zigKeyword('inline'), zigMandatorySkipParser]), () => true)),
|
|
1019
|
+
createOptionalParser(promiseCompose(createTupleParser([zigKeyword('comptime'), zigMandatorySkipParser]), () => true)),
|
|
1020
|
+
zigKeyword('fn'),
|
|
1021
|
+
zigMandatorySkipParser,
|
|
1022
|
+
zigIdentifierParser,
|
|
1023
|
+
zigSkippableParser,
|
|
1024
|
+
zigFnParamListParser,
|
|
1025
|
+
zigSkippableParser,
|
|
1026
|
+
zigTypeExprParser,
|
|
1027
|
+
zigSkippableParser,
|
|
1028
|
+
createDisjunctionParser([
|
|
1029
|
+
zigBlockExprParser,
|
|
1030
|
+
promiseCompose(createExactSequenceParser(';'), () => undefined),
|
|
1031
|
+
]),
|
|
1032
|
+
]), ([isPub, isExtern, isExport, isInline, isComptime, , , name, , params, , returnType, , body]) => ({
|
|
1033
|
+
type: 'FnDecl',
|
|
1034
|
+
isPub: isPub ?? false,
|
|
1035
|
+
isExtern: isExtern ?? false,
|
|
1036
|
+
isExport: isExport ?? false,
|
|
1037
|
+
isInline: isInline ?? false,
|
|
1038
|
+
isComptime: isComptime ?? false,
|
|
1039
|
+
name,
|
|
1040
|
+
params,
|
|
1041
|
+
returnType,
|
|
1042
|
+
...(body !== undefined ? { body } : {}),
|
|
1043
|
+
}));
|
|
1044
|
+
setParserName(zigFnDeclParser, 'zigFnDeclParser');
|
|
1045
|
+
// Top-level variable declaration
|
|
1046
|
+
const zigVarDeclParser = promiseCompose(createTupleParser([
|
|
1047
|
+
createOptionalParser(promiseCompose(createTupleParser([zigKeyword('pub'), zigMandatorySkipParser]), () => true)),
|
|
1048
|
+
createOptionalParser(promiseCompose(createTupleParser([zigKeyword('extern'), zigMandatorySkipParser]), () => true)),
|
|
1049
|
+
createOptionalParser(promiseCompose(createTupleParser([zigKeyword('comptime'), zigMandatorySkipParser]), () => true)),
|
|
1050
|
+
createOptionalParser(promiseCompose(createTupleParser([zigKeyword('threadlocal'), zigMandatorySkipParser]), () => true)),
|
|
1051
|
+
createDisjunctionParser([
|
|
1052
|
+
promiseCompose(zigKeyword('const'), () => true),
|
|
1053
|
+
promiseCompose(zigKeyword('var'), () => false),
|
|
1054
|
+
]),
|
|
1055
|
+
zigMandatorySkipParser,
|
|
1056
|
+
zigIdentifierParser,
|
|
1057
|
+
zigSkippableParser,
|
|
1058
|
+
createOptionalParser(promiseCompose(createTupleParser([createExactSequenceParser(':'), zigSkippableParser, zigExpressionParser, zigSkippableParser]), ([, , type_]) => type_)),
|
|
1059
|
+
createOptionalParser(promiseCompose(createTupleParser([zigKeyword('align'), zigSkippableParser, createExactSequenceParser('('), zigSkippableParser, zigExpressionParser, zigSkippableParser, createExactSequenceParser(')'), zigSkippableParser]), ([, , , , expr]) => expr)),
|
|
1060
|
+
createOptionalParser(promiseCompose(createTupleParser([createExactSequenceParser('='), zigSkippableParser, zigExpressionParser, zigSkippableParser]), ([, , init]) => init)),
|
|
1061
|
+
createExactSequenceParser(';'),
|
|
1062
|
+
]), ([isPub, isExtern, isComptime, isThreadlocal, isConst, , name, , typeExpr, alignExpr, initExpr]) => ({
|
|
1063
|
+
type: 'VarDecl',
|
|
1064
|
+
isConst,
|
|
1065
|
+
isPub: isPub ?? false,
|
|
1066
|
+
isExtern: isExtern ?? false,
|
|
1067
|
+
isComptime: isComptime ?? false,
|
|
1068
|
+
isThreadlocal: isThreadlocal ?? false,
|
|
1069
|
+
name,
|
|
1070
|
+
...(typeExpr !== undefined ? { typeExpr } : {}),
|
|
1071
|
+
...(alignExpr !== undefined ? { alignExpr } : {}),
|
|
1072
|
+
...(initExpr !== undefined ? { initExpr } : {}),
|
|
1073
|
+
}));
|
|
1074
|
+
setParserName(zigVarDeclParser, 'zigVarDeclParser');
|
|
1075
|
+
// Test declaration: test ["name"] { ... }
|
|
1076
|
+
const zigTestDeclParser = promiseCompose(createTupleParser([
|
|
1077
|
+
zigKeyword('test'),
|
|
1078
|
+
zigSkippableParser,
|
|
1079
|
+
createOptionalParser(promiseCompose(createTupleParser([zigStringLiteralParser, zigSkippableParser]), ([str]) => str.value)),
|
|
1080
|
+
zigBlockExprParser,
|
|
1081
|
+
]), ([, , name, body]) => ({
|
|
1082
|
+
type: 'TestDecl',
|
|
1083
|
+
...(name ? { name } : {}),
|
|
1084
|
+
body,
|
|
1085
|
+
}));
|
|
1086
|
+
setParserName(zigTestDeclParser, 'zigTestDeclParser');
|
|
1087
|
+
// Usingnamespace declaration: [pub] usingnamespace expr;
|
|
1088
|
+
const zigUsingnamespaceDeclParser = promiseCompose(createTupleParser([
|
|
1089
|
+
createOptionalParser(promiseCompose(createTupleParser([zigKeyword('pub'), zigMandatorySkipParser]), () => true)),
|
|
1090
|
+
zigKeyword('usingnamespace'),
|
|
1091
|
+
zigMandatorySkipParser,
|
|
1092
|
+
zigExpressionParser,
|
|
1093
|
+
zigSkippableParser,
|
|
1094
|
+
createExactSequenceParser(';'),
|
|
1095
|
+
]), ([isPub, , , expression]) => ({
|
|
1096
|
+
type: 'UsingnamespaceDecl',
|
|
1097
|
+
isPub: isPub ?? false,
|
|
1098
|
+
expression,
|
|
1099
|
+
}));
|
|
1100
|
+
setParserName(zigUsingnamespaceDeclParser, 'zigUsingnamespaceDeclParser');
|
|
1101
|
+
// Container member (top-level declaration)
|
|
1102
|
+
const zigContainerMemberParser = createDisjunctionParser([
|
|
1103
|
+
zigFnDeclParser,
|
|
1104
|
+
zigVarDeclParser,
|
|
1105
|
+
zigTestDeclParser,
|
|
1106
|
+
zigUsingnamespaceDeclParser,
|
|
1107
|
+
]);
|
|
1108
|
+
setParserName(zigContainerMemberParser, 'zigContainerMemberParser');
|
|
1109
|
+
// Root: source file
|
|
1110
|
+
export const zigSourceFileParser = createObjectParser({
|
|
1111
|
+
_ws1: zigSkippableParser,
|
|
1112
|
+
type: 'Root',
|
|
1113
|
+
members: createArrayParser(promiseCompose(createTupleParser([
|
|
1114
|
+
zigContainerMemberParser,
|
|
1115
|
+
zigSkippableParser,
|
|
1116
|
+
]), ([member]) => member)),
|
|
1117
|
+
_ws2: zigSkippableParser,
|
|
1118
|
+
});
|
|
1119
|
+
setParserName(zigSourceFileParser, 'zigSourceFileParser');
|