@bikky/replication 1.0.3 → 1.0.4

package/.idea/Replication.iml

@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<module type="WEB_MODULE" version="4">
+  <component name="NewModuleRootManager">
+    <content url="file://$MODULE_DIR$">
+      <excludeFolder url="file://$MODULE_DIR$/.tmp" />
+      <excludeFolder url="file://$MODULE_DIR$/temp" />
+      <excludeFolder url="file://$MODULE_DIR$/tmp" />
+    </content>
+    <orderEntry type="inheritedJdk" />
+    <orderEntry type="sourceFolder" forTests="false" />
+  </component>
+</module>

package/.idea/compiler.xml

@@ -0,0 +1,6 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="TypeScriptCompiler">
+    <option name="useTypesFromServer" value="true" />
+  </component>
+</project>

package/.idea/inspectionProfiles/Project_Default.xml

@@ -0,0 +1,6 @@
+<component name="InspectionProjectProfileManager">
+  <profile version="1.0">
+    <option name="myName" value="Project Default" />
+    <inspection_tool class="RegExpUnnecessaryNonCapturingGroup" enabled="false" level="WARNING" enabled_by_default="false" />
+  </profile>
+</component>

package/.idea/modules.xml

@@ -0,0 +1,8 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="ProjectModuleManager">
+    <modules>
+      <module fileurl="file://$PROJECT_DIR$/.idea/Replication.iml" filepath="$PROJECT_DIR$/.idea/Replication.iml" />
+    </modules>
+  </component>
+</project>

package/.idea/vcs.xml

@@ -1,4 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <project version="4">
-  <component name="VcsDirectoryMappings" defaultProject="true" />
+  <component name="VcsDirectoryMappings">
+    <mapping directory="" vcs="Git" />
+  </component>
 </project>

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

@@ -0,0 +1,32 @@
+import { NodeType } from "../Parser/Enums.js";
+import { GrammarInterfaces } from "../Parser/Interfaces.js";
+import { ExpressionNode, ParenthetisedExpressionNode } from "./General.js";
+import { FunctionCallNode } from "./Function.js";
+import { CastNode } from "./Types.js";
+import { LiteralNode } from "./Misc.js";
+import EAST_Complex_Node = GrammarInterfaces.EAST_Complex_Node;
+import EAST_Token = GrammarInterfaces.EAST_Token;
+import Node = GrammarInterfaces.Node;
+export interface MemberAccessNode extends EAST_Complex_Node {
+    type: NodeType.MEMBER_ACCESS;
+    values: {
+        context: ParenthetisedExpressionNode | EAST_Token | CastNode | ArrayAccessSequenceNode | FunctionCallNode;
+        memberName: (EAST_Token)[];
+    };
+}
+export declare function IsMemberAccessNode(node: Node): node is MemberAccessNode;
+export interface ArrayAccessorNode extends EAST_Complex_Node {
+    type: NodeType.ARRAY_ACCESSOR;
+    values: {
+        index: LiteralNode | ExpressionNode | EAST_Token;
+    };
+}
+export declare function IsArrayAccessorNode(node: Node): node is ArrayAccessorNode;
+export interface ArrayAccessSequenceNode extends EAST_Complex_Node {
+    type: NodeType.ARRAY_ACCESS_SEQUENCE;
+    values: {
+        identifier: EAST_Token | ExpressionNode;
+        accessor: ArrayAccessorNode[];
+    };
+}
+export declare function IsArrayAccessSequenceNode(node: Node): node is ArrayAccessSequenceNode;

package/Expressions/Compiler/Grammar/Accessors.js

