@scinorandex/sparse 0.0.1

package/dist/index.js

@@ -0,0 +1,15 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.buildStates = exports.LR1ParserGraveError = exports.Sparse = exports.tryBuildProductions = exports.buildProductions = exports.generateStates = exports.GeneratorResult = void 0;
+var generator_1 = require("./generator");
+Object.defineProperty(exports, "GeneratorResult", { enumerable: true, get: function () { return generator_1.GeneratorResult; } });
+Object.defineProperty(exports, "generateStates", { enumerable: true, get: function () { return generator_1.generateStates; } });
+var grammarParser_1 = require("./grammarParser");
+Object.defineProperty(exports, "buildProductions", { enumerable: true, get: function () { return grammarParser_1.buildProductions; } });
+Object.defineProperty(exports, "tryBuildProductions", { enumerable: true, get: function () { return grammarParser_1.tryBuildProductions; } });
+var parser_1 = require("./parser");
+Object.defineProperty(exports, "Sparse", { enumerable: true, get: function () { return parser_1.Sparse; } });
+Object.defineProperty(exports, "LR1ParserGraveError", { enumerable: true, get: function () { return parser_1.LR1ParserGraveError; } });
+var tableParser_1 = require("./tableParser");
+Object.defineProperty(exports, "buildStates", { enumerable: true, get: function () { return tableParser_1.buildStates; } });
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";;;AAAA,yCAA8D;AAArD,4GAAA,eAAe,OAAA;AAAE,2GAAA,cAAc,OAAA;AACxC,iDAAoF;AAA/D,iHAAA,gBAAgB,OAAA;AAAE,oHAAA,mBAAmB,OAAA;AAE1D,mCAOkB;AALhB,gGAAA,MAAM,OAAA;AACN,6GAAA,mBAAmB,OAAA;AAKrB,6CAA4C;AAAnC,0GAAA,WAAW,OAAA"}

package/dist/parser.d.ts

