@komaci/static-analyzer 242.0.0 → 242.1.0

package/build/index.d.ts

@@ -1,7 +1,7 @@
 import { AnalyzerInput, PrimingDiagnostic } from './types';
 export declare function generatePrimingDiagnosticsModule(input: AnalyzerInput): PrimingDiagnostic[];
-export { AnalyzerInput, PrimingDiagnostic, Range, Position, PrimingAdapterDefinition, } from './types';
-export { getPrimingAdapter, isSupportedNamespace, isSupportedWireAdapter, } from './shared';
+export { AnalyzerInput, PrimingDiagnostic, Range, Position } from './types';
+export { isSupportedNamespace, isImageComposition } from './shared';
 export { diagnosticMessages, getPrimingDiagnostic } from './rules';
 export * from './validateGetter';
 //# sourceMappingURL=index.d.ts.map

package/build/index.js

@@ -14,7 +14,7 @@ var __exportStar = (this && this.__exportStar) || function(m, exports) {
     for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
 };
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.getPrimingDiagnostic = exports.diagnosticMessages = exports.isSupportedWireAdapter = exports.isSupportedNamespace = exports.getPrimingAdapter = exports.generatePrimingDiagnosticsModule = void 0;
+exports.getPrimingDiagnostic = exports.diagnosticMessages = exports.isImageComposition = exports.isSupportedNamespace = exports.generatePrimingDiagnosticsModule = void 0;
 const staticAnalyzer_1 = require("./staticAnalyzer");
 function generatePrimingDiagnosticsModule(input) {
     const analyzer = new staticAnalyzer_1.StaticAnalyzer();
@@ -28,9 +28,8 @@ function generatePrimingDiagnosticsModule(input) {
 }
 exports.generatePrimingDiagnosticsModule = generatePrimingDiagnosticsModule;
 var shared_1 = require("./shared");
-Object.defineProperty(exports, "getPrimingAdapter", { enumerable: true, get: function () { return shared_1.getPrimingAdapter; } });
 Object.defineProperty(exports, "isSupportedNamespace", { enumerable: true, get: function () { return shared_1.isSupportedNamespace; } });
-Object.defineProperty(exports, "isSupportedWireAdapter", { enumerable: true, get: function () { return shared_1.isSupportedWireAdapter; } });
+Object.defineProperty(exports, "isImageComposition", { enumerable: true, get: function () { return shared_1.isImageComposition; } });
 var rules_1 = require("./rules");
 Object.defineProperty(exports, "diagnosticMessages", { enumerable: true, get: function () { return rules_1.diagnosticMessages; } });
 Object.defineProperty(exports, "getPrimingDiagnostic", { enumerable: true, get: function () { return rules_1.getPrimingDiagnostic; } });

package/build/invariantFunctions/callExpressionInvariantFunctions.d.ts

@@ -1,14 +1,14 @@
 import { NodePath } from '@babel/traverse';
 import * as t from '@babel/types';
 import { PrimingDiagnostic } from '../types';
-import { ImportDeclarationInfo } from '@komaci/common-shared';
+import { ImportMetadata } from '@komaci/common-shared';
 /**
  * Invariant function for checking if call expressions references an unsupported import.
  * @param path the babel path object for the current call expression.
  * @param importReferences a set of supported import references.
  * @returns undefined if a call expression does NOT reference an unspoorted import, locatoin object if a call expression references an unsupported import.
  */
-export declare function checkCallExpressionForNonSupportedNamespaceRefs(path: NodePath<t.CallExpression>, importReferences: Map<string, ImportDeclarationInfo>): PrimingDiagnostic | undefined;
+export declare function checkCallExpressionForNonSupportedNamespaceRefs(path: NodePath<t.CallExpression>, importReferences: Map<string, ImportMetadata>): PrimingDiagnostic | undefined;
 /**
  * Validates whether a CallExpression Node on the AST adheres to a portability invariant (whether it doesn't
  * contain 'eval()' call).

package/build/invariantFunctions/callExpressionInvariantFunctions.js

@@ -2,6 +2,7 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.checkForNoReferenceToModuleFunctions = exports.checkForNoReferenceToClassFunctions = exports.checkNoUsageOfEval = exports.checkCallExpressionForNonSupportedNamespaceRefs = void 0;
 const shared_1 = require("../shared");
+const common_shared_1 = require("@komaci/common-shared");
 const rules_1 = require("../rules");
 /**
  * Invariant function for checking if call expressions references an unsupported import.
@@ -12,11 +13,10 @@ const rules_1 = require("../rules");
 function checkCallExpressionForNonSupportedNamespaceRefs(path, importReferences) {
     const callExprNode = path.node;
     const callee = callExprNode.callee;
-    if (importReferences.get(callee.name)) {
-        if (!importReferences.get(callee.name)?.isSupported) {
-            if (callee.loc != null) {
-                return (0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_CALL_EXPRESSION_REFERENCES_UNSUPPORTED_NAMESPACE, shared_1.LLSRange.fromBabelSourceLocation(callee.loc), [callee.name]);
-            }
+    const importRef = importReferences.get(callee.name);
+    if (importRef && (0, common_shared_1.isImportInvalid)(importRef)) {
+        if (callee.loc != null) {
+            return (0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_CALL_EXPRESSION_REFERENCES_UNSUPPORTED_NAMESPACE, shared_1.LLSRange.fromBabelSourceLocation(callee.loc), [callee.name]);
         }
     }
     return undefined;

package/build/invariantFunctions/identifierInvariantFunctions.d.ts

@@ -1,6 +1,6 @@
 import { NodePath } from '@babel/traverse';
 import * as t from '@babel/types';
-import { ImportDeclarationInfo } from '@komaci/common-shared';
+import { ImportMetadata } from '@komaci/common-shared';
 import { PrimingDiagnostic } from '../types';
 /**
  * Invariant function to check for no references to module varaibles.
@@ -24,5 +24,5 @@ export declare function checkForNoReferenceToModuleVariables(path: NodePath<t.Id
  * @returns undefined if a member expression does NOT reference an unsuppoerted import, PrimingDiagnostic object
  *          if an unsupported import is reference.
  */
-export declare function checkIdentifierForNonSupportedNamespaceRefs(path: NodePath<t.Identifier>, importReferences: Map<string, ImportDeclarationInfo>, declaredVariables: string[]): PrimingDiagnostic | undefined;
+export declare function checkIdentifierForNonSupportedNamespaceRefs(path: NodePath<t.Identifier>, importReferences: Map<string, ImportMetadata>, declaredVariables: string[]): PrimingDiagnostic | undefined;
 //# sourceMappingURL=identifierInvariantFunctions.d.ts.map

package/build/invariantFunctions/identifierInvariantFunctions.js

@@ -1,6 +1,7 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.checkIdentifierForNonSupportedNamespaceRefs = exports.checkForNoReferenceToModuleVariables = void 0;
+const common_shared_1 = require("@komaci/common-shared");
 const rules_1 = require("../rules");
 const shared_1 = require("../shared");
 /**
@@ -38,13 +39,14 @@ exports.checkForNoReferenceToModuleVariables = checkForNoReferenceToModuleVariab
  */
 function checkIdentifierForNonSupportedNamespaceRefs(path, importReferences, declaredVariables) {
     const identifier = path.node;
+    const importRef = importReferences.get(identifier.name);
     if (path.parent.type !== 'Decorator' &&
         path.parent.type !== 'MemberExpression' &&
         path.parent.type !== 'CallExpression' &&
         path.parent.type !== 'TaggedTemplateExpression' &&
         path.parent.type !== 'ThisExpression' &&
-        importReferences.get(identifier.name) &&
-        !importReferences.get(identifier.name)?.isSupported &&
+        importRef &&
+        (0, common_shared_1.isImportInvalid)(importRef) &&
         !declaredVariables.includes(identifier.name)) {
         if (identifier.loc) {
             return (0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_REFERENCE_TO_UNSUPPORTED_NAMESPACE_REFERENCE, shared_1.LLSRange.fromBabelSourceLocation(identifier.loc), [identifier.name]);

package/build/invariantFunctions/memberExpressionInvariantFunctions.d.ts

@@ -1,7 +1,7 @@
 import { NodePath } from '@babel/traverse';
 import * as t from '@babel/types';
 import { PrimingDiagnostic } from '../types';
-import { ClassPropertyInfo, ImportDeclarationInfo, AstContext } from '@komaci/common-shared';
+import { AstContext, ClassPropertyContexts, ImportMetadata } from '@komaci/common-shared';
 /**
  * Invariant function for checking if a member expression references a non decorated member var.
  * @param path the babel path object for the current member expressoin
@@ -9,7 +9,7 @@ import { ClassPropertyInfo, ImportDeclarationInfo, AstContext } from '@komaci/co
  * @returns undefined if the member expression does NOT reference an unsupported member var, PrimingDiagnostic object if an unsuppported
  *          member variable is referenced
  */
-export declare function checkForNonSupportedMemberRefs(path: NodePath<t.MemberExpression>, memberVars: ClassPropertyInfo[]): PrimingDiagnostic | undefined;
+export declare function checkForNonSupportedMemberRefs(path: NodePath<t.MemberExpression>, memberVars: ClassPropertyContexts): PrimingDiagnostic | undefined;
 /**
  * Invariant function for checking if a member expression references a non-existent member property variable
  * @param {NodePath<MemberExpression>} path babel/types path object representing the current member expression
@@ -18,7 +18,7 @@ export declare function checkForNonSupportedMemberRefs(path: NodePath<t.MemberEx
  * @returns {(PrimingDiagnostic | undefined)} undefined if the member expression does NOT reference a non-existent member property variable. Returns a
  *           PrimingDiagnostic object if a non-existent member property variable is referenced
  */
-export declare function checkForNonExistentMemberRefs(path: NodePath<t.MemberExpression>, memberVars: ClassPropertyInfo[], thisAliases: Set<string>): PrimingDiagnostic | undefined;
+export declare function checkForNonExistentMemberRefs(path: NodePath<t.MemberExpression>, memberVars: ClassPropertyContexts, thisAliases: Set<string>): PrimingDiagnostic | undefined;
 /**
  * Invariant function to check if a member expression references an unsupported import.
  * @param path the babel path object for the current member expression
@@ -26,7 +26,7 @@ export declare function checkForNonExistentMemberRefs(path: NodePath<t.MemberExp
  * @returns undefined if a member expression does NOT reference an unsuppoerted import, PrimingDiagnostic object
  *          if an unsupported import is reference.
  */
-export declare function checkMemberExpressionForNonSupportedNamespaceRefs(path: NodePath<t.MemberExpression>, importReferences: Map<string, ImportDeclarationInfo>): PrimingDiagnostic | undefined;
+export declare function checkMemberExpressionForNonSupportedNamespaceRefs(path: NodePath<t.MemberExpression>, importReferences: Map<string, ImportMetadata>): PrimingDiagnostic | undefined;
 /**
  * Validates whether a MemberExpression Node on the AST adheres to a portability invariant (whether it doesn't
  * contain 'document', 'window' indentifiers within an expression).
@@ -46,5 +46,5 @@ export declare function checkForNoUseOfSuper(path: NodePath<t.MemberExpression>)
  * @param astContext the ast context that holds meta data about the scr code.
  * @returns a Priming Diagnostic if there is a global reference undefined if none
  */
-export declare function checkForUnsupportedGlobalRef(path: NodePath<t.MemberExpression>, astContext: AstContext, declaredGetterVars: string[]): PrimingDiagnostic | undefined;
+export declare function checkForUnsupportedGlobalRef(path: NodePath<t.MemberExpression>, astContext: AstContext, imports: Map<string, ImportMetadata>, properties: ClassPropertyContexts, declaredGetterVars: string[]): PrimingDiagnostic | undefined;
 //# sourceMappingURL=memberExpressionInvariantFunctions.d.ts.map

package/build/invariantFunctions/memberExpressionInvariantFunctions.js

@@ -1,30 +1,6 @@
 "use strict";
-var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    var desc = Object.getOwnPropertyDescriptor(m, k);
-    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
-      desc = { enumerable: true, get: function() { return m[k]; } };
-    }
-    Object.defineProperty(o, k2, desc);
-}) : (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    o[k2] = m[k];
-}));
-var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
-    Object.defineProperty(o, "default", { enumerable: true, value: v });
-}) : function(o, v) {
-    o["default"] = v;
-});
-var __importStar = (this && this.__importStar) || function (mod) {
-    if (mod && mod.__esModule) return mod;
-    var result = {};
-    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
-    __setModuleDefault(result, mod);
-    return result;
-};
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.checkForUnsupportedGlobalRef = exports.checkForNoUseOfSuper = exports.checkNoUsageOfDocumentOrWindow = exports.checkMemberExpressionForNonSupportedNamespaceRefs = exports.checkForNonExistentMemberRefs = exports.checkForNonSupportedMemberRefs = void 0;
-const t = __importStar(require("@babel/types"));
 const shared_1 = require("../shared");
 const common_shared_1 = require("@komaci/common-shared");
 const rules_1 = require("../rules");