@@ -0,0 +1,227 @@
+import { CollectionType, NodeType, TokenType } from "../Parser/Enums.js";
+import { GrammarRegistry } from "../GrammarRegistry.js";
+import { Versions } from "../../../Constants/Versions.js";
+import { GrammarInterfaces } from "../Parser/Interfaces.js";
+import { describeObject } from "../../../Constants/SerialisationTypes.js";
+var ExpressionSyntaxError = GrammarRegistry.ExpressionSyntaxError;
+import { ChainNumber, ChainString } from "../../TypeRegistry/Primitive.js";
+import { ArrayType, DictType, MapType } from "../../TypeRegistry/ChainCollections.js";
+var isAssignableCompile = GrammarInterfaces.isAssignableCompile;
+import { ErrorStack } from "../../../Constants/Errors.js";
+var dedupeTypes = GrammarInterfaces.dedupeTypes;
+var collapseTypeLive = GrammarInterfaces.collapseTypeLive;
+export function IsMemberAccessNode(node) {
+    return node.type === NodeType.MEMBER_ACCESS;
+}
+GrammarRegistry.AddRule(Versions.v1_0_0, NodeType.MEMBER_ACCESS, [[
+        {
+            type: [NodeType.PARENTHETISED_EXPRESSION, NodeType.FUNCTION_CALL, NodeType.ARRAY_ACCESS_SEQUENCE,
+                NodeType.CAST, TokenType.IDENTIFIER],
+            name: "context"
+        },
+        { type: [TokenType.OPERATOR], value: "." },
+        {
+            type: [TokenType.IDENTIFIER],
+            name: "memberName",
+            repeat: [1, Number.POSITIVE_INFINITY],
+            repeatSeparator: { type: TokenType.OPERATOR, value: "." }
+        }
+    ]], {
+    runtimeExecute(scope, node, outputType) {
+        let contextNode = node.values.context;
+        let result = contextNode.execute.runtimeExecute(scope, contextNode, null);
+        for (const member of node.values.memberName) {
+            if (!result.type) {
+                throw new ExpressionSyntaxError(`Cannot access member on never.`, contextNode);
+            }
+            let index = member.execute.runtimeExecute(scope, member, null);
+            if (result.type.kind === "function") {
+                throw new ExpressionSyntaxError(`Cannot look up members on a function.`, contextNode);
+            }
+            let accessor = result.type.getAccess(scope.version, !!scope.data, index.value);
+            if (!accessor) {
+                throw new ExpressionSyntaxError(`Property ${index.value} does not exist on type ${result.type.debugName}.`, contextNode);
+            }
+            let value = accessor.evaluate(scope);
+            let narrowedType = collapseTypeLive(scope, node, value, accessor.resultTypes);
+            if (!narrowedType) {
+                throw new Error(`Resolved property value is not compatible with any expected property type.`);
+            }
+            result = {
+                type: narrowedType,
+                value
+            };
+        }
+        let stack = new ErrorStack({ Version: scope.version, SourceFile: node.file.sourceLocation });
+        if (!isAssignableCompile(scope.version, outputType, result.type ? [result.type] : null, node, stack)) {
+            throw new ExpressionSyntaxError(`Value returned a type that is not assignable to expected type.\n` + stack.toString(`GA_MEM_01`), contextNode);
+        }
+        return result;
+    },
+    compileTimeTraversal(scope, node, outputType) {
+        const contextNode = node.values.context;
+        let result = contextNode.execute.compileTimeTraversal(scope, contextNode, null);
+        for (const member of node.values.memberName) {
+            if (!result || !result.type) {
+                throw new ExpressionSyntaxError(`Cannot access member on never.`, contextNode);
+            }
+            const index = member.data;
+            const nextUnion = [];
+            for (const contextType of result.type) {
+                if (contextType.kind === "function") {
+                    throw new ExpressionSyntaxError(`Cannot access members on a function.`, contextNode);
+                }
+                const accessor = contextType.getAccess(scope.version, !!scope.data, index);
+                if (!accessor?.resultTypes?.length) {
+                    throw new Error(`Accessor ${contextType.debugName}.${accessor?.propName} does not return any valid types.`);
+                }
+                for (const type of accessor.resultTypes) {
+                    nextUnion.push(type);
+                }
+            }
+            if (nextUnion.length === 0) {
+                throw new ExpressionSyntaxError(`No valid member types found for '${index}' across all possible context types.`, member);
+            }
+            result = {
+                type: dedupeTypes(nextUnion)
+            };
+        }
+        let stack = new ErrorStack({ Version: scope.version, SourceFile: node.file.sourceLocation });
+        if (!isAssignableCompile(scope.version, outputType, result?.type ?? null, node, stack)) {
+            throw new ExpressionSyntaxError(`Value returned a type that is not assignable to expected type.\n` + stack.toString(`GA_MEM_02`), contextNode);
+        }
+        return result;
+    }
+});
+export function IsArrayAccessorNode(node) {
+    return node.type === NodeType.ARRAY_ACCESSOR;
+}
+GrammarRegistry.AddRule(Versions.v1_0_0, NodeType.ARRAY_ACCESSOR, [[
+        { type: [TokenType.OPERATOR], value: "[" },
+        {
+            type: [NodeType.LITERAL, NodeType.EXPRESSION, TokenType.IDENTIFIER],
+            name: "index"
+        },
+        { type: [TokenType.OPERATOR], value: "]" }
+    ]], {
+    //Just returns the index value for the array access.
+    runtimeExecute(scope, node, outputType) {
+        let indexNode = node.values.index;
+        return indexNode.execute.runtimeExecute(scope, indexNode, outputType);
+    },
+    compileTimeTraversal(scope, node, outputType) {
+        let indexNode = node.values.index;
+        return indexNode.execute.compileTimeTraversal(scope, indexNode, outputType);
+    }
+});
+export function IsArrayAccessSequenceNode(node) {
+    return node.type === NodeType.ARRAY_ACCESS_SEQUENCE;
+}
+GrammarRegistry.AddRule(Versions.v1_0_0, NodeType.ARRAY_ACCESS_SEQUENCE, [[
+        {
+            type: [TokenType.IDENTIFIER, NodeType.PARENTHETISED_EXPRESSION],
+            name: "identifier"
+        },
+        {
+            type: [NodeType.ARRAY_ACCESSOR],
+            name: "accessor",
+            repeat: [1, Number.POSITIVE_INFINITY]
+        }
+    ]], {
+    runtimeExecute(scope, node, outputType) {
+        let contextNode = node.values.identifier;
+        let current = contextNode.execute.runtimeExecute(scope, contextNode, null);
+        let result = {
+            type: current.type,
+            value: current.value
+        };
+        for (const member of node.values.accessor) {
+            let index = member.execute.runtimeExecute(scope, member, null);
+            if (result.type.kind !== "value") {
+                throw new ExpressionSyntaxError(`Cannot access member on function.`, contextNode);
+            }
+            let accessor = result.type.getAccess(scope.version, !!scope.data, index.value);
+            if (!accessor) {
+                throw new ExpressionSyntaxError(`Property ${index.value} does not exist on type ${result.type.debugName}.`, contextNode);
+            }
+            let value = accessor.evaluate(scope);
+            let type = accessor.resultTypes.find((e) => scope.data ?
+                e.getData(scope.version, index.value) : e.getLive(scope.version, index.value));
+            if (!type) {
+                throw new Error(`${describeObject(result.value)}'s accessor ${result.type.debugName}.${accessor.propName} contains an invalid value.`);
+            }
+            result = {
+                type: type,
+                value
+            };
+        }
+        return result;
+    },
+    compileTimeTraversal(scope, node, outputType) {
+        let contextNode = node.values.identifier;
+        let current = contextNode.execute.compileTimeTraversal(scope, contextNode, null);
+        if (!current || !current.type) {
+            throw new ExpressionSyntaxError(`Cannot access member on never.`, contextNode);
+        }
+        let result = [];
+        result.push(...current?.type);
+        for (const member of node.values.accessor) {
+            let index = member.execute.compileTimeTraversal(scope, member, null);
+            let indexType;
+            if (!index || !index.type) {
+                throw new ExpressionSyntaxError(`Cannot use an expressiont that doesn't return a value in an array accessor.`, contextNode);
+            }
+            //Check to see if index type is valid, and there's only one type used for the lookup.
+            for (let type of index.type) {
+                if (typeof indexType !== "undefined") {
+                    throw new ExpressionSyntaxError(`Can only use one type as an index at a time, not both string and number types.`, contextNode);
+                }
+                if (type.kind !== "value") {
+                    throw new ExpressionSyntaxError(`Cannot access member on function.`, contextNode);
+                }
+                if (type != ChainNumber && type != ChainString) {
+                    throw new ExpressionSyntaxError(`Array/Dictionary lookup must be a string or a number.`, contextNode);
+                }
+                if (type.getOwnOutputStyle() != CollectionType.Single) {
+                    throw new ExpressionSyntaxError(`Array/Dictionary lookup must be a single value, not an array, map or dictionary.`, contextNode);
+                }
+                indexType = type;
+            }
+            //Do the lookup.
+            result = [];
+            let contextTypes = result;
+            for (let type of contextTypes) {
+                if (type.kind !== "value") {
+                    throw new ExpressionSyntaxError(`Cannot access member on function.`, contextNode);
+                }
+                let outputTypes;
+                if (type instanceof ArrayType) {
+                    if (indexType != ChainNumber) {
+                        throw new ExpressionSyntaxError(`Can only access arrays with numbers.`, contextNode);
+                    }
+                    outputTypes = type.types;
+                }
+                else if (type instanceof MapType) {
+                    if (indexType != ChainString) {
+                        throw new ExpressionSyntaxError(`Can only access maps with strings.`, contextNode);
+                    }
+                    outputTypes = type.types;
+                }
+                else if (type instanceof DictType) {
+                    if (indexType != ChainString) {
+                        throw new ExpressionSyntaxError(`Can only access dictionaries with strings.`, contextNode);
+                    }
+                    outputTypes = type.types;
+                }
+                else {
+                    throw new ExpressionSyntaxError(`Accessors can only be used on maps and arrays.`, contextNode);
+                }
+                result.push(...outputTypes);
+            }
+        }
+        return {
+            type: [...new Set(result)]
+        };
+    }
+});
+//# sourceMappingURL=Accessors.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Accessors.js","sourceRoot":"","sources":["Accessors.ts"],"names":[],"mappings":"AAAA,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;AAC1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAK5D,OAAO,EAAE,cAAc,EAAE,MAAM,0CAA0C,CAAC;AAK1E,IAAO,qBAAqB,GAAG,eAAe,CAAC,qBAAqB,CAAC;AACrE,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAC3E,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,wCAAwC,CAAC;AACtF,IAAO,mBAAmB,GAAG,iBAAiB,CAAC,mBAAmB,CAAC;AACnE,OAAO,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAE1D,IAAO,WAAW,GAAG,iBAAiB,CAAC,WAAW,CAAC;AACnD,IAAO,gBAAgB,GAAG,iBAAiB,CAAC,gBAAgB,CAAC;AAoB7D,MAAM,UAAU,kBAAkB,CAAC,IAAU;IAC5C,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,aAAa,CAAC;AAC7C,CAAC;AAED,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,aAAa,EAAE,CAAC;QACjE;YACC,IAAI,EAAE,CAAE,QAAQ,CAAC,wBAAwB,EAAE,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC,qBAAqB;gBAChG,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,UAAU,CAAC;YACrC,IAAI,EAAE,SAAS;SACf;QACD,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE;QAC1C;YACC,IAAI,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC;YAC5B,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;KACD,CAAC,EAAE;IACH,cAAc,CAAC,KAAK,EAAE,IAAsB,EAAE,UAAU;QACvD,IAAI,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC;QACtC,IAAI,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;QAC1E,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;YAC7C,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;gBAClB,MAAM,IAAI,qBAAqB,CAAC,gCAAgC,EAAE,WAAW,CAAC,CAAC;YAChF,CAAC;YAED,IAAI,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAE/D,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBACrC,MAAM,IAAI,qBAAqB,CAAC,uCAAuC,EAAE,WAAW,CAAC,CAAC;YACvF,CAAC;YAED,IAAI,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YAC/E,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACf,MAAM,IAAI,qBAAqB,CAAC,YAAY,KAAK,CAAC,KAAK,2BAA2B,MAAM,CAAC,IAAI,CAAC,SAAS,GAAG,EAAE,WAAW,CAAC,CAAC;YAC1H,CAAC;YACD,IAAI,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YACrC,IAAI,YAAY,GAAG,gBAAgB,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC;YAE9E,IAAI,CAAC,YAAY,EAAE,CAAC;gBACnB,MAAM,IAAI,KAAK,CAAC,4EAA4E,CAAC,CAAC;YAC/F,CAAC;YAED,MAAM,GAAG;gBACR,IAAI,EAAE,YAAY;gBAClB,KAAK;aACL,CAAC;QACH,CAAC;QAED,IAAI,KAAK,GAAG,IAAI,UAAU,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC;QAC7F,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YACtG,MAAM,IAAI,qBAAqB,CAAC,kEAAkE,GAAG,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC,CAAC;QAChJ,CAAC;QAED,OAAO,MAAM,CAAC;IACf,CAAC;IACD,oBAAoB,CAAC,KAAK,EAAE,IAAsB,EAAE,UAAU;QAC7D,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC;QACxC,IAAI,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,oBAAoB,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;QAEhF,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;YAC7C,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;gBAC7B,MAAM,IAAI,qBAAqB,CAAC,gCAAgC,EAAE,WAAW,CAAC,CAAC;YAChF,CAAC;YAED,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC;YAC1B,MAAM,SAAS,GAAqB,EAAE,CAAC;YAEvC,KAAK,MAAM,WAAW,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;gBACvC,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBACrC,MAAM,IAAI,qBAAqB,CAAC,sCAAsC,EAAE,WAAW,CAAC,CAAC;gBACtF,CAAC;gBAED,MAAM,QAAQ,GAAG,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAE3E,IAAI,CAAC,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC;oBACpC,MAAM,IAAI,KAAK,CAAC,YAAY,WAAW,CAAC,SAAS,IAAI,QAAQ,EAAE,QAAQ,mCAAmC,CAAC,CAAC;gBAC7G,CAAC;gBAED,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;oBACzC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtB,CAAC;YACF,CAAC;YAED,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC5B,MAAM,IAAI,qBAAqB,CAC9B,oCAAoC,KAAK,sCAAsC,EAC/E,MAAM,CACN,CAAC;YACH,CAAC;YAED,MAAM,GAAG;gBACR,IAAI,EAAE,WAAW,CAAC,SAAS,CAAC;aAC5B,CAAC;QACH,CAAC;QAED,IAAI,KAAK,GAAG,IAAI,UAAU,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC,CAAC;QAC7F,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,IAAI,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YACxF,MAAM,IAAI,qBAAqB,CAAC,kEAAkE,GAAG,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC,CAAC;QAChJ,CAAC;QAED,OAAO,MAAM,CAAC;IACf,CAAC;CACD,CAAC,CAAC;AAQH,MAAM,UAAU,mBAAmB,CAAC,IAAU;IAC7C,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,cAAc,CAAC;AAC9C,CAAC;AAED,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,cAAc,EAAE,CAAC;QAClE,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE;QAC1C;YACC,IAAI,EAAE,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,UAAU,CAAC;YACnE,IAAI,EAAE,OAAO;SACb;QACD,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE;KAC1C,CAAC,EAAE;IACH,oDAAoD;IACpD,cAAc,CAAC,KAAK,EAAE,IAAuB,EAAE,UAAU;QACxD,IAAI,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;QAClC,OAAO,SAAS,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;IACvE,CAAC;IACD,oBAAoB,CAAC,KAAK,EAAE,IAAuB,EAAE,UAAU;QAC9D,IAAI,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;QAClC,OAAO,SAAS,CAAC,OAAO,CAAC,oBAAoB,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;IAC7E,CAAC;CACD,CAAC,CAAC;AAWH,MAAM,UAAU,yBAAyB,CAAC,IAAU;IACnD,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,qBAAqB,CAAC;AACrD,CAAC;AAED,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,EAAE,CAAC;QACzE;YACC,IAAI,EAAE,CAAC,SAAS,CAAC,UAAU,EAAE,QAAQ,CAAC,wBAAwB,CAAC;YAC/D,IAAI,EAAE,YAAY;SAClB;QACD;YACC,IAAI,EAAE,CAAC,QAAQ,CAAC,cAAc,CAAC;YAC/B,IAAI,EAAE,UAAU;YAChB,MAAM,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,iBAAiB,CAAC;SACrC;KACD,CAAC,EAAE;IACH,cAAc,CAAC,KAAK,EAAE,IAA6B,EAAE,UAAU;QAC9D,IAAI,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC;QACzC,IAAI,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;QAC3E,IAAI,MAAM,GAAwC;YACjD,IAAI,EAAE,OAAO,CAAC,IAAK;YACnB,KAAK,EAAE,OAAO,CAAC,KAAK;SACpB,CAAC;QACF,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YAC3C,IAAI,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAC/D,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAClC,MAAM,IAAI,qBAAqB,CAAC,mCAAmC,EAAE,WAAW,CAAC,CAAC;YACnF,CAAC;YACD,IAAI,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YAC/E,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACf,MAAM,IAAI,qBAAqB,CAAC,YAAY,KAAK,CAAC,KAAK,2BAA2B,MAAM,CAAC,IAAI,CAAC,SAAS,GAAG,EAAE,WAAW,CAAC,CAAC;YAC1H,CAAC;YACD,IAAI,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YACrC,IAAI,IAAI,GAAG,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACvD,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;YAEhF,IAAI,CAAC,IAAI,EAAE,CAAC;gBACX,MAAM,IAAI,KAAK,CAAC,GAAG,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe,MAAM,CAAC,IAAI,CAAC,SAAS,IAAI,QAAQ,CAAC,QAAQ,6BAA6B,CAAC,CAAC;YACxI,CAAC;YAED,MAAM,GAAG;gBACR,IAAI,EAAE,IAAI;gBACV,KAAK;aACL,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IACf,CAAC;IACD,oBAAoB,CAAC,KAAK,EAAE,IAA6B,EAAE,UAAU;QACpE,IAAI,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC;QACzC,IAAI,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,oBAAoB,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;QACjF,IAAI,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;YAC/B,MAAM,IAAI,qBAAqB,CAAC,gCAAgC,EAAE,WAAW,CAAC,CAAC;QAChF,CAAC;QACD,IAAI,MAAM,GAAqB,EAAE,CAAC;QAClC,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,EAAE,IAAI,CAAC,CAAC;QAC9B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YAC3C,IAAI,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,oBAAoB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YACrE,IAAI,SAAqB,CAAC;YAC1B,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;gBAC3B,MAAM,IAAI,qBAAqB,CAAC,6EAA6E,EAAE,WAAW,CAAC,CAAC;YAC7H,CAAC;YACD,qFAAqF;YACrF,KAAK,IAAI,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;gBAC7B,IAAI,OAAO,SAAS,KAAK,WAAW,EAAE,CAAC;oBACtC,MAAM,IAAI,qBAAqB,CAAC,gFAAgF,EAAE,WAAW,CAAC,CAAC;gBAChI,CAAC;gBACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBAC3B,MAAM,IAAI,qBAAqB,CAAC,mCAAmC,EAAE,WAAW,CAAC,CAAC;gBACnF,CAAC;gBACD,IAAI,IAAI,IAAI,WAAW,IAAI,IAAI,IAAI,WAAW,EAAE,CAAC;oBAChD,MAAM,IAAI,qBAAqB,CAAC,uDAAuD,EAAE,WAAW,CAAC,CAAC;gBACvG,CAAC;gBACD,IAAI,IAAI,CAAC,iBAAiB,EAAE,IAAI,cAAc,CAAC,MAAM,EAAE,CAAC;oBACvD,MAAM,IAAI,qBAAqB,CAAC,kFAAkF,EAAE,WAAW,CAAC,CAAC;gBAClI,CAAC;gBACD,SAAS,GAAG,IAAI,CAAC;YAClB,CAAC;YACD,gBAAgB;YAChB,MAAM,GAAG,EAAE,CAAC;YACZ,IAAI,YAAY,GAAG,MAAM,CAAC;YAC1B,KAAK,IAAI,IAAI,IAAI,YAAY,EAAE,CAAC;gBAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBAC3B,MAAM,IAAI,qBAAqB,CAAC,mCAAmC,EAAE,WAAW,CAAC,CAAC;gBACnF,CAAC;gBACD,IAAI,WAAwB,CAAC;gBAC7B,IAAI,IAAI,YAAY,SAAS,EAAE,CAAC;oBAC/B,IAAI,SAAS,IAAI,WAAW,EAAE,CAAC;wBAC9B,MAAM,IAAI,qBAAqB,CAAC,sCAAsC,EAAE,WAAW,CAAC,CAAC;oBACtF,CAAC;oBACD,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC;gBAC1B,CAAC;qBACI,IAAI,IAAI,YAAY,OAAO,EAAE,CAAC;oBAClC,IAAI,SAAS,IAAI,WAAW,EAAE,CAAC;wBAC9B,MAAM,IAAI,qBAAqB,CAAC,oCAAoC,EAAE,WAAW,CAAC,CAAC;oBACpF,CAAC;oBACD,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC;gBAC1B,CAAC;qBACI,IAAI,IAAI,YAAY,QAAQ,EAAE,CAAC;oBACnC,IAAI,SAAS,IAAI,WAAW,EAAE,CAAC;wBAC9B,MAAM,IAAI,qBAAqB,CAAC,4CAA4C,EAAE,WAAW,CAAC,CAAC;oBAC5F,CAAC;oBACD,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC;gBAC1B,CAAC;qBACI,CAAC;oBACL,MAAM,IAAI,qBAAqB,CAAC,gDAAgD,EAAE,WAAW,CAAC,CAAC;gBAChG,CAAC;gBAED,MAAM,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC;YAC7B,CAAC;QACF,CAAC;QAED,OAAO;YACN,IAAI,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC;SAC1B,CAAC;IACH,CAAC;CACD,CAAC,CAAC"}

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

