@bikky/replication 1.0.2 → 1.0.4

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);
+    }
+}

package/Expressions/Compiler/GrammarRegistry.js

@@ -0,0 +1,51 @@
+import { GetVersionIndex } from "../../Constants/Versions.js";
+import { NodeType } from "./Parser/Enums.js";
+const grammar = [];
+export var GrammarRegistry;
+(function (GrammarRegistry) {
+    function AddRule(version, name, rules, execute) {
+        let index = GetVersionIndex(version);
+        if (index < 0)
+            throw new Error(`Can't add grammar rule for syntax version that hasn't been defined ${version}.`);
+        if (!grammar[index])
+            grammar[index] = {};
+        grammar[index][name] = {
+            ID: name,
+            debugName: NodeType[name],
+            rules,
+            execute: execute,
+        };
+    }
+    GrammarRegistry.AddRule = AddRule;
+    function getRule(versionIdx, name) {
+        return grammar[versionIdx][name];
+    }
+    GrammarRegistry.getRule = getRule;
+    function MarkIncidentLocation(source, location) {
+        return ` ---> ${source.text}\n      ${"".padStart(location, " ")}^^\nFound in file ${source.file} on line ${source.line} at ${location}.\n`;
+    }
+    GrammarRegistry.MarkIncidentLocation = MarkIncidentLocation;
+    class ExpressionSyntaxError extends Error {
+        constructor(msg, source, location) {
+            if (location) {
+                super(msg + `\n${MarkIncidentLocation(source, location)}`);
+                this.source = source;
+                this.location = location;
+            }
+            else {
+                let node = source;
+                let sourceDetails = {
+                    file: node.file.sourceLocation,
+                    version: node.file.version,
+                    text: node.file.text,
+                    line: node.line
+                };
+                super(msg + `\n${MarkIncidentLocation(sourceDetails, node.column)}`);
+                this.source = sourceDetails;
+                this.location = node.column;
+            }
+        }
+    }
+    GrammarRegistry.ExpressionSyntaxError = ExpressionSyntaxError;
+})(GrammarRegistry || (GrammarRegistry = {}));
+//# sourceMappingURL=GrammarRegistry.js.map

package/Expressions/Compiler/GrammarRegistry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"GrammarRegistry.js","sourceRoot":"","sources":["GrammarRegistry.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAa,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAIxD,MAAM,OAAO,GAEP,EAAE,CAAC;AAET,MAAM,KAAQ,eAAe,CA4D5B;AA5DD,WAAc,eAAe;IAUzB,SAAgB,OAAO,CAClB,OAAe,EAAE,IAAkC,EAAE,KAAe,EAAE,OAAqC;QAC5G,IAAI,KAAK,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;QACrC,IAAI,KAAK,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,sEAAsE,OAAO,GAAG,CAAC,CAAC;QACjH,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QACzC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG;YACnB,EAAE,EAAE,IAAgB;YACpB,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC;YACzB,KAAK;YACL,OAAO,EAAE,OAA2C;SACvD,CAAC;IACN,CAAC;IAXe,uBAAO,UAWtB,CAAA;IAED,SAAgB,OAAO,CAAC,UAAkB,EAAE,IAAkC;QAC1E,OAAO,OAAO,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC;IAFe,uBAAO,UAEtB,CAAA;IAED,SAAgB,oBAAoB,CAAC,MAAwB,EAAE,QAAgB;QAC3E,OAAO,SAAS,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC,QAAQ,CAC7C,QAAQ,EACR,GAAG,CACN,qBAAqB,MAAM,CAAC,IAAI,YAAY,MAAM,CAAC,IAAI,OAAO,QAAQ,KAAK,CAAC;IACjF,CAAC;IALe,oCAAoB,uBAKnC,CAAA;IAED,MAAa,qBAAsB,SAAQ,KAAK;QAM5C,YAAY,GAAW,EAAE,MAAwD,EAAE,QAAiB;YAChG,IAAI,QAAQ,EAAE,CAAC;gBACX,KAAK,CAAC,GAAG,GAAG,KAAK,oBAAoB,CAAC,MAA0B,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;gBAC/E,IAAI,CAAC,MAAM,GAAG,MAA0B,CAAC;gBACzC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;YAC7B,CAAC;iBAAM,CAAC;gBACJ,IAAI,IAAI,GAAG,MAAqC,CAAC;gBACjD,IAAI,aAAa,GAAG;oBAChB,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,cAAc;oBAC9B,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,OAAc;oBACjC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI;oBACpB,IAAI,EAAE,IAAI,CAAC,IAAI;iBAClB,CAAC;gBACF,KAAK,CAAC,GAAG,GAAG,KAAK,oBAAoB,CAAC,aAAa,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBACrE,IAAI,CAAC,MAAM,GAAG,aAAa,CAAC;gBAC5B,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC;YAChC,CAAC;QACL,CAAC;KACJ;IAxBY,qCAAqB,wBAwBjC,CAAA;AAEL,CAAC,EA5Da,eAAe,KAAf,eAAe,QA4D5B"}

