@stevenvo780/st-lang 0.3.0

package/dist/lexer/lexer.js

@@ -0,0 +1,358 @@
+"use strict";
+// ============================================================
+// ST Lexer — Tokenizador
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Lexer = void 0;
+const tokens_1 = require("./tokens");
+class Lexer {
+    source;
+    tokens = [];
+    pos = 0;
+    line = 1;
+    column = 1;
+    file;
+    diagnostics = [];
+    constructor(source, file = '<stdin>') {
+        this.source = source;
+        this.file = file;
+    }
+    tokenize() {
+        this.tokens = [];
+        this.pos = 0;
+        this.line = 1;
+        this.column = 1;
+        while (this.pos < this.source.length) {
+            this.skipWhitespace();
+            if (this.pos >= this.source.length)
+                break;
+            const ch = this.source[this.pos];
+            // Comentarios
+            if (ch === '/' && this.peek(1) === '/') {
+                this.readLineComment();
+                continue;
+            }
+            // Newlines
+            if (ch === '\n') {
+                this.addToken(tokens_1.TokenType.NEWLINE, '\n');
+                this.pos++;
+                this.line++;
+                this.column = 1;
+                continue;
+            }
+            // Strings
+            if (ch === '"') {
+                this.readString();
+                continue;
+            }
+            // Números
+            if (this.isDigit(ch)) {
+                this.readNumber();
+                continue;
+            }
+            // Identificadores / Keywords
+            if (this.isAlpha(ch) || ch === '_') {
+                this.readIdentifier();
+                continue;
+            }
+            // Operadores y delimitadores
+            switch (ch) {
+                case '(':
+                    this.addToken(tokens_1.TokenType.LPAREN, '(');
+                    this.advance();
+                    break;
+                case ')':
+                    this.addToken(tokens_1.TokenType.RPAREN, ')');
+                    this.advance();
+                    break;
+                case '{':
+                    this.addToken(tokens_1.TokenType.LBRACE, '{');
+                    this.advance();
+                    break;
+                case '}':
+                    this.addToken(tokens_1.TokenType.RBRACE, '}');
+                    this.advance();
+                    break;
+                case '[':
+                    if (this.peek(1) === '[') {
+                        // Leer todo el contenido de [[ ... ]] como un solo token STRING
+                        this.advance(); // skip first [
+                        this.advance(); // skip second [
+                        let anchorContent = '';
+                        while (this.pos < this.source.length) {
+                            if (this.source[this.pos] === ']' && this.peek(1) === ']') {
+                                break;
+                            }
+                            anchorContent += this.source[this.pos];
+                            this.advance();
+                        }
+                        this.addToken(tokens_1.TokenType.LBRACKET_DOUBLE, '[[');
+                        this.tokens.push({
+                            type: tokens_1.TokenType.STRING,
+                            value: anchorContent,
+                            line: this.line,
+                            column: this.column,
+                        });
+                        if (this.pos < this.source.length && this.source[this.pos] === ']') {
+                            this.advance(); // skip first ]
+                            this.advance(); // skip second ]
+                        }
+                        this.addToken(tokens_1.TokenType.RBRACKET_DOUBLE, ']]');
+                    }
+                    else {
+                        this.addToken(tokens_1.TokenType.LBRACKET, '[');
+                        this.advance();
+                    }
+                    break;
+                case ']':
+                    if (this.peek(1) === ']') {
+                        this.addToken(tokens_1.TokenType.RBRACKET_DOUBLE, ']]');
+                        this.advance();
+                        this.advance();
+                    }
+                    else {
+                        this.addToken(tokens_1.TokenType.RBRACKET, ']');
+                        this.advance();
+                    }
+                    break;
+                case ',':
+                    this.addToken(tokens_1.TokenType.COMMA, ',');
+                    this.advance();
+                    break;
+                case '#':
+                    this.addToken(tokens_1.TokenType.HASH, '#');
+                    this.advance();
+                    break;
+                case '.':
+                    this.addToken(tokens_1.TokenType.DOT, '.');
+                    this.advance();
+                    break;
+                case '&':
+                    this.addToken(tokens_1.TokenType.AND, '&');
+                    this.advance();
+                    break;
+                case '|':
+                    this.addToken(tokens_1.TokenType.OR, '|');
+                    this.advance();
+                    break;
+                case '!':
+                    this.addToken(tokens_1.TokenType.NOT, '!');
+                    this.advance();
+                    break;
+                case '=':
+                    this.addToken(tokens_1.TokenType.EQUALS, '=');
+                    this.advance();
+                    break;
+                case ':':
+                    this.addToken(tokens_1.TokenType.COLON, ':');
+                    this.advance();
+                    break;
+                case '-':
+                    if (this.peek(1) === '>') {
+                        this.addToken(tokens_1.TokenType.ARROW, '->');
+                        this.advance();
+                        this.advance();
+                    }
+                    else {
+                        this.diagnostics.push({
+                            severity: 'error',
+                            message: `Caracter inesperado: '${ch}'`,
+                            file: this.file,
+                            line: this.line,
+                            column: this.column,
+                        });
+                        this.advance();
+                    }
+                    break;
+                case '<':
+                    if (this.peek(1) === '-' && this.peek(2) === '>') {
+                        this.addToken(tokens_1.TokenType.BICONDITIONAL, '<->');
+                        this.advance();
+                        this.advance();
+                        this.advance();
+                    }
+                    else if (this.peek(1) === '-') {
+                        this.addToken(tokens_1.TokenType.BACK_ARROW, '<-');
+                        this.advance();
+                        this.advance();
+                    }
+                    else {
+                        this.diagnostics.push({
+                            severity: 'error',
+                            message: `Caracter inesperado: '${ch}'`,
+                            file: this.file,
+                            line: this.line,
+                            column: this.column,
+                        });
+                        this.advance();
+                    }
+                    break;
+                default:
+                    this.diagnostics.push({
+                        severity: 'error',
+                        message: `Caracter inesperado: '${ch}' (code: ${ch.charCodeAt(0)})`,
+                        file: this.file,
+                        line: this.line,
+                        column: this.column,
+                    });
+                    this.advance();
+            }
+        }
+        this.addToken(tokens_1.TokenType.EOF, '');
+        return this.tokens;
+    }
+    addToken(type, value) {
+        this.tokens.push({
+            type,
+            value,
+            line: this.line,
+            column: this.column,
+        });
+    }
+    advance() {
+        this.pos++;
+        this.column++;
+    }
+    peek(offset = 0) {
+        const idx = this.pos + offset;
+        if (idx >= this.source.length)
+            return '\0';
+        return this.source[idx];
+    }
+    skipWhitespace() {
+        while (this.pos < this.source.length) {
+            const ch = this.source[this.pos];
+            if (ch === ' ' || ch === '\t' || ch === '\r') {
+                this.advance();
+            }
+            else {
+                break;
+            }
+        }
+    }
+    isDigit(ch) {
+        return ch >= '0' && ch <= '9';
+    }
+    isAlpha(ch) {
+        return (ch >= 'a' && ch <= 'z') || (ch >= 'A' && ch <= 'Z') || ch === '_';
+    }
+    isAlphaNum(ch) {
+        return this.isAlpha(ch) || this.isDigit(ch);
+    }
+    readLineComment() {
+        const startCol = this.column;
+        let value = '';
+        this.pos += 2; // skip //
+        this.column += 2;
+        while (this.pos < this.source.length && this.source[this.pos] !== '\n') {
+            value += this.source[this.pos];
+            this.advance();
+        }
+        // no emitimos token de comentario, lo descartamos
+    }
+    readString() {
+        const startCol = this.column;
+        this.advance(); // skip opening "
+        let value = '';
+        while (this.pos < this.source.length && this.source[this.pos] !== '"') {
+            if (this.source[this.pos] === '\\') {
+                this.advance();
+                if (this.pos < this.source.length) {
+                    const escaped = this.source[this.pos];
+                    switch (escaped) {
+                        case 'n':
+                            value += '\n';
+                            break;
+                        case 't':
+                            value += '\t';
+                            break;
+                        case '\\':
+                            value += '\\';
+                            break;
+                        case '"':
+                            value += '"';
+                            break;
+                        default: value += escaped;
+                    }
+                    this.advance();
+                }
+            }
+            else {
+                if (this.source[this.pos] === '\n') {
+                    this.line++;
+                    this.column = 0;
+                }
+                value += this.source[this.pos];
+                this.advance();
+            }
+        }
+        if (this.pos >= this.source.length) {
+            this.diagnostics.push({
+                severity: 'error',
+                message: 'String no terminado',
+                file: this.file,
+                line: this.line,
+                column: startCol,
+            });
+        }
+        else {
+            this.advance(); // skip closing "
+        }
+        this.tokens.push({
+            type: tokens_1.TokenType.STRING,
+            value,
+            line: this.line,
+            column: startCol,
+        });
+    }
+    readNumber() {
+        const startCol = this.column;
+        let value = '';
+        while (this.pos < this.source.length && this.isDigit(this.source[this.pos])) {
+            value += this.source[this.pos];
+            this.advance();
+        }
+        if (this.pos < this.source.length && this.source[this.pos] === '.') {
+            value += '.';
+            this.advance();
+            while (this.pos < this.source.length && this.isDigit(this.source[this.pos])) {
+                value += this.source[this.pos];
+                this.advance();
+            }
+        }
+        this.tokens.push({
+            type: tokens_1.TokenType.NUMBER,
+            value,
+            line: this.line,
+            column: startCol,
+        });
+    }
+    readIdentifier() {
+        const startCol = this.column;
+        let value = '';
+        while (this.pos < this.source.length && this.isAlphaNum(this.source[this.pos])) {
+            value += this.source[this.pos];
+            this.advance();
+        }
+        const lower = value.toLowerCase();
+        const kwType = tokens_1.KEYWORDS[lower];
+        if (kwType) {
+            this.tokens.push({
+                type: kwType,
+                value: lower,
+                line: this.line,
+                column: startCol,
+            });
+        }
+        else {
+            this.tokens.push({
+                type: tokens_1.TokenType.IDENTIFIER,
+                value,
+                line: this.line,
+                column: startCol,
+            });
+        }
+    }
+}
+exports.Lexer = Lexer;
+//# sourceMappingURL=lexer.js.map