@@ -0,0 +1,38 @@
+import { NodeType } from "../Parser/Enums.js";
+import { GrammarInterfaces } from "../Parser/Interfaces.js";
+import { BlockNode, ExpressionNode, StatementNode } from "./General.js";
+import EAST_Complex_Node = GrammarInterfaces.EAST_Complex_Node;
+import Node = GrammarInterfaces.Node;
+export declare const CONTROL_FLOW_STATEMENTS: NodeType[];
+type ControlFlowLoopNodes = BreakNode | ContinueNode;
+export declare function IsLoopNode(node: Node): node is ForNode | WhileNode;
+export declare function IsControlFlowNode(node: Node): node is ContinueNode | BreakNode;
+export interface ContinueNode extends GrammarInterfaces.EAST_Complex_Node {
+    type: NodeType.CONTINUE;
+    values: undefined;
+}
+export declare function IsContinueNode(node: Node): node is ContinueNode;
+export interface BreakNode extends EAST_Complex_Node {
+    type: NodeType.BREAK;
+    values: undefined;
+}
+export declare function IsBreakNode(node: Node): node is BreakNode;
+export interface WhileNode extends EAST_Complex_Node {
+    type: NodeType.WHILE_LOOP;
+    values: {
+        test: ExpressionNode;
+        body: BlockNode<ControlFlowLoopNodes> | StatementNode;
+    };
+}
+export declare function IsWhileNode(node: Node): node is WhileNode;
+export interface ForNode extends GrammarInterfaces.EAST_Complex_Node {
+    type: NodeType.FOR_LOOP;
+    values: {
+        initialiser: ExpressionNode;
+        test: ExpressionNode;
+        incrementer: ExpressionNode;
+        body: BlockNode<ControlFlowLoopNodes> | StatementNode;
+    };
+}
+export declare function IsForNode(node: Node): node is ForNode;
+export {};