package/Expressions/Compiler/Parser/Checks.d.ts

@@ -0,0 +1,8 @@
+import { Versions } from "../../../Main.js";
+import { GrammarInterfaces } from "./Interfaces.js";
+import NodeDefinition = GrammarInterfaces.NodeDefinition;
+import Token = GrammarInterfaces.Token;
+import Rule = GrammarInterfaces.Rule;
+export declare function CheckRuleDone(grammar: NodeDefinition, rules: Rule[], currentRuleIndex: number): boolean;
+export declare function IsRuleSkippable(rule: GrammarInterfaces.Rule, previousRuleMatched: boolean): boolean;
+export declare function TokenDataMatchesRule(version: Versions | string, gram: GrammarInterfaces.Rule, token: Token): boolean;

package/Expressions/Compiler/Parser/Checks.js

@@ -0,0 +1,40 @@
+import { getEASTTokenValues } from "./Tokenizer.js";
+export function CheckRuleDone(grammar, rules, currentRuleIndex) {
+    //Ran out of input to iterate over but still need to match more parts of this rule.
+    for (let remainingRule = currentRuleIndex; remainingRule < rules.length; remainingRule++) {
+        if (!rules[remainingRule].optional || (rules[remainingRule].repeat?.[0] ?? 1) > 0) {
+            return false;
+        }
+    }
+    //Ran out of input but finished matching or everything else is optional.
+    return true;
+}
+export function IsRuleSkippable(rule, previousRuleMatched) {
+    let skippable = !!rule.optional || (rule.repeat && rule.repeat[0] == 0);
+    //This must exist if the previous rule existed but must not match if the previous rule didn't exist.
+    if (rule.optional == "previous") {
+        if (!previousRuleMatched) {
+            return true;
+        }
+        else {
+            skippable = false;
+        }
+    }
+    return !!skippable;
+}
+export function TokenDataMatchesRule(version, gram, token) {
+    if (gram.value) {
+        return gram.value == token.data;
+    }
+    if (gram.values) {
+        if (Array.isArray(gram.values)) {
+            return gram.values.includes(token.data);
+        }
+        else {
+            let vals = getEASTTokenValues(version, gram.values);
+            return vals.has(token.data);
+        }
+    }
+    return !gram.excludeValues?.includes(token.data);
+}
+//# sourceMappingURL=Checks.js.map

package/Expressions/Compiler/Parser/Checks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Checks.js","sourceRoot":"","sources":["Checks.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAMpD,MAAM,UAAU,aAAa,CAAC,OAAuB,EAAE,KAAa,EAAE,gBAAwB;IAC7F,mFAAmF;IACnF,KAAK,IAAI,aAAa,GAAG,gBAAgB,EAAE,aAAa,GAAG,KAAK,CAAC,MAAM,EAAE,aAAa,EAAE,EAAE,CAAC;QAC1F,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,QAAQ,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;YACnF,OAAO,KAAK,CAAC;QACd,CAAC;IACF,CAAC;IACD,wEAAwE;IACxE,OAAO,IAAI,CAAC;AACb,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,IAA4B,EAAE,mBAA4B;IACzF,IAAI,SAAS,GAAG,CAAC,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACxE,oGAAoG;IACpG,IAAI,IAAI,CAAC,QAAQ,IAAI,UAAU,EAAE,CAAC;QACjC,IAAI,CAAC,mBAAmB,EAAE,CAAC;YAC1B,OAAO,IAAI,CAAC;QACb,CAAC;aACI,CAAC;YACL,SAAS,GAAG,KAAK,CAAC;QACnB,CAAC;IACF,CAAC;IACD,OAAO,CAAC,CAAC,SAAS,CAAC;AACpB,CAAC;AAGD,MAAM,UAAU,oBAAoB,CAAC,OAA0B,EAAE,IAA4B,EAAE,KAAY;IAC1G,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAChB,OAAO,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,CAAC;IACjC,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QACjB,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACzC,CAAC;aACI,CAAC;YACL,IAAI,IAAI,GAAG,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;YACpD,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;IACF,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,aAAa,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AAClD,CAAC"}