@@ -0,0 +1,102 @@
+import { Slex, Token } from "@scinorandex/slex";
+import { Production } from "./grammarParser";
+import { Stack } from "./utils/Stack";
+import { Result } from "./utils/Result";
+export type TableAction = {
+    type: "shift" | "reduce" | "goto";
+    value: number;
+};
+export declare class TableState {
+    readonly actions: Map<string, TableAction>;
+    constructor();
+    getTerminalAction(terminal: string): TableAction | undefined;
+    getVariableAction(variable: string): TableAction | undefined;
+}
+export type LR1StackSymbol<TokenType, Metadata, Node> = {
+    type: "token";
+    token: Token<TokenType, Metadata>;
+} | {
+    type: "node";
+    node: Node;
+};
+export declare class Sparse<TokenType, Metadata, Node> {
+    readonly options: {
+        productions: Production[];
+        states: TableState[];
+        toStringifiedTokenType: (tokenType: TokenType) => string;
+    };
+    constructor(options: {
+        productions: Production[];
+        states: TableState[];
+        toStringifiedTokenType: (tokenType: TokenType) => string;
+    });
+    static tryFromProductions<TokenType, Metadata, Node>(options: {
+        productions: Production[];
+        toStringifiedTokenType: (tokenType: TokenType) => string;
+    }): Result<Sparse<TokenType, Metadata, Node>>;
+    static fromProductions<TokenType, Metadata, Node>(options: {
+        productions: Production[];
+        toStringifiedTokenType: (tokenType: TokenType) => string;
+    }): Sparse<TokenType, Metadata, Node>;
+    generate(lexer: ReturnType<Slex<TokenType, Metadata>["generate"]>, options: {
+        reducer: (input: LR1StackSymbol<TokenType, Metadata, Node>[], productionIndex: number) => Node;
+        recover?: ParserRecoveryFunction<TokenType, Metadata, Node>;
+    }): LR1Parser<TokenType, Metadata, Node>;
+}
+export type ParserRecoveryFunction<TokenType, Metadata, Node> = (options: {
+    lexer: ReturnType<Slex<TokenType, Metadata>["generate"]>;
+    statesStack: Stack<number>;
+    symbolsStack: Stack<LR1StackSymbol<TokenType, Metadata, Node>>;
+    isSafe: () => boolean;
+    addError: (reason: string) => void;
+    crash: (reason: string) => {
+        success: false;
+        reason: string;
+    };
+    finish: (options?: {
+        newToken: Token<TokenType, Metadata>;
+    }) => {
+        success: true;
+        token?: Token<TokenType, Metadata>;
+    };
+    states: TableState[];
+}) => {
+    success: true;
+    token?: Token<TokenType, Metadata>;
+} | {
+    success: false;
+    reason: string;
+};
+export type ParserError<TokenType, Metadata> = {
+    token: Token<TokenType, Metadata>;
+    message: string;
+};
+export type ParserResult<TokenType, Metadata, Node> = {
+    result: Node | null;
+    errors: ParserError<TokenType, Metadata>[];
+};
+declare class LR1Parser<TokenType, Metadata, Node> {
+    readonly options: {
+        productions: Production[];
+        states: TableState[];
+        toStringifiedTokenType: (tokenType: TokenType) => string;
+    };
+    readonly reducer: (input: LR1StackSymbol<TokenType, Metadata, Node>[], productionIndex: number) => Node;
+    readonly recover: ParserRecoveryFunction<TokenType, Metadata, Node> | null;
+    readonly lexer: ReturnType<Slex<TokenType, Metadata>["generate"]>;
+    statesStack: Stack<number>;
+    symbolsStack: Stack<LR1StackSymbol<TokenType, Metadata, Node>>;
+    exceptions: ParserError<TokenType, Metadata>[];
+    constructor(options: {
+        productions: Production[];
+        states: TableState[];
+        toStringifiedTokenType: (tokenType: TokenType) => string;
+    }, reducer: (input: LR1StackSymbol<TokenType, Metadata, Node>[], productionIndex: number) => Node, recover: ParserRecoveryFunction<TokenType, Metadata, Node> | null, lexer: ReturnType<Slex<TokenType, Metadata>["generate"]>);
+    parse(): ParserResult<TokenType, Metadata, Node>;
+}
+export declare class LR1ParserGraveError<TokenType, Metadata> extends Error {
+    readonly reason: string;
+    readonly currentToken: Token<TokenType, Metadata>;
+    constructor(reason: string, currentToken: Token<TokenType, Metadata>, err?: Error);
+}
+export {};

package/dist/parser.js