@@ -39,12 +15,16 @@ function checkForNonSupportedMemberRefs(path, memberVars) {
     const memberExprNode = path.node;
     if (memberExprNode.object.type == 'ThisExpression') {
         const memberExprProperty = memberExprNode.property;
-        if (memberVars.find((classPropInfo) => classPropInfo.classPropId === memberExprProperty.name &&
-            !classPropInfo.isDecorated &&
-            !classPropInfo.hasInitialValue &&
-            !t.isClassMethod(classPropInfo.classProp))) {
+        const memberExprName = (0, common_shared_1.getFromIdentifierOrStringLiteral)(memberExprProperty);
+        const prop = memberVars.get(memberExprName);
+        if (prop &&
+            !prop.inital &&
+            !((prop.type === common_shared_1.PropertyTypes.BASE && prop.isPublic) ||
+                prop.type === common_shared_1.PropertyTypes.WIRE ||
+                prop.type === common_shared_1.PropertyTypes.GETTER ||
+                prop.type === common_shared_1.PropertyTypes.TEMPLATE_STRING)) {
             if (memberExprProperty.loc) {
-                return (0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_UNSUPPORTED_MEMBER_VARIABLE_IN_MEMBER_EXPRESSION, shared_1.LLSRange.fromBabelSourceLocation(memberExprProperty.loc), [memberExprProperty.name]);
+                return (0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_UNSUPPORTED_MEMBER_VARIABLE_IN_MEMBER_EXPRESSION, shared_1.LLSRange.fromBabelSourceLocation(memberExprProperty.loc), [memberExprName]);
             }
         }
     }
@@ -67,9 +47,9 @@ function checkForNonExistentMemberRefs(path, memberVars, thisAliases) {
         parentNode.type !== 'CallExpression' // check that this is not a part of a function call, which is already handled by invariant: `checkForNoReferenceToClassFunctions`
     ) {
         const memberExprValue = (0, common_shared_1.getFromIdentifierOrStringLiteral)(memberExprProperty);
-        if (!memberVars.find((classPropInfo) => classPropInfo.classPropId === memberExprValue)) {
+        if (!memberVars.has(memberExprValue)) {
             const sourceLoc = memberExprProperty.loc;
-            if (sourceLoc) {
+            if (sourceLoc !== null && sourceLoc !== undefined) {
                 return (0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_MEMBER_EXPRESSION_REFERENCE_TO_NON_EXISTENT_MEMBER_VARIABLE, shared_1.LLSRange.fromBabelSourceLocation(sourceLoc), [memberExprValue]);
             }
         }
@@ -87,11 +67,10 @@ exports.checkForNonExistentMemberRefs = checkForNonExistentMemberRefs;
 function checkMemberExpressionForNonSupportedNamespaceRefs(path, importReferences) {
     const mememberExprNode = path.node;
     const objectIdentifier = mememberExprNode.object;
-    if (importReferences.get(objectIdentifier.name)) {
-        if (!importReferences.get(objectIdentifier.name)?.isSupported) {
-            if (objectIdentifier.loc) {
-                return (0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_MEMBER_EXPRESSION_REFERENCE_TO_UNSUPPORTED_NAMESPACE_REFERENCE, shared_1.LLSRange.fromBabelSourceLocation(objectIdentifier.loc), [objectIdentifier.name]);
-            }
+    const importRef = importReferences.get(objectIdentifier.name);
+    if (importRef && (0, common_shared_1.isImportInvalid)(importRef)) {
+        if (objectIdentifier.loc !== null && objectIdentifier.loc !== undefined) {
+            return (0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_MEMBER_EXPRESSION_REFERENCE_TO_UNSUPPORTED_NAMESPACE_REFERENCE, shared_1.LLSRange.fromBabelSourceLocation(objectIdentifier.loc), [objectIdentifier.name]);
         }
     }
     return undefined;
@@ -135,11 +114,11 @@ exports.checkForNoUseOfSuper = checkForNoUseOfSuper;
  * @param astContext the ast context that holds meta data about the scr code.
  * @returns a Priming Diagnostic if there is a global reference undefined if none
  */
-function checkForUnsupportedGlobalRef(path, astContext, declaredGetterVars) {
+function checkForUnsupportedGlobalRef(path, astContext, imports, properties, declaredGetterVars) {
     const memberExpr = path.node;
     const memberObj = memberExpr.object;
     if (memberObj.type === 'Identifier' &&
-        !(0, common_shared_1.isDeclaredInAst)(astContext, declaredGetterVars, memberObj.name) &&
+        !(0, common_shared_1.isDeclaredInAst)(astContext, imports, properties, declaredGetterVars, memberObj.name) &&
         !common_shared_1.allowlistGlobals.globals.has(memberObj.name) &&
         memberExpr.loc) {
         return (0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_MEMBER_EXPRESSION_REFERENCE_TO_UNSUPPORTED_GLOBAL, shared_1.LLSRange.fromBabelSourceLocation(memberExpr.loc), [memberObj.name]);

package/build/invariantFunctions/taggedTemplateExpressionInvariantFunctions.d.ts

@@ -1,6 +1,6 @@
 import { NodePath } from '@babel/traverse';
 import * as t from '@babel/types';
-import { ImportDeclarationInfo } from '@komaci/common-shared';
+import { ImportMetadata } from '@komaci/common-shared';
 import { PrimingDiagnostic } from '../types';
 /**
  * Invariant function for checking if a tagged template expression contains a reference to an unsupported namespace.
@@ -8,5 +8,5 @@ import { PrimingDiagnostic } from '../types';
  * @param decoratedMemberVars a set of approved member variable names.
  * @returns undefined if the member expressoin does NOT reference an unsupported member var, a location obj if an unsuppported namespace is referenced.
  */
-export declare function checkTaggedTemplateExprForNonSupportedNamespaceRefs(path: NodePath<t.TaggedTemplateExpression>, importReferences: Map<string, ImportDeclarationInfo>): PrimingDiagnostic | undefined;
+export declare function checkTaggedTemplateExprForNonSupportedNamespaceRefs(path: NodePath<t.TaggedTemplateExpression>, importReferences: Map<string, ImportMetadata>): PrimingDiagnostic | undefined;
 //# sourceMappingURL=taggedTemplateExpressionInvariantFunctions.d.ts.map

package/build/invariantFunctions/taggedTemplateExpressionInvariantFunctions.js

@@ -1,6 +1,7 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.checkTaggedTemplateExprForNonSupportedNamespaceRefs = void 0;
+const common_shared_1 = require("@komaci/common-shared");
 const rules_1 = require("../rules");
 const shared_1 = require("../shared");
 /**
@@ -12,11 +13,10 @@ const shared_1 = require("../shared");
 function checkTaggedTemplateExprForNonSupportedNamespaceRefs(path, importReferences) {
     const taggedTemplateExpr = path.node;
     const identifier = taggedTemplateExpr.tag;
-    if (importReferences.has(identifier.name)) {
-        if (!importReferences.get(identifier.name)?.isSupported) {
-            if (identifier.loc) {
-                return (0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_TAGGED_TEMPLATE_EXPRESSION_CONTAINS_UNSUPPORTED_NAMESPACE, shared_1.LLSRange.fromBabelSourceLocation(identifier.loc), [identifier.name]);
-            }
+    const importRef = importReferences.get(identifier.name);
+    if (importRef && (0, common_shared_1.isImportInvalid)(importRef)) {
+        if (identifier.loc) {
+            return (0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_TAGGED_TEMPLATE_EXPRESSION_CONTAINS_UNSUPPORTED_NAMESPACE, shared_1.LLSRange.fromBabelSourceLocation(identifier.loc), [identifier.name]);
         }
     }
     return undefined;

package/build/shared.d.ts

@@ -1,27 +1,18 @@
 import * as t from '@babel/types';
-import { ClassPropertyContexts, ModuleLevelConsumption, ModuleContext } from '@komaci/common-shared';
-import { GetPrimingAdapter, GetterDiagnosticsContext, TemplateDiagnosticsContext } from './types';
+import { ModuleContext } from '@komaci/common-shared';
+import { GetterDiagnosticsContext, TemplateDiagnosticsContext } from './types';
 import { SourceLocation } from '@babel/types';
 import { Range } from '.';
-import { SourceLocation as KomaciSourceLocation } from '@komaci/types';
+import { Composition, Image, SourceLocation as KomaciSourceLocation } from '@komaci/types';
+import { ModuleMetadata } from '@komaci/common-shared';
 export declare const WIRE_FUNCTION = "WireFunction";
 export declare const ERROR_PREFIX = "[komaci static-analyzer] ";
-/**
- * Determine whether the wire adapter is supported
- * @param resourceName the resource name of the Import, as a string
- * @param adapterName the wire adapter variable name (import specifier export name) from a single
- *                    Import statement (which can have more than one of these export names)
- * @returns boolean true if the adapterName represents is a supported wire adapter (note that some
- *          resourceNames allow any adapterName as valid wire adapters)
- */
-export declare function isSupportedWireAdapter(resourceName: string | undefined, adapterName: string | undefined): boolean;
 /**
  * Determine whether the resource name is in a supported namespace
  * @param resourceName the resource name of the Import, as a string
  * @returns boolean true if the resource name is in a supported namespace
  */
 export declare function isSupportedNamespace(resourceName: string | undefined): boolean;
-export declare const getPrimingAdapter: GetPrimingAdapter;
 export declare const LLSRange: {
     /**
      * Converts an lwc-metadata SourceLocation (1-indexed for both line and column) into a Lightning Language
@@ -40,14 +31,26 @@ export declare const LLSRange: {
 };
 /**
  * Function to analyze src code and returns any diagnostics found and valid getter contexts in a GetterDiagnosticContext
- * @param srcCode the source code to analyze.
- * @param namespace the namespace of src file.
+ * @param adgIndex index of the current adg to process
+ * @param rootAst the Abstract Syntax Tree for the component
+ * @param moduleMetadata metadata about the given component
+ * @param moduleContext contextual details about the component, like module level variables, etc
+ * @returns diagnostics for the getters
  */
-export declare function analyzeSrcForInvalidGetterFunctions(rootAst: t.File, moduleContext: ModuleContext, moduleLevelConsumption: ModuleLevelConsumption, properties: ClassPropertyContexts): GetterDiagnosticsContext;
+export declare function analyzeSrcForInvalidGetterFunctions(adgIndex: number, rootAst: t.File, moduleMetadata: ModuleMetadata, moduleContext: ModuleContext): GetterDiagnosticsContext;
 /**
  * Function to analyze tempplate strings and collect any Priming Diagnostic info for them along with returning valid templates contexts
- * @param srcCode the source code to analyze.
- * @param namespace the namespace of src file.
+ * @param adgIndex index of the current adg to process
+ * @param rootAst the Abstract Syntax Tree for the component
+ * @param moduleMetadata metadata about the given component
+ * @param moduleContext contextual details about the component, like module level variables, etc
+ * @returns diagnostics for the template strings
+ */
+export declare function analyzeSrcForTemplateStringDiagnostics(adgIndex: number, rootAst: t.File, moduleMetadata: ModuleMetadata, moduleContext: ModuleContext): TemplateDiagnosticsContext;
+/**
+ * Type guard for the komaci Image type
+ * @param {Composition} composition the komaci Composition object
+ * @returns {boolean} true if the Composition is more specifically an Image, false if it is not an Image
  */
-export declare function analyzeSrcForTemplateDiagnostics(rootAst: t.File, moduleContext: ModuleContext, moduleLevelConsumption: ModuleLevelConsumption, properties: ClassPropertyContexts): TemplateDiagnosticsContext;
+export declare function isImageComposition(composition: Composition): composition is Image;
 //# sourceMappingURL=shared.d.ts.map

package/build/shared.js

@@ -1,8 +1,6 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.analyzeSrcForTemplateDiagnostics = exports.analyzeSrcForInvalidGetterFunctions = exports.LLSRange = exports.getPrimingAdapter = exports.isSupportedNamespace = exports.isSupportedWireAdapter = exports.ERROR_PREFIX = exports.WIRE_FUNCTION = void 0;
-const adaptersMapping_1 = require("./adaptersMapping");
-const allowlistAdapters_1 = require("./allowlistAdapters");
+exports.isImageComposition = exports.analyzeSrcForTemplateStringDiagnostics = exports.analyzeSrcForInvalidGetterFunctions = exports.LLSRange = exports.isSupportedNamespace = exports.ERROR_PREFIX = exports.WIRE_FUNCTION = void 0;
 const common_shared_1 = require("@komaci/common-shared");
 const _1 = require(".");
 const validateGetter_1 = require("./validateGetter");
@@ -13,44 +11,6 @@ const emptyRange = {
     start: { line: 0, character: 0 },
     end: { line: 0, character: 0 },
 };
-/**
- * Determine whether the wire adapter is supported
- * @param resourceName the resource name of the Import, as a string
- * @param adapterName the wire adapter variable name (import specifier export name) from a single
- *                    Import statement (which can have more than one of these export names)
- * @returns boolean true if the adapterName represents is a supported wire adapter (note that some
- *          resourceNames allow any adapterName as valid wire adapters)
- */
-function isSupportedWireAdapter(resourceName, adapterName) {
-    if (!resourceName || !adapterName) {
-        return false;
-    }
-    // check if the resourceName is one of the types that can have any wire adapter name. If so, return true.
-    // allow list of ResourceName that can be a "starsWith" match
-    for (const allowedResourceNamePrefix of allowlistAdapters_1.allowlistResourceNamesStartsWith) {
-        if (resourceName.startsWith(allowedResourceNamePrefix)) {
-            return true;
-        }
-    }
-    // allow list of ResourceNames that need to be an exact match
-    for (const allowedResourceName of allowlistAdapters_1.allowlistResourceNamesExact) {
-        if (resourceName === allowedResourceName) {
-            return true;
-        }
-    }
-    // check the allowlist of wire adapters for certain various resourceNames that all start with "lightning".
-    for (const [resourceNameKey, adapterList] of Object.entries(allowlistAdapters_1.allowlistAdapters)) {
-        if (resourceNameKey === resourceName && adapterList.includes(adapterName)) {
-            return true;
-        }
-    }
-    // check if there's an associated LDS priming adapter.
-    if ((0, exports.getPrimingAdapter)(resourceName, adapterName)) {
-        return true;
-    }
-    return false;
-}
-exports.isSupportedWireAdapter = isSupportedWireAdapter;
 /**
  * Determine whether the resource name is in a supported namespace
  * @param resourceName the resource name of the Import, as a string
@@ -71,18 +31,6 @@ function isSupportedNamespace(resourceName) {
         (0, common_shared_1.isLibraryValid)(resourceName));
 }
 exports.isSupportedNamespace = isSupportedNamespace;
-const getPrimingAdapter = (importPath, identifier) => {
-    const adapterMap = adaptersMapping_1.wireAdaptersMap[importPath];
-    if (adapterMap === undefined) {
-        return null;
-    }
-    const primingAdapter = adapterMap[identifier];
-    if (primingAdapter === undefined) {
-        return null;
-    }
-    return primingAdapter;
-};
-exports.getPrimingAdapter = getPrimingAdapter;
 /* Related utilty functions to convert Locations of various types into a Range format and indexing scheme supported by
    the Lightning Language Server
    (0-index based for lines and columns, and a specific format where `column` is called `character`) */
@@ -137,23 +85,27 @@ exports.LLSRange = {
 };
 /**
  * Function to analyze src code and returns any diagnostics found and valid getter contexts in a GetterDiagnosticContext
- * @param srcCode the source code to analyze.
- * @param namespace the namespace of src file.
+ * @param adgIndex index of the current adg to process
+ * @param rootAst the Abstract Syntax Tree for the component
+ * @param moduleMetadata metadata about the given component
+ * @param moduleContext contextual details about the component, like module level variables, etc
+ * @returns diagnostics for the getters
  */
-function analyzeSrcForInvalidGetterFunctions(rootAst, moduleContext, moduleLevelConsumption, properties) {
+function analyzeSrcForInvalidGetterFunctions(adgIndex, rootAst, moduleMetadata, moduleContext) {
     const diagnostics = [];
     const validGetters = [];
     const { getters } = (0, common_shared_1.getPropertyMetadataFromAst)(rootAst);
-    if (getters.length > 0) {
+    const adg = moduleMetadata.adgs.get(adgIndex);
+    if (getters.length > 0 && adg) {
         getters.forEach((getterFunc, index) => {
-            const res = (0, validateGetter_1.validateGetter)(getterFunc, moduleContext, true);
+            const res = (0, validateGetter_1.validateGetter)(getterFunc, adgIndex, moduleMetadata, moduleContext, true);
             const getterDiagnostics = res;
             //Same thing as passing false into validate getter and getting a boolean back. If there are no diagnostics its valid.
             if (getterDiagnostics.length == 0) {
-                const validGetter = generateValidGetterContext(getterFunc, moduleContext, moduleLevelConsumption, properties, index);
+                const validGetter = generateValidGetterContext(getterFunc, adgIndex, moduleMetadata, index);
                 validGetters.push(validGetter);
                 const name = (0, common_shared_1.getClassMethodName)(getterFunc);
-                (0, common_shared_1.updatePropertyUsage)(name, validGetter.memberUsage, properties, common_shared_1.PropertyTypes.GETTER);
+                (0, common_shared_1.updatePropertyUsage)(name, validGetter.memberUsage, adg.properties, common_shared_1.PropertyTypes.GETTER);
             }
             diagnostics.push(...getterDiagnostics);
         });
@@ -166,22 +118,26 @@ function analyzeSrcForInvalidGetterFunctions(rootAst, moduleContext, moduleLevel
 exports.analyzeSrcForInvalidGetterFunctions = analyzeSrcForInvalidGetterFunctions;
 /**
  * Function to analyze tempplate strings and collect any Priming Diagnostic info for them along with returning valid templates contexts
- * @param srcCode the source code to analyze.
- * @param namespace the namespace of src file.
+ * @param adgIndex index of the current adg to process
+ * @param rootAst the Abstract Syntax Tree for the component
+ * @param moduleMetadata metadata about the given component
+ * @param moduleContext contextual details about the component, like module level variables, etc
+ * @returns diagnostics for the template strings
  */
-function analyzeSrcForTemplateDiagnostics(rootAst, moduleContext, moduleLevelConsumption, properties) {
+function analyzeSrcForTemplateStringDiagnostics(adgIndex, rootAst, moduleMetadata, moduleContext) {
     const diagnostics = [];
     const validTemplates = [];
     const { templateStrings } = (0, common_shared_1.getPropertyMetadataFromAst)(rootAst);
-    if (templateStrings.length > 0) {
+    const adg = moduleMetadata.adgs.get(adgIndex);
+    if (templateStrings.length > 0 && adg) {
         templateStrings.forEach((templateString, index) => {
-            const res = (0, _1.validateTemplateString)(templateString, moduleContext, true);
+            const res = (0, _1.validateTemplateString)(templateString, adgIndex, moduleMetadata, moduleContext, true);
             const templateDiagnostics = res;
             //Same thing as passing false into validate getter and getting a boolean back. If there are no diagnostics its valid.
             if (templateDiagnostics.length == 0) {
-                const validTemplate = generateValidTemplateContext(templateString, moduleContext, moduleLevelConsumption, properties, index);
+                const validTemplate = generateValidTemplateContext(templateString, adgIndex, moduleMetadata, index);
                 validTemplates.push(validTemplate);
-                (0, common_shared_1.updatePropertyUsage)((0, common_shared_1.getFromIdentifierOrStringLiteral)(templateString.node.key), validTemplate.memberUsage, properties, common_shared_1.PropertyTypes.TEMPLATE_STRING);
+                (0, common_shared_1.updatePropertyUsage)((0, common_shared_1.getFromIdentifierOrStringLiteral)(templateString.node.key), validTemplate.memberUsage, adg.properties, common_shared_1.PropertyTypes.TEMPLATE_STRING);
             }
             diagnostics.push(...templateDiagnostics);
         });
@@ -191,7 +147,16 @@ function analyzeSrcForTemplateDiagnostics(rootAst, moduleContext, moduleLevelCon
         validTemplates: validTemplates,
     };
 }
-exports.analyzeSrcForTemplateDiagnostics = analyzeSrcForTemplateDiagnostics;
+exports.analyzeSrcForTemplateStringDiagnostics = analyzeSrcForTemplateStringDiagnostics;
+/**
+ * Type guard for the komaci Image type
+ * @param {Composition} composition the komaci Composition object
+ * @returns {boolean} true if the Composition is more specifically an Image, false if it is not an Image
+ */
+function isImageComposition(composition) {
+    return composition.type === 'Image';
+}
+exports.isImageComposition = isImageComposition;
 /**
  * Helper function to generate a validGetterContext
  * @param getterFunc the valid getter function
@@ -201,10 +166,8 @@ exports.analyzeSrcForTemplateDiagnostics = analyzeSrcForTemplateDiagnostics;
  * @param index index of the getter function
  * @returns a valid getter context
  */
-function generateValidGetterContext(getterFunc, moduleContext, moduleLevelConsumption, properties, index) {
-    const { identifiers } = (0, common_shared_1.implicitConsumptionMetadata)(getterFunc, moduleContext.astContext.classProperties, // info on all class properties
-    moduleContext.astContext.importDeclarations, // import metadata info
-    moduleLevelConsumption);
+function generateValidGetterContext(getterFunc, adgIndex, moduleMetadata, index) {
+    const { identifiers } = (0, common_shared_1.implicitConsumptionMetadata)(getterFunc, adgIndex, moduleMetadata);
     const validGetter = {
         getter: getterFunc,
         generatedName: `g${index}`,
@@ -221,10 +184,8 @@ function generateValidGetterContext(getterFunc, moduleContext, moduleLevelConsum
  * @param index index of the template string
  * @returns a valid template context
  */
-function generateValidTemplateContext(template, moduleContext, moduleLevelConsumption, properties, index) {
-    const { identifiers } = (0, common_shared_1.implicitConsumptionMetadata)(template, moduleContext.astContext.classProperties, // info on all class properties
-    moduleContext.astContext.importDeclarations, // import metadata info
-    moduleLevelConsumption);
+function generateValidTemplateContext(template, adgIndex, moduleMetadata, index) {
+    const { identifiers } = (0, common_shared_1.implicitConsumptionMetadata)(template, adgIndex, moduleMetadata);
     return {
         template,
         generatedName: `t${index}`,

package/build/staticAnalyzer.d.ts

@@ -1,3 +1,4 @@
+import { KomaciDocument } from '@komaci/types';
 import { AnalyzerInput, PrimingDiagnostic, Range, Position, WireInfo } from './types';
 export declare class StaticAnalyzer {
     startPos: Position;
@@ -27,7 +28,7 @@ export declare class StaticAnalyzer {
      * @param scriptKomaciDoc KomaciDoc which provides relevant adg information
      * @returns array of PrimingDiagnostic, with each element containing the analysis message and location information for IDE syntax underlining.
      */
-    private processKomaciTemplateDoc;
+    processKomaciTemplateDoc(templateKomaciDoc: KomaciDocument | undefined, scriptKomaciDoc: KomaciDocument | undefined, diagnostics: PrimingDiagnostic[]): PrimingDiagnostic[];
     private findWireConfigsThatUsePrivateProperty;
     /**
      * Traverses direct dependencies of the input wire (represented by a WireInfo) to see if any

package/build/staticAnalyzer.js

@@ -83,22 +83,26 @@ class StaticAnalyzer {
                         }
                     }
                 }
-                if (sourceFileName && scriptKomaciDoc) {
-                    const properties = (0, common_shared_1.collectPropertyMetadataFromScriptDoc)(scriptKomaciDoc);
-                    if (templateKomaciDoc) {
-                        (0, common_shared_1.updatePropertyMetadataFromTemplateDoc)(templateKomaciDoc, properties);
-                    }
+                const adgIndex = scriptKomaciDoc?.exports?.default?.value;
+                const defaultAdg = scriptKomaciDoc?.adgs?.[adgIndex || 0];
+                if (sourceFileName &&
+                    scriptKomaciDoc &&
+                    adgIndex !== undefined &&
+                    defaultAdg) {
+                    const moduleMetadata = (0, common_shared_1.initModuleMetadataObject)();
+                    (0, common_shared_1.initializeImportMetdataFromKomaciDocument)(scriptKomaciDoc, moduleMetadata);
+                    const adg = (0, common_shared_1.initAdgMetadataObject)('adg0');
+                    moduleMetadata.adgs.set(adgIndex, adg);
+                    (0, common_shared_1.initializePropertiesMap)(defaultAdg.properties, defaultAdg.functions, adgIndex, scriptKomaciDoc, moduleMetadata);
                     const srcCode = input.files[sourceFileName];
                     const rootAst = (0, common_shared_1.generateAstFromSrcCode)(srcCode);
+                    (0, common_shared_1.collectImportMetadataFromAst)(rootAst, moduleMetadata);
                     const moduleContext = {
                         astContext: (0, common_shared_1.getAstContextObject)(rootAst),
                         isExternal: (0, common_shared_1.isExternalModule)(input.namespace),
                     };
-                    const moduleLevelConsumption = {
-                        consumedImports: new Map(),
-                    };
-                    const { getterFunctionDiagnostics, validGetters } = (0, shared_1.analyzeSrcForInvalidGetterFunctions)(rootAst, moduleContext, moduleLevelConsumption, properties);
-                    const { templateDiagnostics, validTemplates } = (0, shared_1.analyzeSrcForTemplateDiagnostics)(rootAst, moduleContext, moduleLevelConsumption, properties);
+                    const { getterFunctionDiagnostics, validGetters } = (0, shared_1.analyzeSrcForInvalidGetterFunctions)(adgIndex, rootAst, moduleMetadata, moduleContext);
+                    const { templateDiagnostics, validTemplates } = (0, shared_1.analyzeSrcForTemplateStringDiagnostics)(adgIndex, rootAst, moduleMetadata, moduleContext);
                     const getterAndTemplateDiagnostics = [
                         ...getterFunctionDiagnostics,
                         ...templateDiagnostics,
@@ -139,19 +143,23 @@ class StaticAnalyzer {
             // get the file name and store for VSCode analysis display purposes
             const fileName = metadataObj?.files[0].fileName;
             this.fileNamesMap.set('js', fileName);
-            if (komaciDoc) {
-                const properties = (0, common_shared_1.collectPropertyMetadataFromScriptDoc)(komaciDoc);
+            const adgIndex = komaciDoc?.exports?.default?.value;
+            const defaultAdg = komaciDoc?.adgs?.[adgIndex || 0];
+            if (komaciDoc && adgIndex !== undefined && defaultAdg) {
+                const moduleMetadata = (0, common_shared_1.initModuleMetadataObject)();
+                (0, common_shared_1.initializeImportMetdataFromKomaciDocument)(komaciDoc, moduleMetadata);
+                const adg = (0, common_shared_1.initAdgMetadataObject)('adg0');
+                moduleMetadata.adgs.set(adgIndex, adg);
+                (0, common_shared_1.initializePropertiesMap)(defaultAdg.properties, defaultAdg.functions, adgIndex, komaciDoc, moduleMetadata);
                 const srcCode = input.sourceFile;
                 const rootAst = (0, common_shared_1.generateAstFromSrcCode)(srcCode);
+                (0, common_shared_1.collectImportMetadataFromAst)(rootAst, moduleMetadata);
                 const moduleContext = {
                     astContext: (0, common_shared_1.getAstContextObject)(rootAst),
                     isExternal: (0, common_shared_1.isExternalModule)(input.namespace),
                 };
-                const moduleLevelConsumption = {
-                    consumedImports: new Map(),
-                };
-                const { getterFunctionDiagnostics } = (0, shared_1.analyzeSrcForInvalidGetterFunctions)(rootAst, moduleContext, moduleLevelConsumption, properties);
-                const { templateDiagnostics } = (0, shared_1.analyzeSrcForTemplateDiagnostics)(rootAst, moduleContext, moduleLevelConsumption, properties);
+                const { getterFunctionDiagnostics } = (0, shared_1.analyzeSrcForInvalidGetterFunctions)(adgIndex, rootAst, moduleMetadata, moduleContext);
+                const { templateDiagnostics } = (0, shared_1.analyzeSrcForTemplateStringDiagnostics)(adgIndex, rootAst, moduleMetadata, moduleContext);
                 const getterAndTemplateDiagnostics = [
                     ...getterFunctionDiagnostics,
                     ...templateDiagnostics,
@@ -349,7 +357,7 @@ class StaticAnalyzer {
             const komaciImport = imports[importIdx];
             const importName = komaciImport.names[nameIdx];
             if (!((0, shared_1.isSupportedNamespace)(komaciImport.resourceName) &&
-                (0, shared_1.isSupportedWireAdapter)(komaciImport.resourceName, imports[importIdx].names[nameIdx]))) {
+                (0, common_shared_1.isSupportedWireAdapter)(komaciImport.resourceName, imports[importIdx].names[nameIdx]))) {
                 unresolvableImport = {
                     name: importName,
                     namespace: imports[importIdx].resourceName,

package/build/types.d.ts

@@ -94,11 +94,12 @@ export declare type WireAdaptersMapping = {
     };
 };
 /**
- * Contextual info about the given contextual code block
+ * Internal type for a composition property
  */
-export declare type FunctionalContext = {
-    declaredVariables: string[];
-    thisAliases: Set<string>;
+export declare type CompositionProperty = {
+    propertyName: string;
+    location?: SourceLocation;
+    diagnosticMessageAct: 'iterator iterates upon' | "image's src attribute is bound to" | 'child component references';
 };
 export declare type GetterDiagnosticsContext = {
     getterFunctionDiagnostics: PrimingDiagnostic[];
@@ -109,11 +110,10 @@ export declare type TemplateDiagnosticsContext = {
     validTemplates: ValidTemplateContext[];
 };
 /**
- * Internal type for a composition property
+ * Contextual info about the given contextual code block
  */
-export declare type CompositionProperty = {
-    propertyName: string;
-    location?: SourceLocation;
-    diagnosticMessageAct: 'iterator iterates upon' | "image's src attribute is bound to" | 'child component references';
+export declare type FunctionalContext = {
+    declaredVariables: string[];
+    thisAliases: Set<string>;
 };
 //# sourceMappingURL=types.d.ts.map

package/build/validateGetter.d.ts

@@ -1,7 +1,7 @@
 import * as t from '@babel/types';
 import { NodePath } from '@babel/traverse';
 import { FunctionalContext, PrimingDiagnostic } from './types';
-import { ModuleContext } from '@komaci/common-shared';
+import { ModuleContext, ModuleMetadata } from '@komaci/common-shared';
 /**
  * Run a series of checks against a functional node (currently class method or some form of template string) for "purity"
  *
@@ -12,7 +12,7 @@ import { ModuleContext } from '@komaci/common-shared';
  * @param functionalContext Contextual information about this functional code block
  * @returns An array of the problems identified
  */
-export declare function checkFunctionalPurity(path: NodePath<t.ClassMethod | t.ClassProperty>, moduleContext: ModuleContext, functionalContext: FunctionalContext): Array<PrimingDiagnostic>;
+export declare function checkFunctionalPurity(path: NodePath<t.ClassMethod | t.ClassProperty>, adgIndex: number, moduleMetadata: ModuleMetadata, moduleContext: ModuleContext, functionalContext: FunctionalContext): Array<PrimingDiagnostic>;
 /**
  * Given a ClassMethod representing a getter method, it will run several invariant checks against its NodePath representation,
  * in order to determine if it adheres all designated invariants.
@@ -32,7 +32,7 @@ export declare function checkFunctionalPurity(path: NodePath<t.ClassMethod | t.C
  *          Or, if returnSourceLocation is true AND a non-empty Array<InvariantDetail> is returned, that means at
  *          least one invariant check failed. If no invariant checks failed, an empty Array<InvariantDetail> is returned.
  */
-export declare function validateGetter(getterMethodPath: NodePath<t.ClassMethod>, moduleContext: ModuleContext, returnSourceLocation?: boolean): boolean | Array<PrimingDiagnostic>;
+export declare function validateGetter(getterMethodPath: NodePath<t.ClassMethod>, adgIndex: number, moduleMetadata: ModuleMetadata, moduleContext: ModuleContext, returnSourceLocation?: boolean): boolean | Array<PrimingDiagnostic>;
 /**
  * Validate template strings for purity. Variable declarations are not valid inside of a template expression so we do not have to support that use case here.
  * Template string processing is essentially a subset of what we do for getter functions. The only diff is that we don't have to do the extra "only a return statement"
@@ -42,5 +42,5 @@ export declare function validateGetter(getterMethodPath: NodePath<t.ClassMethod>
  * @param returnSourceLocation if we have to return the priming diagnostics or not
  * @returns Priming diagnostics or just a true/false if it's valid
  */
-export declare function validateTemplateString(node: NodePath<t.ClassProperty>, moduleContext: ModuleContext, returnSourceLocation?: boolean): boolean | Array<PrimingDiagnostic>;
+export declare function validateTemplateString(node: NodePath<t.ClassProperty>, adgIndex: number, moduleMetadata: ModuleMetadata, moduleContext: ModuleContext, returnSourceLocation?: boolean): boolean | Array<PrimingDiagnostic>;
 //# sourceMappingURL=validateGetter.d.ts.map

package/build/validateGetter.js

@@ -19,64 +19,68 @@ const taggedTemplateExpressionInvariantFunctions_1 = require("./invariantFunctio
  * @param functionalContext Contextual information about this functional code block
  * @returns An array of the problems identified
  */
-function checkFunctionalPurity(path, moduleContext, functionalContext) {
+function checkFunctionalPurity(path, adgIndex, moduleMetadata, moduleContext, functionalContext) {
     let primingDiagnostics = [];
-    const Visitors = {
-        // visitor for each type
-        MemberExpression(path) {
-            primingDiagnostics = processLocationInfo(primingDiagnostics, [
-                (0, memberExpressionInvariantFunctions_1.checkNoUsageOfDocumentOrWindow)(path),
-                (0, memberExpressionInvariantFunctions_1.checkForNonSupportedMemberRefs)(path, moduleContext.astContext.classProperties),
-                (0, memberExpressionInvariantFunctions_1.checkForNonExistentMemberRefs)(path, moduleContext.astContext.classProperties, functionalContext.thisAliases),
-                (0, memberExpressionInvariantFunctions_1.checkMemberExpressionForNonSupportedNamespaceRefs)(path, moduleContext.astContext.importDeclarations),
-                (0, memberExpressionInvariantFunctions_1.checkForNoUseOfSuper)(path),
-                (0, memberExpressionInvariantFunctions_1.checkForUnsupportedGlobalRef)(path, moduleContext.astContext, functionalContext.declaredVariables),
-            ]);
-        },
-        CallExpression(path) {
-            primingDiagnostics = processLocationInfo(primingDiagnostics, [
-                (0, callExpressionInvariantFunctions_1.checkNoUsageOfEval)(path),
-                (0, callExpressionInvariantFunctions_1.checkCallExpressionForNonSupportedNamespaceRefs)(path, moduleContext.astContext.importDeclarations),
-                (0, callExpressionInvariantFunctions_1.checkForNoReferenceToClassFunctions)(path, moduleContext.astContext.classFunctions),
-                (0, callExpressionInvariantFunctions_1.checkForNoReferenceToModuleFunctions)(path, moduleContext.astContext.moduleFunctions),
-            ]);
-        },
-        AssignmentExpression(path) {
-            const functionCallArr = [(0, assignmentExpressionInvariantFunctions_1.checkForNoMemberVariableAssignments)(path)];
-            if (moduleContext.isExternal) {
-                functionCallArr.push((0, assignmentExpressionInvariantFunctions_1.checkExternalComponentForAssignmentExpr)(path));
-            }
-            primingDiagnostics = processLocationInfo(primingDiagnostics, functionCallArr);
-        },
-        FunctionExpression(path) {
-            primingDiagnostics = processLocationInfo(primingDiagnostics, [
-                (0, functionExpressionInvariantFunctions_1.checkForFunctionExpressionIfExternalComponent)(moduleContext, path),
-            ]);
-        },
-        ArrowFunctionExpression(path) {
-            primingDiagnostics = processLocationInfo(primingDiagnostics, [
-                (0, functionExpressionInvariantFunctions_1.checkForFunctionExpressionIfExternalComponent)(moduleContext, path),
-            ]);
-        },
-        ObjectMethod(path) {
-            primingDiagnostics = processLocationInfo(primingDiagnostics, [
-                (0, functionExpressionInvariantFunctions_1.checkForObjectMethodFunctionDeclarations)(moduleContext, path),
-            ]);
-        },
-        Identifier(path) {
-            primingDiagnostics = processLocationInfo(primingDiagnostics, [
-                (0, identifierInvariantFunctions_1.checkForNoReferenceToModuleVariables)(path, moduleContext.astContext.moduleVariables, functionalContext.declaredVariables),
-                (0, identifierInvariantFunctions_1.checkIdentifierForNonSupportedNamespaceRefs)(path, moduleContext.astContext.importDeclarations, functionalContext.declaredVariables),
-            ]);
-        },
-        TaggedTemplateExpression(path) {
-            primingDiagnostics = processLocationInfo(primingDiagnostics, [
-                (0, taggedTemplateExpressionInvariantFunctions_1.checkTaggedTemplateExprForNonSupportedNamespaceRefs)(path, moduleContext.astContext.importDeclarations),
-            ]);
-        },
-    };
-    // traverse the getter method NodePath, checking the logic in the visitors for each corresponding type of node to check
-    path.traverse(Visitors);
+    const adg = moduleMetadata.adgs.get(adgIndex);
+    if (adg) {
+        const properties = adg.properties;
+        const Visitors = {
+            // visitor for each type
+            MemberExpression(path) {
+                primingDiagnostics = processLocationInfo(primingDiagnostics, [
+                    (0, memberExpressionInvariantFunctions_1.checkNoUsageOfDocumentOrWindow)(path),
+                    (0, memberExpressionInvariantFunctions_1.checkForNonSupportedMemberRefs)(path, properties),
+                    (0, memberExpressionInvariantFunctions_1.checkForNonExistentMemberRefs)(path, properties, functionalContext.thisAliases),
+                    (0, memberExpressionInvariantFunctions_1.checkMemberExpressionForNonSupportedNamespaceRefs)(path, moduleMetadata.importsByName),
+                    (0, memberExpressionInvariantFunctions_1.checkForNoUseOfSuper)(path),
+                    (0, memberExpressionInvariantFunctions_1.checkForUnsupportedGlobalRef)(path, moduleContext.astContext, moduleMetadata.importsByName, adg.properties, functionalContext.declaredVariables),
+                ]);
+            },
+            CallExpression(path) {
+                primingDiagnostics = processLocationInfo(primingDiagnostics, [
+                    (0, callExpressionInvariantFunctions_1.checkNoUsageOfEval)(path),
+                    (0, callExpressionInvariantFunctions_1.checkCallExpressionForNonSupportedNamespaceRefs)(path, moduleMetadata.importsByName),
+                    (0, callExpressionInvariantFunctions_1.checkForNoReferenceToClassFunctions)(path, moduleContext.astContext.classFunctions),
+                    (0, callExpressionInvariantFunctions_1.checkForNoReferenceToModuleFunctions)(path, moduleContext.astContext.moduleFunctions),
+                ]);
+            },
+            AssignmentExpression(path) {
+                const functionCallArr = [(0, assignmentExpressionInvariantFunctions_1.checkForNoMemberVariableAssignments)(path)];
+                if (moduleContext.isExternal) {
+                    functionCallArr.push((0, assignmentExpressionInvariantFunctions_1.checkExternalComponentForAssignmentExpr)(path));
+                }
+                primingDiagnostics = processLocationInfo(primingDiagnostics, functionCallArr);
+            },
+            FunctionExpression(path) {
+                primingDiagnostics = processLocationInfo(primingDiagnostics, [
+                    (0, functionExpressionInvariantFunctions_1.checkForFunctionExpressionIfExternalComponent)(moduleContext, path),
+                ]);
+            },
+            ArrowFunctionExpression(path) {
+                primingDiagnostics = processLocationInfo(primingDiagnostics, [
+                    (0, functionExpressionInvariantFunctions_1.checkForFunctionExpressionIfExternalComponent)(moduleContext, path),
+                ]);
+            },
+            ObjectMethod(path) {
+                primingDiagnostics = processLocationInfo(primingDiagnostics, [
+                    (0, functionExpressionInvariantFunctions_1.checkForObjectMethodFunctionDeclarations)(moduleContext, path),
+                ]);
+            },
+            Identifier(path) {
+                primingDiagnostics = processLocationInfo(primingDiagnostics, [
+                    (0, identifierInvariantFunctions_1.checkForNoReferenceToModuleVariables)(path, moduleContext.astContext.moduleVariables, functionalContext.declaredVariables),
+                    (0, identifierInvariantFunctions_1.checkIdentifierForNonSupportedNamespaceRefs)(path, moduleMetadata.importsByName, functionalContext.declaredVariables),
+                ]);
+            },
+            TaggedTemplateExpression(path) {
+                primingDiagnostics = processLocationInfo(primingDiagnostics, [
+                    (0, taggedTemplateExpressionInvariantFunctions_1.checkTaggedTemplateExprForNonSupportedNamespaceRefs)(path, moduleMetadata.importsByName),
+                ]);
+            },
+        };
+        // traverse the getter method NodePath, checking the logic in the visitors for each corresponding type of node to check
+        path.traverse(Visitors);
+    }
     return primingDiagnostics;
 }
 exports.checkFunctionalPurity = checkFunctionalPurity;
@@ -99,10 +103,10 @@ exports.checkFunctionalPurity = checkFunctionalPurity;
  *          Or, if returnSourceLocation is true AND a non-empty Array<InvariantDetail> is returned, that means at
  *          least one invariant check failed. If no invariant checks failed, an empty Array<InvariantDetail> is returned.
  */
-function validateGetter(getterMethodPath, moduleContext, returnSourceLocation = false) {
+function validateGetter(getterMethodPath, adgIndex, moduleMetadata, moduleContext, returnSourceLocation = false) {
     const getterDeclaredVars = (0, common_shared_1.getVariablesDeclaredInGetter)(getterMethodPath);
     const thisAliases = (0, common_shared_1.getThisAliasDeclaredInGetter)(getterMethodPath);
-    let primingDiagnostics = checkFunctionalPurity(getterMethodPath, moduleContext, {
+    let primingDiagnostics = checkFunctionalPurity(getterMethodPath, adgIndex, moduleMetadata, moduleContext, {
         thisAliases,
         declaredVariables: getterDeclaredVars,
     });
@@ -143,8 +147,8 @@ function processLocationInfo(allInvalidLocations, results) {
  * @param returnSourceLocation if we have to return the priming diagnostics or not
  * @returns Priming diagnostics or just a true/false if it's valid
  */
-function validateTemplateString(node, moduleContext, returnSourceLocation = false) {
-    const diagnostics = checkFunctionalPurity(node, moduleContext, {
+function validateTemplateString(node, adgIndex, moduleMetadata, moduleContext, returnSourceLocation = false) {
+    const diagnostics = checkFunctionalPurity(node, adgIndex, moduleMetadata, moduleContext, {
         declaredVariables: [],
         thisAliases: new Set(),
     });

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@komaci/static-analyzer",
-    "version": "242.0.0",
+    "version": "242.1.0",
     "description": "Komaci Diagnostics API",
     "homepage": "https://komaci.dev/",
     "repository": {
@@ -23,16 +23,15 @@
     },
     "files": [
         "build/**/*.js",
-        "build/**/*.d.ts",
-        "build/komaci-mapping.json"
+        "build/**/*.d.ts"
     ],
     "dependencies": {
-        "@komaci/common-shared": "242.0.0",
+        "@komaci/common-shared": "242.1.0",
         "@lwc/metadata": "2.22.0-0",
         "@lwc/sfdc-compiler-utils": "2.22.0-0"
     },
     "devDependencies": {
         "@babel/types": "^7.9.0",
-        "@komaci/types": "242.0.0"
+        "@komaci/types": "242.1.0"
     }
 }

package/build/adaptersMapping.d.ts

@@ -1,3 +0,0 @@
-import { WireAdaptersMapping } from './types';
-export declare const wireAdaptersMap: WireAdaptersMapping;
-//# sourceMappingURL=adaptersMapping.d.ts.map

package/build/adaptersMapping.js

@@ -1,29 +0,0 @@
-"use strict";
-var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    var desc = Object.getOwnPropertyDescriptor(m, k);
-    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
-      desc = { enumerable: true, get: function() { return m[k]; } };
-    }
-    Object.defineProperty(o, k2, desc);
-}) : (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    o[k2] = m[k];
-}));
-var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
-    Object.defineProperty(o, "default", { enumerable: true, value: v });
-}) : function(o, v) {
-    o["default"] = v;
-});
-var __importStar = (this && this.__importStar) || function (mod) {
-    if (mod && mod.__esModule) return mod;
-    var result = {};
-    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
-    __setModuleDefault(result, mod);
-    return result;
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.wireAdaptersMap = void 0;
-const wireAdapterImport = __importStar(require("./komaci-mapping.json"));
-exports.wireAdaptersMap = wireAdapterImport;
-//# sourceMappingURL=adaptersMapping.js.map

package/build/allowlistAdapters.d.ts

@@ -1,6 +0,0 @@
-export declare const allowlistAdapters: {
-    [key: string]: string[];
-};
-export declare const allowlistResourceNamesStartsWith: string[];
-export declare const allowlistResourceNamesExact: string[];
-//# sourceMappingURL=allowlistAdapters.d.ts.map

package/build/allowlistAdapters.js

@@ -1,10 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.allowlistResourceNamesExact = exports.allowlistResourceNamesStartsWith = exports.allowlistAdapters = void 0;
-exports.allowlistAdapters = {
-    'lightning/navigation': ['CurrentPageReference'],
-}; // these must match the resourceName and one or more of the wire adapter names (export names), exactly
-// these can have any wire adapter name (export name)
-exports.allowlistResourceNamesStartsWith = ['@salesforce/apex']; // resourceName can start with
-exports.allowlistResourceNamesExact = ['laf/transformWire']; // resourceName must exactly match this
-//# sourceMappingURL=allowlistAdapters.js.map

package/build/komaci-mapping.json

@@ -1,288 +0,0 @@
-{
-    "lightning/uiRecordActionsApi": {
-        "getRecordActions": {
-            "prime": {
-                "importPath": "lightning/unstable_uiRecordActionsApi",
-                "identifier": "unstable_getRecordActions_imperative"
-            }
-        },
-        "getRelatedListsActions": {
-            "prime": {
-                "importPath": "lightning/unstable_uiRecordActionsApi",
-                "identifier": "unstable_getRelatedListsActions_imperative"
-            }
-        },
-        "getRelatedListActions": {
-            "prime": {
-                "importPath": "lightning/unstable_uiRecordActionsApi",
-                "identifier": "unstable_getRelatedListActions_imperative"
-            },
-            "batch": {
-                "prime": {
-                    "importPath": "lightning/unstable_uiRecordActionsApi",
-                    "identifier": "unstable_getRelatedListsActions_imperative"
-                },
-                "reducer": {
-                    "importPath": "laf/batchingPortable",
-                    "identifier": "RelatedListActionsBatchReducer"
-                }
-            }
-        }
-    },
-    "lightning/uiLayoutApi": {
-        "getLayout": {
-            "prime": {
-                "importPath": "lightning/unstable_uiLayoutApi",
-                "identifier": "unstable_getLayout_imperative"
-            }
-        },
-        "getLayoutUserState": {
-            "prime": {
-                "importPath": "lightning/unstable_uiLayoutApi",
-                "identifier": "unstable_getLayoutUserState_imperative"
-            }
-        }
-    },
-    "lightning/uiListsApi": {
-        "getListInfoByName": {
-            "prime": {
-                "importPath": "lightning/unstable_uiListsApi",
-                "identifier": "unstable_getListInfoByName_imperative"
-            }
-        }
-    },
-    "lightning/uiAppsApi": {
-        "getNavItems": {
-            "prime": {
-                "importPath": "lightning/unstable_uiAppsApi",
-                "identifier": "unstable_getNavItems_imperative"
-            }
-        }
-    },
-    "lightning/uiObjectInfoApi": {
-        "getObjectInfos": {
-            "prime": {
-                "importPath": "lightning/unstable_uiObjectInfoApi",
-                "identifier": "unstable_getObjectInfos_imperative"
-            },
-            "batch": {
-                "prime": {
-                    "importPath": "lightning/unstable_uiObjectInfoApi",
-                    "identifier": "unstable_getObjectInfos_imperative"
-                },
-                "reducer": {
-                    "importPath": "laf/batchingPortable",
-                    "identifier": "ObjectInfosBatchReducer"
-                }
-            }
-        },
-        "getObjectInfo": {
-            "prime": {
-                "importPath": "lightning/unstable_uiObjectInfoApi",
-                "identifier": "unstable_getObjectInfo_imperative"
-            },
-            "batch": {
-                "prime": {
-                    "importPath": "lightning/unstable_uiObjectInfoApi",
-                    "identifier": "unstable_getObjectInfos_imperative"
-                },
-                "reducer": {
-                    "importPath": "laf/batchingPortable",
-                    "identifier": "ObjectInfoBatchReducer"
-                }
-            }
-        },
-        "getPicklistValuesByRecordType": {
-            "prime": {
-                "importPath": "lightning/unstable_uiObjectInfoApi",
-                "identifier": "unstable_getPicklistValuesByRecordType_imperative"
-            }
-        },
-        "getPicklistValues": {
-            "prime": {
-                "importPath": "lightning/unstable_uiObjectInfoApi",
-                "identifier": "unstable_getPicklistValues_imperative"
-            }
-        }
-    },
-    "lightning/uiRecordAvatarApi": {
-        "getRecordAvatars": {
-            "prime": {
-                "importPath": "lightning/unstable_uiRecordAvatarApi",
-                "identifier": "unstable_getRecordAvatars_imperative"
-            },
-            "batch": {
-                "prime": {
-                    "importPath": "lightning/unstable_uiRecordAvatarApi",
-                    "identifier": "unstable_getRecordAvatars_imperative"
-                },
-                "reducer": {
-                    "importPath": "laf/batchingPortable",
-                    "identifier": "RecordAvatarBatchReducer"
-                }
-            }
-        }
-    },
-    "lightning/uiRecordApi": {
-        "getRecordCreateDefaults": {
-            "prime": {
-                "importPath": "lightning/unstable_uiRecordApi",
-                "identifier": "unstable_getRecordCreateDefaults_imperative"
-            }
-        },
-        "getRecordUi": {
-            "prime": {
-                "importPath": "lightning/unstable_uiRecordApi",
-                "identifier": "unstable_getRecordUi_imperative"
-            }
-        },
-        "getRecords": {
-            "prime": {
-                "importPath": "lightning/unstable_uiRecordApi",
-                "identifier": "unstable_getRecords_imperative"
-            }
-        },
-        "getRecord": {
-            "prime": {
-                "importPath": "lightning/unstable_uiRecordApi",
-                "identifier": "unstable_getRecord_imperative"
-            },
-            "batch": {
-                "prime": {
-                    "importPath": "lightning/unstable_uiRecordApi",
-                    "identifier": "unstable_getRecords_imperative"
-                },
-                "reducer": {
-                    "importPath": "laf/batchingPortable",
-                    "identifier": "GetRecordBatchReducer"
-                }
-            }
-        }
-    },
-    "lightning/uiRelatedListApi": {
-        "getRelatedListsCount": {
-            "prime": {
-                "importPath": "lightning/unstable_uiRelatedListApi",
-                "identifier": "unstable_getRelatedListsCount_imperative"
-            }
-        },
-        "getRelatedListCount": {
-            "prime": {
-                "importPath": "lightning/unstable_uiRelatedListApi",
-                "identifier": "unstable_getRelatedListCount_imperative"
-            }
-        },
-        "getRelatedListInfoBatch": {
-            "prime": {
-                "importPath": "lightning/unstable_uiRelatedListApi",
-                "identifier": "unstable_getRelatedListInfoBatch_imperative"
-            }
-        },
-        "getRelatedListsInfo": {
-            "prime": {
-                "importPath": "lightning/unstable_uiRelatedListApi",
-                "identifier": "unstable_getRelatedListsInfo_imperative"
-            }
-        },
-        "getRelatedListInfo": {
-            "prime": {
-                "importPath": "lightning/unstable_uiRelatedListApi",
-                "identifier": "unstable_getRelatedListInfo_imperative"
-            },
-            "batch": {
-                "prime": {
-                    "importPath": "lightning/unstable_uiRelatedListApi",
-                    "identifier": "unstable_getRelatedListInfoBatch_imperative"
-                },
-                "reducer": {
-                    "importPath": "laf/batchingPortable",
-                    "identifier": "RelatedListInfoBatchReducer"
-                }
-            }
-        },
-        "getRelatedListRecordsBatch": {
-            "prime": {
-                "importPath": "lightning/unstable_uiRelatedListApi",
-                "identifier": "unstable_getRelatedListRecordsBatch_imperative"
-            }
-        },
-        "getRelatedListRecords": {
-            "prime": {
-                "importPath": "lightning/unstable_uiRelatedListApi",
-                "identifier": "unstable_getRelatedListRecords_imperative"
-            },
-            "batch": {
-                "prime": {
-                    "importPath": "lightning/unstable_uiRelatedListApi",
-                    "identifier": "unstable_getRelatedListRecordsBatch_imperative"
-                },
-                "reducer": {
-                    "importPath": "laf/batchingPortable",
-                    "identifier": "RelatedListRecordsBatchReducer"
-                }
-            }
-        }
-    },
-    "lightning/unstable_uiRelatedListApi": {
-        "unstable_getRelatedListInfoBatch": {
-            "prime": {
-                "importPath": "lightning/unstable_uiRelatedListApi",
-                "identifier": "unstable_getRelatedListInfoBatch_imperative"
-            }
-        },
-        "unstable_getRelatedListRecordsBatch": {
-            "prime": {
-                "importPath": "lightning/unstable_uiRelatedListApi",
-                "identifier": "unstable_getRelatedListRecordsBatch_imperative"
-            }
-        }
-    },
-    "lightning/uiSearchApi": {
-        "getSearchFilterOptions": {
-            "prime": {
-                "importPath": "lightning/unstable_uiSearchApi",
-                "identifier": "unstable_getSearchFilterOptions_imperative"
-            }
-        },
-        "getSearchResults": {
-            "prime": {
-                "importPath": "lightning/unstable_uiSearchApi",
-                "identifier": "unstable_getSearchResults_imperative"
-            }
-        },
-        "getKeywordSearchResults": {
-            "prime": {
-                "importPath": "lightning/unstable_uiSearchApi",
-                "identifier": "unstable_getKeywordSearchResults_imperative"
-            }
-        }
-    },
-    "lightning/unstable_uiSearchApi": {
-        "unstable_getSearchFilterOptions": {
-            "prime": {
-                "importPath": "lightning/unstable_uiSearchApi",
-                "identifier": "unstable_getSearchFilterOptions_imperative"
-            }
-        },
-        "unstable_getSearchResults": {
-            "prime": {
-                "importPath": "lightning/unstable_uiSearchApi",
-                "identifier": "unstable_getSearchResults_imperative"
-            }
-        },
-        "unstable_getKeywordSearchResults": {
-            "prime": {
-                "importPath": "lightning/unstable_uiSearchApi",
-                "identifier": "unstable_getKeywordSearchResults_imperative"
-            }
-        }
-    },
-    "lightning/unstable_uiGraphQLApi": {
-        "graphQL": {
-            "prime": {
-                "importPath": "lightning/unstable_uiGraphQLApi",
-                "identifier": "unstable_graphQL_imperative"
-            }
-        }
-    }
-}