package/Expressions/Compiler/Parser/Enums.d.ts

@@ -0,0 +1,73 @@
+export declare enum TokenPrecedence {
+    Important = 0,
+    Block = 1,
+    Line = 2,
+    Intricate_Builtins = 4,
+    Standard_Builtins = 6,
+    Operators = 8,
+    User_Identifiers = 10,
+    LeastImportant = 11
+}
+export declare enum CollectionType {
+    Single = 0,
+    Array = 1,
+    Array2 = 2,
+    Map = 3,
+    Dict = 4
+}
+export declare enum TokenType {
+    BLOCK_COMMENT = 0,
+    LINE_COMMENT = 1,
+    PREPROCESSOR = 2,
+    BLOCK_STRING = 3,
+    LINE_STRING = 4,
+    OPERATOR = 5,
+    INTEGER = 6,
+    FLOAT = 7,
+    IDENTIFIER = 8,
+    BUILTIN = 9,
+    KEYWORD = 10,
+    WHITESPACE = 11,
+    HEX = 12
+}
+export declare enum NodeType {
+    COMMENT = 100,
+    PREPROCESSOR_COMMAND = 101,
+    PRECISION_STATEMENT = 102,
+    IDENTIFIER = 110,
+    LITERAL = 111,
+    DECLARATION = 112,
+    DECLARATION_ENTRY = 113,
+    TYPE_DEFINITION = 114,
+    TYPE_UNION = 115,
+    DECLARATION_TYPE_QUALIFIER_LIST = 116,
+    STRUCT = 120,
+    PROPERTY_SIGNATURE = 121,
+    CAST = 122,
+    FORCE_CAST = 123,
+    MEMBER_ACCESS = 124,
+    FUNCTION_DECLARATION = 130,
+    FUNCTION_PARAMETER = 131,
+    FUNCTION_CALL = 132,
+    FUNCTION_ARGUMENT = 133,
+    FOR_LOOP = 140,
+    WHILE_LOOP = 141,
+    DOWHILE_LOOP = 142,
+    IF = 143,
+    ARRAY_TYPE = 150,
+    ARRAY_ACCESS_SEQUENCE = 151,
+    ARRAY_ACCESSOR = 152,
+    RETURN = 153,
+    BREAK = 154,
+    CONTINUE = 155,
+    DISCARD = 156,
+    EXPRESSION = 157,
+    STATEMENT = 158,
+    PARENTHETISED_EXPRESSION = 159,
+    BINARY_EXPRESSION = 160,
+    UNARY_EXPRESSION = 161,
+    ASSIGNMENT = 162,
+    BLOCK = 163,
+    FILE = 400
+}
+export type NodeNames = keyof typeof NodeType;

package/Expressions/Compiler/Parser/Enums.js

