@bikky/replication 1.0.3 → 1.0.4

package/Expressions/Compiler/Grammar/Struct.js

@@ -0,0 +1,42 @@
+import { NodeType, TokenType } from "../Parser/Enums.js";
+import { GrammarRegistry } from "../GrammarRegistry.js";
+import { Versions } from "../../../Constants/Versions.js";
+var ExpressionSyntaxError = GrammarRegistry.ExpressionSyntaxError;
+export function IsStructNode(node) {
+    return node.type === NodeType.STRUCT;
+}
+GrammarRegistry.AddRule(Versions.v1_0_0, NodeType.STRUCT, [[
+        { type: TokenType.KEYWORD, value: "struct" },
+        { type: TokenType.IDENTIFIER, name: "name" },
+        { type: TokenType.OPERATOR, value: "{" },
+        {
+            type: NodeType.PROPERTY_SIGNATURE,
+            name: "members",
+            repeat: [1, Number.POSITIVE_INFINITY],
+            repeatSeparator: { type: TokenType.OPERATOR, value: "," }
+        },
+        { type: TokenType.OPERATOR, value: "}" }
+    ]], {
+    runtimeExecute(scope, node, outputType) {
+        throw new ExpressionSyntaxError(`Structs are not currently supported`, node);
+    },
+    compileTimeTraversal(scope, node, outputType) {
+        throw new ExpressionSyntaxError(`Structs are not currently supported`, node);
+    }
+});
+export function IsPropertySignatureNode(node) {
+    return node.type === NodeType.PROPERTY_SIGNATURE;
+}
+GrammarRegistry.AddRule(Versions.v1_0_0, NodeType.PROPERTY_SIGNATURE, [[
+        { type: TokenType.IDENTIFIER, name: "identifier" },
+        { type: TokenType.OPERATOR, value: ":" },
+        { type: [NodeType.TYPE_UNION, NodeType.TYPE_DEFINITION], name: "type" },
+    ]], {
+    runtimeExecute(scope, node, outputType) {
+        throw new ExpressionSyntaxError(`Structs are not currently supported`, node);
+    },
+    compileTimeTraversal(scope, node, outputType) {
+        throw new ExpressionSyntaxError(`Structs are not currently supported`, node);
+    }
+});
+//# sourceMappingURL=Struct.js.map

package/Expressions/Compiler/Grammar/Struct.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Struct.js","sourceRoot":"","sources":["Struct.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAG1D,IAAO,qBAAqB,GAAG,eAAe,CAAC,qBAAqB,CAAC;AAarE,MAAM,UAAU,YAAY,CAAC,IAAU;IACtC,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM,CAAC;AACtC,CAAC;AAED,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC1D,EAAE,IAAI,EAAE,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE;QAC5C,EAAE,IAAI,EAAE,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE;QAC5C,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE;QACxC;YACC,IAAI,EAAE,QAAQ,CAAC,kBAAkB;YACjC,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,iBAAiB,CAAC;YACrC,eAAe,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE;SACzD;QACD,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE;KACxC,CAAC,EAAE;IACH,cAAc,CAAC,KAAK,EAAE,IAAgB,EAAE,UAAU;QACjD,MAAM,IAAI,qBAAqB,CAAC,qCAAqC,EAAE,IAAI,CAAC,CAAC;IAC9E,CAAC;IACD,oBAAoB,CAAC,KAAK,EAAE,IAAgB,EAAE,UAAU;QACvD,MAAM,IAAI,qBAAqB,CAAC,qCAAqC,EAAE,IAAI,CAAC,CAAC;IAC9E,CAAC;CACD,CAAC,CAAC;AAYH,MAAM,UAAU,uBAAuB,CAAC,IAAU;IACjD,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,kBAAkB,CAAC;AAClD,CAAC;AAED,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,kBAAkB,EAAE,CAAC;QACtE,EAAE,IAAI,EAAE,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,YAAY,EAAE;QAClD,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE;QACxC,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,eAAe,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE;KACvE,CAAC,EAAE;IACH,cAAc,CAAC,KAAK,EAAE,IAA2B,EAAE,UAAU;QAC5D,MAAM,IAAI,qBAAqB,CAAC,qCAAqC,EAAE,IAAI,CAAC,CAAC;IAC9E,CAAC;IACD,oBAAoB,CAAC,KAAK,EAAE,IAA2B,EAAE,UAAU;QAClE,MAAM,IAAI,qBAAqB,CAAC,qCAAqC,EAAE,IAAI,CAAC,CAAC;IAC9E,CAAC;CACD,CAAC,CAAC"}

package/Expressions/Compiler/Grammar/Tokens.d.ts

@@ -0,0 +1,7 @@
+import { GrammarInterfaces } from "../Parser/Interfaces.js";
+import TokenCategoryRule = GrammarInterfaces.TokenCategoryRule;
+import Token = GrammarInterfaces.Token;
+export declare const EAST_Tokens: {
+    [category: string]: TokenCategoryRule;
+};
+export declare function isToken(object: any): object is Token;

package/Expressions/Compiler/Grammar/Tokens.js