package/dist/lexer/lexer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lexer.js","sourceRoot":"","sources":["../../src/lexer/lexer.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,yBAAyB;AACzB,+DAA+D;;;AAE/D,qCAAsD;AAGtD,MAAa,KAAK;IACR,MAAM,CAAS;IACf,MAAM,GAAY,EAAE,CAAC;IACrB,GAAG,GAAW,CAAC,CAAC;IAChB,IAAI,GAAW,CAAC,CAAC;IACjB,MAAM,GAAW,CAAC,CAAC;IACnB,IAAI,CAAS;IACd,WAAW,GAAiB,EAAE,CAAC;IAEtC,YAAY,MAAc,EAAE,OAAe,SAAS;QAClD,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;IAED,QAAQ;QACN,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;QACjB,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;QACb,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;QACd,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;QAEhB,OAAO,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YACrC,IAAI,CAAC,cAAc,EAAE,CAAC;YACtB,IAAI,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM;gBAAE,MAAM;YAE1C,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAEjC,cAAc;YACd,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBACvC,IAAI,CAAC,eAAe,EAAE,CAAC;gBACvB,SAAS;YACX,CAAC;YAED,WAAW;YACX,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;gBAChB,IAAI,CAAC,QAAQ,CAAC,kBAAS,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBACvC,IAAI,CAAC,GAAG,EAAE,CAAC;gBACX,IAAI,CAAC,IAAI,EAAE,CAAC;gBACZ,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;gBAChB,SAAS;YACX,CAAC;YAED,UAAU;YACV,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBACf,IAAI,CAAC,UAAU,EAAE,CAAC;gBAClB,SAAS;YACX,CAAC;YAED,UAAU;YACV,IAAI,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;gBACrB,IAAI,CAAC,UAAU,EAAE,CAAC;gBAClB,SAAS;YACX,CAAC;YAED,6BAA6B;YAC7B,IAAI,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBACnC,IAAI,CAAC,cAAc,EAAE,CAAC;gBACtB,SAAS;YACX,CAAC;YAED,6BAA6B;YAC7B,QAAQ,EAAE,EAAE,CAAC;gBACX,KAAK,GAAG;oBACN,IAAI,CAAC,QAAQ,CAAC,kBAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;oBACrC,IAAI,CAAC,OAAO,EAAE,CAAC;oBACf,MAAM;gBACR,KAAK,GAAG;oBACN,IAAI,CAAC,QAAQ,CAAC,kBAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;oBACrC,IAAI,CAAC,OAAO,EAAE,CAAC;oBACf,MAAM;gBACR,KAAK,GAAG;oBACN,IAAI,CAAC,QAAQ,CAAC,kBAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;oBACrC,IAAI,CAAC,OAAO,EAAE,CAAC;oBACf,MAAM;gBACR,KAAK,GAAG;oBACN,IAAI,CAAC,QAAQ,CAAC,kBAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;oBACrC,IAAI,CAAC,OAAO,EAAE,CAAC;oBACf,MAAM;gBACR,KAAK,GAAG;oBACN,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;wBACzB,gEAAgE;wBAChE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,eAAe;wBAC/B,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,gBAAgB;wBAChC,IAAI,aAAa,GAAG,EAAE,CAAC;wBACvB,OAAO,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;4BACrC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gCAC1D,MAAM;4BACR,CAAC;4BACD,aAAa,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;4BACvC,IAAI,CAAC,OAAO,EAAE,CAAC;wBACjB,CAAC;wBACD,IAAI,CAAC,QAAQ,CAAC,kBAAS,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;wBAC/C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;4BACf,IAAI,EAAE,kBAAS,CAAC,MAAM;4BACtB,KAAK,EAAE,aAAa;4BACpB,IAAI,EAAE,IAAI,CAAC,IAAI;4BACf,MAAM,EAAE,IAAI,CAAC,MAAM;yBACpB,CAAC,CAAC;wBACH,IAAI,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,EAAE,CAAC;4BACnE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,eAAe;4BAC/B,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,gBAAgB;wBAClC,CAAC;wBACD,IAAI,CAAC,QAAQ,CAAC,kBAAS,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;oBACjD,CAAC;yBAAM,CAAC;wBACN,IAAI,CAAC,QAAQ,CAAC,kBAAS,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;wBACvC,IAAI,CAAC,OAAO,EAAE,CAAC;oBACjB,CAAC;oBACD,MAAM;gBACR,KAAK,GAAG;oBACN,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;wBACzB,IAAI,CAAC,QAAQ,CAAC,kBAAS,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;wBAC/C,IAAI,CAAC,OAAO,EAAE,CAAC;wBACf,IAAI,CAAC,OAAO,EAAE,CAAC;oBACjB,CAAC;yBAAM,CAAC;wBACN,IAAI,CAAC,QAAQ,CAAC,kBAAS,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;wBACvC,IAAI,CAAC,OAAO,EAAE,CAAC;oBACjB,CAAC;oBACD,MAAM;gBACR,KAAK,GAAG;oBACN,IAAI,CAAC,QAAQ,CAAC,kBAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;oBACpC,IAAI,CAAC,OAAO,EAAE,CAAC;oBACf,MAAM;gBACR,KAAK,GAAG;oBACN,IAAI,CAAC,QAAQ,CAAC,kBAAS,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;oBACnC,IAAI,CAAC,OAAO,EAAE,CAAC;oBACf,MAAM;gBACR,KAAK,GAAG;oBACN,IAAI,CAAC,QAAQ,CAAC,kBAAS,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;oBAClC,IAAI,CAAC,OAAO,EAAE,CAAC;oBACf,MAAM;gBACR,KAAK,GAAG;oBACN,IAAI,CAAC,QAAQ,CAAC,kBAAS,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;oBAClC,IAAI,CAAC,OAAO,EAAE,CAAC;oBACf,MAAM;gBACR,KAAK,GAAG;oBACN,IAAI,CAAC,QAAQ,CAAC,kBAAS,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;oBACjC,IAAI,CAAC,OAAO,EAAE,CAAC;oBACf,MAAM;gBACR,KAAK,GAAG;oBACN,IAAI,CAAC,QAAQ,CAAC,kBAAS,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;oBAClC,IAAI,CAAC,OAAO,EAAE,CAAC;oBACf,MAAM;gBACR,KAAK,GAAG;oBACN,IAAI,CAAC,QAAQ,CAAC,kBAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;oBACrC,IAAI,CAAC,OAAO,EAAE,CAAC;oBACf,MAAM;gBACR,KAAK,GAAG;oBACN,IAAI,CAAC,QAAQ,CAAC,kBAAS,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;oBACpC,IAAI,CAAC,OAAO,EAAE,CAAC;oBACf,MAAM;gBACR,KAAK,GAAG;oBACN,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;wBACzB,IAAI,CAAC,QAAQ,CAAC,kBAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;wBACrC,IAAI,CAAC,OAAO,EAAE,CAAC;wBACf,IAAI,CAAC,OAAO,EAAE,CAAC;oBACjB,CAAC;yBAAM,CAAC;wBACN,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;4BACpB,QAAQ,EAAE,OAAO;4BACjB,OAAO,EAAE,yBAAyB,EAAE,GAAG;4BACvC,IAAI,EAAE,IAAI,CAAC,IAAI;4BACf,IAAI,EAAE,IAAI,CAAC,IAAI;4BACf,MAAM,EAAE,IAAI,CAAC,MAAM;yBACpB,CAAC,CAAC;wBACH,IAAI,CAAC,OAAO,EAAE,CAAC;oBACjB,CAAC;oBACD,MAAM;gBACR,KAAK,GAAG;oBACN,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;wBACjD,IAAI,CAAC,QAAQ,CAAC,kBAAS,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;wBAC9C,IAAI,CAAC,OAAO,EAAE,CAAC;wBACf,IAAI,CAAC,OAAO,EAAE,CAAC;wBACf,IAAI,CAAC,OAAO,EAAE,CAAC;oBACjB,CAAC;yBAAM,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;wBAChC,IAAI,CAAC,QAAQ,CAAC,kBAAS,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;wBAC1C,IAAI,CAAC,OAAO,EAAE,CAAC;wBACf,IAAI,CAAC,OAAO,EAAE,CAAC;oBACjB,CAAC;yBAAM,CAAC;wBACN,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;4BACpB,QAAQ,EAAE,OAAO;4BACjB,OAAO,EAAE,yBAAyB,EAAE,GAAG;4BACvC,IAAI,EAAE,IAAI,CAAC,IAAI;4BACf,IAAI,EAAE,IAAI,CAAC,IAAI;4BACf,MAAM,EAAE,IAAI,CAAC,MAAM;yBACpB,CAAC,CAAC;wBACH,IAAI,CAAC,OAAO,EAAE,CAAC;oBACjB,CAAC;oBACD,MAAM;gBACR;oBACE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;wBACpB,QAAQ,EAAE,OAAO;wBACjB,OAAO,EAAE,yBAAyB,EAAE,YAAY,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG;wBACnE,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,MAAM,EAAE,IAAI,CAAC,MAAM;qBACpB,CAAC,CAAC;oBACH,IAAI,CAAC,OAAO,EAAE,CAAC;YACnB,CAAC;QACH,CAAC;QAED,IAAI,CAAC,QAAQ,CAAC,kBAAS,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACjC,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IAEO,QAAQ,CAAC,IAAe,EAAE,KAAa;QAC7C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YACf,IAAI;YACJ,KAAK;YACL,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,MAAM,EAAE,IAAI,CAAC,MAAM;SACpB,CAAC,CAAC;IACL,CAAC;IAEO,OAAO;QACb,IAAI,CAAC,GAAG,EAAE,CAAC;QACX,IAAI,CAAC,MAAM,EAAE,CAAC;IAChB,CAAC;IAEO,IAAI,CAAC,SAAiB,CAAC;QAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,GAAG,MAAM,CAAC;QAC9B,IAAI,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QAC3C,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAC1B,CAAC;IAEO,cAAc;QACpB,OAAO,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YACrC,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACjC,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;gBAC7C,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,CAAC;iBAAM,CAAC;gBACN,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAEO,OAAO,CAAC,EAAU;QACxB,OAAO,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,CAAC;IAChC,CAAC;IAEO,OAAO,CAAC,EAAU;QACxB,OAAO,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC;IAC5E,CAAC;IAEO,UAAU,CAAC,EAAU;QAC3B,OAAO,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9C,CAAC;IAEO,eAAe;QACrB,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC;QAC7B,IAAI,KAAK,GAAG,EAAE,CAAC;QACf,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,UAAU;QACzB,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC;QACjB,OAAO,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC;YACvE,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC/B,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;QACD,kDAAkD;IACpD,CAAC;IAEO,UAAU;QAChB,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC;QAC7B,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,iBAAiB;QACjC,IAAI,KAAK,GAAG,EAAE,CAAC;QACf,OAAO,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,EAAE,CAAC;YACtE,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC;gBACnC,IAAI,CAAC,OAAO,EAAE,CAAC;gBACf,IAAI,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;oBAClC,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBACtC,QAAQ,OAAO,EAAE,CAAC;wBAChB,KAAK,GAAG;4BAAE,KAAK,IAAI,IAAI,CAAC;4BAAC,MAAM;wBAC/B,KAAK,GAAG;4BAAE,KAAK,IAAI,IAAI,CAAC;4BAAC,MAAM;wBAC/B,KAAK,IAAI;4BAAE,KAAK,IAAI,IAAI,CAAC;4BAAC,MAAM;wBAChC,KAAK,GAAG;4BAAE,KAAK,IAAI,GAAG,CAAC;4BAAC,MAAM;wBAC9B,OAAO,CAAC,CAAC,KAAK,IAAI,OAAO,CAAC;oBAC5B,CAAC;oBACD,IAAI,CAAC,OAAO,EAAE,CAAC;gBACjB,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC;oBACnC,IAAI,CAAC,IAAI,EAAE,CAAC;oBACZ,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;gBAClB,CAAC;gBACD,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC/B,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YACnC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;gBACpB,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,qBAAqB;gBAC9B,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,MAAM,EAAE,QAAQ;aACjB,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,iBAAiB;QACnC,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,kBAAS,CAAC,MAAM;YACtB,KAAK;YACL,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,MAAM,EAAE,QAAQ;SACjB,CAAC,CAAC;IACL,CAAC;IAEO,UAAU;QAChB,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC;QAC7B,IAAI,KAAK,GAAG,EAAE,CAAC;QACf,OAAO,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC5E,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC/B,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,EAAE,CAAC;YACnE,KAAK,IAAI,GAAG,CAAC;YACb,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,OAAO,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gBAC5E,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC/B,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,CAAC;QACH,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,kBAAS,CAAC,MAAM;YACtB,KAAK;YACL,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,MAAM,EAAE,QAAQ;SACjB,CAAC,CAAC;IACL,CAAC;IAEO,cAAc;QACpB,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC;QAC7B,IAAI,KAAK,GAAG,EAAE,CAAC;QACf,OAAO,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;YAC/E,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC/B,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,iBAAQ,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,MAAM,EAAE,CAAC;YACX,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,MAAM;gBACZ,KAAK,EAAE,KAAK;gBACZ,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,MAAM,EAAE,QAAQ;aACjB,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,kBAAS,CAAC,UAAU;gBAC1B,KAAK;gBACL,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,MAAM,EAAE,QAAQ;aACjB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;CACF;AA/VD,sBA+VC"}

