@bikky/replication 1.0.3 → 1.0.4

package/Expressions/Compiler/Grammar/Declarations.js

@@ -0,0 +1,84 @@
+import { NodeType, TokenType } from "../Parser/Enums.js";
+import { GrammarRegistry } from "../GrammarRegistry.js";
+import { Versions } from "../../../Constants/Versions.js";
+var ExpressionSyntaxError = GrammarRegistry.ExpressionSyntaxError;
+export function IsDeclarationEntryNode(node) {
+    return node.type === NodeType.DECLARATION_ENTRY;
+}
+GrammarRegistry.AddRule(Versions.v1_0_0, NodeType.DECLARATION_ENTRY, [[
+        { type: TokenType.IDENTIFIER, name: "name" },
+        { type: TokenType.OPERATOR, value: ":" },
+        { type: [NodeType.TYPE_UNION, NodeType.TYPE_DEFINITION], name: "type" }, //TODO: Make this optional - only if type can be inferred from initialiser?
+        { type: TokenType.OPERATOR, value: "=", optional: true },
+        { type: NodeType.EXPRESSION, name: "initialiser", optional: "previous" }
+    ]], {
+    runtimeExecute(scope, currentNode, outputType) {
+        if (outputType !== null) {
+            throw new ExpressionSyntaxError("Declarations do not return values", currentNode);
+        }
+        const type = currentNode.values.type.execute.runtimeExecute(scope, currentNode.values.type, outputType);
+        if (!type?.type) {
+            throw new ExpressionSyntaxError("Declaration type must not be never", currentNode);
+        }
+        if (currentNode.values.initialiser) {
+            const result = currentNode.values.initialiser.execute.runtimeExecute(scope, currentNode.values.initialiser, [type.type]);
+            return {
+                type: type.type,
+                value: result.value
+            };
+        }
+        return {
+            type: type.type,
+            value: undefined
+        };
+    },
+    compileTimeTraversal(scope, currentNode, outputType) {
+        if (outputType !== null) {
+            throw new ExpressionSyntaxError("Declarations do not return values", currentNode);
+        }
+        const type = currentNode.values.type.execute.compileTimeTraversal(scope, currentNode.values.type, outputType);
+        if (!type?.type) {
+            throw new ExpressionSyntaxError("Declaration type must not be never", currentNode);
+        }
+        if (currentNode.values.initialiser) {
+            currentNode.values.initialiser.execute.compileTimeTraversal(scope, currentNode.values.initialiser, type.type);
+        }
+        return type;
+    }
+});
+export function IsDeclarationNode(node) {
+    return node.type === NodeType.DECLARATION;
+}
+GrammarRegistry.AddRule(Versions.v1_0_0, NodeType.DECLARATION, [[
+        { type: TokenType.KEYWORD, values: ["const", "var"], name: "qualifiers", repeat: [1, Number.POSITIVE_INFINITY] },
+        {
+            type: NodeType.DECLARATION_ENTRY,
+            name: "declarations",
+            repeat: [1, Number.POSITIVE_INFINITY],
+            repeatSeparator: { type: TokenType.OPERATOR, value: "," }
+        },
+        { type: TokenType.OPERATOR, value: ";" }
+    ]], {
+    runtimeExecute(scope, currentNode, outputType) {
+        if (outputType !== null) {
+            throw new ExpressionSyntaxError("Declarations do not return values", currentNode);
+        }
+        for (const decl of currentNode.values.declarations) {
+            decl.execute.runtimeExecute(scope, decl, null);
+        }
+        return {
+            type: null,
+            value: null
+        };
+    },
+    compileTimeTraversal(scope, currentNode, outputType) {
+        if (outputType !== null) {
+            throw new ExpressionSyntaxError("Declarations do not return values", currentNode);
+        }
+        for (const decl of currentNode.values.declarations) {
+            decl.execute.compileTimeTraversal(scope, decl, null);
+        }
+        return null;
+    }
+});
+//# sourceMappingURL=Declarations.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Declarations.js","sourceRoot":"","sources":["Declarations.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAEzD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAI1D,IAAO,qBAAqB,GAAG,eAAe,CAAC,qBAAqB,CAAC;AAcrE,MAAM,UAAU,sBAAsB,CAAC,IAAU;IAChD,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,iBAAiB,CAAC;AACjD,CAAC;AAED,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,iBAAiB,EAAE,CAAC;QACrE,EAAE,IAAI,EAAE,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE;QAC5C,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,EAAE,2EAA2E;QACpJ,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE;QACxD,EAAE,IAAI,EAAE,QAAQ,CAAC,UAAU,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,UAAU,EAAE;KACxE,CAAC,EAAE;IACH,cAAc,CAAC,KAAK,EAAE,WAAiC,EAAE,UAAU;QAClE,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YACzB,MAAM,IAAI,qBAAqB,CAAC,mCAAmC,EAAE,WAAW,CAAC,CAAC;QACnF,CAAC;QAED,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAExG,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC;YACjB,MAAM,IAAI,qBAAqB,CAAC,oCAAoC,EAAE,WAAW,CAAC,CAAC;QACpF,CAAC;QAED,IAAI,WAAW,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;YACpC,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,IAAI,CAAC,IAAK,CAAC,CAAC,CAAC;YAE1H,OAAO;gBACN,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,KAAK,EAAE,MAAM,CAAC,KAAK;aACnB,CAAC;QACH,CAAC;QAED,OAAO;YACN,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,KAAK,EAAE,SAAS;SAChB,CAAC;IACH,CAAC;IAED,oBAAoB,CAAC,KAAK,EAAE,WAAiC,EAAE,UAAU;QACxE,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YACzB,MAAM,IAAI,qBAAqB,CAAC,mCAAmC,EAAE,WAAW,CAAC,CAAC;QACnF,CAAC;QAED,MAAM,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAE9G,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC;YACjB,MAAM,IAAI,qBAAqB,CAAC,oCAAoC,EAAE,WAAW,CAAC,CAAC;QACpF,CAAC;QAED,IAAI,WAAW,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;YACpC,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,oBAAoB,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/G,CAAC;QAED,OAAO,IAAI,CAAC;IACb,CAAC;CACD,CAAC,CAAC;AAWH,MAAM,UAAU,iBAAiB,CAAC,IAAU;IAC3C,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,WAAW,CAAC;AAC3C,CAAC;AAED,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,WAAW,EAAE,CAAC;QAC/D,EAAE,IAAI,EAAE,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,iBAAiB,CAAC,EAAE;QAChH;YACC,IAAI,EAAE,QAAQ,CAAC,iBAAiB;YAChC,IAAI,EAAE,cAAc;YACpB,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,WAA4B,EAAE,UAAU;QAC7D,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YACzB,MAAM,IAAI,qBAAqB,CAAC,mCAAmC,EAAE,WAAW,CAAC,CAAC;QACnF,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC;YACpD,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAChD,CAAC;QAED,OAAO;YACN,IAAI,EAAE,IAAI;YACV,KAAK,EAAE,IAAI;SACX,CAAC;IACH,CAAC;IACD,oBAAoB,CAAC,KAAK,EAAE,WAA4B,EAAE,UAAU;QACnE,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YACzB,MAAM,IAAI,qBAAqB,CAAC,mCAAmC,EAAE,WAAW,CAAC,CAAC;QACnF,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC;YACpD,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACtD,CAAC;QAED,OAAO,IAAI,CAAC;IACb,CAAC;CACD,CAAC,CAAC"}

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