@@ -0,0 +1,125 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.LR1ParserGraveError = exports.Sparse = exports.TableState = void 0;
+const generator_1 = require("./generator");
+const Stack_1 = require("./utils/Stack");
+class TableState {
+    constructor() {
+        this.actions = new Map();
+    }
+    getTerminalAction(terminal) {
+        return this.actions.get(`[${terminal}]`);
+    }
+    getVariableAction(variable) {
+        return this.actions.get(variable);
+    }
+}
+exports.TableState = TableState;
+class Sparse {
+    constructor(options) {
+        this.options = options;
+    }
+    static tryFromProductions(options) {
+        const statesResult = (0, generator_1.generateStates)(options.productions);
+        if (statesResult.success === false)
+            return statesResult;
+        const states = statesResult.value;
+        const sparse = new Sparse({
+            productions: options.productions,
+            states: states.toStates(),
+            toStringifiedTokenType: options.toStringifiedTokenType,
+        });
+        return { success: true, value: sparse };
+    }
+    static fromProductions(options) {
+        const result = Sparse.tryFromProductions(options);
+        if (result.success === false)
+            throw new Error(`Encountered error "${result.reason}" at ${result.token.line}:${result.token.column}`);
+        return result.value;
+    }
+    generate(lexer, options) {
+        var _a;
+        return new LR1Parser(this.options, options.reducer, (_a = options.recover) !== null && _a !== void 0 ? _a : null, lexer);
+    }
+}
+exports.Sparse = Sparse;
+class LR1Parser {
+    constructor(options, reducer, recover, lexer) {
+        this.options = options;
+        this.reducer = reducer;
+        this.recover = recover;
+        this.lexer = lexer;
+        this.statesStack = new Stack_1.Stack([0]);
+        this.symbolsStack = new Stack_1.Stack();
+        this.exceptions = [];
+    }
+    parse() {
+        var _a;
+        const { productions, states, toStringifiedTokenType } = this.options;
+        while (true) {
+            let currentState = this.statesStack.peek();
+            let token = this.lexer.peekNextToken();
+            let action = states[currentState].getTerminalAction(toStringifiedTokenType(token.type));
+            if (action == null) {
+                if (this.recover === null)
+                    throw new LR1ParserGraveError(`Invalid syntax. Expected ${[...states[currentState].actions.keys()].join(",")} but got ${toStringifiedTokenType(token.type)}`, token);
+                const recoveryResult = this.recover({
+                    lexer: this.lexer,
+                    states,
+                    statesStack: this.statesStack,
+                    symbolsStack: this.symbolsStack,
+                    addError: (reason) => this.exceptions.push({ message: reason, token: this.lexer.peekNextToken() }),
+                    crash: (reason) => ({ success: false, reason }),
+                    finish: (options) => ({ success: true, token: options === null || options === void 0 ? void 0 : options.newToken }),
+                    isSafe: () => states[this.statesStack.peek()].actions.has(`[${toStringifiedTokenType(this.lexer.peekNextToken().type)}]`),
+                });
+                if (recoveryResult.success === false)
+                    throw new LR1ParserGraveError(recoveryResult.reason, token);
+                token = (_a = recoveryResult.token) !== null && _a !== void 0 ? _a : this.lexer.peekNextToken();
+                currentState = this.statesStack.peek();
+                action = states[currentState].getTerminalAction(toStringifiedTokenType(token.type));
+            }
+            const fixedAction = action;
+            if (fixedAction.type === "shift") {
+                token = this.lexer.getNextToken();
+                this.statesStack.push(fixedAction.value);
+                this.symbolsStack.push({ type: "token", token: token });
+            }
+            else if (fixedAction.type === "reduce") {
+                if (fixedAction.value === 0)
+                    break;
+                const production = productions[fixedAction.value];
+                const popped = [];
+                for (let i = 0; i < production.rhs.length; i++) {
+                    popped.unshift(this.symbolsStack.pop());
+                    this.statesStack.pop();
+                }
+                try {
+                    this.symbolsStack.push({ type: "node", node: this.reducer(popped, fixedAction.value) });
+                }
+                catch (err) {
+                    const input = JSON.stringify(popped, null, 2);
+                    throw new LR1ParserGraveError(`Error while performing reduction for production: ${fixedAction.value}. Reduction input: ${input}`, token);
+                }
+                const topNode = this.statesStack.peek();
+                const gotoAction = states[topNode].getVariableAction(production.lhs.lexeme);
+                if (gotoAction == undefined)
+                    throw new LR1ParserGraveError(`No GOTO action for for state: ${topNode} and production: ${production.lhs}. Actions: Reduce by production ${fixedAction.value}`, token);
+                else if (gotoAction.type !== "goto")
+                    throw new LR1ParserGraveError(`Expected GOTO action for state: ${topNode} and production: ${production.lhs}. Actions: Reduce by production ${fixedAction.value}. Received: ${gotoAction.type}`, token);
+                this.statesStack.push(gotoAction.value);
+            }
+        }
+        const top = this.symbolsStack.peek();
+        return { result: top.type === "node" ? top.node : null, errors: this.exceptions };
+    }
+}
+class LR1ParserGraveError extends Error {
+    constructor(reason, currentToken, err) {
+        super(reason);
+        this.reason = reason;
+        this.currentToken = currentToken;
+    }
+}
+exports.LR1ParserGraveError = LR1ParserGraveError;
+//# sourceMappingURL=parser.js.map