package/dist/lexer/tokens.d.ts

@@ -0,0 +1,56 @@
+export declare enum TokenType {
+    LOGIC = "LOGIC",
+    AXIOM = "AXIOM",
+    THEOREM = "THEOREM",
+    DERIVE = "DERIVE",
+    FROM = "FROM",
+    CHECK = "CHECK",
+    VALID = "VALID",
+    SATISFIABLE = "SATISFIABLE",
+    EQUIVALENT = "EQUIVALENT",
+    PROVE = "PROVE",
+    COUNTERMODEL = "COUNTERMODEL",
+    TRUTH_TABLE = "TRUTH_TABLE",
+    LET = "LET",
+    PASSAGE = "PASSAGE",
+    FORMALIZE = "FORMALIZE",
+    AS = "AS",
+    CLAIM = "CLAIM",
+    SUPPORT = "SUPPORT",
+    CONFIDENCE = "CONFIDENCE",
+    CONTEXT = "CONTEXT",
+    RENDER = "RENDER",
+    ARROW = "ARROW",// ->
+    AND = "AND",// &
+    OR = "OR",// |
+    NOT = "NOT",// !
+    BICONDITIONAL = "BICONDITIONAL",// <->
+    BACK_ARROW = "BACK_ARROW",// <-
+    EQUALS = "EQUALS",// =
+    LPAREN = "LPAREN",// (
+    RPAREN = "RPAREN",// )
+    LBRACE = "LBRACE",// {
+    RBRACE = "RBRACE",// }
+    LBRACKET_DOUBLE = "LBRACKET_DOUBLE",// [[
+    RBRACKET_DOUBLE = "RBRACKET_DOUBLE",// ]]
+    LBRACKET = "LBRACKET",// [
+    RBRACKET = "RBRACKET",// ]
+    IDENTIFIER = "IDENTIFIER",
+    STRING = "STRING",
+    NUMBER = "NUMBER",
+    COMMA = "COMMA",// ,
+    COLON = "COLON",// :
+    HASH = "HASH",// #
+    DOT = "DOT",// .
+    NEWLINE = "NEWLINE",
+    EOF = "EOF",
+    COMMENT = "COMMENT"
+}
+export interface Token {
+    type: TokenType;
+    value: string;
+    line: number;
+    column: number;
+}
+export declare const KEYWORDS: Record<string, TokenType>;
+//# sourceMappingURL=tokens.d.ts.map