package/Expressions/Compiler/Grammar/ControlFlow.js

@@ -0,0 +1,178 @@
+import { NodeType, TokenType } from "../Parser/Enums.js";
+import { GrammarInterfaces } from "../Parser/Interfaces.js";
+import { GrammarRegistry } from "../GrammarRegistry.js";
+import { Versions } from "../../../Constants/Versions.js";
+var SpecialType = GrammarInterfaces.SpecialType;
+var ExpressionSyntaxError = GrammarRegistry.ExpressionSyntaxError;
+import { ChainBoolean } from "../../TypeRegistry/Primitive.js";
+import { CreateChildScope } from "../../TypeRegistry/Types.js";
+export const CONTROL_FLOW_STATEMENTS = [NodeType.FOR_LOOP, NodeType.WHILE_LOOP, NodeType.DOWHILE_LOOP, NodeType.IF];
+const CONTROL_FLOW_LOOP = [NodeType.BREAK, NodeType.CONTINUE];
+//-------------------------------------------------LOOPS-----------------------------------------------
+export function IsLoopNode(node) {
+    return node.type === NodeType.FOR_LOOP || node.type === NodeType.WHILE_LOOP || node.type === NodeType.DOWHILE_LOOP;
+}
+export function IsControlFlowNode(node) {
+    return node.type === NodeType.CONTINUE || node.type === NodeType.BREAK || node.type === NodeType.RETURN;
+}
+export function IsContinueNode(node) {
+    return node.type === NodeType.CONTINUE;
+}
+GrammarRegistry.AddRule(Versions.v1_0_0, NodeType.CONTINUE, [[
+        { type: TokenType.KEYWORD, value: "continue" },
+        { type: TokenType.OPERATOR, value: ";" }
+    ]], {
+    runtimeExecute(scope, currentNode, outputType) {
+        return {
+            interrupt: "continue",
+            type: null,
+            value: null
+        };
+    },
+    compileTimeTraversal(scope, currentNode, outputType) {
+        if (outputType !== null) {
+            throw new ExpressionSyntaxError("Continue statements cannot return values", currentNode);
+        }
+        return null;
+    }
+});
+export function IsBreakNode(node) {
+    return node.type === NodeType.BREAK;
+}
+GrammarRegistry.AddRule(Versions.v1_0_0, NodeType.BREAK, [[
+        { type: TokenType.KEYWORD, value: "break" },
+        { type: TokenType.OPERATOR, value: ";" }
+    ]], {
+    runtimeExecute(scope, currentNode, outputType) {
+        return {
+            interrupt: "break",
+            type: null,
+            value: null
+        };
+    },
+    compileTimeTraversal(scope, currentNode, outputType) {
+        if (outputType !== null) {
+            throw new ExpressionSyntaxError("Break statements cannot return values", currentNode);
+        }
+        return null;
+    }
+});
+export function IsWhileNode(node) {
+    return node.type === NodeType.WHILE_LOOP;
+}
+GrammarRegistry.AddRule(Versions.v1_0_0, NodeType.WHILE_LOOP, [[
+        { type: TokenType.KEYWORD, value: "while" },
+        { type: TokenType.OPERATOR, value: "(" },
+        { type: NodeType.EXPRESSION, name: "test" },
+        { type: TokenType.OPERATOR, value: ")" },
+        {
+            type: [NodeType.BLOCK, NodeType.STATEMENT],
+            input: [...CONTROL_FLOW_LOOP, GrammarInterfaces.SpecialType.INPUT_TYPES],
+            name: "body"
+        }
+    ]], {
+    runtimeExecute(scope, currentNode, outputType) {
+        if (outputType !== null) {
+            throw new ExpressionSyntaxError("Loops cannot return values", currentNode);
+        }
+        // Create a new scope for the loop
+        let loopScope = CreateChildScope(scope);
+        while (true) {
+            // Evaluate the test condition
+            let testResult = currentNode.values.test.execute.runtimeExecute(loopScope, currentNode.values.test, [ChainBoolean]);
+            if (!testResult.value) {
+                break;
+            }
+            // Execute the body
+            let bodyResult = currentNode.values.body.execute.runtimeExecute(loopScope, currentNode.values.body, null);
+            // Handle control flow statements
+            if (bodyResult.interrupt === "break") {
+                break;
+            }
+            if (bodyResult.interrupt === "return") {
+                return bodyResult;
+            }
+        }
+        return {
+            type: null,
+            value: null
+        };
+    },
+    compileTimeTraversal(scope, currentNode, outputType) {
+        if (outputType !== null) {
+            throw new ExpressionSyntaxError("Loops cannot return values", currentNode);
+        }
+        // Create a new scope for the loop body
+        let bodyScope = CreateChildScope(scope);
+        // Ensure the test condition is a boolean
+        currentNode.values.test.execute.compileTimeTraversal(bodyScope, currentNode.values.test, [ChainBoolean]);
+        // Traverse the body
+        currentNode.values.body.execute.compileTimeTraversal(bodyScope, currentNode.values.body, null);
+        return null;
+    }
+});
+export function IsForNode(node) {
+    return node.type === NodeType.FOR_LOOP;
+}
+GrammarRegistry.AddRule(Versions.v1_0_0, NodeType.FOR_LOOP, [[
+        { type: TokenType.KEYWORD, value: "for" },
+        { type: TokenType.OPERATOR, value: "(" },
+        { type: NodeType.EXPRESSION, name: "initialiser" },
+        { type: TokenType.OPERATOR, value: ";" },
+        { type: NodeType.EXPRESSION, name: "test" },
+        { type: TokenType.OPERATOR, value: ";" },
+        { type: NodeType.EXPRESSION, name: "incrementer" },
+        { type: TokenType.OPERATOR, value: ")" },
+        {
+            type: [NodeType.BLOCK, NodeType.STATEMENT],
+            input: [...CONTROL_FLOW_LOOP, SpecialType.INPUT_TYPES],
+            name: "body"
+        }
+    ]], {
+    runtimeExecute(scope, currentNode, outputType) {
+        if (outputType !== null) {
+            throw new ExpressionSyntaxError("Loops cannot return values", currentNode);
+        }
+        // Create a new scope for the loop
+        let loopScope = CreateChildScope(scope);
+        currentNode.values.initialiser.execute.runtimeExecute(loopScope, currentNode.values.initialiser, null);
+        while (true) {
+            // Evaluate the test condition
+            let testResult = currentNode.values.test.execute.runtimeExecute(loopScope, currentNode.values.test, [ChainBoolean]);
+            if (!testResult.value) {
+                break;
+            }
+            // Execute the body
+            let bodyResult = currentNode.values.body.execute.runtimeExecute(loopScope, currentNode.values.body, null);
+            // Handle control flow statements
+            if (bodyResult.interrupt === "break") {
+                break;
+            }
+            if (bodyResult.interrupt === "return") {
+                return bodyResult;
+            }
+            currentNode.values.incrementer.execute.runtimeExecute(loopScope, currentNode.values.incrementer, null);
+        }
+        return {
+            type: null,
+            value: null
+        };
+    },
+    compileTimeTraversal(scope, currentNode, outputType) {
+        if (outputType !== null) {
+            throw new ExpressionSyntaxError("Loops cannot return values", currentNode);
+        }
+        // Create a new scope for the loop body
+        let bodyScope = CreateChildScope(scope);
+        // Traverse the initialiser
+        currentNode.values.initialiser.execute.compileTimeTraversal(bodyScope, currentNode.values.initialiser, null);
+        // Traverse the incrementer
+        currentNode.values.incrementer.execute.compileTimeTraversal(bodyScope, currentNode.values.incrementer, null);
+        // Ensure the test condition is a boolean
+        currentNode.values.test.execute.compileTimeTraversal(bodyScope, currentNode.values.test, [ChainBoolean]);
+        // Traverse the body
+        currentNode.values.body.execute.compileTimeTraversal(bodyScope, currentNode.values.body, null);
+        return null;
+    }
+});
+//# sourceMappingURL=ControlFlow.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ControlFlow.js","sourceRoot":"","sources":["ControlFlow.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,QAAQ,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAI1D,IAAO,WAAW,GAAG,iBAAiB,CAAC,WAAW,CAAC;AAEnD,IAAO,qBAAqB,GAAG,eAAe,CAAC,qBAAqB,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAE/D,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,YAAY,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;AACpH,MAAM,iBAAiB,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;AAG9D,uGAAuG;AAEvG,MAAM,UAAU,UAAU,CAAC,IAAU;IACpC,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,YAAY,CAAC;AACpH,CAAC;AACD,MAAM,UAAU,iBAAiB,CAAC,IAAU;IAC3C,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,MAAM,CAAC;AACzG,CAAC;AASD,MAAM,UAAU,cAAc,CAAC,IAAU;IACxC,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,QAAQ,CAAC;AACxC,CAAC;AAED,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC;QAC5D,EAAE,IAAI,EAAE,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE;QAC9C,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE;KACxC,CAAC,EAAE;IACH,cAAc,CAAC,KAAK,EAAE,WAAyB,EAAE,UAAU;QAC1D,OAAO;YACN,SAAS,EAAE,UAAU;YACrB,IAAI,EAAE,IAAI;YACV,KAAK,EAAE,IAAI;SACX,CAAC;IACH,CAAC;IACD,oBAAoB,CAAC,KAAK,EAAE,WAAyB,EAAE,UAAU;QAChE,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YACzB,MAAM,IAAI,qBAAqB,CAAC,0CAA0C,EAAE,WAAW,CAAC,CAAC;QAC1F,CAAC;QACD,OAAO,IAAI,CAAC;IACb,CAAC;CACD,CAAC,CAAC;AASH,MAAM,UAAU,WAAW,CAAC,IAAU;IACrC,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,KAAK,CAAC;AACrC,CAAC;AAED,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,KAAK,EAAE,CAAC;QACzD,EAAE,IAAI,EAAE,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;QAC3C,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE;KACxC,CAAC,EAAE;IACH,cAAc,CAAC,KAAK,EAAE,WAAsB,EAAE,UAAU;QACvD,OAAO;YACN,SAAS,EAAE,OAAO;YAClB,IAAI,EAAE,IAAI;YACV,KAAK,EAAE,IAAI;SACX,CAAC;IACH,CAAC;IACD,oBAAoB,CAAC,KAAK,EAAE,WAAsB,EAAE,UAAU;QAC7D,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YACzB,MAAM,IAAI,qBAAqB,CAAC,uCAAuC,EAAE,WAAW,CAAC,CAAC;QACvF,CAAC;QACD,OAAO,IAAI,CAAC;IACb,CAAC;CACD,CAAC,CAAC;AAaH,MAAM,UAAU,WAAW,CAAC,IAAU;IACrC,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,UAAU,CAAC;AAC1C,CAAC;AAED,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,EAAE,CAAC;QAC9D,EAAE,IAAI,EAAE,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE;QAC3C,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE;QACxC,EAAE,IAAI,EAAE,QAAQ,CAAC,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE;QAC3C,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE;QACxC;YACC,IAAI,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC;YAC1C,KAAK,EAAE,CAAC,GAAG,iBAAiB,EAAE,iBAAiB,CAAC,WAAW,CAAC,WAAW,CAAC;YACxE,IAAI,EAAE,MAAM;SACZ;KACD,CAAC,EAAE;IACH,cAAc,CAAC,KAAK,EAAE,WAAsB,EAAE,UAAU;QACvD,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YACzB,MAAM,IAAI,qBAAqB,CAAC,4BAA4B,EAAE,WAAW,CAAC,CAAC;QAC5E,CAAC;QAED,kCAAkC;QAClC,IAAI,SAAS,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAExC,OAAO,IAAI,EAAE,CAAC;YACb,8BAA8B;YAC9B,IAAI,UAAU,GACb,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;YAEpG,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;gBACvB,MAAM;YACP,CAAC;YAED,mBAAmB;YACnB,IAAI,UAAU,GACb,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAE1F,iCAAiC;YACjC,IAAI,UAAU,CAAC,SAAS,KAAK,OAAO,EAAE,CAAC;gBACtC,MAAM;YACP,CAAC;YACD,IAAI,UAAU,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;gBACvC,OAAO,UAAU,CAAC;YACnB,CAAC;QACF,CAAC;QAED,OAAO;YACN,IAAI,EAAE,IAAI;YACV,KAAK,EAAE,IAAI;SACX,CAAC;IACH,CAAC;IACD,oBAAoB,CAAC,KAAK,EAAE,WAAsB,EAAE,UAAU;QAC7D,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YACzB,MAAM,IAAI,qBAAqB,CAAC,4BAA4B,EAAE,WAAW,CAAC,CAAC;QAC5E,CAAC;QAED,uCAAuC;QACvC,IAAI,SAAS,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAExC,yCAAyC;QACzC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;QACzG,oBAAoB;QACpB,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAE/F,OAAO,IAAI,CAAC;IACb,CAAC;CACD,CAAC,CAAC;AAgBH,MAAM,UAAU,SAAS,CAAC,IAAU;IACnC,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,QAAQ,CAAC;AACxC,CAAC;AAED,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC;QAC5D,EAAE,IAAI,EAAE,SAAS,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE;QACzC,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE;QACxC,EAAE,IAAI,EAAE,QAAQ,CAAC,UAAU,EAAE,IAAI,EAAE,aAAa,EAAE;QAClD,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE;QACxC,EAAE,IAAI,EAAE,QAAQ,CAAC,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE;QAC3C,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE;QACxC,EAAE,IAAI,EAAE,QAAQ,CAAC,UAAU,EAAE,IAAI,EAAE,aAAa,EAAE;QAClD,EAAE,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE;QACxC;YACC,IAAI,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC;YAC1C,KAAK,EAAE,CAAC,GAAG,iBAAiB,EAAE,WAAW,CAAC,WAAW,CAAC;YACtD,IAAI,EAAE,MAAM;SACZ;KACD,CAAC,EAAE;IACH,cAAc,CAAC,KAAK,EAAE,WAAoB,EAAE,UAAU;QACrD,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YACzB,MAAM,IAAI,qBAAqB,CAAC,4BAA4B,EAAE,WAAW,CAAC,CAAC;QAC5E,CAAC;QAED,kCAAkC;QAClC,IAAI,SAAS,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QACxC,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,cAAc,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QAEvG,OAAO,IAAI,EAAE,CAAC;YACb,8BAA8B;YAC9B,IAAI,UAAU,GACb,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;YAEpG,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;gBACvB,MAAM;YACP,CAAC;YAED,mBAAmB;YACnB,IAAI,UAAU,GACb,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAE1F,iCAAiC;YACjC,IAAI,UAAU,CAAC,SAAS,KAAK,OAAO,EAAE,CAAC;gBACtC,MAAM;YACP,CAAC;YACD,IAAI,UAAU,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;gBACvC,OAAO,UAAU,CAAC;YACnB,CAAC;YAED,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,cAAc,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QACxG,CAAC;QAED,OAAO;YACN,IAAI,EAAE,IAAI;YACV,KAAK,EAAE,IAAI;SACX,CAAC;IACH,CAAC;IACD,oBAAoB,CAAC,KAAK,EAAE,WAAoB,EAAE,UAAU;QAC3D,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YACzB,MAAM,IAAI,qBAAqB,CAAC,4BAA4B,EAAE,WAAW,CAAC,CAAC;QAC5E,CAAC;QAED,uCAAuC;QACvC,IAAI,SAAS,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAExC,2BAA2B;QAC3B,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,oBAAoB,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QAC7G,2BAA2B;QAC3B,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,oBAAoB,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QAE7G,yCAAyC;QACzC,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;QACzG,oBAAoB;QACpB,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAE/F,OAAO,IAAI,CAAC;IACb,CAAC;CACD,CAAC,CAAC"}

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

@@ -0,0 +1,22 @@
+import { NodeType } from "../Parser/Enums.js";
+import { GrammarInterfaces } from "../Parser/Interfaces.js";
+import { ExpressionNode } from "./General.js";
+import Node = GrammarInterfaces.Node;
+import EAST_Token = GrammarInterfaces.EAST_Token;
+import { TypeDefinitionNode, TypeUnionNode } from "./Types.js";
+export interface DeclarationEntryNode extends GrammarInterfaces.EAST_Complex_Node {
+    type: NodeType.DECLARATION_ENTRY;
+    values: {
+        name: EAST_Token;
+        type: TypeDefinitionNode | TypeUnionNode;
+        initialiser?: ExpressionNode;
+    };
+}
+export declare function IsDeclarationEntryNode(node: Node): node is DeclarationEntryNode;
+export interface DeclarationNode extends GrammarInterfaces.EAST_Complex_Node {
+    type: NodeType.DECLARATION;
+    values: {
+        declarations: DeclarationEntryNode[];
+    };
+}
+export declare function IsDeclarationNode(node: Node): node is DeclarationNode;