package/dist/parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.js","sourceRoot":"","sources":["../src/parser.ts"],"names":[],"mappings":";;;AACA,2CAA6C;AAE7C,yCAAsC;AAKtC,MAAa,UAAU;IAGrB;QACE,IAAI,CAAC,OAAO,GAAG,IAAI,GAAG,EAAE,CAAC;IAC3B,CAAC;IAEM,iBAAiB,CAAC,QAAgB;QACvC,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,QAAQ,GAAG,CAAC,CAAC;IAC3C,CAAC;IAEM,iBAAiB,CAAC,QAAgB;QACvC,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACpC,CAAC;CACF;AAdD,gCAcC;AAMD,MAAa,MAAM;IACjB,YACkB,OAIf;QAJe,YAAO,GAAP,OAAO,CAItB;IACA,CAAC;IAEG,MAAM,CAAC,kBAAkB,CAA4B,OAG3D;QACC,MAAM,YAAY,GAAG,IAAA,0BAAc,EAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACzD,IAAI,YAAY,CAAC,OAAO,KAAK,KAAK;YAAE,OAAO,YAAY,CAAC;QACxD,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC;QAElC,MAAM,MAAM,GAAG,IAAI,MAAM,CAA4B;YACnD,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,MAAM,EAAE,MAAM,CAAC,QAAQ,EAAE;YACzB,sBAAsB,EAAE,OAAO,CAAC,sBAAsB;SACvD,CAAC,CAAC;QAEH,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAC1C,CAAC;IAEM,MAAM,CAAC,eAAe,CAA4B,OAGxD;QACC,MAAM,MAAM,GAAG,MAAM,CAAC,kBAAkB,CAA4B,OAAO,CAAC,CAAC;QAC7E,IAAI,MAAM,CAAC,OAAO,KAAK,KAAK;YAC1B,MAAM,IAAI,KAAK,CAAC,sBAAsB,MAAM,CAAC,MAAM,QAAQ,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QACzG,OAAO,MAAM,CAAC,KAAK,CAAC;IACtB,CAAC;IAEM,QAAQ,CACb,KAAwD,EACxD,OAGC;;QAED,OAAO,IAAI,SAAS,CAA4B,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,MAAA,OAAO,CAAC,OAAO,mCAAI,IAAI,EAAE,KAAK,CAAC,CAAC;IACjH,CAAC;CACF;AA7CD,wBA6CC;AAsBD,MAAM,SAAS;IAKb,YACkB,OAIf,EACe,OAA8F,EAC9F,OAAiE,EACjE,KAAwD;QAPxD,YAAO,GAAP,OAAO,CAItB;QACe,YAAO,GAAP,OAAO,CAAuF;QAC9F,YAAO,GAAP,OAAO,CAA0D;QACjE,UAAK,GAAL,KAAK,CAAmD;QAZ1E,gBAAW,GAAkB,IAAI,aAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5C,iBAAY,GAAqD,IAAI,aAAK,EAAE,CAAC;QAC7E,eAAU,GAAuC,EAAE,CAAC;IAWjD,CAAC;IAEG,KAAK;;QACV,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,sBAAsB,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC;QAErE,OAAO,IAAI,EAAE,CAAC;YACZ,IAAI,YAAY,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;YAC3C,IAAI,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;YACvC,IAAI,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,iBAAiB,CAAC,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;YAExF,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;gBACnB,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI;oBACvB,MAAM,IAAI,mBAAmB,CAC3B,4BAA4B,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CACvE,GAAG,CACJ,YAAY,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EACjD,KAAK,CACN,CAAC;gBAEJ,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,CAAC;oBAClC,KAAK,EAAE,IAAI,CAAC,KAAK;oBACjB,MAAM;oBACN,WAAW,EAAE,IAAI,CAAC,WAAW;oBAC7B,YAAY,EAAE,IAAI,CAAC,YAAY;oBAC/B,QAAQ,EAAE,CAAC,MAAc,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,EAAE,CAAC;oBAC1G,KAAK,EAAE,CAAC,MAAc,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;oBACvD,MAAM,EAAE,CAAC,OAAkD,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,QAAQ,EAAE,CAAC;oBAC7G,MAAM,EAAE,GAAG,EAAE,CACX,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;iBAC9G,CAAC,CAAC;gBAEH,IAAI,cAAc,CAAC,OAAO,KAAK,KAAK;oBAAE,MAAM,IAAI,mBAAmB,CAAC,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;gBAElG,KAAK,GAAG,MAAA,cAAc,CAAC,KAAK,mCAAI,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;gBAC3D,YAAY,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;gBACvC,MAAM,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC,iBAAiB,CAAC,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;YACtF,CAAC;YAED,MAAM,WAAW,GAAG,MAAqB,CAAC;YAC1C,IAAI,WAAW,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAEjC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC;gBAClC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;gBACzC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;YAC1D,CAAC;iBAGI,IAAI,WAAW,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACvC,IAAI,WAAW,CAAC,KAAK,KAAK,CAAC;oBAAE,MAAM;gBACnC,MAAM,UAAU,GAAG,WAAW,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;gBAGlD,MAAM,MAAM,GAAgD,EAAE,CAAC;gBAC/D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC/C,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC;oBACxC,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC;gBACzB,CAAC;gBAGD,IAAI,CAAC;oBACH,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBAC1F,CAAC;gBAAC,OAAO,GAAG,EAAE,CAAC;oBACb,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;oBAC9C,MAAM,IAAI,mBAAmB,CAC3B,oDAAoD,WAAW,CAAC,KAAK,sBAAsB,KAAK,EAAE,EAClG,KAAK,CACN,CAAC;gBACJ,CAAC;gBAGD,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;gBACxC,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,iBAAiB,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBAE5E,IAAI,UAAU,IAAI,SAAS;oBACzB,MAAM,IAAI,mBAAmB,CAC3B,iCAAiC,OAAO,oBAAoB,UAAU,CAAC,GAAG,mCAAmC,WAAW,CAAC,KAAK,EAAE,EAChI,KAAK,CACN,CAAC;qBACC,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM;oBACjC,MAAM,IAAI,mBAAmB,CAC3B,mCAAmC,OAAO,oBAAoB,UAAU,CAAC,GAAG,mCAAmC,WAAW,CAAC,KAAK,eAAe,UAAU,CAAC,IAAI,EAAE,EAChK,KAAK,CACN,CAAC;gBAEJ,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAC1C,CAAC;QACH,CAAC;QAED,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC;QACrC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;IACpF,CAAC;CACF;AAED,MAAa,mBAAyC,SAAQ,KAAK;IACjE,YAA4B,MAAc,EAAkB,YAAwC,EAAE,GAAW;QAC/G,KAAK,CAAC,MAAM,CAAC,CAAC;QADY,WAAM,GAAN,MAAM,CAAQ;QAAkB,iBAAY,GAAZ,YAAY,CAA4B;IAEpG,CAAC;CACF;AAJD,kDAIC"}