package/dist/lexer/tokens.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tokens.d.ts","sourceRoot":"","sources":["../../src/lexer/tokens.ts"],"names":[],"mappings":"AAIA,oBAAY,SAAS;IAEnB,KAAK,UAAU;IACf,KAAK,UAAU;IACf,OAAO,YAAY;IACnB,MAAM,WAAW;IACjB,IAAI,SAAS;IACb,KAAK,UAAU;IACf,KAAK,UAAU;IACf,WAAW,gBAAgB;IAC3B,UAAU,eAAe;IACzB,KAAK,UAAU;IACf,YAAY,iBAAiB;IAC7B,WAAW,gBAAgB;IAC3B,GAAG,QAAQ;IACX,OAAO,YAAY;IACnB,SAAS,cAAc;IACvB,EAAE,OAAO;IACT,KAAK,UAAU;IACf,OAAO,YAAY;IACnB,UAAU,eAAe;IACzB,OAAO,YAAY;IACnB,MAAM,WAAW;IAGjB,KAAK,UAAU,CAAY,KAAK;IAChC,GAAG,QAAQ,CAAgB,IAAI;IAC/B,EAAE,OAAO,CAAkB,IAAI;IAC/B,GAAG,QAAQ,CAAgB,IAAI;IAC/B,aAAa,kBAAkB,CAAE,MAAM;IACvC,UAAU,eAAe,CAAE,KAAK;IAChC,MAAM,WAAW,CAAU,IAAI;IAG/B,MAAM,WAAW,CAAU,IAAI;IAC/B,MAAM,WAAW,CAAU,IAAI;IAC/B,MAAM,WAAW,CAAU,IAAI;IAC/B,MAAM,WAAW,CAAU,IAAI;IAC/B,eAAe,oBAAoB,CAAE,KAAK;IAC1C,eAAe,oBAAoB,CAAE,KAAK;IAC1C,QAAQ,aAAa,CAAM,IAAI;IAC/B,QAAQ,aAAa,CAAM,IAAI;IAG/B,UAAU,eAAe;IACzB,MAAM,WAAW;IACjB,MAAM,WAAW;IAGjB,KAAK,UAAU,CAAY,IAAI;IAC/B,KAAK,UAAU,CAAY,IAAI;IAC/B,IAAI,SAAS,CAAc,IAAI;IAC/B,GAAG,QAAQ,CAAgB,IAAI;IAG/B,OAAO,YAAY;IACnB,GAAG,QAAQ;IACX,OAAO,YAAY;CACpB;AAED,MAAM,WAAW,KAAK;IACpB,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,eAAO,MAAM,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAsB9C,CAAC"}