@@ -0,0 +1,77 @@
+export var TokenPrecedence;
+(function (TokenPrecedence) {
+    TokenPrecedence[TokenPrecedence["Important"] = 0] = "Important";
+    TokenPrecedence[TokenPrecedence["Block"] = 1] = "Block";
+    TokenPrecedence[TokenPrecedence["Line"] = 2] = "Line";
+    TokenPrecedence[TokenPrecedence["Intricate_Builtins"] = 4] = "Intricate_Builtins";
+    TokenPrecedence[TokenPrecedence["Standard_Builtins"] = 6] = "Standard_Builtins";
+    TokenPrecedence[TokenPrecedence["Operators"] = 8] = "Operators";
+    TokenPrecedence[TokenPrecedence["User_Identifiers"] = 10] = "User_Identifiers";
+    TokenPrecedence[TokenPrecedence["LeastImportant"] = 11] = "LeastImportant";
+})(TokenPrecedence || (TokenPrecedence = {}));
+export var CollectionType;
+(function (CollectionType) {
+    CollectionType[CollectionType["Single"] = 0] = "Single";
+    CollectionType[CollectionType["Array"] = 1] = "Array";
+    CollectionType[CollectionType["Array2"] = 2] = "Array2";
+    CollectionType[CollectionType["Map"] = 3] = "Map";
+    CollectionType[CollectionType["Dict"] = 4] = "Dict";
+})(CollectionType || (CollectionType = {}));
+export var TokenType;
+(function (TokenType) {
+    TokenType[TokenType["BLOCK_COMMENT"] = 0] = "BLOCK_COMMENT";
+    TokenType[TokenType["LINE_COMMENT"] = 1] = "LINE_COMMENT";
+    TokenType[TokenType["PREPROCESSOR"] = 2] = "PREPROCESSOR";
+    TokenType[TokenType["BLOCK_STRING"] = 3] = "BLOCK_STRING";
+    TokenType[TokenType["LINE_STRING"] = 4] = "LINE_STRING";
+    TokenType[TokenType["OPERATOR"] = 5] = "OPERATOR";
+    TokenType[TokenType["INTEGER"] = 6] = "INTEGER";
+    TokenType[TokenType["FLOAT"] = 7] = "FLOAT";
+    TokenType[TokenType["IDENTIFIER"] = 8] = "IDENTIFIER";
+    TokenType[TokenType["BUILTIN"] = 9] = "BUILTIN";
+    TokenType[TokenType["KEYWORD"] = 10] = "KEYWORD";
+    TokenType[TokenType["WHITESPACE"] = 11] = "WHITESPACE";
+    TokenType[TokenType["HEX"] = 12] = "HEX";
+})(TokenType || (TokenType = {}));
+export var NodeType;
+(function (NodeType) {
+    NodeType[NodeType["COMMENT"] = 100] = "COMMENT";
+    NodeType[NodeType["PREPROCESSOR_COMMAND"] = 101] = "PREPROCESSOR_COMMAND";
+    NodeType[NodeType["PRECISION_STATEMENT"] = 102] = "PRECISION_STATEMENT";
+    NodeType[NodeType["IDENTIFIER"] = 110] = "IDENTIFIER";
+    NodeType[NodeType["LITERAL"] = 111] = "LITERAL";
+    NodeType[NodeType["DECLARATION"] = 112] = "DECLARATION";
+    NodeType[NodeType["DECLARATION_ENTRY"] = 113] = "DECLARATION_ENTRY";
+    NodeType[NodeType["TYPE_DEFINITION"] = 114] = "TYPE_DEFINITION";
+    NodeType[NodeType["TYPE_UNION"] = 115] = "TYPE_UNION";
+    NodeType[NodeType["DECLARATION_TYPE_QUALIFIER_LIST"] = 116] = "DECLARATION_TYPE_QUALIFIER_LIST";
+    NodeType[NodeType["STRUCT"] = 120] = "STRUCT";
+    NodeType[NodeType["PROPERTY_SIGNATURE"] = 121] = "PROPERTY_SIGNATURE";
+    NodeType[NodeType["CAST"] = 122] = "CAST";
+    NodeType[NodeType["FORCE_CAST"] = 123] = "FORCE_CAST";
+    NodeType[NodeType["MEMBER_ACCESS"] = 124] = "MEMBER_ACCESS";
+    NodeType[NodeType["FUNCTION_DECLARATION"] = 130] = "FUNCTION_DECLARATION";
+    NodeType[NodeType["FUNCTION_PARAMETER"] = 131] = "FUNCTION_PARAMETER";
+    NodeType[NodeType["FUNCTION_CALL"] = 132] = "FUNCTION_CALL";
+    NodeType[NodeType["FUNCTION_ARGUMENT"] = 133] = "FUNCTION_ARGUMENT";
+    NodeType[NodeType["FOR_LOOP"] = 140] = "FOR_LOOP";
+    NodeType[NodeType["WHILE_LOOP"] = 141] = "WHILE_LOOP";
+    NodeType[NodeType["DOWHILE_LOOP"] = 142] = "DOWHILE_LOOP";
+    NodeType[NodeType["IF"] = 143] = "IF";
+    NodeType[NodeType["ARRAY_TYPE"] = 150] = "ARRAY_TYPE";
+    NodeType[NodeType["ARRAY_ACCESS_SEQUENCE"] = 151] = "ARRAY_ACCESS_SEQUENCE";
+    NodeType[NodeType["ARRAY_ACCESSOR"] = 152] = "ARRAY_ACCESSOR";
+    NodeType[NodeType["RETURN"] = 153] = "RETURN";
+    NodeType[NodeType["BREAK"] = 154] = "BREAK";
+    NodeType[NodeType["CONTINUE"] = 155] = "CONTINUE";
+    NodeType[NodeType["DISCARD"] = 156] = "DISCARD";
+    NodeType[NodeType["EXPRESSION"] = 157] = "EXPRESSION";
+    NodeType[NodeType["STATEMENT"] = 158] = "STATEMENT";
+    NodeType[NodeType["PARENTHETISED_EXPRESSION"] = 159] = "PARENTHETISED_EXPRESSION";
+    NodeType[NodeType["BINARY_EXPRESSION"] = 160] = "BINARY_EXPRESSION";
+    NodeType[NodeType["UNARY_EXPRESSION"] = 161] = "UNARY_EXPRESSION";
+    NodeType[NodeType["ASSIGNMENT"] = 162] = "ASSIGNMENT";
+    NodeType[NodeType["BLOCK"] = 163] = "BLOCK";
+    NodeType[NodeType["FILE"] = 400] = "FILE";
+})(NodeType || (NodeType = {}));
+//# sourceMappingURL=Enums.js.map