package/dist/tableParser.d.ts

@@ -0,0 +1,16 @@
+import { Slex } from "@scinorandex/slex";
+import { TableState } from "./parser";
+type TableTokenMetadata = {};
+export declare enum TableTokenType {
+    PRODUCTION_NAME = 0,
+    TOKEN_NAME = 1,
+    COMMA = 2,
+    EQUALS = 3,
+    SHIFT_ACTION = 4,
+    REDUCE_ACTION = 5,
+    GOTO_ACTION = 6,
+    EOF = 7
+}
+export declare const tableLexerGenerator: Slex<TableTokenType, TableTokenMetadata>;
+export declare const buildStates: (grammar: string) => TableState[];
+export {};

package/dist/tableParser.js

@@ -0,0 +1,59 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.buildStates = exports.tableLexerGenerator = exports.TableTokenType = void 0;
+const slex_1 = require("@scinorandex/slex");
+const parser_1 = require("./parser");
+var TableTokenType;
+(function (TableTokenType) {
+    TableTokenType[TableTokenType["PRODUCTION_NAME"] = 0] = "PRODUCTION_NAME";
+    TableTokenType[TableTokenType["TOKEN_NAME"] = 1] = "TOKEN_NAME";
+    TableTokenType[TableTokenType["COMMA"] = 2] = "COMMA";
+    TableTokenType[TableTokenType["EQUALS"] = 3] = "EQUALS";
+    TableTokenType[TableTokenType["SHIFT_ACTION"] = 4] = "SHIFT_ACTION";
+    TableTokenType[TableTokenType["REDUCE_ACTION"] = 5] = "REDUCE_ACTION";
+    TableTokenType[TableTokenType["GOTO_ACTION"] = 6] = "GOTO_ACTION";
+    TableTokenType[TableTokenType["EOF"] = 7] = "EOF";
+})(TableTokenType || (exports.TableTokenType = TableTokenType = {}));
+exports.tableLexerGenerator = new slex_1.Slex({
+    EOF_TYPE: TableTokenType.EOF,
+    isHigherPrecedence: () => false,
+});
+exports.tableLexerGenerator.addRule("lowercase", "a | b | c | d | e | f | g | h | i | j | k | l | m | n | o | p | q | r | s | t | u | v | w | x | y | z");
+exports.tableLexerGenerator.addRule("uppercase", "A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z");
+exports.tableLexerGenerator.addRule("letter", "${lowercase} | ${uppercase}");
+exports.tableLexerGenerator.addRule("digit", "0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9");
+exports.tableLexerGenerator.addRule("alphanumeric", "${letter} | ${digit}");
+exports.tableLexerGenerator.addRule("identifier", "(${letter} | ${digit} | $_)*");
+exports.tableLexerGenerator.addRule("comma", "$,", TableTokenType.COMMA);
+exports.tableLexerGenerator.addRule("equals", "$=", TableTokenType.EQUALS);
+exports.tableLexerGenerator.addRule("production_name", "$< ${identifier} $>", TableTokenType.PRODUCTION_NAME);
+exports.tableLexerGenerator.addRule("token_name", "$[ ${identifier} $]", TableTokenType.TOKEN_NAME);
+exports.tableLexerGenerator.addRule("shift_action", "s(${digit})*", TableTokenType.SHIFT_ACTION);
+exports.tableLexerGenerator.addRule("reduce_action", "r(${digit})*", TableTokenType.REDUCE_ACTION);
+exports.tableLexerGenerator.addRule("goto_action", "${digit}(${digit})*", TableTokenType.GOTO_ACTION);
+const buildStates = (grammar) => grammar.split("\n").map((line) => {
+    const lexer = exports.tableLexerGenerator.generate(line, () => ({}));
+    const state = new parser_1.TableState();
+    const expect = (type) => {
+        const token = lexer.peekNextToken();
+        if (token.type !== type)
+            throw new Error(`Expected ${TableTokenType[type]}, got ${TableTokenType[token.type]}`);
+        lexer.getNextToken();
+    };
+    while (lexer.hasNextToken()) {
+        const token = lexer.getNextToken();
+        expect(TableTokenType.EQUALS);
+        const value = lexer.getNextToken();
+        const setting = token.type === TableTokenType.PRODUCTION_NAME
+            ? { type: "goto", value: parseInt(value.lexeme) }
+            : value.type === TableTokenType.REDUCE_ACTION
+                ? { type: "reduce", value: parseInt(value.lexeme.substring(1)) }
+                : { type: "shift", value: parseInt(value.lexeme.substring(1)) };
+        state.actions.set(token.lexeme, setting);
+        if (lexer.peekNextToken().type == TableTokenType.COMMA)
+            lexer.getNextToken();
+    }
+    return state;
+});
+exports.buildStates = buildStates;
+//# sourceMappingURL=tableParser.js.map