package/dist/lexer/tokens.js

@@ -0,0 +1,85 @@
+"use strict";
+// ============================================================
+// ST Lexer — Tokens
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.KEYWORDS = exports.TokenType = void 0;
+var TokenType;
+(function (TokenType) {
+    // Keywords
+    TokenType["LOGIC"] = "LOGIC";
+    TokenType["AXIOM"] = "AXIOM";
+    TokenType["THEOREM"] = "THEOREM";
+    TokenType["DERIVE"] = "DERIVE";
+    TokenType["FROM"] = "FROM";
+    TokenType["CHECK"] = "CHECK";
+    TokenType["VALID"] = "VALID";
+    TokenType["SATISFIABLE"] = "SATISFIABLE";
+    TokenType["EQUIVALENT"] = "EQUIVALENT";
+    TokenType["PROVE"] = "PROVE";
+    TokenType["COUNTERMODEL"] = "COUNTERMODEL";
+    TokenType["TRUTH_TABLE"] = "TRUTH_TABLE";
+    TokenType["LET"] = "LET";
+    TokenType["PASSAGE"] = "PASSAGE";
+    TokenType["FORMALIZE"] = "FORMALIZE";
+    TokenType["AS"] = "AS";
+    TokenType["CLAIM"] = "CLAIM";
+    TokenType["SUPPORT"] = "SUPPORT";
+    TokenType["CONFIDENCE"] = "CONFIDENCE";
+    TokenType["CONTEXT"] = "CONTEXT";
+    TokenType["RENDER"] = "RENDER";
+    // Operators
+    TokenType["ARROW"] = "ARROW";
+    TokenType["AND"] = "AND";
+    TokenType["OR"] = "OR";
+    TokenType["NOT"] = "NOT";
+    TokenType["BICONDITIONAL"] = "BICONDITIONAL";
+    TokenType["BACK_ARROW"] = "BACK_ARROW";
+    TokenType["EQUALS"] = "EQUALS";
+    // Delimiters
+    TokenType["LPAREN"] = "LPAREN";
+    TokenType["RPAREN"] = "RPAREN";
+    TokenType["LBRACE"] = "LBRACE";
+    TokenType["RBRACE"] = "RBRACE";
+    TokenType["LBRACKET_DOUBLE"] = "LBRACKET_DOUBLE";
+    TokenType["RBRACKET_DOUBLE"] = "RBRACKET_DOUBLE";
+    TokenType["LBRACKET"] = "LBRACKET";
+    TokenType["RBRACKET"] = "RBRACKET";
+    // Literals
+    TokenType["IDENTIFIER"] = "IDENTIFIER";
+    TokenType["STRING"] = "STRING";
+    TokenType["NUMBER"] = "NUMBER";
+    // Punctuation
+    TokenType["COMMA"] = "COMMA";
+    TokenType["COLON"] = "COLON";
+    TokenType["HASH"] = "HASH";
+    TokenType["DOT"] = "DOT";
+    // Special
+    TokenType["NEWLINE"] = "NEWLINE";
+    TokenType["EOF"] = "EOF";
+    TokenType["COMMENT"] = "COMMENT";
+})(TokenType || (exports.TokenType = TokenType = {}));
+exports.KEYWORDS = {
+    'logic': TokenType.LOGIC,
+    'axiom': TokenType.AXIOM,
+    'theorem': TokenType.THEOREM,
+    'derive': TokenType.DERIVE,
+    'from': TokenType.FROM,
+    'check': TokenType.CHECK,
+    'valid': TokenType.VALID,
+    'satisfiable': TokenType.SATISFIABLE,
+    'equivalent': TokenType.EQUIVALENT,
+    'prove': TokenType.PROVE,
+    'countermodel': TokenType.COUNTERMODEL,
+    'truth_table': TokenType.TRUTH_TABLE,
+    'let': TokenType.LET,
+    'passage': TokenType.PASSAGE,
+    'formalize': TokenType.FORMALIZE,
+    'as': TokenType.AS,
+    'claim': TokenType.CLAIM,
+    'support': TokenType.SUPPORT,
+    'confidence': TokenType.CONFIDENCE,
+    'context': TokenType.CONTEXT,
+    'render': TokenType.RENDER,
+};
+//# sourceMappingURL=tokens.js.map