@@ -0,0 +1,30 @@
+import { GrammarInterfaces } from "../Parser/Interfaces.js";
+import { NodeType } from "../Parser/Enums.js";
+import EAST_Token = GrammarInterfaces.EAST_Token;
+import Node = GrammarInterfaces.Node;
+import { BlockNode, ExpressionNode, ParenthetisedExpressionNode } from "./General.js";
+import { DeclarationEntryNode } from "./Declarations.js";
+import { TypeDefinitionNode } from "./Types.js";
+export interface FunctionDeclarationNode extends GrammarInterfaces.EAST_Complex_Node {
+    type: NodeType.FUNCTION_DECLARATION;
+    values: {
+        name: EAST_Token;
+        parameters: DeclarationEntryNode[];
+        returnType?: TypeDefinitionNode;
+        body: BlockNode<ReturnNode>;
+    };
+}
+export declare function IsFunctionDeclarationNode(node: Node): node is FunctionDeclarationNode;
+export interface FunctionCallNode extends GrammarInterfaces.EAST_Complex_Node {
+    type: NodeType.FUNCTION_CALL;
+    values: {
+        name: EAST_Token | ParenthetisedExpressionNode;
+        arguments: ExpressionNode[];
+    };
+}
+export declare function IsFunctionCallNode(node: Node): node is FunctionCallNode;
+export interface ReturnNode extends GrammarInterfaces.EAST_Complex_Node {
+    type: NodeType.RETURN;
+    values: ExpressionNode["values"];
+}
+export declare function IsReturnNode(node: Node): node is ReturnNode;

package/Expressions/Compiler/Grammar/Function.js