package/dist/tableParser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tableParser.js","sourceRoot":"","sources":["../src/tableParser.ts"],"names":[],"mappings":";;;AAAA,4CAAyC;AACzC,qCAAmD;AAGnD,IAAY,cASX;AATD,WAAY,cAAc;IACxB,yEAAe,CAAA;IACf,+DAAU,CAAA;IACV,qDAAK,CAAA;IACL,uDAAM,CAAA;IACN,mEAAY,CAAA;IACZ,qEAAa,CAAA;IACb,iEAAW,CAAA;IACX,iDAAG,CAAA;AACL,CAAC,EATW,cAAc,8BAAd,cAAc,QASzB;AAEY,QAAA,mBAAmB,GAAG,IAAI,WAAI,CAAqC;IAC9E,QAAQ,EAAE,cAAc,CAAC,GAAG;IAC5B,kBAAkB,EAAE,GAAG,EAAE,CAAC,KAAK;CAChC,CAAC,CAAC;AAEH,2BAAmB,CAAC,OAAO,CACzB,WAAW,EACX,uGAAuG,CACxG,CAAC;AACF,2BAAmB,CAAC,OAAO,CACzB,WAAW,EACX,uGAAuG,CACxG,CAAC;AACF,2BAAmB,CAAC,OAAO,CAAC,QAAQ,EAAE,6BAA6B,CAAC,CAAC;AACrE,2BAAmB,CAAC,OAAO,CAAC,OAAO,EAAE,uCAAuC,CAAC,CAAC;AAC9E,2BAAmB,CAAC,OAAO,CAAC,cAAc,EAAE,sBAAsB,CAAC,CAAC;AACpE,2BAAmB,CAAC,OAAO,CAAC,YAAY,EAAE,8BAA8B,CAAC,CAAC;AAC1E,2BAAmB,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,cAAc,CAAC,KAAK,CAAC,CAAC;AACjE,2BAAmB,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,cAAc,CAAC,MAAM,CAAC,CAAC;AACnE,2BAAmB,CAAC,OAAO,CAAC,iBAAiB,EAAE,qBAAqB,EAAE,cAAc,CAAC,eAAe,CAAC,CAAC;AACtG,2BAAmB,CAAC,OAAO,CAAC,YAAY,EAAE,qBAAqB,EAAE,cAAc,CAAC,UAAU,CAAC,CAAC;AAC5F,2BAAmB,CAAC,OAAO,CAAC,cAAc,EAAE,cAAc,EAAE,cAAc,CAAC,YAAY,CAAC,CAAC;AACzF,2BAAmB,CAAC,OAAO,CAAC,eAAe,EAAE,cAAc,EAAE,cAAc,CAAC,aAAa,CAAC,CAAC;AAC3F,2BAAmB,CAAC,OAAO,CAAC,aAAa,EAAE,qBAAqB,EAAE,cAAc,CAAC,WAAW,CAAC,CAAC;AAEvF,MAAM,WAAW,GAAG,CAAC,OAAe,EAAE,EAAE,CAC7C,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;IAC/B,MAAM,KAAK,GAAG,2BAAmB,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG,IAAI,mBAAU,EAAE,CAAC;IAE/B,MAAM,MAAM,GAAG,CAAC,IAAoB,EAAE,EAAE;QACtC,MAAM,KAAK,GAAG,KAAK,CAAC,aAAa,EAAE,CAAC;QACpC,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,YAAY,cAAc,CAAC,IAAI,CAAC,SAAS,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChH,KAAK,CAAC,YAAY,EAAE,CAAC;IACvB,CAAC,CAAC;IAEF,OAAO,KAAK,CAAC,YAAY,EAAE,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC;QACnC,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;QAC9B,MAAM,KAAK,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC;QAEnC,MAAM,OAAO,GACX,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,eAAe;YAC3C,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE;YACjD,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC,aAAa;gBAC7C,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE;gBAChE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAEpE,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACzC,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC,IAAI,IAAI,cAAc,CAAC,KAAK;YAAE,KAAK,CAAC,YAAY,EAAE,CAAC;IAC/E,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC,CAAC;AA5BQ,QAAA,WAAW,eA4BnB"}