package/dist/lexer/tokens.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tokens.js","sourceRoot":"","sources":["../../src/lexer/tokens.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,oBAAoB;AACpB,+DAA+D;;;AAE/D,IAAY,SA0DX;AA1DD,WAAY,SAAS;IACnB,WAAW;IACX,4BAAe,CAAA;IACf,4BAAe,CAAA;IACf,gCAAmB,CAAA;IACnB,8BAAiB,CAAA;IACjB,0BAAa,CAAA;IACb,4BAAe,CAAA;IACf,4BAAe,CAAA;IACf,wCAA2B,CAAA;IAC3B,sCAAyB,CAAA;IACzB,4BAAe,CAAA;IACf,0CAA6B,CAAA;IAC7B,wCAA2B,CAAA;IAC3B,wBAAW,CAAA;IACX,gCAAmB,CAAA;IACnB,oCAAuB,CAAA;IACvB,sBAAS,CAAA;IACT,4BAAe,CAAA;IACf,gCAAmB,CAAA;IACnB,sCAAyB,CAAA;IACzB,gCAAmB,CAAA;IACnB,8BAAiB,CAAA;IAEjB,YAAY;IACZ,4BAAe,CAAA;IACf,wBAAW,CAAA;IACX,sBAAS,CAAA;IACT,wBAAW,CAAA;IACX,4CAA+B,CAAA;IAC/B,sCAAyB,CAAA;IACzB,8BAAiB,CAAA;IAEjB,aAAa;IACb,8BAAiB,CAAA;IACjB,8BAAiB,CAAA;IACjB,8BAAiB,CAAA;IACjB,8BAAiB,CAAA;IACjB,gDAAmC,CAAA;IACnC,gDAAmC,CAAA;IACnC,kCAAqB,CAAA;IACrB,kCAAqB,CAAA;IAErB,WAAW;IACX,sCAAyB,CAAA;IACzB,8BAAiB,CAAA;IACjB,8BAAiB,CAAA;IAEjB,cAAc;IACd,4BAAe,CAAA;IACf,4BAAe,CAAA;IACf,0BAAa,CAAA;IACb,wBAAW,CAAA;IAEX,UAAU;IACV,gCAAmB,CAAA;IACnB,wBAAW,CAAA;IACX,gCAAmB,CAAA;AACrB,CAAC,EA1DW,SAAS,yBAAT,SAAS,QA0DpB;AASY,QAAA,QAAQ,GAA8B;IACjD,OAAO,EAAE,SAAS,CAAC,KAAK;IACxB,OAAO,EAAE,SAAS,CAAC,KAAK;IACxB,SAAS,EAAE,SAAS,CAAC,OAAO;IAC5B,QAAQ,EAAE,SAAS,CAAC,MAAM;IAC1B,MAAM,EAAE,SAAS,CAAC,IAAI;IACtB,OAAO,EAAE,SAAS,CAAC,KAAK;IACxB,OAAO,EAAE,SAAS,CAAC,KAAK;IACxB,aAAa,EAAE,SAAS,CAAC,WAAW;IACpC,YAAY,EAAE,SAAS,CAAC,UAAU;IAClC,OAAO,EAAE,SAAS,CAAC,KAAK;IACxB,cAAc,EAAE,SAAS,CAAC,YAAY;IACtC,aAAa,EAAE,SAAS,CAAC,WAAW;IACpC,KAAK,EAAE,SAAS,CAAC,GAAG;IACpB,SAAS,EAAE,SAAS,CAAC,OAAO;IAC5B,WAAW,EAAE,SAAS,CAAC,SAAS;IAChC,IAAI,EAAE,SAAS,CAAC,EAAE;IAClB,OAAO,EAAE,SAAS,CAAC,KAAK;IACxB,SAAS,EAAE,SAAS,CAAC,OAAO;IAC5B,YAAY,EAAE,SAAS,CAAC,UAAU;IAClC,SAAS,EAAE,SAAS,CAAC,OAAO;IAC5B,QAAQ,EAAE,SAAS,CAAC,MAAM;CAC3B,CAAC"}