@@ -0,0 +1,292 @@
+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 { CreateChildScope } from "../../TypeRegistry/Types.js";
+var ExpressionSyntaxError = GrammarRegistry.ExpressionSyntaxError;
+import { describeObject } from "../../../Constants/SerialisationTypes.js";
+var isAssignableCompile = GrammarInterfaces.isAssignableCompile;
+import { ErrorStack } from "../../../Constants/Errors.js";
+import { isToken } from "./Tokens.js";
+export function IsFunctionDeclarationNode(node) {
+    return node.type === NodeType.FUNCTION_DECLARATION;
+}
+GrammarRegistry.AddRule(Versions.v1_0_0, NodeType.FUNCTION_DECLARATION, [[
+        { type: TokenType.IDENTIFIER, value: "function" },
+        { type: TokenType.IDENTIFIER, name: "name" },
+        { type: TokenType.OPERATOR, value: "(" },
+        {
+            type: NodeType.DECLARATION_ENTRY,
+            name: "parameters",
+            repeat: [0, Number.POSITIVE_INFINITY],
+            repeatSeparator: { type: TokenType.OPERATOR, value: "," }
+        },
+        { type: TokenType.OPERATOR, value: ")" },
+        { type: [NodeType.TYPE_UNION, NodeType.TYPE_DEFINITION], name: "returnType", optional: true },
+        { type: NodeType.BLOCK, input: [NodeType.RETURN], name: "body" }
+    ]], {
+    runtimeExecute(scope, node, outputType) {
+        if (Array.isArray(outputType)) {
+            throw new ExpressionSyntaxError(`A function cannot be assigned this variable`, node);
+        }
+        let type = (node.execute.compileTimeTraversal(scope, node, outputType)?.type)[0];
+        let foo = (callingNode, ...args) => {
+            let contentScope = CreateChildScope(scope);
+            for (let i = 0; i < node.values.parameters.length; i++) {
+                let param = node.values.parameters[i];
+                let paramValue = args[i].value ?? param.execute.runtimeExecute(contentScope, param, type.parameters[i].type).value;
+                let paramType = type.parameters[i].type.find((e) => e.kind == "value" && e.isAssignableLive(scope.version, paramValue));
+                if (!paramType) {
+                    throw new ExpressionSyntaxError(`Invalid parameter type for function.`
+                        + ` ${describeObject(param)} is not assignable to `
+                        + `${type.parameters[i].type.map((e) => describeObject(e)).join(" | ")}`, callingNode);
+                }
+                contentScope.local[type.parameters[i].assignmentName] = {
+                    value: paramValue,
+                    type: [paramType]
+                };
+            }
+            let returnType = node.values.body.execute.runtimeExecute(contentScope, node.values.body, outputType);
+            if (!Array.isArray(returnType.type) && returnType.type) {
+                throw new ExpressionSyntaxError(`Cannot yet return functions from functions`, node);
+            }
+            let result = node.values.body.execute.runtimeExecute(contentScope, node.values.body, returnType.type);
+            return {
+                type: returnType.type,
+                value: result.value
+            };
+        };
+        foo.type = type;
+        scope.local[node.values.name.data] = {
+            value: foo,
+            type: [type],
+        };
+        return {
+            value: foo,
+            type: null
+        };
+    },
+    compileTimeTraversal(scope, node, expectedTypes) {
+        let contentScope = CreateChildScope(scope);
+        // Validate parameters
+        let finalParamTypes = [];
+        for (let i = 0; i < node.values.parameters.length; i++) {
+            let param = node.values.parameters[i];
+            let paramType = param.execute.compileTimeTraversal(contentScope, param, null);
+            if (!paramType || !paramType.type) {
+                throw new ExpressionSyntaxError(`Function parameters failed to resolve.`, node);
+            }
+            if (!paramType.assignmentName) {
+                throw new ExpressionSyntaxError(`Function parameter's name must be defined.`, node);
+            }
+            finalParamTypes.push({
+                outputType: paramType.type,
+                assignmentName: paramType.assignmentName,
+            });
+        }
+        // Validate return type
+        let returnTypes = node.values.returnType?.execute?.compileTimeTraversal(scope, node.values.returnType, null);
+        // Add the function to the scope
+        let functionType = {
+            kind: "function",
+            parameters: finalParamTypes.map((param) => ({
+                type: param.outputType,
+                assignmentName: param.assignmentName,
+            })),
+            returnType: returnTypes?.type ?? null,
+        };
+        if (expectedTypes) {
+            let stack = new ErrorStack({ Version: scope.version, SourceFile: node.file.sourceLocation });
+            if (!isAssignableCompile(scope.version, expectedTypes, [functionType], node, stack)) {
+                throw new ExpressionSyntaxError(`Function return type does not match the expected type.` + stack.toString(`EXP_GF_FOO_01`), node);
+            }
+        }
+        scope.local[node.values.name.data] = {
+            type: [functionType],
+        };
+        // Traverse the function body
+        node.values.body.execute.compileTimeTraversal(contentScope, node.values.body, returnTypes?.type ?? null);
+        return {
+            type: [functionType],
+            assignmentName: node.values.name.data
+        };
+    }
+});
+export function IsFunctionCallNode(node) {
+    return node.type === NodeType.FUNCTION_CALL;
+}
+GrammarRegistry.AddRule(Versions.v1_0_0, NodeType.FUNCTION_CALL, [[
+        {
+            // Function name - Builtin, identifier
+            // or a parenthetised expression that returns a function as a value.
+            type: [TokenType.BUILTIN, NodeType.PARENTHETISED_EXPRESSION, TokenType.IDENTIFIER],
+            name: "name"
+        },
+        { type: TokenType.OPERATOR, value: "(" },
+        {
+            type: NodeType.EXPRESSION,
+            name: "arguments",
+            repeat: [0, Number.POSITIVE_INFINITY],
+            repeatSeparator: { type: TokenType.OPERATOR, value: "," }
+        },
+        { type: TokenType.OPERATOR, value: ")" }
+    ]], {
+    runtimeExecute(scope, node, outputType) {
+        const funcName = isToken(node.values.name) ? node.values.name.data
+            : node.values.name.execute.runtimeExecute(scope, node.values.name, null).value;
+        const funcValue = scope.local[funcName] ?? scope.global[funcName];
+        if (!funcValue.type) {
+            throw new Error(`Function does not have typing information set`);
+        }
+        //Use first matching type.
+        let funcType = undefined;
+        for (let type of funcValue.type) {
+            if (type.kind === "function" && funcValue.value.type == type) {
+                funcType = type;
+                break;
+            }
+        }
+        if (!funcType) {
+            throw new ExpressionSyntaxError(`Function's value does not match expected function's type.`, node);
+        }
+        const inputArgNodes = node.values.arguments;
+        // Check parameter count
+        if (funcType.parameters.length !== inputArgNodes.length) {
+            throw new ExpressionSyntaxError(`Function expected ${funcType.parameters.length} argument(s), but got ${inputArgNodes.length}`, node);
+        }
+        let inputArgValues = [];
+        for (let i = 0; i < inputArgNodes.length; i++) {
+            const arg = inputArgNodes[i];
+            let argResult = arg.execute.runtimeExecute(scope, arg, null);
+            let argResultType = argResult.castType ?? (argResult.type ? [argResult.type] : null);
+            let stack = new ErrorStack({ Version: scope.version, SourceFile: node.file.sourceLocation });
+            if (!isAssignableCompile(scope.version, funcType.parameters[i].type, argResultType, arg, stack)) {
+                throw new ExpressionSyntaxError(`Argument ${i + 1} type mismatch: ${describeObject(argResult.value)} is not assignable to any of [${funcType.parameters[i].type.map(e => e.kind == "function" ? "function" : e.debugName).join(", ")}]` + stack.toString(`EXP_GF_FC_02`), node);
+            }
+            inputArgValues.push(argResult.value);
+        }
+        // Call the function
+        const result = funcValue.value(node, ...inputArgValues);
+        let stack = new ErrorStack({ Version: scope.version, SourceFile: node.file.sourceLocation });
+        if (!isAssignableCompile(scope.version, outputType, result, node, stack)) {
+            throw new ExpressionSyntaxError(`Function return type mismatch: ${describeObject(result.value)} is not assignable to any of [${outputType?.map(e => e.kind == "function" ? "function" : e.debugName).join(", ")}]` + stack.toString(`EXP_GF_FC_03`), node);
+        }
+        return {
+            value: result.value,
+            type: result.type
+        };
+    },
+    compileTimeTraversal(scope, node, expectedType) {
+        const nameVal = node.values.name;
+        const argNodes = node.values.arguments;
+        let possibleFuncTypes = [];
+        if (isToken(nameVal)) {
+            // (1) It's a function name token
+            const funcName = nameVal.data;
+            const funcEntry = scope.local[funcName] ?? scope.global[funcName];
+            if (!funcEntry) {
+                throw new ExpressionSyntaxError(`Function '${funcName}' not found in scope`, node);
+            }
+            if (!funcEntry.type) {
+                throw new ExpressionSyntaxError(`Function '${funcName}' has no type info`, node);
+            }
+            // We gather only the function types; if we find a non-function, we throw an error
+            funcEntry.type.forEach(t => {
+                if (t.kind === "function") {
+                    possibleFuncTypes.push(t);
+                }
+                else {
+                    throw new ExpressionSyntaxError(`Type mismatch: '${funcName}' is not a function type`, node);
+                }
+            });
+            if (possibleFuncTypes.length === 0) {
+                throw new ExpressionSyntaxError(`'${funcName}' is not a valid function`, node);
+            }
+        }
+        else {
+            // (2) It's an expression => interpret as an inline function declaration
+            const funcTypeInfo = nameVal.execute.compileTimeTraversal(scope, nameVal, null);
+            const inlineTypes = funcTypeInfo?.type ?? [];
+            if (inlineTypes.length === 0) {
+                throw new ExpressionSyntaxError(`Inline function expression has no type`, node);
+            }
+            // If we find any type that is not a function, we throw
+            inlineTypes.forEach(t => {
+                if (t.kind !== "function") {
+                    throw new ExpressionSyntaxError(`Inline expression is not a function`, node);
+                }
+                else {
+                    possibleFuncTypes.push(t);
+                }
+            });
+            if (possibleFuncTypes.length === 0) {
+                throw new ExpressionSyntaxError(`Inline function expression is invalid`, node);
+            }
+        }
+        // Next, we match arguments to a candidate function signature
+        const argCount = argNodes.length;
+        let matchedType = null;
+        let errorStack = new ErrorStack({ Version: scope.version, SourceFile: node.file.sourceLocation });
+        //Candidate loop
+        for (const candidate of possibleFuncTypes) {
+            // Check param count
+            if (candidate.parameters.length !== argCount) {
+                continue; // not a match
+            }
+            // Verify each argument
+            let success = true;
+            for (let i = 0; i < argCount; i++) {
+                const argOutput = argNodes[i].execute.compileTimeTraversal(scope, argNodes[i], null);
+                // This function checks if any of argOutput.type is assignable to candidate.parameters[i].type
+                const argAssignable = isAssignableCompile(scope.version, candidate.parameters[i].type, argOutput?.type ?? null, node, errorStack);
+                if (!argAssignable) {
+                    success = false;
+                    break; // argument mismatch => candidate fails
+                }
+            }
+            if (!success) {
+                continue;
+            }
+            // If arguments matched, check return type vs expected
+            if (expectedType && !isAssignableCompile(scope.version, expectedType, candidate.returnType, node, errorStack)) {
+                continue; // This candidate doesn't match the expected return type
+            }
+            // We have a match
+            matchedType = candidate;
+            break;
+        }
+        if (!matchedType) {
+            throw new ExpressionSyntaxError(`No matching function signature found for call (${argCount} args)\n` + errorStack.toString("EXP_GF_FC_05"), node);
+        }
+        // Return the matched function's return type
+        return {
+            type: matchedType.returnType,
+            style: CollectionType.Single
+        };
+    }
+});
+export function IsReturnNode(node) {
+    return node.type === NodeType.RETURN;
+}
+GrammarRegistry.AddRule(Versions.v1_0_0, NodeType.RETURN, [[
+        { type: TokenType.KEYWORD, value: "return" },
+        { type: NodeType.EXPRESSION, unroll: true },
+        { type: TokenType.OPERATOR, value: ";" }
+    ]], {
+    runtimeExecute(scope, node, outputType) {
+        let result = node.values.expression.execute.runtimeExecute(scope, node.values.expression, null);
+        return {
+            type: result.type,
+            value: result.value,
+            interrupt: "return"
+        };
+    },
+    compileTimeTraversal(scope, node, expectedTypes) {
+        let result = node.values.expression.execute.compileTimeTraversal(scope, node.values.expression, expectedTypes);
+        return {
+            interrupt: "return",
+            type: result?.type ?? null,
+        };
+    }
+});
+//# sourceMappingURL=Function.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Function.js","sourceRoot":"","sources":["Function.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACzE,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAK1D,OAAO,EAAE,gBAAgB,EAAwC,MAAM,6BAA6B,CAAC;AACrG,IAAO,qBAAqB,GAAG,eAAe,CAAC,qBAAqB,CAAC;AAIrE,OAAO,EAAE,cAAc,EAAE,MAAM,0CAA0C,CAAC;AAE1E,IAAO,mBAAmB,GAAG,iBAAiB,CAAC,mBAAmB,CAAC;AACnE,OAAO,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAC1D,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AActC,MAAM,UAAU,yBAAyB,CAAC,IAAU;IACnD,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,oBAAoB,CAAC;AACpD,CAAC;AAED,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,oBAAoB,EAAE,CAAC;QACxE,EAAE,IAAI,EAAE,SAAS,CAAC,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE;QACjD,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,iBAAiB;YAChC,IAAI,EAAE,YAAY;YAClB,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;QACxC,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,eAAe,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE;QAC7F,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE;KAChE,CAAC,EAAE;IACH,cAAc,CAAC,KAAK,EAAE,IAA6B,EAAE,UAAU;QAC9D,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YAC/B,MAAM,IAAI,qBAAqB,CAAC,6CAA6C,EAAE,IAAI,CAAC,CAAC;QACtF,CAAC;QAED,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC,KAAK,EAAE,IAAI,EAAE,UAAU,CAAC,EAAE,IAA6B,CAAA,CAAC,CAAC,CAAC,CAAC;QAEzG,IAAI,GAAG,GAAG,CAAC,WAA8B,EAAE,GAAG,IAA4D,EAAC,EAAE;YAC5G,IAAI,YAAY,GAAmB,gBAAgB,CAAiB,KAAK,CAAC,CAAC;YAC3E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACxD,IAAI,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;gBACtC,IAAI,UAAU,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,YAAY,EAAE,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC;gBACnH,IAAI,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,OAAO,IAAI,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,OAAO,EAAE,UAAU,CAAC,CAAc,CAAC;gBACpI,IAAI,CAAC,SAAS,EAAE,CAAC;oBAChB,MAAM,IAAI,qBAAqB,CAAC,sCAAsC;0BACrD,IAAI,cAAc,CAAC,KAAK,CAAC,wBAAwB;0BACjD,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAC,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;gBACtG,CAAC;gBACD,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,cAAe,CAAC,GAAG;oBACxD,KAAK,EAAE,UAAU;oBACjB,IAAI,EAAE,CAAC,SAAS,CAAC;iBACjB,CAAC;YACH,CAAC;YACD,IAAI,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YACrG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;gBACxD,MAAM,IAAI,qBAAqB,CAAC,4CAA4C,EAAE,IAAI,CAAC,CAAC;YACrF,CAAC;YACD,IAAI,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC;YACtG,OAAO;gBACN,IAAI,EAAE,UAAU,CAAC,IAAI;gBACrB,KAAK,EAAE,MAAM,CAAC,KAAK;aACnB,CAAC;QACH,CAAC,CAAC;QAED,GAAW,CAAC,IAAI,GAAG,IAAI,CAAC;QAEzB,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YACpC,KAAK,EAAE,GAAG;YACV,IAAI,EAAE,CAAC,IAAI,CAAC;SACZ,CAAC;QACF,OAAO;YACN,KAAK,EAAE,GAAG;YACV,IAAI,EAAE,IAAI;SACV,CAAC;IACH,CAAC;IACD,oBAAoB,CAAC,KAAK,EAAE,IAA6B,EAAE,aAAa;QACvE,IAAI,YAAY,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAE3C,sBAAsB;QACtB,IAAI,eAAe,GAA+D,EAAE,CAAC;QACrF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACxD,IAAI,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YACtC,IAAI,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,oBAAoB,CAAC,YAAY,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YAE9E,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;gBACnC,MAAM,IAAI,qBAAqB,CAAC,wCAAwC,EAAE,IAAI,CAAC,CAAC;YACjF,CAAC;YAED,IAAI,CAAC,SAAS,CAAC,cAAc,EAAE,CAAC;gBAC/B,MAAM,IAAI,qBAAqB,CAAC,4CAA4C,EAAE,IAAI,CAAC,CAAC;YACrF,CAAC;YAED,eAAe,CAAC,IAAI,CAAC;gBACpB,UAAU,EAAE,SAAS,CAAC,IAAI;gBAC1B,cAAc,EAAE,SAAS,CAAC,cAAc;aACxC,CAAC,CAAC;QACJ,CAAC;QAED,uBAAuB;QACvB,IAAI,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,oBAAoB,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QAE7G,gCAAgC;QAChC,IAAI,YAAY,GAAuB;YACtC,IAAI,EAAE,UAAU;YAChB,UAAU,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBAC3C,IAAI,EAAE,KAAK,CAAC,UAAU;gBACtB,cAAc,EAAE,KAAK,CAAC,cAAc;aACpC,CAAC,CAAC;YACH,UAAU,EAAE,WAAW,EAAE,IAAI,IAAI,IAAI;SACrC,CAAC;QAEF,IAAI,aAAa,EAAE,CAAC;YACnB,IAAI,KAAK,GAAG,IAAI,UAAU,CAAC,EAAC,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,cAAc,EAAC,CAAC,CAAC;YAC3F,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,OAAO,EAAE,aAAa,EAAE,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;gBACrF,MAAM,IAAI,qBAAqB,CAAC,wDAAwD,GAAG,KAAK,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,IAAI,CAAC,CAAC;YACnI,CAAC;QACF,CAAC;QAED,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YACpC,IAAI,EAAE,CAAC,YAAY,CAAC;SACpB,CAAC;QAEF,6BAA6B;QAC7B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,IAAI,IAAI,CAAC,CAAC;QAEzG,OAAO;YACN,IAAI,EAAE,CAAC,YAAY,CAAC;YACpB,cAAc,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI;SACrC,CAAA;IACF,CAAC;CACD,CAAC,CAAC;AAWH,MAAM,UAAU,kBAAkB,CAAC,IAAU;IAC5C,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,aAAa,CAAC;AAC7C,CAAC;AACD,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,aAAa,EAAE,CAAC;QACjE;YACC,sCAAsC;YACtC,oEAAoE;YACpE,IAAI,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,QAAQ,CAAC,wBAAwB,EAAE,SAAS,CAAC,UAAU,CAAC;YAClF,IAAI,EAAE,MAAM;SACZ;QACD,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE;QACxC;YACC,IAAI,EAAE,QAAQ,CAAC,UAAU;YACzB,IAAI,EAAE,WAAW;YACjB,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,IAAsB,EAAE,UAAU;QACvD,MAAM,QAAQ,GAAW,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI;YACzE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC;QAEhF,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAClE,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;YACrB,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;QAClE,CAAC;QACD,0BAA0B;QAC1B,IAAI,QAAQ,GAA+B,SAAS,CAAC;QACrD,KAAK,IAAI,IAAI,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;YACjC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC;gBAC9D,QAAQ,GAAG,IAAI,CAAC;gBAChB,MAAM;YACP,CAAC;QACF,CAAC;QACD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACf,MAAM,IAAI,qBAAqB,CAAC,2DAA2D,EAAE,IAAI,CAAC,CAAC;QACpG,CAAC;QAED,MAAM,aAAa,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC;QAC5C,wBAAwB;QACxB,IAAI,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,aAAa,CAAC,MAAM,EAAE,CAAC;YACzD,MAAM,IAAI,qBAAqB,CAAC,qBAAqB,QAAQ,CAAC,UAAU,CAAC,MAAM,yBAAyB,aAAa,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,CAAC;QACvI,CAAC;QACD,IAAI,cAAc,GAAgB,EAAE,CAAC;QACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/C,MAAM,GAAG,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,SAAS,GAAG,GAAG,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;YAC7D,IAAI,aAAa,GAAG,SAAS,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACrF,IAAI,KAAK,GAAG,IAAI,UAAU,CAAC,EAAC,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,cAAc,EAAC,CAAC,CAAC;YAC3F,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC;gBACjG,MAAM,IAAI,qBAAqB,CAAC,YAAY,CAAC,GAAG,CAAC,mBAAmB,cAAc,CAAC,SAAS,CAAC,KAAK,CAAC,iCAAiC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,IAAI,CAAC,CAAC;YACjR,CAAC;YACD,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACtC,CAAC;QAED,oBAAoB;QACpB,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,cAAc,CAAC,CAAC;QAGxD,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,CAAC,mBAAmB,CAAC,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YAC1E,MAAM,IAAI,qBAAqB,CAAC,kCAAkC,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,iCAAiC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,IAAI,CAAC,CAAC;QAC5P,CAAC;QAED,OAAO;YACN,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,IAAI,EAAE,MAAM,CAAC,IAAI;SACjB,CAAC;IACH,CAAC;IACD,oBAAoB,CACnB,KAA2B,EAC3B,IAAsB,EACtB,YAAqC;QAErC,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;QACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC;QAEvC,IAAI,iBAAiB,GAAyB,EAAE,CAAC;QAEjD,IAAI,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YACtB,iCAAiC;YACjC,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;YAC9B,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAClE,IAAI,CAAC,SAAS,EAAE,CAAC;gBAChB,MAAM,IAAI,qBAAqB,CAAC,aAAa,QAAQ,sBAAsB,EAAE,IAAI,CAAC,CAAC;YACpF,CAAC;YACD,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;gBACrB,MAAM,IAAI,qBAAqB,CAAC,aAAa,QAAQ,oBAAoB,EAAE,IAAI,CAAC,CAAC;YAClF,CAAC;YAED,kFAAkF;YAClF,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;gBAC1B,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBAC3B,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC3B,CAAC;qBAAM,CAAC;oBACP,MAAM,IAAI,qBAAqB,CAAC,mBAAmB,QAAQ,0BAA0B,EAAE,IAAI,CAAC,CAAC;gBAC9F,CAAC;YACF,CAAC,CAAC,CAAC;YAEH,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACpC,MAAM,IAAI,qBAAqB,CAAC,IAAI,QAAQ,2BAA2B,EAAE,IAAI,CAAC,CAAC;YAChF,CAAC;QAEF,CAAC;aAAM,CAAC;YACP,wEAAwE;YACxE,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO,CAAC,oBAAoB,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;YAChF,MAAM,WAAW,GAAG,YAAY,EAAE,IAAI,IAAI,EAAE,CAAC;YAC7C,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC9B,MAAM,IAAI,qBAAqB,CAAC,wCAAwC,EAAE,IAAI,CAAC,CAAC;YACjF,CAAC;YAED,uDAAuD;YACvD,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;gBACvB,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBAC3B,MAAM,IAAI,qBAAqB,CAAC,qCAAqC,EAAE,IAAI,CAAC,CAAC;gBAC9E,CAAC;qBAAM,CAAC;oBACP,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC3B,CAAC;YACF,CAAC,CAAC,CAAC;YAEH,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACpC,MAAM,IAAI,qBAAqB,CAAC,uCAAuC,EAAE,IAAI,CAAC,CAAC;YAChF,CAAC;QACF,CAAC;QAED,6DAA6D;QAC7D,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC;QACjC,IAAI,WAAW,GAA8B,IAAI,CAAC;QAElD,IAAI,UAAU,GAAG,IAAI,UAAU,CAAC,EAAC,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,cAAc,EAAC,CAAC,CAAC;QAChG,gBAAgB;QAChB,KAAK,MAAM,SAAS,IAAI,iBAAiB,EAAE,CAAC;YAC3C,oBAAoB;YACpB,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;gBAC9C,SAAS,CAAC,cAAc;YACzB,CAAC;YAED,uBAAuB;YACvB,IAAI,OAAO,GAAG,IAAI,CAAC;YACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;gBACnC,MAAM,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;gBACrF,8FAA8F;gBAC9F,MAAM,aAAa,GAAG,mBAAmB,CAAC,KAAK,CAAC,OAAO,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,IAAI,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;gBAClI,IAAI,CAAC,aAAa,EAAE,CAAC;oBACpB,OAAO,GAAG,KAAK,CAAC;oBAChB,MAAM,CAAC,uCAAuC;gBAC/C,CAAC;YACF,CAAC;YAED,IAAI,CAAC,OAAO,EAAE,CAAC;gBACd,SAAS;YACV,CAAC;YAED,sDAAsD;YACtD,IAAI,YAAY,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,OAAO,EAAE,YAAY,EAAE,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC;gBAC/G,SAAS,CAAC,wDAAwD;YACnE,CAAC;YAED,kBAAkB;YAClB,WAAW,GAAG,SAAS,CAAC;YACxB,MAAM;QACP,CAAC;QAED,IAAI,CAAC,WAAW,EAAE,CAAC;YAClB,MAAM,IAAI,qBAAqB,CAAC,kDAAkD,QAAQ,UAAU,GAAG,UAAU,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,IAAI,CAAC,CAAC;QACnJ,CAAC;QAED,4CAA4C;QAC5C,OAAO;YACN,IAAI,EAAE,WAAW,CAAC,UAAU;YAC5B,KAAK,EAAE,cAAc,CAAC,MAAM;SAC5B,CAAC;IACH,CAAC;CACD,CAAC,CAAC;AAQH,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,QAAQ,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE;QAC3C,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE;KACxC,CAAC,EAAE;IACH,cAAc,CAAC,KAAK,EAAE,IAAgB,EAAE,UAAU;QACjD,IAAI,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QAChG,OAAO;YACN,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,SAAS,EAAE,QAAQ;SACnB,CAAC;IACH,CAAC;IACD,oBAAoB,CAAC,KAA2B,EAAE,IAAgB,EAAE,aAAa;QAChF,IAAI,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,oBAAoB,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;QAC/G,OAAO;YACN,SAAS,EAAE,QAAQ;YACnB,IAAI,EAAE,MAAM,EAAE,IAAI,IAAI,IAAI;SAC1B,CAAC;IACH,CAAC;CACD,CAAC,CAAC"}

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