package/dist/utils/Result.d.ts

@@ -0,0 +1,9 @@
+import { GrammarToken } from "src/grammarParser";
+export type Result<T> = {
+    success: true;
+    value: T;
+} | {
+    success: false;
+    reason: string;
+    token: GrammarToken;
+};

package/dist/utils/Result.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=Result.js.map

package/dist/utils/Result.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Result.js","sourceRoot":"","sources":["../../src/utils/Result.ts"],"names":[],"mappings":""}

package/dist/utils/Stack.d.ts

@@ -0,0 +1,7 @@
+export declare class Stack<T> {
+    private items;
+    push(item: T): void;
+    pop(): T;
+    peek(): T;
+    constructor(items?: T[]);
+}

package/dist/utils/Stack.js

@@ -0,0 +1,26 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Stack = void 0;
+class Stack {
+    push(item) {
+        this.items.push(item);
+    }
+    pop() {
+        const item = this.items.pop();
+        if (item === undefined)
+            throw new Error("Stack is empty");
+        return item;
+    }
+    peek() {
+        const ret = this.items[this.items.length - 1];
+        if (ret === undefined)
+            throw new Error("Stack is empty");
+        return ret;
+    }
+    constructor(items = []) {
+        this.items = [];
+        this.items = items;
+    }
+}
+exports.Stack = Stack;
+//# sourceMappingURL=Stack.js.map

