@scinorandex/sparse 0.0.1 → 0.0.3

package/example/complicated/grammar.txt

@@ -0,0 +1,37 @@
+<S>: <PROGRAM>;
+<PROGRAM>: (<FUNCTION_DEFINITION_LIST: functions>)? [EOF];
+
+<FUNCTION_DEFINITION_LIST>: <FUNCTION_DEFINITION: function> (<FUNCTION_DEFINITION_LIST: rest>)?;
+<FUNCTION_DEFINITION>: [FUNCTION] [IDENTIFIER] [LPAREN] (<PARAMETER_LIST: parameters>)? [RPAREN] [LBRACE] (<STATEMENT_LIST: statements>)? [RBRACE];
+<PARAMETER_LIST>: [IDENTIFIER: parameter_name] ([COMMA] <PARAMETER_LIST: rest>)?;
+
+<STATEMENT_LIST>: <STATEMENT: stmt> (<STATEMENT_LIST: rest>)?;
+<BLOCK_STATEMENT>: [LBRACE] (<STATEMENT_LIST: stmt_list>) [RBRACE];
+
+<STATEMENT>: <IF_STATEMENT | WHILE_LOOP | EXPRESSION_STATEMENT | BLOCK_STATEMENT | VARIABLE_DEFINITION: stmt>;
+
+<VARIABLE_DEFINITION>: [VAR] [IDENTIFIER: identifier] [EQUALS] <EXPRESSION: expr> [SEMICOLON];
+<IF_STATEMENT>: [IF] [LPAREN] (<EXPRESSION: condition>)? [RPAREN] <STATEMENT: stmt> ([ELSE] <STATEMENT: else_stmt>)?;
+<WHILE_LOOP>: [WHILE] [IDENTIFIER: loop_name] [LPAREN] <EXPRESSION: condition> [RPAREN] <STATEMENT: stmt>;
+<EXPRESSION_STATEMENT>: <EXPRESSION: expr> [SEMICOLON];
+
+<EXPRESSION>: <ASSIGNMENT_EXPRESSION: expr>;
+<ASSIGNMENT_EXPRESSION>: ([IDENTIFIER: identifier] [EQUALS])? <EQUALITY_EXPRESSION: expr>;
+<EQUALITY_EXPRESSION>: <COMPARISON_EXPRESSION: left> ([DOUBLE_EQUALS | NOT_EQUALS: op] <COMPARISON_EXPRESSION: right>)?;
+
+<COMPARISON_EXPRESSION>: <BITWISE_OR_EXPRESSION: left> ([LESS_THAN | GREATER_THAN | LESS_THAN_EQUALS | GREATER_THAN_EQUALS: op] <BITWISE_OR_EXPRESSION: right>)?;
+<BITWISE_OR_EXPRESSION>: <BITWISE_AND_EXPRESSION: left> ([PIPE | TILDE_PIPE: op] <BITWISE_OR_EXPRESSION: right>)?;
+<BITWISE_AND_EXPRESSION>: <BITWISE_XOR_EXPRESSION: left> ([AMPERSAND | TILDE_AMPERSAND: op] <BITWISE_AND_EXPRESSION: right>)?;
+<BITWISE_XOR_EXPRESSION>: <TERM_EXPRESSION: left> ([CARAT | TILDE_CARAT: op] <BITWISE_XOR_EXPRESSION: right>)?;
+
+<TERM_EXPRESSION>: <UNARY_EXPR: left> ([PLUS | MINUS: op] <TERM_EXPRESSION: right>)?;
+<UNARY_EXPR>: ([LEFTSHIFT | RIGHTSHIFT | TILDE: op])? <ENDPOINT: expr>; 
+
+<GROUPING_EXPRESSION>: [LPAREN] <EXPRESSION: expr> [RPAREN];
+<FUNCTION_CALL_EXPRESSION>: [IDENTIFIER: function_name] [LPAREN] (<ARGUMENT_LIST: arguments>)? [RPAREN];
+<ARGUMENT_LIST>: <EXPRESSION: arg> ([COMMA] <ARGUMENT_LIST: rest>)?;
+
+<ENDPOINT>: [IDENTIFIER: identifier];
+<ENDPOINT>: [NUMBER: number];
+<ENDPOINT>: <GROUPING_EXPRESSION: expr>;
+<ENDPOINT>: <FUNCTION_CALL_EXPRESSION: expr>;

package/example/math/example.ts

@@ -39,10 +39,7 @@ async function main() {
   const states = buildStates(await fs.readFile("./example/math/table.txt", "utf8"));
   const parserGenerator = new Sparse<TokenType, Metadata, Node>({ productions, states, toStringifiedTokenType });
 
-  const parser = parserGenerator.generate(lexer, {
-    reducer: (input, productionIndex) => new Node(input),
-  });
-
+  const parser = parserGenerator.generate(lexer, { reducer: (_, { input }) => new Node(input) });
   console.log(parser.parse().result!.toObject());
 }
 

package/example/selfhosted/01-meta-grammar.txt

@@ -0,0 +1,10 @@
+<S>: <PROGRAM>;
+<PROGRAM: program>: (<PRODUCTIONS: productions>)? [EOF];
+<PRODUCTIONS: productions>: <PRODUCTION: production> (<PRODUCTIONS: rest>)?;
+<PRODUCTION: production>: [L_ANGLE] [IDENTIFIER: production_name] ([COLON] [IDENTIFIER: uuid])? [R_ANGLE] [COLON] <TOKENS: tokens> [SEMICOLON];
+<TOKENS: tokens>: <TOKEN: token> (<TOKENS: rest>)?;
+<TOKEN: token>: <VARIABLE | TERMINAL: token>;
+<TOKEN: grouped_token>: [L_PAREN] <TOKENS: tokens> [R_PAREN] [QUESTION_MARK: question_mark];
+<VARIABLE: variable>: [L_ANGLE] <INSIDE: inside> ([COLON] [IDENTIFIER: token_name])? [R_ANGLE];
+<TERMINAL: terminal>: [L_BRACKET] <INSIDE: inside> ([COLON] [IDENTIFIER: token_name])? [R_BRACKET];
+<INSIDE: inside>: [IDENTIFIER: identifier] ([PIPE] <INSIDE: rest>)?;

package/example/selfhosted/02-table-grammar.txt

@@ -0,0 +1,6 @@
+<S>: <PROGRAM>;
+<PROGRAM: program>: <STATES: states> [EOF];
+<STATES: states>: <ITEMS: state> (<STATES: rest>)?;
+<ITEMS: items>: <ITEM: item> ([COMMA] <ITEMS: rest>)?;
+<ITEM: terminal>: [L_BRACKET] [IDENTIFIER: name] [R_BRACKET] [EQUALS] [IDENTIFIER: action];
+<ITEM: variable>: [L_ANGLE] [IDENTIFIER: name] [R_ANGLE] [EQUALS] [NUMBER: state];