intelligent-system-design-language 0.3.13

package/out/language/isdl-scope-provider.js

@@ -0,0 +1,149 @@
+import { AstUtils, DefaultScopeProvider, MapScope } from "langium";
+import { isAccess, isAssignment, isDocument, isEntry, isFunctionDefinition, isHookHandler, isIfStatement, isInventoryField, isInventoryMoneyParam, isInventoryQuantityParam, isInventorySortParam, isInventorySumProperties, isMoneyField, isParentAccess, isParentAssignment, isParentPropertyRefChoice, isParentTypeCheckExpression, isProperty, isRef, isStatusProperty, isTargetAccess, isTargetAssignment, isTargetTypeCheckExpression, isVariableAccess, isVariableAssignment } from "./generated/ast.js";
+import { getAllOfType } from "../cli/components/utils.js";
+export class IsdlScopeProvider extends DefaultScopeProvider {
+    constructor(services) {
+        super(services);
+        this.astNodeDescriptionProvider = services.workspace.AstNodeDescriptionProvider;
+    }
+    getScope(context) {
+        if (isAccess(context.container) ||
+            isAssignment(context.container) ||
+            isParentAccess(context.container) ||
+            isParentPropertyRefChoice(context.container) ||
+            isParentAssignment(context.container) ||
+            isTargetAccess(context.container) ||
+            isTargetAssignment(context.container)) {
+            return this.getPropertyAccessScope(context);
+        }
+        if (isVariableAccess(context.container) || isRef(context.container) || isVariableAssignment(context.container)) {
+            return this.getVariableAccessScope(context);
+        }
+        // Inventory parameter scopes - look in the referenced document type
+        if (isInventoryQuantityParam(context.container) ||
+            isInventorySortParam(context.container) ||
+            isInventorySumProperties(context.container)) {
+            return this.getInventoryPropertyScope(context);
+        }
+        // Inventory money parameter - look for money fields in the current document
+        if (isInventoryMoneyParam(context.container)) {
+            return this.getInventoryMoneyScope(context);
+        }
+        // if (isFleetingAccess(context.container) || isRef(context.container)) {
+        //     return this.getAccessScope(context);
+        // }
+        return super.getScope(context);
+    }
+    getPropertyAccessScope(context) {
+        // When resolving a parent access, we look for an if statement that contains the parent type check expression
+        if (isParentAccess(context.container) || isParentAssignment(context.container)) {
+            const ifStatement = AstUtils.getContainerOfType(context.container, (n) => {
+                const isIf = isIfStatement(n);
+                if (!isIf)
+                    return false;
+                return isParentTypeCheckExpression(n.expression);
+            });
+            const parentTypeCheck = ifStatement === null || ifStatement === void 0 ? void 0 : ifStatement.expression;
+            if (parentTypeCheck == undefined) {
+                console.error("Parent type check not found");
+                return new MapScope([]);
+            }
+            const descriptions = this.getScopesForDocument(parentTypeCheck.document.ref);
+            return new MapScope(descriptions);
+        }
+        // When resolving a parent ref choice, we have the type in the name
+        if (isParentPropertyRefChoice(context.container)) {
+            // Build scopes of all the entry documents
+            let entry = AstUtils.getContainerOfType(context.container, isEntry);
+            let documents = entry.documents;
+            let descriptions = [];
+            for (let document of documents) {
+                descriptions.push(this.astNodeDescriptionProvider.createDescription(document, document.name));
+            }
+            // Get property scopes for the given document
+            const refChoice = context.container;
+            const docDescriptions = this.getScopesForDocument(refChoice.document.ref);
+            descriptions.push(...docDescriptions);
+            return new MapScope(descriptions);
+        }
+        // Targets work like parent accesses, but we look for the target type check expression
+        if (isTargetAccess(context.container) || isTargetAssignment(context.container)) {
+            const ifStatement = AstUtils.getContainerOfType(context.container, (n) => {
+                const isIf = isIfStatement(n);
+                if (!isIf)
+                    return false;
+                return isTargetTypeCheckExpression(n.expression);
+            });
+            const targetTypeCheck = ifStatement === null || ifStatement === void 0 ? void 0 : ifStatement.expression;
+            if (targetTypeCheck == undefined) {
+                console.error("Target type check not found");
+                return new MapScope([]);
+            }
+            const descriptions = this.getScopesForDocument(targetTypeCheck.document.ref);
+            return new MapScope(descriptions);
+        }
+        // For everything else, list the properties in the same document as the defined variable
+        const document = AstUtils.getContainerOfType(context.container, isDocument);
+        const descriptions = this.getScopesForDocument(document);
+        // If we are in a method block belonging to an Each expression, add the variable of the each expression to the scope
+        // const eachExp = AstUtils.getContainerOfType(context.container, isEach);
+        // if (eachExp != undefined) {
+        //     const eachVariable = eachExp.var;
+        //     if (eachVariable != undefined) {
+        //         console.log("Adding each variable to scope: " + eachVariable.name);
+        //         descriptions.push(this.astNodeDescriptionProvider.createDescription(eachVariable, eachVariable.name));
+        //     }
+        // }
+        return new MapScope(descriptions);
+    }
+    getScopesForDocument(document) {
+        if (document == undefined) {
+            return [];
+        }
+        const properties = getAllOfType(document.body, isProperty, false);
+        const statuses = getAllOfType(document.body, isStatusProperty, false);
+        const functionDefinitions = getAllOfType(document.body, isFunctionDefinition, false);
+        const descriptions = properties.map(a => this.astNodeDescriptionProvider.createDescription(a, a.name));
+        descriptions.push(...statuses.map(a => this.astNodeDescriptionProvider.createDescription(a, a.name)));
+        descriptions.push(...functionDefinitions.map(a => this.astNodeDescriptionProvider.createDescription(a, a.name)));
+        return descriptions;
+    }
+    getVariableAccessScope(context) {
+        let scope = super.getScope(context);
+        const additionalDescriptions = [];
+        // If we are in a method block belonging to a hook, add the variables of the hook to the scope
+        const hook = AstUtils.getContainerOfType(context.container, isHookHandler);
+        if (hook != undefined) {
+            additionalDescriptions.push(...hook.params.map(a => this.astNodeDescriptionProvider.createDescription(a, a.name)));
+        }
+        // If we are in a function block, add the variables of the function to the scope
+        const functionDefinition = AstUtils.getContainerOfType(context.container, isFunctionDefinition);
+        if (functionDefinition != undefined) {
+            additionalDescriptions.push(...functionDefinition.params.map(a => this.astNodeDescriptionProvider.createDescription(a, a.param.name)));
+        }
+        additionalDescriptions.push(...scope.getAllElements().toArray());
+        return new MapScope(additionalDescriptions);
+    }
+    getInventoryPropertyScope(context) {
+        // Get the inventory field that contains this parameter
+        const inventoryField = AstUtils.getContainerOfType(context.container, isInventoryField);
+        if (!inventoryField || !inventoryField.document.ref) {
+            return new MapScope([]);
+        }
+        // Get properties from the document type that the inventory references
+        const descriptions = this.getScopesForDocument(inventoryField.document.ref);
+        return new MapScope(descriptions);
+    }
+    getInventoryMoneyScope(context) {
+        // Get the current document (actor) that contains the inventory field
+        const document = AstUtils.getContainerOfType(context.container, isDocument);
+        if (!document) {
+            return new MapScope([]);
+        }
+        // Get all money fields from the current document
+        const moneyFields = getAllOfType(document.body, isMoneyField, false);
+        const descriptions = moneyFields.map(field => this.astNodeDescriptionProvider.createDescription(field, field.name));
+        return new MapScope(descriptions);
+    }
+}
+//# sourceMappingURL=isdl-scope-provider.js.map