package/dist/parser/parser.d.ts

@@ -0,0 +1,46 @@
+import { Diagnostic } from '../types';
+import { Program } from '../ast/nodes';
+export declare class Parser {
+    private tokens;
+    private pos;
+    private file;
+    diagnostics: Diagnostic[];
+    constructor(file?: string);
+    parse(source: string): Program;
+    private parseStatement;
+    private parseLogicDecl;
+    private parseAxiomDecl;
+    private parseTheoremDecl;
+    private parseDeriveCmd;
+    private parseCheckCmd;
+    private parseProveCmd;
+    private parseCountermodelCmd;
+    private parseTruthTableCmd;
+    private parseLetDecl;
+    private parseClaimDecl;
+    private parseSupportDecl;
+    private parseConfidenceDecl;
+    private parseContextDecl;
+    private parseRenderCmd;
+    private parseFormula;
+    private parseBiconditional;
+    private parseImplication;
+    private parseDisjunction;
+    private parseConjunction;
+    private parseUnary;
+    private parseAtom;
+    private parseIdList;
+    private formulaToString;
+    private current;
+    private advance;
+    private isAtEnd;
+    private checkType;
+    private match;
+    private expect;
+    private expectOneOf;
+    private expectIdent;
+    private loc;
+    private skipNewlines;
+    private advanceToNextStatement;
+}
+//# sourceMappingURL=parser.d.ts.map