@@ -0,0 +1,55 @@
+import { GrammarInterfaces } from "../Parser/Interfaces.js";
+import { NodeType } from "../Parser/Enums.js";
+import { ArrayAccessSequenceNode, MemberAccessNode } from "./Accessors.js";
+import EAST_Token = GrammarInterfaces.EAST_Token;
+import Node = GrammarInterfaces.Node;
+import EAST_Complex_Node = GrammarInterfaces.EAST_Complex_Node;
+import { CommentNode, PreprocessorCommandNode } from "./Preprocessors.js";
+import { FunctionCallNode, FunctionDeclarationNode } from "./Function.js";
+import { AssignmentNode, LiteralNode } from "./Misc.js";
+import { BinaryExpressionNode, UnaryExpressionNode } from "./Maths.js";
+import { DeclarationNode } from "./Declarations.js";
+import { CastNode } from "./Types.js";
+export interface FileNode extends EAST_Complex_Node {
+    type: NodeType.FILE;
+    text: string;
+    sourceLocation: string;
+    version: string;
+    values: {
+        lines: (CommentNode | PreprocessorCommandNode | FunctionDeclarationNode | DeclarationNode | ExpressionNode)[];
+    };
+}
+export declare function IsFileNode(node: Node): node is FileNode;
+export interface BlockNode<Extensions extends EAST_Complex_Node | never> extends GrammarInterfaces.EAST_Complex_Node {
+    type: NodeType.BLOCK;
+    values: {
+        lines: (Extensions | CommentNode | DeclarationNode | StatementNode)[];
+    };
+}
+export declare function IsBlockNode(node: Node): node is BlockNode<GrammarInterfaces.EAST_Complex_Node>;
+export interface StatementNode extends EAST_Complex_Node {
+    type: NodeType.STATEMENT;
+    values: {
+        expression: ExpressionNode["values"]["expression"];
+    };
+}
+export declare function IsStatementNode(node: Node): node is StatementNode;
+export interface ExpressionNode extends EAST_Complex_Node {
+    type: NodeType.EXPRESSION;
+    values: {
+        expression: ArrayAccessSequenceNode | FunctionCallNode | MemberAccessNode | BinaryExpressionNode | ParenthetisedExpressionNode | UnaryExpressionNode | CastNode | AssignmentNode | EAST_Token | LiteralNode;
+    };
+}
+export declare function IsExpressionNode(node: Node): node is ExpressionNode;
+export interface ParenthetisedExpressionNode extends EAST_Complex_Node {
+    type: NodeType.PARENTHETISED_EXPRESSION;
+    values: ExpressionNode["values"];
+}
+export declare function IsParenthetisedExpressionNode(node: Node): node is ParenthetisedExpressionNode;
+export interface IdentifierNode extends EAST_Complex_Node {
+    type: NodeType.IDENTIFIER;
+    values: {
+        name: EAST_Token;
+    };
+}
+export declare function IdentifierNode(node: Node): node is ParenthetisedExpressionNode;