package/out/language/isdl-scope-provider.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"isdl-scope-provider.js","sourceRoot":"","sources":["../../src/language/isdl-scope-provider.ts"],"names":[],"mappings":"AAAA,OAAO,EAA2D,QAAQ,EAAE,oBAAoB,EAAuB,QAAQ,EAAwB,MAAM,SAAS,CAAC;AACvK,OAAO,EAA6C,QAAQ,EAAE,YAAY,EAAE,UAAU,EAAE,OAAO,EAAE,oBAAoB,EAAE,aAAa,EAAE,aAAa,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,wBAAwB,EAAE,oBAAoB,EAAE,wBAAwB,EAAE,YAAY,EAAE,cAAc,EAAE,kBAAkB,EAAE,yBAAyB,EAAE,2BAA2B,EAAE,UAAU,EAAE,KAAK,EAAE,gBAAgB,EAAE,cAAc,EAAE,kBAAkB,EAAE,2BAA2B,EAAE,gBAAgB,EAAE,oBAAoB,EAAuH,MAAM,oBAAoB,CAAC;AAChpB,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAE1D,MAAM,OAAO,iBAAkB,SAAQ,oBAAoB;IAGvD,YAAY,QAA6B;QACrC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAEhB,IAAI,CAAC,0BAA0B,GAAG,QAAQ,CAAC,SAAS,CAAC,0BAA0B,CAAC;IACpF,CAAC;IAEQ,QAAQ,CAAC,OAAsB;QAEpC,IAAI,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC;YAC3B,YAAY,CAAC,OAAO,CAAC,SAAS,CAAC;YAC/B,cAAc,CAAC,OAAO,CAAC,SAAS,CAAC;YACjC,yBAAyB,CAAC,OAAO,CAAC,SAAS,CAAC;YAC5C,kBAAkB,CAAC,OAAO,CAAC,SAAS,CAAC;YACrC,cAAc,CAAC,OAAO,CAAC,SAAS,CAAC;YACjC,kBAAkB,CAAC,OAAO,CAAC,SAAS,CAAC,EACvC;YAEE,OAAO,IAAI,CAAC,sBAAsB,CAAC,OAAO,CAAC,CAAC;SAC/C;QAED,IAAI,gBAAgB,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,oBAAoB,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE;YAC5G,OAAO,IAAI,CAAC,sBAAsB,CAAC,OAAO,CAAC,CAAC;SAC/C;QAED,oEAAoE;QACpE,IAAI,wBAAwB,CAAC,OAAO,CAAC,SAAS,CAAC;YAC3C,oBAAoB,CAAC,OAAO,CAAC,SAAS,CAAC;YACvC,wBAAwB,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE;YAC7C,OAAO,IAAI,CAAC,yBAAyB,CAAC,OAAO,CAAC,CAAC;SAClD;QAED,4EAA4E;QAC5E,IAAI,qBAAqB,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE;YAC1C,OAAO,IAAI,CAAC,sBAAsB,CAAC,OAAO,CAAC,CAAC;SAC/C;QAED,yEAAyE;QACzE,2CAA2C;QAC3C,IAAI;QAEJ,OAAO,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACnC,CAAC;IAEO,sBAAsB,CAAC,OAAsB;QAEjD,6GAA6G;QAC7G,IAAI,cAAc,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,kBAAkB,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE;YAC5E,MAAM,WAAW,GAAG,QAAQ,CAAC,kBAAkB,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC,CAAU,EAAoB,EAAE;gBAChG,MAAM,IAAI,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;gBAC9B,IAAI,CAAC,IAAI;oBAAE,OAAO,KAAK,CAAC;gBACxB,OAAO,2BAA2B,CAAE,CAAiB,CAAC,UAAU,CAAC,CAAC;YACtE,CAAC,CAAE,CAAC;YACJ,MAAM,eAAe,GAAG,WAAW,aAAX,WAAW,uBAAX,WAAW,CAAE,UAAuC,CAAC;YAC7E,IAAI,eAAe,IAAI,SAAS,EAAE;gBAC9B,OAAO,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC;gBAC7C,OAAO,IAAI,QAAQ,CAAC,EAAE,CAAC,CAAC;aAC3B;YACD,MAAM,YAAY,GAAG,IAAI,CAAC,oBAAoB,CAAC,eAAe,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YAC7E,OAAO,IAAI,QAAQ,CAAC,YAAY,CAAC,CAAC;SACrC;QAED,mEAAmE;QACnE,IAAI,yBAAyB,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE;YAC9C,0CAA0C;YAC1C,IAAI,KAAK,GAAG,QAAQ,CAAC,kBAAkB,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAE,CAAC;YACrE,IAAI,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;YAChC,IAAI,YAAY,GAAyB,EAAE,CAAC;YAC5C,KAAK,IAAI,QAAQ,IAAI,SAAS,EAAE;gBAC5B,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,0BAA0B,CAAC,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;aACjG;YAED,6CAA6C;YAC7C,MAAM,SAAS,GAAG,OAAO,CAAC,SAAoC,CAAC;YAC/D,MAAM,eAAe,GAAG,IAAI,CAAC,oBAAoB,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YAC1E,YAAY,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,CAAC;YACtC,OAAO,IAAI,QAAQ,CAAC,YAAY,CAAC,CAAC;SACrC;QAED,sFAAsF;QACtF,IAAI,cAAc,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,kBAAkB,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE;YAC5E,MAAM,WAAW,GAAG,QAAQ,CAAC,kBAAkB,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC,CAAU,EAAoB,EAAE;gBAChG,MAAM,IAAI,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;gBAC9B,IAAI,CAAC,IAAI;oBAAE,OAAO,KAAK,CAAC;gBACxB,OAAO,2BAA2B,CAAE,CAAiB,CAAC,UAAU,CAAC,CAAC;YACtE,CAAC,CAAE,CAAC;YACJ,MAAM,eAAe,GAAG,WAAW,aAAX,WAAW,uBAAX,WAAW,CAAE,UAAuC,CAAC;YAC7E,IAAI,eAAe,IAAI,SAAS,EAAE;gBAC9B,OAAO,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC;gBAC7C,OAAO,IAAI,QAAQ,CAAC,EAAE,CAAC,CAAC;aAC3B;YACD,MAAM,YAAY,GAAG,IAAI,CAAC,oBAAoB,CAAC,eAAe,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YAC7E,OAAO,IAAI,QAAQ,CAAC,YAAY,CAAC,CAAC;SACrC;QAED,wFAAwF;QACxF,MAAM,QAAQ,GAAG,QAAQ,CAAC,kBAAkB,CAAC,OAAO,CAAC,SAAS,EAAE,UAAU,CAAE,CAAC;QAC7E,MAAM,YAAY,GAAG,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QAEzD,oHAAoH;QACpH,0EAA0E;QAC1E,8BAA8B;QAC9B,wCAAwC;QACxC,uCAAuC;QACvC,8EAA8E;QAC9E,iHAAiH;QACjH,QAAQ;QACR,IAAI;QAEJ,OAAO,IAAI,QAAQ,CAAC,YAAY,CAAC,CAAC;IACtC,CAAC;IAEO,oBAAoB,CAAC,QAA8B;QACvD,IAAI,QAAQ,IAAI,SAAS,EAAE;YACvB,OAAO,EAAE,CAAC;SACb;QACD,MAAM,UAAU,GAAG,YAAY,CAAW,QAAQ,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;QAC5E,MAAM,QAAQ,GAAG,YAAY,CAAiB,QAAQ,CAAC,IAAI,EAAE,gBAAgB,EAAE,KAAK,CAAC,CAAC;QACtF,MAAM,mBAAmB,GAAG,YAAY,CAAqB,QAAQ,CAAC,IAAI,EAAE,oBAAoB,EAAE,KAAK,CAAC,CAAC;QAEzG,MAAM,YAAY,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,0BAA0B,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACvG,YAAY,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,0BAA0B,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtG,YAAY,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,0BAA0B,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAEjH,OAAO,YAAY,CAAC;IACxB,CAAC;IAEO,sBAAsB,CAAC,OAAsB;QAEjD,IAAI,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACpC,MAAM,sBAAsB,GAAyB,EAAE,CAAC;QAExD,8FAA8F;QAC9F,MAAM,IAAI,GAAG,QAAQ,CAAC,kBAAkB,CAAC,OAAO,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;QAE3E,IAAI,IAAI,IAAI,SAAS,EAAE;YACnB,sBAAsB,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,0BAA0B,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;SACtH;QAED,gFAAgF;QAChF,MAAM,kBAAkB,GAAG,QAAQ,CAAC,kBAAkB,CAAC,OAAO,CAAC,SAAS,EAAE,oBAAoB,CAAC,CAAC;QAChG,IAAI,kBAAkB,IAAI,SAAS,EAAE;YACjC,sBAAsB,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,0BAA0B,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;SAC1I;QAED,sBAAsB,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,cAAc,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;QAEjE,OAAO,IAAI,QAAQ,CAAC,sBAAsB,CAAC,CAAC;IAChD,CAAC;IAEO,yBAAyB,CAAC,OAAsB;QACpD,uDAAuD;QACvD,MAAM,cAAc,GAAG,QAAQ,CAAC,kBAAkB,CAAC,OAAO,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC;QACxF,IAAI,CAAC,cAAc,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,GAAG,EAAE;YACjD,OAAO,IAAI,QAAQ,CAAC,EAAE,CAAC,CAAC;SAC3B;QAED,sEAAsE;QACtE,MAAM,YAAY,GAAG,IAAI,CAAC,oBAAoB,CAAC,cAAc,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC5E,OAAO,IAAI,QAAQ,CAAC,YAAY,CAAC,CAAC;IACtC,CAAC;IAEO,sBAAsB,CAAC,OAAsB;QACjD,qEAAqE;QACrE,MAAM,QAAQ,GAAG,QAAQ,CAAC,kBAAkB,CAAC,OAAO,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QAC5E,IAAI,CAAC,QAAQ,EAAE;YACX,OAAO,IAAI,QAAQ,CAAC,EAAE,CAAC,CAAC;SAC3B;QAED,iDAAiD;QACjD,MAAM,WAAW,GAAG,YAAY,CAAa,QAAQ,CAAC,IAAI,EAAE,YAAY,EAAE,KAAK,CAAC,CAAC;QACjF,MAAM,YAAY,GAAG,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CACzC,IAAI,CAAC,0BAA0B,CAAC,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CACvE,CAAC;QAEF,OAAO,IAAI,QAAQ,CAAC,YAAY,CAAC,CAAC;IACtC,CAAC;CACJ"}