package/dist/parser/parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../src/parser/parser.ts"],"names":[],"mappings":"AAMA,OAAO,EAAW,UAAU,EAAkB,MAAM,UAAU,CAAC;AAC/D,OAAO,EACL,OAAO,EAKR,MAAM,cAAc,CAAC;AAEtB,qBAAa,MAAM;IACjB,OAAO,CAAC,MAAM,CAAe;IAC7B,OAAO,CAAC,GAAG,CAAa;IACxB,OAAO,CAAC,IAAI,CAAS;IACd,WAAW,EAAE,UAAU,EAAE,CAAM;gBAE1B,IAAI,GAAE,MAAkB;IAIpC,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO;IAkC9B,OAAO,CAAC,cAAc;IA2CtB,OAAO,CAAC,cAAc;IActB,OAAO,CAAC,cAAc;IAUtB,OAAO,CAAC,gBAAgB;IAUxB,OAAO,CAAC,cAAc;IAUtB,OAAO,CAAC,aAAa;IAuBrB,OAAO,CAAC,aAAa;IAUrB,OAAO,CAAC,oBAAoB;IAQ5B,OAAO,CAAC,kBAAkB;IAS1B,OAAO,CAAC,YAAY;IAqCpB,OAAO,CAAC,cAAc;IAmBtB,OAAO,CAAC,gBAAgB;IAUxB,OAAO,CAAC,mBAAmB;IAU3B,OAAO,CAAC,gBAAgB;IAUxB,OAAO,CAAC,cAAc;IAsBtB,OAAO,CAAC,YAAY;IAIpB,OAAO,CAAC,kBAAkB;IAS1B,OAAO,CAAC,gBAAgB;IAUxB,OAAO,CAAC,gBAAgB;IASxB,OAAO,CAAC,gBAAgB;IASxB,OAAO,CAAC,UAAU;IAQlB,OAAO,CAAC,SAAS;IAuBjB,OAAO,CAAC,WAAW;IAanB,OAAO,CAAC,eAAe;IAYvB,OAAO,CAAC,OAAO;IAOf,OAAO,CAAC,OAAO;IAMf,OAAO,CAAC,OAAO;IAIf,OAAO,CAAC,SAAS;IAIjB,OAAO,CAAC,KAAK;IAQb,OAAO,CAAC,MAAM;IAUd,OAAO,CAAC,WAAW;IAYnB,OAAO,CAAC,WAAW;IAKnB,OAAO,CAAC,GAAG;IAKX,OAAO,CAAC,YAAY;IAMpB,OAAO,CAAC,sBAAsB;CAM/B"}