package/Expressions/Compiler/Parser/Enums.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Enums.js","sourceRoot":"","sources":["Enums.ts"],"names":[],"mappings":"AAEA,MAAM,CAAN,IAAY,eASX;AATD,WAAY,eAAe;IAC1B,+DAAS,CAAA;IACT,uDAAK,CAAA;IACL,qDAAI,CAAA;IACJ,iFAAsB,CAAA;IACtB,+EAAqB,CAAA;IACrB,+DAAa,CAAA;IACb,8EAAqB,CAAA;IACrB,0EAAc,CAAA;AACf,CAAC,EATW,eAAe,KAAf,eAAe,QAS1B;AAED,MAAM,CAAN,IAAY,cAMX;AAND,WAAY,cAAc;IACzB,uDAAM,CAAA;IACN,qDAAK,CAAA;IACL,uDAAM,CAAA;IACN,iDAAG,CAAA;IACH,mDAAI,CAAA;AACL,CAAC,EANW,cAAc,KAAd,cAAc,QAMzB;AAED,MAAM,CAAN,IAAY,SAcX;AAdD,WAAY,SAAS;IACpB,2DAAa,CAAA;IACb,yDAAY,CAAA;IACZ,yDAAY,CAAA;IACZ,yDAAY,CAAA;IACZ,uDAAW,CAAA;IACX,iDAAQ,CAAA;IACR,+CAAO,CAAA;IACP,2CAAK,CAAA;IACL,qDAAU,CAAA;IACV,+CAAO,CAAA;IACP,gDAAO,CAAA;IACP,sDAAU,CAAA;IACV,wCAAG,CAAA;AACJ,CAAC,EAdW,SAAS,KAAT,SAAS,QAcpB;AAGD,MAAM,CAAN,IAAY,QAgDX;AAhDD,WAAY,QAAQ;IACnB,+CAAa,CAAA;IACb,yEAAoB,CAAA;IACpB,uEAAmB,CAAA;IAEnB,qDAAgB,CAAA;IAChB,+CAAO,CAAA;IACP,uDAAW,CAAA;IACX,mEAAiB,CAAA;IACjB,+DAAe,CAAA;IACf,qDAAU,CAAA;IACV,+FAA+B,CAAA;IAE/B,6CAAY,CAAA;IACZ,qEAAkB,CAAA;IAClB,yCAAI,CAAA;IACJ,qDAAU,CAAA;IACV,2DAAa,CAAA;IAEb,yEAA0B,CAAA;IAC1B,qEAAkB,CAAA;IAClB,2DAAa,CAAA;IACb,mEAAiB,CAAA;IAEjB,iDAAc,CAAA;IACd,qDAAU,CAAA;IACV,yDAAY,CAAA;IACZ,qCAAE,CAAA;IAEF,qDAAgB,CAAA;IAChB,2EAAqB,CAAA;IACrB,6DAAc,CAAA;IAEd,6CAAM,CAAA;IACN,2CAAK,CAAA;IACL,iDAAQ,CAAA;IAER,+CAAO,CAAA;IAEP,qDAAU,CAAA;IACV,mDAAS,CAAA;IACT,iFAAwB,CAAA;IACxB,mEAAiB,CAAA;IACjB,iEAAgB,CAAA;IAChB,qDAAU,CAAA;IAEV,2CAAK,CAAA;IACL,yCAAU,CAAA;AACX,CAAC,EAhDW,QAAQ,KAAR,QAAQ,QAgDnB"}

package/Expressions/Compiler/Parser/Interfaces.d.ts