package/dist/utils/Stack.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Stack.js","sourceRoot":"","sources":["../../src/utils/Stack.ts"],"names":[],"mappings":";;;AAAA,MAAa,KAAK;IAGT,IAAI,CAAC,IAAO;QACjB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IAEM,GAAG;QACR,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QAC9B,IAAI,IAAI,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,gBAAgB,CAAC,CAAC;QAC1D,OAAO,IAAI,CAAC;IACd,CAAC;IAEM,IAAI;QACT,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC9C,IAAI,GAAG,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,gBAAgB,CAAC,CAAC;QACzD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,YAAY,QAAa,EAAE;QAlBnB,UAAK,GAAQ,EAAE,CAAC;QAmBtB,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACrB,CAAC;CACF;AAtBD,sBAsBC"}

package/dist/utils/errorWindowBuilder.d.ts

@@ -0,0 +1,2 @@
+import type { GrammarToken } from "src/grammarParser";
+export declare const buildErrorWindow: (file: string, token: GrammarToken) => string;

package/dist/utils/errorWindowBuilder.js

@@ -0,0 +1,20 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.buildErrorWindow = void 0;
+const buildErrorWindow = (file, token) => {
+    const lines = file.split("\n");
+    const length = Math.max(`${token.line}`.length, `${token.column}`.length);
+    let second = "", third = "";
+    for (let i = 0; i < token.column + length + 3; i++) {
+        second += " ";
+        third += "-";
+    }
+    second += "|";
+    third += "┘";
+    let window = `${token.line.toString().padStart(length)} | ${lines.length <= token.line - 1 ? "" : lines[token.line - 1]}\n${second}\n${third}\n`;
+    if (token.line < lines.length)
+        window += `${(token.line + 1).toString().padStart(length)} | ${lines[token.line]}\n`;
+    return window;
+};
+exports.buildErrorWindow = buildErrorWindow;
+//# sourceMappingURL=errorWindowBuilder.js.map

package/dist/utils/errorWindowBuilder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errorWindowBuilder.js","sourceRoot":"","sources":["../../src/utils/errorWindowBuilder.ts"],"names":[],"mappings":";;;AAEO,MAAM,gBAAgB,GAAG,CAAC,IAAY,EAAE,KAAmB,EAAE,EAAE;IACpE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAE/B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC;IAC1E,IAAI,MAAM,GAAG,EAAE,EACb,KAAK,GAAG,EAAE,CAAC;IAEb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,GAAG,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACnD,MAAM,IAAI,GAAG,CAAC;QACd,KAAK,IAAI,GAAG,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAG,CAAC;IACd,KAAK,IAAI,GAAG,CAAC;IAEb,IAAI,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,MACpD,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAC5D,KAAK,MAAM,KAAK,KAAK,IAAI,CAAC;IAE1B,IAAI,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,MAAM;QAAE,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;IACpH,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AApBW,QAAA,gBAAgB,oBAoB3B"}

package/example/LoLang/Features_Array_Methods.lol

@@ -0,0 +1,31 @@
+// An example showing different array methods in LoLang
+item champions: message[] = ["Caps", "Uzi", "Pewdiepie", "Bengi", "Perkz", "Miss Fortune"];
+item THRESHOLD: stats = 6;
+
+// Array::filter
+item longNameChampions: message[] = champions.filter(skill (item name: message): goat -> {
+    recast name.length() > THRESHOLD;
+});
+
+broadcast("\n\n\nChampions with long names:");
+broadcast(longNameChampions);
+
+// Array::map
+item modifiedChampions: message[] = champions.map(skill (item name: message): message -> {
+  recast name + " is a champion";
+});
+
+broadcast("\n\n\nModified champions list:");
+broadcast(modifiedChampions);
+
+// Array::push
+item T1Roster: message[] = ["Doran", "Oner", "Faker", "Gumayushi", "Keria", "Smash"];
+cannon(item champ: message of T1Roster){
+  champions.push(champ);
+}
+
+// Remove "Smash" from the Roster
+champions.pop(); 
+
+broadcast("\n\n\nNew Value of champions:");
+broadcast(champions);