@@ -0,0 +1,270 @@
+import { TokenPrecedence, TokenType } from "../Parser/Enums.js";
+import { GrammarRegistry } from "../GrammarRegistry.js";
+import { ChainNumber, ChainString } from "../../TypeRegistry/Primitive.js";
+import { GrammarInterfaces } from "../Parser/Interfaces.js";
+var ExpressionSyntaxError = GrammarRegistry.ExpressionSyntaxError;
+var isAssignableCompile = GrammarInterfaces.isAssignableCompile;
+var collapseTypeLive = GrammarInterfaces.collapseTypeLive;
+import { ErrorStack } from "../../../Constants/Errors.js";
+// noinspection RegExpUnnecessaryNonCapturingGroup
+export const EAST_Tokens = {
+    Builtin_BlockComment: {
+        type: TokenType.BLOCK_COMMENT,
+        versions: [/\/\*(.|\n|\r)*?\*\//g],
+        debug_name: "Block Comment",
+        precedence: TokenPrecedence.Block,
+        execution: {
+            runtimeExecute(scope, currentNode, outputType) {
+                return {
+                    type: null,
+                    value: null
+                };
+            },
+            compileTimeTraversal(scope, currentNode, outputType) {
+                if (outputType !== null) {
+                    throw new ExpressionSyntaxError("Block comments cannot return values", currentNode);
+                }
+                return null;
+            },
+        }
+    },
+    Builtin_LineComment: {
+        type: TokenType.LINE_COMMENT,
+        versions: [/\/\/.*/g],
+        debug_name: "Line Comment",
+        precedence: TokenPrecedence.Line,
+        execution: {
+            runtimeExecute(scope, currentNode, outputType) {
+                return {
+                    type: null,
+                    value: null
+                };
+            },
+            compileTimeTraversal(scope, currentNode, outputType) {
+                if (outputType !== null) {
+                    throw new ExpressionSyntaxError("Line comments cannot return values", currentNode);
+                }
+                return null;
+            }
+        }
+    },
+    Buildin_BlockString: {
+        type: TokenType.BLOCK_STRING,
+        versions: [/`(.|\n|\r)*?`/g],
+        debug_name: "Block String",
+        precedence: TokenPrecedence.Block,
+        execution: {
+            runtimeExecute(scope, node, outputType) {
+                return {
+                    type: ChainString,
+                    value: node.data.slice(1, -1),
+                };
+            },
+            compileTimeTraversal(scope, currentNode, outputType) {
+                return {
+                    type: [ChainString],
+                };
+            }
+        }
+    },
+    Builtin_LineString: {
+        type: TokenType.LINE_STRING,
+        versions: [/(?:".*?")|(?:'.*?')/g],
+        debug_name: "String",
+        precedence: TokenPrecedence.Intricate_Builtins,
+        execution: {
+            runtimeExecute(scope, node, outputType) {
+                return {
+                    type: ChainString,
+                    value: node.data.slice(1, -1),
+                };
+            },
+            compileTimeTraversal(scope, currentNode, outputType) {
+                return {
+                    type: [ChainString],
+                };
+            }
+        }
+    },
+    Builtin_Preprocessor: {
+        type: TokenType.PREPROCESSOR,
+        versions: [/#.*/gm],
+        debug_name: "Preprocessor Directive",
+        precedence: TokenPrecedence.Line,
+        execution: {
+            runtimeExecute(scope, currentNode, outputType) {
+                throw new ExpressionSyntaxError("Preprocessor directives are not yet supported", currentNode);
+            },
+            compileTimeTraversal(scope, currentNode, outputType) {
+                throw new ExpressionSyntaxError("Preprocessor directives are not yet supported", currentNode);
+            }
+        }
+    },
+    //Precedence 3 so that it is a lower priority than number (because of '.').
+    Builtin_Hex: {
+        type: TokenType.HEX,
+        versions: [/\b0x[0-9abcdef]+\b/g],
+        debug_name: "Hex Number",
+        precedence: TokenPrecedence.Intricate_Builtins,
+        execution: {
+            runtimeExecute(scope, currentNode, outputType) {
+                return {
+                    type: ChainNumber,
+                    value: parseInt(currentNode.data, 16),
+                };
+            },
+            compileTimeTraversal(scope, currentNode, outputType) {
+                return {
+                    type: [ChainNumber],
+                };
+            }
+        }
+    },
+    //Precedence 2 so that it is a lower priority than float and hex.
+    Builtin_Integer: {
+        type: TokenType.INTEGER,
+        versions: [/\b[0-9]+\b/g],
+        debug_name: "Integer",
+        precedence: TokenPrecedence.Standard_Builtins,
+        execution: {
+            runtimeExecute(scope, currentNode, outputType) {
+                return {
+                    type: ChainNumber,
+                    value: parseInt(currentNode.data),
+                };
+            },
+            compileTimeTraversal(scope, currentNode, outputType) {
+                return {
+                    type: [ChainNumber],
+                };
+            }
+        }
+    },
+    Builtin_Float: {
+        type: TokenType.FLOAT,
+        versions: [/\b([0-9]+[.][0-9]+([eE][0-9]+)?)|([0-9]+[fF])\b/g],
+        debug_name: "Float",
+        precedence: TokenPrecedence.Intricate_Builtins,
+        execution: {
+            runtimeExecute(scope, currentNode, outputType) {
+                return {
+                    type: ChainNumber,
+                    value: parseFloat(currentNode.data),
+                };
+            },
+            compileTimeTraversal(scope, currentNode, outputType) {
+                return {
+                    type: [ChainNumber],
+                };
+            }
+        }
+    },
+    //Lower priority than builtin, keyword and hex.
+    Identifier: {
+        type: TokenType.IDENTIFIER,
+        versions: [/\b[a-zA-Z_][a-zA-Z0-9_]+\b/g],
+        debug_name: "Identifier",
+        precedence: TokenPrecedence.User_Identifiers,
+        execution: {
+            runtimeExecute(scope, node, outputType) {
+                let data = scope.local[node.data] || scope.global[node.data];
+                if (data !== undefined) {
+                    let type = collapseTypeLive(scope, node, data.value, data.type);
+                    return {
+                        type: type,
+                        value: data.value,
+                    };
+                }
+                return {
+                    type: null,
+                    value: null
+                };
+            },
+            runtimeExecuteWithValidation(scope, node, outputType) {
+                let data = scope.local[node.data] || scope.global[node.data];
+                if (!data) {
+                    throw new Error(`Identifier ${node.data} not found in current scope.`);
+                }
+                if (outputType) {
+                    let stack = new ErrorStack({ Version: scope.version, SourceFile: node.file.sourceLocation });
+                    if (!isAssignableCompile(scope.version, outputType, data.type, node, stack)) {
+                        throw new ExpressionSyntaxError(`Variable returns types ${data.type} but expected ${outputType}\n` + stack.toString(`GT_IDEN_01`), node);
+                    }
+                }
+                if (data !== undefined) {
+                    let type = collapseTypeLive(scope, node, data.value, data.type);
+                    return {
+                        type: type,
+                        value: data.value,
+                    };
+                }
+                return {
+                    type: null,
+                    value: null
+                };
+            },
+            compileTimeTraversal(scope, node, outputType) {
+                let data = scope.local[node.data] || scope.global[node.data];
+                if (!data) {
+                    throw new Error(`Identifier ${node.data} not found in current scope.`);
+                }
+                if (outputType) {
+                    let stack = new ErrorStack({ Version: scope.version, SourceFile: node.file.sourceLocation });
+                    if (!isAssignableCompile(scope.version, outputType, data.type, node, stack)) {
+                        throw new ExpressionSyntaxError(`Variable returns types ${data.type} but expected ${outputType}\n` + stack.toString(`GT_IDEN_01`), node);
+                    }
+                }
+                return {
+                    type: data.type,
+                };
+            },
+        }
+    },
+    //The regex for this might be a bit limited, it should probably be revisited.
+    Builtin_Whitespace: {
+        type: TokenType.WHITESPACE,
+        versions: [/[ \t\r\n]+/g],
+        debug_name: "Whitespace",
+        precedence: TokenPrecedence.Intricate_Builtins,
+        execution: {
+            runtimeExecute(scope, node, outputType) {
+                throw new ExpressionSyntaxError("Whitespace is not supported", node);
+            },
+            compileTimeTraversal(scope, node, outputType) {
+                throw new ExpressionSyntaxError("Whitespace is not supported", node);
+            }
+        }
+    },
+    Operator: {
+        versions: [new Set([".", "(", ")", "[]", "[", "]", "{}", ",", "=", ":", "=>", "==", "!=", "<", "<=", ">", ">=", "+", "-", "*", "/", "%", "&&", "||", "&", "|", "^", "~"])],
+        type: TokenType.OPERATOR,
+        debug_name: "Operator",
+        precedence: TokenPrecedence.Operators,
+        execution: {
+            runtimeExecute(scope, node, outputType) {
+                throw new ExpressionSyntaxError("Raw operators are not supported", node);
+            },
+            compileTimeTraversal(scope, node, outputType) {
+                throw new ExpressionSyntaxError("Raw operators are not supported", node);
+            }
+        }
+    },
+    Keyword: {
+        versions: [new Set(["if", "else", "while", "for", "return", "break", "continue", "switch", "case", "default", "struct", "var", "function"])],
+        type: TokenType.KEYWORD,
+        debug_name: "Keyword",
+        precedence: TokenPrecedence.Standard_Builtins,
+        execution: {
+            runtimeExecute(scope, node, outputType) {
+                throw new ExpressionSyntaxError("Raw keywords are not supported", node);
+            },
+            compileTimeTraversal(scope, node, outputType) {
+                throw new ExpressionSyntaxError("Raw keywords are not supported", node);
+            }
+        }
+    }
+};
+export function isToken(object) {
+    return "type" in object && typeof TokenType[object.type] !== "undefined";
+}
+//# sourceMappingURL=Tokens.js.map

package/Expressions/Compiler/Grammar/Tokens.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Tokens.js","sourceRoot":"","sources":["Tokens.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,eAAe,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAChF,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAG5D,IAAO,qBAAqB,GAAG,eAAe,CAAC,qBAAqB,CAAC;AAGrE,IAAO,mBAAmB,GAAG,iBAAiB,CAAC,mBAAmB,CAAC;AAEnE,IAAO,gBAAgB,GAAG,iBAAiB,CAAC,gBAAgB,CAAC;AAC7D,OAAO,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAE1D,kDAAkD;AAClD,MAAM,CAAC,MAAM,WAAW,GAA8C;IACrE,oBAAoB,EAAE;QACrB,IAAI,EAAE,SAAS,CAAC,aAAa;QAC7B,QAAQ,EAAE,CAAC,sBAAsB,CAAC;QAClC,UAAU,EAAE,eAAe;QAC3B,UAAU,EAAE,eAAe,CAAC,KAAK;QACjC,SAAS,EAAE;YACV,cAAc,CAAC,KAAK,EAAE,WAAuB,EAAE,UAAU;gBACxD,OAAO;oBACN,IAAI,EAAE,IAAI;oBACV,KAAK,EAAE,IAAI;iBACX,CAAC;YACH,CAAC;YACD,oBAAoB,CAAC,KAAK,EAAE,WAAuB,EAAE,UAAU;gBAC9D,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;oBACzB,MAAM,IAAI,qBAAqB,CAAC,qCAAqC,EAAE,WAAW,CAAC,CAAC;gBACrF,CAAC;gBACD,OAAO,IAAI,CAAC;YACb,CAAC;SACD;KACD;IACD,mBAAmB,EAAE;QACpB,IAAI,EAAE,SAAS,CAAC,YAAY;QAC5B,QAAQ,EAAE,CAAC,SAAS,CAAC;QACrB,UAAU,EAAE,cAAc;QAC1B,UAAU,EAAE,eAAe,CAAC,IAAI;QAChC,SAAS,EAAE;YACV,cAAc,CAAC,KAAK,EAAE,WAAuB,EAAE,UAAU;gBACxD,OAAO;oBACN,IAAI,EAAE,IAAI;oBACV,KAAK,EAAE,IAAI;iBACX,CAAC;YACH,CAAC;YACD,oBAAoB,CAAC,KAAK,EAAE,WAAuB,EAAE,UAAU;gBAC9D,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;oBACzB,MAAM,IAAI,qBAAqB,CAAC,oCAAoC,EAAE,WAAW,CAAC,CAAC;gBACpF,CAAC;gBACD,OAAO,IAAI,CAAC;YACb,CAAC;SACD;KACD;IACD,mBAAmB,EAAE;QACpB,IAAI,EAAE,SAAS,CAAC,YAAY;QAC5B,QAAQ,EAAE,CAAC,gBAAgB,CAAC;QAC5B,UAAU,EAAE,cAAc;QAC1B,UAAU,EAAE,eAAe,CAAC,KAAK;QACjC,SAAS,EAAE;YACV,cAAc,CAAC,KAAK,EAAE,IAAgB,EAAE,UAAU;gBACjD,OAAO;oBACN,IAAI,EAAE,WAAW;oBACjB,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;iBAC7B,CAAC;YACH,CAAC;YACD,oBAAoB,CAAC,KAAK,EAAE,WAAuB,EAAE,UAAU;gBAC9D,OAAO;oBACN,IAAI,EAAE,CAAC,WAAW,CAAC;iBACnB,CAAC;YACH,CAAC;SACD;KACD;IACD,kBAAkB,EAAE;QACnB,IAAI,EAAE,SAAS,CAAC,WAAW;QAC3B,QAAQ,EAAE,CAAC,sBAAsB,CAAC;QAClC,UAAU,EAAE,QAAQ;QACpB,UAAU,EAAE,eAAe,CAAC,kBAAkB;QAC9C,SAAS,EAAE;YACV,cAAc,CAAC,KAAK,EAAE,IAAgB,EAAE,UAAU;gBACjD,OAAO;oBACN,IAAI,EAAE,WAAW;oBACjB,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;iBAC7B,CAAC;YACH,CAAC;YACD,oBAAoB,CAAC,KAAK,EAAE,WAAuB,EAAE,UAAU;gBAC9D,OAAO;oBACN,IAAI,EAAE,CAAC,WAAW,CAAC;iBACnB,CAAC;YACH,CAAC;SACD;KACD;IACD,oBAAoB,EAAE;QACrB,IAAI,EAAE,SAAS,CAAC,YAAY;QAC5B,QAAQ,EAAE,CAAC,OAAO,CAAC;QACnB,UAAU,EAAE,wBAAwB;QACpC,UAAU,EAAE,eAAe,CAAC,IAAI;QAChC,SAAS,EAAE;YACV,cAAc,CAAC,KAAK,EAAE,WAAuB,EAAE,UAAU;gBACxD,MAAM,IAAI,qBAAqB,CAAC,+CAA+C,EAAE,WAAW,CAAC,CAAC;YAC/F,CAAC;YACD,oBAAoB,CAAC,KAAK,EAAE,WAAuB,EAAE,UAAU;gBAC9D,MAAM,IAAI,qBAAqB,CAAC,+CAA+C,EAAE,WAAW,CAAC,CAAC;YAC/F,CAAC;SACD;KACD;IACD,2EAA2E;IAC3E,WAAW,EAAE;QACZ,IAAI,EAAE,SAAS,CAAC,GAAG;QACnB,QAAQ,EAAE,CAAC,qBAAqB,CAAC;QACjC,UAAU,EAAE,YAAY;QACxB,UAAU,EAAE,eAAe,CAAC,kBAAkB;QAC9C,SAAS,EAAE;YACV,cAAc,CAAC,KAAK,EAAE,WAAuB,EAAE,UAAU;gBACxD,OAAO;oBACN,IAAI,EAAE,WAAW;oBACjB,KAAK,EAAE,QAAQ,CAAC,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC;iBACrC,CAAC;YACH,CAAC;YACD,oBAAoB,CAAC,KAAK,EAAE,WAAuB,EAAE,UAAU;gBAC9D,OAAO;oBACN,IAAI,EAAE,CAAC,WAAW,CAAC;iBACnB,CAAC;YACH,CAAC;SACD;KACD;IACD,iEAAiE;IACjE,eAAe,EAAE;QAChB,IAAI,EAAE,SAAS,CAAC,OAAO;QACvB,QAAQ,EAAE,CAAC,aAAa,CAAC;QACzB,UAAU,EAAE,SAAS;QACrB,UAAU,EAAE,eAAe,CAAC,iBAAiB;QAC7C,SAAS,EAAE;YACV,cAAc,CAAC,KAAK,EAAE,WAAuB,EAAE,UAAU;gBACxD,OAAO;oBACN,IAAI,EAAE,WAAW;oBACjB,KAAK,EAAE,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC;iBACjC,CAAC;YACH,CAAC;YACD,oBAAoB,CAAC,KAAK,EAAE,WAAuB,EAAE,UAAU;gBAC9D,OAAO;oBACN,IAAI,EAAE,CAAC,WAAW,CAAC;iBACnB,CAAC;YACH,CAAC;SACD;KACD;IACD,aAAa,EAAE;QACd,IAAI,EAAE,SAAS,CAAC,KAAK;QACrB,QAAQ,EAAE,CAAC,kDAAkD,CAAC;QAC9D,UAAU,EAAE,OAAO;QACnB,UAAU,EAAE,eAAe,CAAC,kBAAkB;QAC9C,SAAS,EAAE;YACV,cAAc,CAAC,KAAK,EAAE,WAAuB,EAAE,UAAU;gBACxD,OAAO;oBACN,IAAI,EAAE,WAAW;oBACjB,KAAK,EAAE,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC;iBACnC,CAAC;YACH,CAAC;YACD,oBAAoB,CAAC,KAAK,EAAE,WAAuB,EAAE,UAAU;gBAC9D,OAAO;oBACN,IAAI,EAAE,CAAC,WAAW,CAAC;iBACnB,CAAC;YACH,CAAC;SACD;KACD;IACD,+CAA+C;IAC/C,UAAU,EAAE;QACX,IAAI,EAAE,SAAS,CAAC,UAAU;QAC1B,QAAQ,EAAE,CAAC,6BAA6B,CAAC;QACzC,UAAU,EAAE,YAAY;QACxB,UAAU,EAAE,eAAe,CAAC,gBAAgB;QAC5C,SAAS,EAAE;YACV,cAAc,CAAC,KAAK,EAAE,IAAgB,EAAE,UAAU;gBACjD,IAAI,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC7D,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;oBACxB,IAAI,IAAI,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;oBAChE,OAAO;wBACN,IAAI,EAAE,IAAI;wBACV,KAAK,EAAE,IAAI,CAAC,KAAK;qBACjB,CAAA;gBACF,CAAC;gBACD,OAAO;oBACN,IAAI,EAAE,IAAI;oBACV,KAAK,EAAE,IAAI;iBACX,CAAC;YACH,CAAC;YACD,4BAA4B,CAAC,KAAK,EAAE,IAAgB,EAAE,UAAU;gBAC/D,IAAI,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC7D,IAAI,CAAC,IAAI,EAAE,CAAC;oBACX,MAAM,IAAI,KAAK,CAAC,cAAc,IAAI,CAAC,IAAI,8BAA8B,CAAC,CAAC;gBACxE,CAAC;gBACD,IAAI,UAAU,EAAE,CAAC;oBAChB,IAAI,KAAK,GAAG,IAAI,UAAU,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC;oBAC7F,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;wBAC7E,MAAM,IAAI,qBAAqB,CAAC,0BAA0B,IAAI,CAAC,IAAI,iBAAiB,UAAU,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC,CAAC;oBAC1I,CAAC;gBACF,CAAC;gBACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;oBACxB,IAAI,IAAI,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;oBAChE,OAAO;wBACN,IAAI,EAAE,IAAI;wBACV,KAAK,EAAE,IAAI,CAAC,KAAK;qBACjB,CAAA;gBACF,CAAC;gBACD,OAAO;oBACN,IAAI,EAAE,IAAI;oBACV,KAAK,EAAE,IAAI;iBACX,CAAC;YACH,CAAC;YACD,oBAAoB,CAAC,KAAK,EAAE,IAAgB,EAAE,UAAU;gBACvD,IAAI,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC7D,IAAI,CAAC,IAAI,EAAE,CAAC;oBACX,MAAM,IAAI,KAAK,CAAC,cAAc,IAAI,CAAC,IAAI,8BAA8B,CAAC,CAAC;gBACxE,CAAC;gBACD,IAAI,UAAU,EAAE,CAAC;oBAChB,IAAI,KAAK,GAAG,IAAI,UAAU,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC;oBAC7F,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;wBAC7E,MAAM,IAAI,qBAAqB,CAAC,0BAA0B,IAAI,CAAC,IAAI,iBAAiB,UAAU,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC,CAAC;oBAC1I,CAAC;gBACF,CAAC;gBACD,OAAO;oBACN,IAAI,EAAE,IAAI,CAAC,IAAI;iBACf,CAAC;YACH,CAAC;SACD;KACD;IACD,6EAA6E;IAC7E,kBAAkB,EAAE;QACnB,IAAI,EAAE,SAAS,CAAC,UAAU;QAC1B,QAAQ,EAAE,CAAC,aAAa,CAAC;QACzB,UAAU,EAAE,YAAY;QACxB,UAAU,EAAE,eAAe,CAAC,kBAAkB;QAC9C,SAAS,EAAE;YACV,cAAc,CAAC,KAAK,EAAE,IAAgB,EAAE,UAAU;gBACjD,MAAM,IAAI,qBAAqB,CAAC,6BAA6B,EAAE,IAAI,CAAC,CAAC;YACtE,CAAC;YACD,oBAAoB,CAAC,KAAK,EAAE,IAAgB,EAAE,UAAU;gBACvD,MAAM,IAAI,qBAAqB,CAAC,6BAA6B,EAAE,IAAI,CAAC,CAAC;YACtE,CAAC;SACD;KACD;IACD,QAAQ,EAAE;QACT,QAAQ,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC1K,IAAI,EAAE,SAAS,CAAC,QAAQ;QACxB,UAAU,EAAE,UAAU;QACtB,UAAU,EAAE,eAAe,CAAC,SAAS;QACrC,SAAS,EAAE;YACV,cAAc,CAAC,KAAK,EAAE,IAAgB,EAAE,UAAU;gBACjD,MAAM,IAAI,qBAAqB,CAAC,iCAAiC,EAAE,IAAI,CAAC,CAAC;YAC1E,CAAC;YACD,oBAAoB,CAAC,KAAK,EAAE,IAAgB,EAAE,UAAU;gBACvD,MAAM,IAAI,qBAAqB,CAAC,iCAAiC,EAAE,IAAI,CAAC,CAAC;YAC1E,CAAC;SACD;KACD;IACD,OAAO,EAAE;QACR,QAAQ,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC;QAC5I,IAAI,EAAE,SAAS,CAAC,OAAO;QACvB,UAAU,EAAE,SAAS;QACrB,UAAU,EAAE,eAAe,CAAC,iBAAiB;QAC7C,SAAS,EAAE;YACV,cAAc,CAAC,KAAK,EAAE,IAAgB,EAAE,UAAU;gBACjD,MAAM,IAAI,qBAAqB,CAAC,gCAAgC,EAAE,IAAI,CAAC,CAAC;YACzE,CAAC;YACD,oBAAoB,CAAC,KAAK,EAAE,IAAgB,EAAE,UAAU;gBACvD,MAAM,IAAI,qBAAqB,CAAC,gCAAgC,EAAE,IAAI,CAAC,CAAC;YACzE,CAAC;SACD;KACD;CACD,CAAC;AAEF,MAAM,UAAU,OAAO,CAAC,MAAW;IAClC,OAAO,MAAM,IAAI,MAAM,IAAI,OAAO,SAAS,CAAE,MAAgB,CAAC,IAAI,CAAC,KAAK,WAAW,CAAC;AACrF,CAAC"}

package/Expressions/Compiler/Grammar/Types.d.ts

@@ -0,0 +1,35 @@
+import { GrammarInterfaces } from "../Parser/Interfaces.js";
+import { NodeType } from "../Parser/Enums.js";
+import { ArrayAccessSequenceNode } from "./Accessors.js";
+import { FunctionCallNode } from "./Function.js";
+import { ParenthetisedExpressionNode } from "./General.js";
+import { LiteralNode } from "./Misc.js";
+import EAST_Token = GrammarInterfaces.EAST_Token;
+import Node = GrammarInterfaces.Node;
+import EAST_Complex_Node = GrammarInterfaces.EAST_Complex_Node;
+export interface TypeDefinitionNode extends GrammarInterfaces.EAST_Complex_Node {
+    type: NodeType.TYPE_DEFINITION;
+    values: {
+        type: EAST_Token;
+        array?: EAST_Token[];
+        dictKey?: EAST_Token;
+        mapKey?: EAST_Token;
+    };
+}
+export declare function IsDeclarationTypeNode(node: Node): node is TypeDefinitionNode;
+export interface TypeUnionNode extends EAST_Complex_Node {
+    type: NodeType.TYPE_UNION;
+    values: {
+        lhs: TypeDefinitionNode;
+        rhs: TypeDefinitionNode;
+    };
+}
+export declare function IsTypeIntersectionNode(node: Node): node is TypeUnionNode;
+export interface CastNode extends EAST_Complex_Node {
+    type: NodeType.CAST;
+    values: {
+        expression: ArrayAccessSequenceNode | FunctionCallNode | ParenthetisedExpressionNode | EAST_Token | LiteralNode;
+        castType: TypeDefinitionNode | TypeUnionNode;
+    };
+}
+export declare function IsCastNode(node: Node): node is CastNode;

package/Expressions/Compiler/Grammar/Types.js

@@ -0,0 +1,230 @@
+import { GrammarInterfaces } from "../Parser/Interfaces.js";
+import { CollectionType, NodeType, TokenType } from "../Parser/Enums.js";
+import { GrammarRegistry } from "../GrammarRegistry.js";
+import { Versions } from "../../../Constants/Versions.js";
+import { ValidExpressionTypes } from "../../TypeRegistry/Registry.js";
+var GetTypeChain = ValidExpressionTypes.GetTypeChain;
+var ExpressionSyntaxError = GrammarRegistry.ExpressionSyntaxError;
+var assertIsAssignable = GrammarInterfaces.isAssignableCompile;
+var isAssignableCompile = GrammarInterfaces.isAssignableCompile;
+import { ErrorStack } from "../../../Constants/Errors.js";
+var collapseTypeLive = GrammarInterfaces.collapseTypeLive;
+export function IsDeclarationTypeNode(node) {
+    return node.type === NodeType.TYPE_DEFINITION;
+}
+//TODO: Support intersection compile-time values.
+GrammarRegistry.AddRule(Versions.v1_0_0, NodeType.TYPE_DEFINITION, [
+    [
+        { type: TokenType.IDENTIFIER, value: "Map" },
+        { type: TokenType.OPERATOR, value: "<" },
+        { type: TokenType.IDENTIFIER, name: "mapKey" },
+        { type: TokenType.OPERATOR, value: "," },
+        { type: TokenType.IDENTIFIER, name: "type" },
+        { type: TokenType.OPERATOR, value: ">" },
+    ],
+    [
+        { type: TokenType.IDENTIFIER, name: "type" },
+        { type: TokenType.OPERATOR, value: "[]", repeat: [0, 2], name: "array" },
+    ],
+    [
+        { type: TokenType.OPERATOR, value: "{" },
+        { type: TokenType.OPERATOR, value: "[" },
+        { type: TokenType.IDENTIFIER, name: "dictKey" },
+        { type: TokenType.OPERATOR, value: "]" },
+        { type: TokenType.OPERATOR, value: ":" },
+        { type: TokenType.IDENTIFIER, name: "type" },
+        { type: TokenType.OPERATOR, value: "}" },
+    ],
+], {
+    runtimeExecute(scope, currentNode, outputType) {
+        var style = CollectionType.Single;
+        if (currentNode.values.array) {
+            style = currentNode.values.array.length == 2 ? CollectionType.Array2 : CollectionType.Array;
+        }
+        if (currentNode.values.dictKey) {
+            style = CollectionType.Dict;
+        }
+        if (currentNode.values.mapKey) {
+            style = CollectionType.Map;
+        }
+        const type = GetTypeChain(currentNode.values.type.data, style);
+        if (!type) {
+            throw new ExpressionSyntaxError(`Unknown type '${currentNode.values.type.data}'`, currentNode);
+        }
+        return {
+            castType: [type],
+            type: null,
+            value: null,
+        };
+    },
+    compileTimeTraversal(scope, currentNode, outputType) {
+        var style = CollectionType.Single;
+        if (currentNode.values.array) {
+            style = currentNode.values.array.length == 2 ? CollectionType.Array2 : CollectionType.Array;
+        }
+        if (currentNode.values.dictKey) {
+            style = CollectionType.Dict;
+        }
+        if (currentNode.values.mapKey) {
+            style = CollectionType.Map;
+        }
+        const type = GetTypeChain(currentNode.values.type.data, style);
+        if (!type) {
+            throw new ExpressionSyntaxError(`Unknown type '${currentNode.values.type.data}'`, currentNode);
+        }
+        let stack = new ErrorStack({ Version: scope.version, SourceFile: currentNode.file.sourceLocation });
+        if (outputType && !assertIsAssignable(scope.version, outputType, [type], currentNode, stack)) {
+            throw new ExpressionSyntaxError(`Type '${currentNode.values.type.data}' does not match expected type.\n\n` + stack.toString(`GT_CAST_TD_01`), currentNode);
+        }
+        return {
+            castType: [type],
+            type: null
+        };
+    }
+});
+export function IsTypeIntersectionNode(node) {
+    return node.type === NodeType.TYPE_UNION;
+}
+GrammarRegistry.AddRule(Versions.v1_0_0, NodeType.TYPE_UNION, [
+    [{ type: NodeType.TYPE_DEFINITION, name: "lhs" }],
+    [{ type: TokenType.OPERATOR, value: "|" }],
+    [{ type: [NodeType.TYPE_UNION, NodeType.TYPE_DEFINITION], name: "rhs" }],
+], {
+    runtimeExecute(scope, currentNode, outputType) {
+        const lhs = currentNode.values.lhs.execute.runtimeExecute(scope, currentNode.values.lhs, outputType);
+        const rhs = currentNode.values.rhs.execute.runtimeExecute(scope, currentNode.values.rhs, outputType);
+        if (!lhs.castType || !rhs.castType) {
+            throw new ExpressionSyntaxError(`Cannot intersect types`, currentNode);
+        }
+        let castType = [...lhs.castType, ...rhs.castType];
+        let stack = new ErrorStack({ Version: scope.version, SourceFile: currentNode.file.sourceLocation });
+        if (outputType && assertIsAssignable(scope.version, outputType, castType, currentNode, stack)) {
+            throw new ExpressionSyntaxError(`Type does not match expected type.\n\n` + stack.toString(`GT_CAST_UN_01`), currentNode);
+        }
+        return {
+            castType,
+            type: null,
+            value: null,
+        };
+    },
+    compileTimeTraversal(scope, currentNode, outputType) {
+        const lhs = currentNode.values.lhs.execute.compileTimeTraversal(scope, currentNode.values.lhs, outputType);
+        const rhs = currentNode.values.rhs.execute.compileTimeTraversal(scope, currentNode.values.rhs, outputType);
+        if (!lhs?.castType || !rhs?.castType) {
+            throw new ExpressionSyntaxError(`Cannot intersect types`, currentNode);
+        }
+        let castType = [...lhs.castType, ...rhs.castType];
+        let stack = new ErrorStack({ Version: scope.version, SourceFile: currentNode.file.sourceLocation });
+        if (outputType && assertIsAssignable(scope.version, outputType, castType, currentNode, stack)) {
+            throw new ExpressionSyntaxError(`Type does not match expected type.\n\n` + stack.toString(`GT_CAST_UN_02`), currentNode);
+        }
+        return {
+            castType,
+            type: null
+        };
+    }
+});
+export function IsCastNode(node) {
+    return node.type === NodeType.CAST;
+}
+GrammarRegistry.AddRule(Versions.v1_0_0, NodeType.CAST, [[
+        {
+            type: [
+                NodeType.ARRAY_ACCESS_SEQUENCE,
+                NodeType.FUNCTION_CALL,
+                NodeType.PARENTHETISED_EXPRESSION,
+                TokenType.BUILTIN,
+                NodeType.LITERAL,
+                TokenType.IDENTIFIER,
+            ],
+            name: "expression"
+        },
+        { type: TokenType.OPERATOR, value: ":" },
+        { type: [NodeType.TYPE_DEFINITION, NodeType.TYPE_UNION], name: "castType" }
+    ]], {
+    runtimeExecute(scope, node, outputType) {
+        const castTypes = node.values.castType.execute.runtimeExecute(scope, node, null);
+        if (!castTypes.castType) {
+            throw new ExpressionSyntaxError(`Cannot cast to invalid cast sequence`, node);
+        }
+        let stack = new ErrorStack({ Version: scope.version, SourceFile: node.file.sourceLocation });
+        if (outputType && !isAssignableCompile(scope.version, outputType, castTypes.castType, node, stack)) {
+            throw new ExpressionSyntaxError(`Type does not match expected type.\n\n` + stack.toString(`GT_CAST_CAST_01`), node);
+        }
+        let value = node.values.expression.execute.runtimeExecute(scope, node.values.expression, castTypes.castType);
+        let finalType = collapseTypeLive(scope, node, value.value, castTypes.castType);
+        if (!finalType) {
+            throw new ExpressionSyntaxError(`Value is not castable to type.`, node);
+        }
+        return {
+            type: finalType,
+            value: value.value
+        };
+    },
+    compileTimeTraversal(scope, node, outputType) {
+        const castTypes = node.values.castType.execute.compileTimeTraversal(scope, node, null);
+        if (!castTypes?.castType) {
+            throw new ExpressionSyntaxError(`Cannot cast to invalid cast sequence`, node);
+        }
+        let stack = new ErrorStack({ Version: scope.version, SourceFile: node.file.sourceLocation });
+        if (outputType && !isAssignableCompile(scope.version, outputType, castTypes.castType, node, stack)) {
+            throw new ExpressionSyntaxError(`Type does not match expected type.\n\n` + stack.toString(`GT_CAST_CAST_02`), node);
+        }
+        let value = node.values.expression.execute.compileTimeTraversal(scope, node.values.expression, castTypes.castType);
+        if (!value?.type) {
+            throw new ExpressionSyntaxError(`Cannot cast expression that returns void to a value.`, node);
+        }
+        let valid = false;
+        for (let type of value.type) {
+            if (isAssignableCompile(scope.version, castTypes.castType, [type], node, stack)) {
+                valid = true;
+                break;
+            }
+        }
+        if (!valid) {
+            throw new ExpressionSyntaxError(`Cannot cast value to type, there is no overlap between the operands.`, node);
+        }
+        return {
+            type: castTypes.castType,
+        };
+    }
+});
+//-------------------------------------------------FORCE CAST-----------------------------------------------
+//Disabled for now - might be supplanted but the newly fixed cast operator above.
+// export interface ForceCastNode extends EAST_Complex_Node {
+// 	type: NodeType.FORCE_CAST;
+// 	values: {
+// 		expression:
+// 			| ArrayAccessSequenceNode
+// 			| FunctionCallNode
+// 			| ParenthetisedExpressionNode
+// 			| EAST_Token
+// 			| LiteralNode
+// 			| MemberAccessNode;
+// 		castType: EAST_Token;
+// 	};
+// }
+//
+// export function IsForceCastNode(node: Node): node is ForceCastNode {
+// 	return node.type === NodeType.FORCE_CAST;
+// }
+//
+// GrammarRegistry.AddRule(Versions.v1_0_0, NodeType.FORCE_CAST, [
+// 	{
+// 		type: [
+// 			NodeType.ARRAY_ACCESS_SEQUENCE,
+// 			NodeType.FUNCTION_CALL,
+// 			NodeType.PARENTHETISED_EXPRESSION,
+// 			TokenType.BUILTIN,
+// 			NodeType.LITERAL,
+// 			TokenType.IDENTIFIER
+// 		],
+// 		name: "expression"
+// 	},
+// 	{ type: TokenType.OPERATOR, value: ":" },
+// 	{ type: TokenType.OPERATOR, value: "=" },
+// 	{ type: [ TokenType.IDENTIFIER ],
+// 		name: "castType"
+// 	}
+// ]);
+//# sourceMappingURL=Types.js.map

package/Expressions/Compiler/Grammar/Types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Types.js","sourceRoot":"","sources":["Types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAIzE,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAK1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,gCAAgC,CAAC;AACtE,IAAO,YAAY,GAAG,oBAAoB,CAAC,YAAY,CAAC;AACxD,IAAO,qBAAqB,GAAG,eAAe,CAAC,qBAAqB,CAAC;AAErE,IAAO,kBAAkB,GAAG,iBAAiB,CAAC,mBAAmB,CAAC;AAElE,IAAO,mBAAmB,GAAG,iBAAiB,CAAC,mBAAmB,CAAC;AACnE,OAAO,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAC1D,IAAO,gBAAgB,GAAG,iBAAiB,CAAC,gBAAgB,CAAC;AAa7D,MAAM,UAAU,qBAAqB,CAAC,IAAU;IAC/C,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,eAAe,CAAC;AAC/C,CAAC;AACD,iDAAiD;AACjD,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,eAAe,EAAE;IAClE;QACC,EAAE,IAAI,EAAE,SAAS,CAAC,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE;QAC5C,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE;QACxC,EAAE,IAAI,EAAE,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE;QAC9C,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE;QACxC,EAAE,IAAI,EAAE,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE;QAC5C,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE;KACxC;IACD;QACC,EAAE,IAAI,EAAE,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE;QAC5C,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,EAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE;KACvE;IACD;QACC,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE;QACxC,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE;QACxC,EAAE,IAAI,EAAE,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE;QAC/C,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE;QACxC,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE;QACxC,EAAE,IAAI,EAAE,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE;QAC5C,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE;KACxC;CACD,EAAE;IACF,cAAc,CAAC,KAAK,EAAE,WAA+B,EAAE,UAAU;QAChE,IAAI,KAAK,GAAmB,cAAc,CAAC,MAAM,CAAC;QAClD,IAAI,WAAW,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;YAC9B,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC;QAC7F,CAAC;QACD,IAAI,WAAW,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YAChC,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC;QAC7B,CAAC;QACD,IAAI,WAAW,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YAC/B,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC;QAC5B,CAAC;QACD,MAAM,IAAI,GAAG,YAAY,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/D,IAAI,CAAC,IAAI,EAAE,CAAC;YACX,MAAM,IAAI,qBAAqB,CAAC,iBAAiB,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,GAAG,EAAE,WAAW,CAAC,CAAC;QAChG,CAAC;QACD,OAAO;YACN,QAAQ,EAAE,CAAC,IAAI,CAAC;YAChB,IAAI,EAAE,IAAI;YACV,KAAK,EAAE,IAAI;SACX,CAAC;IACH,CAAC;IACD,oBAAoB,CAAC,KAAK,EAAE,WAA+B,EAAE,UAAU;QACtE,IAAI,KAAK,GAAmB,cAAc,CAAC,MAAM,CAAC;QAClD,IAAI,WAAW,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;YAC9B,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC;QAC7F,CAAC;QACD,IAAI,WAAW,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YAChC,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC;QAC7B,CAAC;QACD,IAAI,WAAW,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YAC/B,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC;QAC5B,CAAC;QACD,MAAM,IAAI,GAAG,YAAY,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/D,IAAI,CAAC,IAAI,EAAE,CAAC;YACX,MAAM,IAAI,qBAAqB,CAAC,iBAAiB,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,GAAG,EAAE,WAAW,CAAC,CAAC;QAChG,CAAC;QACD,IAAI,KAAK,GAAG,IAAI,UAAU,CAAC,EAAC,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,WAAW,CAAC,IAAI,CAAC,cAAc,EAAC,CAAC,CAAC;QAClG,IAAI,UAAU,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,EAAE,CAAC;YAC9F,MAAM,IAAI,qBAAqB,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,qCAAqC,GAAG,KAAK,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,WAAW,CAAC,CAAC;QAC5J,CAAC;QACD,OAAO;YACN,QAAQ,EAAE,CAAC,IAAI,CAAC;YAChB,IAAI,EAAE,IAAI;SACV,CAAC;IACH,CAAC;CACD,CAAC,CAAC;AAUH,MAAM,UAAU,sBAAsB,CAAC,IAAU;IAChD,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,UAAU,CAAC;AAC1C,CAAC;AAED,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,EAAE;IAC7D,CAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,CAAE;IACnD,CAAE,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,CAAE;IAC5C,CAAE,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,eAAe,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAE;CAC1E,EAAE;IACF,cAAc,CAAC,KAAK,EAAE,WAA0B,EAAE,UAAU;QAC3D,MAAM,GAAG,GAAG,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QACrG,MAAM,GAAG,GAAG,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QACrG,IAAI,CAAC,GAAG,CAAC,QAAQ,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YACpC,MAAM,IAAI,qBAAqB,CAAC,wBAAwB,EAAE,WAAW,CAAC,CAAC;QACxE,CAAC;QACD,IAAI,QAAQ,GAAG,CAAC,GAAG,GAAG,CAAC,QAAQ,EAAE,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC;QAClD,IAAI,KAAK,GAAG,IAAI,UAAU,CAAC,EAAC,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,WAAW,CAAC,IAAI,CAAC,cAAc,EAAC,CAAC,CAAC;QAClG,IAAI,UAAU,IAAI,kBAAkB,CAAC,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,CAAC,EAAE,CAAC;YAC/F,MAAM,IAAI,qBAAqB,CAAC,wCAAwC,GAAG,KAAK,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,WAAW,CAAC,CAAC;QAC1H,CAAC;QACD,OAAO;YACN,QAAQ;YACR,IAAI,EAAE,IAAI;YACV,KAAK,EAAE,IAAI;SACX,CAAC;IACH,CAAC;IACD,oBAAoB,CAAC,KAAK,EAAE,WAA0B,EAAE,UAAU;QACjE,MAAM,GAAG,GAAG,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,oBAAoB,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QAC3G,MAAM,GAAG,GAAG,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,oBAAoB,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QAC3G,IAAI,CAAC,GAAG,EAAE,QAAQ,IAAI,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC;YACtC,MAAM,IAAI,qBAAqB,CAAC,wBAAwB,EAAE,WAAW,CAAC,CAAC;QACxE,CAAC;QACD,IAAI,QAAQ,GAAG,CAAC,GAAG,GAAG,CAAC,QAAQ,EAAE,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC;QAClD,IAAI,KAAK,GAAG,IAAI,UAAU,CAAC,EAAC,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,WAAW,CAAC,IAAI,CAAC,cAAc,EAAC,CAAC,CAAC;QAClG,IAAI,UAAU,IAAI,kBAAkB,CAAC,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,CAAC,EAAE,CAAC;YAC/F,MAAM,IAAI,qBAAqB,CAAC,wCAAwC,GAAG,KAAK,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,WAAW,CAAC,CAAC;QAC1H,CAAC;QACD,OAAO;YACN,QAAQ;YACR,IAAI,EAAE,IAAI;SACV,CAAC;IACH,CAAC;CACD,CAAC,CAAC;AAiBH,MAAM,UAAU,UAAU,CAAC,IAAU;IACpC,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC;AACpC,CAAC;AAED,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC;QACxD;YACC,IAAI,EAAE;gBACL,QAAQ,CAAC,qBAAqB;gBAC9B,QAAQ,CAAC,aAAa;gBACtB,QAAQ,CAAC,wBAAwB;gBACjC,SAAS,CAAC,OAAO;gBACjB,QAAQ,CAAC,OAAO;gBAChB,SAAS,CAAC,UAAU;aACpB;YACD,IAAI,EAAE,YAAY;SAClB;QACD,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE;QACxC,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,eAAe,EAAE,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE;KAC3E,CAAC,EAAE;IACH,cAAc,CAAC,KAAK,EAAE,IAAc,EAAE,UAAU;QAC/C,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACjF,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC;YACzB,MAAM,IAAI,qBAAqB,CAAC,sCAAsC,EAAE,IAAI,CAAC,CAAC;QAC/E,CAAC;QACD,IAAI,KAAK,GAAG,IAAI,UAAU,CAAC,EAAC,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,cAAc,EAAC,CAAC,CAAC;QAC3F,IAAI,UAAU,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YACpG,MAAM,IAAI,qBAAqB,CAAC,wCAAwC,GAAG,KAAK,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,IAAI,CAAC,CAAC;QACrH,CAAC;QACD,IAAI,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC;QAC7G,IAAI,SAAS,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC;QAC/E,IAAI,CAAC,SAAS,EAAE,CAAC;YAChB,MAAM,IAAI,qBAAqB,CAAC,gCAAgC,EAAE,IAAI,CAAC,CAAC;QACzE,CAAC;QACD,OAAO;YACN,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,KAAK,CAAC,KAAK;SAClB,CAAC;IACH,CAAC;IACD,oBAAoB,CAAC,KAAK,EAAE,IAAc,EAAE,UAAU;QACrD,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,oBAAoB,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACvF,IAAI,CAAC,SAAS,EAAE,QAAQ,EAAE,CAAC;YAC1B,MAAM,IAAI,qBAAqB,CAAC,sCAAsC,EAAE,IAAI,CAAC,CAAC;QAC/E,CAAC;QACD,IAAI,KAAK,GAAG,IAAI,UAAU,CAAC,EAAC,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,cAAc,EAAC,CAAC,CAAC;QAC3F,IAAI,UAAU,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YACpG,MAAM,IAAI,qBAAqB,CAAC,wCAAwC,GAAG,KAAK,CAAC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,IAAI,CAAC,CAAC;QACrH,CAAC;QACD,IAAI,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,oBAAoB,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC;QACnH,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC;YAClB,MAAM,IAAI,qBAAqB,CAAC,sDAAsD,EAAE,IAAI,CAAC,CAAC;QAC/F,CAAC;QACD,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,KAAK,IAAI,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YAC7B,IAAI,mBAAmB,CAAC,KAAK,CAAC,OAAO,EAAE,SAAS,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;gBACjF,KAAK,GAAG,IAAI,CAAC;gBACb,MAAM;YACP,CAAC;QACF,CAAC;QACD,IAAI,CAAC,KAAK,EAAE,CAAC;YACZ,MAAM,IAAI,qBAAqB,CAAC,sEAAsE,EAAE,IAAI,CAAC,CAAC;QAC/G,CAAC;QACD,OAAO;YACN,IAAI,EAAE,SAAS,CAAC,QAAQ;SACxB,CAAC;IACH,CAAC;CACD,CAAC,CAAC;AAGH,4GAA4G;AAC5G,iFAAiF;AAEjF,6DAA6D;AAC7D,8BAA8B;AAC9B,aAAa;AACb,gBAAgB;AAChB,+BAA+B;AAC/B,wBAAwB;AACxB,mCAAmC;AACnC,kBAAkB;AAClB,mBAAmB;AACnB,yBAAyB;AACzB,0BAA0B;AAC1B,MAAM;AACN,IAAI;AACJ,EAAE;AACF,uEAAuE;AACvE,6CAA6C;AAC7C,IAAI;AACJ,EAAE;AACF,kEAAkE;AAClE,KAAK;AACL,YAAY;AACZ,qCAAqC;AACrC,6BAA6B;AAC7B,wCAAwC;AACxC,wBAAwB;AACxB,uBAAuB;AACvB,0BAA0B;AAC1B,OAAO;AACP,uBAAuB;AACvB,MAAM;AACN,6CAA6C;AAC7C,6CAA6C;AAC7C,qCAAqC;AACrC,qBAAqB;AACrB,KAAK;AACL,MAAM"}

package/Expressions/Compiler/GrammarRegistry.d.ts

@@ -0,0 +1,20 @@
+import { NodeNames, NodeType } from "./Parser/Enums.js";
+import { GrammarInterfaces } from "./Parser/Interfaces.js";
+import { ExpressionNode } from "./Grammar/General.js";
+export declare namespace GrammarRegistry {
+    import ExpressionSource = GrammarInterfaces.ExpressionSource;
+    import EAST_Token = GrammarInterfaces.EAST_Token;
+    import Node = GrammarInterfaces.Node;
+    import Rule = GrammarInterfaces.Rule;
+    import NodeExecution = GrammarInterfaces.NodeExecution;
+    import EAST_Complex_Node = GrammarInterfaces.EAST_Complex_Node;
+    function AddRule<NodeTokenType extends EAST_Complex_Node>(version: string, name: (typeof NodeType)[NodeNames], rules: Rule[][], execute: NodeExecution<NodeTokenType>): void;
+    function getRule(versionIdx: number, name: (typeof NodeType)[NodeNames]): GrammarInterfaces.NodeDefinition;
+    function MarkIncidentLocation(source: ExpressionSource, location: number): string;
+    class ExpressionSyntaxError extends Error {
+        source: ExpressionSource;
+        location: number;
+        constructor(msg: string, source: ExpressionSource, location: number);
+        constructor(msg: string, node: EAST_Token | ExpressionNode | Node);
+    }
+}