@@ -0,0 +1,118 @@
+import { NodeType, TokenType } from "./Enums.js";
+import { ChainType } from "../../TypeRegistry/ChainTypes.js";
+import { StaticTraversalScope, TraversalScope } from "../../TypeRegistry/Types.js";
+import { FileNode } from "../Grammar/General.js";
+import { Versions } from "../../../Constants/Versions.js";
+import { ErrorStack } from "../../../Constants/Errors.js";
+export declare namespace GrammarInterfaces {
+    interface FunctionOutputType {
+        kind: "function";
+        parameters: {
+            type: NodeOutputType[];
+            assignmentName?: string;
+        }[];
+        returnType: NodeOutputType[] | null;
+    }
+    type NodeOutputType = ChainType | FunctionOutputType;
+    function isFunctionOutputType(type: NodeOutputType): type is FunctionOutputType;
+    function isAssignableCompile(version: Versions, to: NodeOutputType[] | null, from: NodeOutputType[] | null, node: EAST_Complex_Node | EAST_Token, stack: ErrorStack): boolean;
+    function collapseTypeLive(scope: TraversalScope, node: EAST_Complex_Node | EAST_Token, value: any, types: NodeOutputType[] | null): NodeOutputType | null;
+    function dedupeTypes(types: NodeOutputType[]): NodeOutputType[];
+    /**
+     * How the node gets executed at runtime.
+     */
+    interface NodeExecution<NodeType extends EAST_Token | EAST_Complex_Node = EAST_Token | EAST_Complex_Node> {
+        runtimeExecute(scope: TraversalScope, currentNode: NodeType, outputType: NodeOutputType[] | null): {
+            interrupt?: "continue" | "break" | "return" | "throw";
+            type: NodeOutputType | null;
+            value: any;
+            castType?: NodeOutputType[];
+        };
+        runtimeExecuteWithValidation?: (scope: TraversalScope, currentNode: NodeType, expectedOutput: NodeOutputType[] | null) => {
+            interrupt?: "continue" | "break" | "return" | "throw";
+            type: NodeOutputType | null;
+            value: any;
+            castType?: NodeOutputType[];
+        };
+        compileTimeTraversal: (scope: StaticTraversalScope, currentNode: NodeType, outputType: NodeOutputType[] | null) => {
+            interrupt?: "return" | "throw";
+            type: NodeOutputType[] | null;
+            assignmentName?: string;
+            castType?: NodeOutputType[];
+        } | null;
+    }
+    interface RawToken {
+        type: TokenType;
+        execute: NodeExecution<any>;
+        data: string;
+        position: number;
+        length: number;
+        precedence: number;
+    }
+    interface Token {
+        type: TokenType;
+        data: string;
+        position: number;
+        length: number;
+        line: number;
+        column: number;
+        execute: NodeExecution;
+    }
+    interface EAST_Token extends Token {
+        file: FileNode;
+    }
+    interface TokenCategoryRule {
+        versions: [Set<string> | RegExp];
+        type: number;
+        debug_name: string;
+        precedence: number;
+        execution: NodeExecution<EAST_Token>;
+    }
+    /**
+     * EAST = Expression AST.
+     */
+    interface EAST_Complex_Node {
+        type: NodeType;
+        file: FileNode;
+        position: number;
+        length: number;
+        line: number;
+        column: number;
+        execute: NodeExecution;
+        values?: {
+            [name: string]: EAST_Token | EAST_Complex_Node | (EAST_Token | EAST_Complex_Node)[];
+        } | EAST_Token | EAST_Complex_Node | (Token | EAST_Complex_Node)[];
+    }
+    type Node = EAST_Complex_Node | EAST_Token;
+    enum SpecialType {
+        /**
+         * Allow extra types to be input by the parent. Used as a placeholder for blocks so that the expression
+         * lines from the parent are used in the evaluation of this grammar rule.
+         **/
+        INPUT_TYPES = 1000
+    }
+    interface Rule {
+        type: TokenType | NodeType | SpecialType | (TokenType | NodeType | SpecialType)[];
+        debug_name?: string;
+        value?: string;
+        values?: (TokenCategoryRule | string)[];
+        name?: string;
+        excludeValues?: string[];
+        input?: (TokenType | NodeType | SpecialType)[];
+        repeat?: [number, number];
+        repeatSeparator?: Rule;
+        unroll?: boolean;
+        optional?: boolean | "previous";
+    }
+    type NodeDefinition = {
+        ID: NodeType;
+        debugName: string;
+        execute: NodeExecution<EAST_Complex_Node>;
+        rules: Rule[][];
+    };
+    interface ExpressionSource {
+        text: string;
+        file: string;
+        line: number;
+    }
+}