@komaci/static-analyzer 240.1.3 → 242.1.0

package/build/helpers.d.ts

@@ -0,0 +1,10 @@
+import { Composition } from '@komaci/types';
+import { CompositionProperty } from './types';
+/**
+ * Given a list of compositions, get all the properties used in any of the compostion
+ *
+ * @param compositions array of compositions
+ * @returns array of analyzed composition properties
+ */
+export declare function findPropertiesUsedInCompositions(compositions: Composition[]): CompositionProperty[];
+//# sourceMappingURL=helpers.d.ts.map

package/build/helpers.js

@@ -0,0 +1,87 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.findPropertiesUsedInCompositions = void 0;
+const common_shared_1 = require("@komaci/common-shared");
+let iteratorMap;
+/**
+ * Convert array of Compositions into flattened array of Compositions,
+ * visiting top-level and nested children compositions
+ *
+ * Collecting iterator on iterations
+ */
+function compositionsToArray(compositions, parentIterators) {
+    const compositionArray = [];
+    compositions.forEach((node) => {
+        compositionArray.push(node);
+        // set node -> iterators relation
+        iteratorMap.set(node, parentIterators);
+        if (node.compositions) {
+            // inherit parent or add current iterator
+            const iterators = (0, common_shared_1.isCompositionAnIteration)(node)
+                ? [node.iterator, ...parentIterators]
+                : parentIterators;
+            compositionArray.push(...compositionsToArray(node.compositions, iterators));
+        }
+    });
+    return compositionArray;
+}
+/**
+ * Given a flattened array of compositions, get all the properties used in any of the compostion
+ *
+ * @param compositionArray the composition array
+ * @returns array of used properties of giving compositions
+ */
+function processPropertiesUsedInCompositions(compositionArray) {
+    const properties = [];
+    for (const composition of compositionArray) {
+        // Iteration tested by: artifact-combined-files/unresolvableIterator
+        if ((0, common_shared_1.isCompositionAnIteration)(composition)) {
+            const propertyName = (0, common_shared_1.stripChildReferenceFromValue)(composition.input.value);
+            if (!iteratorMap.get(composition)?.includes(propertyName)) {
+                properties.push({
+                    propertyName: propertyName,
+                    location: composition.location,
+                    diagnosticMessageAct: 'iterator iterates upon',
+                });
+            }
+        }
+        // Image test by: artifact-combined-files/unresolvedImageBinding
+        if ((0, common_shared_1.isCompositionAnImage)(composition) && composition.src.type === 'Binding') {
+            const propertyName = (0, common_shared_1.stripChildReferenceFromValue)(composition.src.value);
+            if (!iteratorMap.get(composition)?.includes(propertyName)) {
+                properties.push({
+                    propertyName: propertyName,
+                    location: composition.location,
+                    diagnosticMessageAct: "image's src attribute is bound to",
+                });
+            }
+        }
+        if ((0, common_shared_1.isCompositionAComposedAdg)(composition) && composition.properties) {
+            for (const property of Object.values(composition.properties)) {
+                if (property.type === 'Binding') {
+                    const propertyName = (0, common_shared_1.stripChildReferenceFromValue)(property.value);
+                    if (!iteratorMap.get(composition)?.includes(propertyName)) {
+                        properties.push({
+                            propertyName: propertyName,
+                            location: composition.location,
+                            diagnosticMessageAct: 'child component references',
+                        });
+                    }
+                }
+            }
+        }
+    }
+    return properties;
+}
+/**
+ * Given a list of compositions, get all the properties used in any of the compostion
+ *
+ * @param compositions array of compositions
+ * @returns array of analyzed composition properties
+ */
+function findPropertiesUsedInCompositions(compositions) {
+    iteratorMap = new WeakMap();
+    return processPropertiesUsedInCompositions(compositionsToArray(compositions, []));
+}
+exports.findPropertiesUsedInCompositions = findPropertiesUsedInCompositions;
+//# sourceMappingURL=helpers.js.map

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, isImageComposition, } 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

@@ -1,7 +1,11 @@
 "use strict";
 var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
     if (k2 === undefined) k2 = k;
-    Object.defineProperty(o, k2, { enumerable: true, get: function() { return m[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];
@@ -10,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.isImageComposition = 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();
@@ -24,9 +28,7 @@ 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; } });

package/build/invariantFunctions/assignmentExpressionInvariantFunctions.js

@@ -12,7 +12,7 @@ function checkForNoMemberVariableAssignments(path) {
     const assignmentExpr = path.node;
     const leftNode = assignmentExpr.left;
     if (leftNode.object?.type === 'ThisExpression') {
-        if (leftNode.loc !== null) {
+        if (leftNode.loc) {
             return (0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_ASSIGNMENT_EXPRESSION_ASSIGNS_VALUE_TO_MEMBER_VARIABLE, shared_1.LLSRange.fromBabelSourceLocation(leftNode.loc), [leftNode.property.name]);
         }
     }
@@ -26,7 +26,7 @@ exports.checkForNoMemberVariableAssignments = checkForNoMemberVariableAssignment
  */
 function checkExternalComponentForAssignmentExpr(path) {
     const assignmentExpr = path.node;
-    if (assignmentExpr.loc !== null) {
+    if (assignmentExpr.loc) {
         return (0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_ASSIGNMENT_EXPRESSION_FOR_EXTERNAL_COMPONENTS, shared_1.LLSRange.fromBabelSourceLocation(assignmentExpr.loc), []);
     }
 }

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;
@@ -31,7 +31,7 @@ exports.checkCallExpressionForNonSupportedNamespaceRefs = checkCallExpressionFor
 function checkNoUsageOfEval(path) {
     const callExpr = path.node;
     if (callExpr.callee.type === 'Identifier' && callExpr.callee.name === 'eval') {
-        if (callExpr.callee.loc !== null) {
+        if (callExpr.callee.loc) {
             return (0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_EVAL_USAGE, shared_1.LLSRange.fromBabelSourceLocation(callExpr.callee.loc), [callExpr.callee.name]);
         }
     }
@@ -49,7 +49,7 @@ function checkForNoReferenceToClassFunctions(path, classFunctions) {
     if (callExpr.callee.type === 'MemberExpression') {
         const memberExpr = callExpr.callee;
         if (memberExpr.object.type === 'ThisExpression') {
-            if (memberExpr.object.loc !== null) {
+            if (memberExpr.object.loc) {
                 return (0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_REFERENCE_TO_CLASS_FUNCTIONS, shared_1.LLSRange.fromBabelSourceLocation(memberExpr.object.loc), [memberExpr.property.name]);
             }
         }
@@ -57,7 +57,7 @@ function checkForNoReferenceToClassFunctions(path, classFunctions) {
     if (callExpr.callee.type === 'Identifier') {
         const identifier = callExpr.callee;
         if (classFunctions.includes(identifier.name)) {
-            if (callExpr.callee.loc !== null) {
+            if (callExpr.callee.loc) {
                 return (0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_REFERENCE_TO_CLASS_FUNCTIONS, shared_1.LLSRange.fromBabelSourceLocation(callExpr.callee.loc), [callExpr.callee.name]);
             }
         }
@@ -76,7 +76,7 @@ function checkForNoReferenceToModuleFunctions(path, moduleFunctions) {
     if (callExpr.callee.type === 'Identifier') {
         const identifier = callExpr.callee;
         if (moduleFunctions.includes(identifier.name)) {
-            if (callExpr.callee.loc !== null) {
+            if (callExpr.callee.loc) {
                 return (0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_REFERENCE_TO_MODULE_FUNCTIONS, shared_1.LLSRange.fromBabelSourceLocation(callExpr.callee.loc), [callExpr.callee.name]);
             }
         }

package/build/invariantFunctions/functionExpressionInvariantFunctions.js

@@ -16,19 +16,19 @@ function checkForFunctionExpression(path) {
     if (expr.type === 'FunctionExpression') {
         const funcExpr = expr;
         if (funcExpr.id === null) {
-            if (funcExpr.loc !== null) {
+            if (funcExpr.loc) {
                 return (0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_FUNCTIONS_DECLARED_WITHIN_GETTER_METHOD, shared_1.LLSRange.fromBabelSourceLocation(funcExpr.loc), []);
             }
         }
         else {
-            if (funcExpr.loc !== null) {
+            if (funcExpr.loc) {
                 return (0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_FUNCTIONS_DECLARED_WITHIN_GETTER_METHOD, shared_1.LLSRange.fromBabelSourceLocation(funcExpr.loc), []);
             }
         }
     }
     else if (expr.type === 'ArrowFunctionExpression') {
         const arrowFuncExpr = expr;
-        if (arrowFuncExpr.loc !== null) {
+        if (arrowFuncExpr.loc) {
             return (0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_FUNCTIONS_DECLARED_WITHIN_GETTER_METHOD, shared_1.LLSRange.fromBabelSourceLocation(arrowFuncExpr.loc), []);
         }
     }
@@ -58,7 +58,7 @@ function checkForObjectMethodFunctionDeclarations(moduleContext, path) {
     const objMethod = path.node;
     if (moduleContext.isExternal) {
         if (objMethod.type === 'ObjectMethod') {
-            if (objMethod.loc !== null) {
+            if (objMethod.loc) {
                 return (0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_FUNCTIONS_DECLARED_WITHIN_GETTER_METHOD, shared_1.LLSRange.fromBabelSourceLocation(objMethod.loc), []);
             }
         }

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,15 +39,16 @@ 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 !== null) {
+        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,26 +1,6 @@
 "use strict";
-var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
-    if (k2 === undefined) k2 = k;
-    Object.defineProperty(o, k2, { enumerable: true, get: function() { return m[k]; } });
-}) : (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");
@@ -35,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))) {
-            if (memberExprProperty.loc !== null) {
-                return (0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_UNSUPPORTED_MEMBER_VARIABLE_IN_MEMBER_EXPRESSION, shared_1.LLSRange.fromBabelSourceLocation(memberExprProperty.loc), [memberExprProperty.name]);
+        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), [memberExprName]);
             }
         }
     }
@@ -63,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 !== null) {
+            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]);
             }
         }
@@ -83,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 !== null) {
-                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;
@@ -103,7 +86,7 @@ function checkNoUsageOfDocumentOrWindow(path) {
     const memberExpr = path.node;
     if (memberExpr.object.type === 'Identifier' &&
         (memberExpr.object.name === 'window' || memberExpr.object.name === 'document')) {
-        if (memberExpr.loc !== null) {
+        if (memberExpr.loc) {
             return (0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_MEMBER_EXPRESSION_CONTAINS_NON_PORTABLE_IDENTIFIER, shared_1.LLSRange.fromBabelSourceLocation(memberExpr.loc), [memberExpr.object.name]);
         }
     }
@@ -118,7 +101,7 @@ exports.checkNoUsageOfDocumentOrWindow = checkNoUsageOfDocumentOrWindow;
 function checkForNoUseOfSuper(path) {
     const memberExpr = path.node;
     if (memberExpr.object.type === 'Super') {
-        if (memberExpr.loc !== null) {
+        if (memberExpr.loc) {
             return (0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_MEMBER_EXPRESSION_REFERENCE_TO_SUPER_CLASS, shared_1.LLSRange.fromBabelSourceLocation(memberExpr.loc), [memberExpr.property.name]);
         }
     }
@@ -131,13 +114,13 @@ 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 !== null) {
+        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]);
     }
     return undefined;

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 !== null) {
-                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/rules.js

@@ -88,12 +88,6 @@ exports.diagnosticMessages = {
         message: "This wire configuration uses a property '{0}' which is undefined",
         source: SOURCE_PREFIX_OFFLINE_CODE_ANALYZER,
     },
-    NO_CONDITIONAL_USING_PROPERTY_FROM_UNRESOLVABLE_WIRE: {
-        code: `${MESSAGE_CODE_PREFIX}1005`,
-        severity: SEVERITY.ERROR,
-        message: "This conditional acts upon an unanalyzable property '{0}' that is wired by a unresolvable wire",
-        source: SOURCE_PREFIX_OFFLINE_CODE_ANALYZER,
-    },
     NO_WIRE_CONFIGURATION_PROPERTY_USING_OUTPUT_OF_NON_PRIMEABLE_WIRE: {
         code: `${MESSAGE_CODE_PREFIX}1006`,
         severity: SEVERITY.ERROR,
@@ -142,28 +136,28 @@ exports.diagnosticMessages = {
         message: "This wire configuration references a reactive value '{0}' that is not a local property",
         source: SOURCE_PREFIX_OFFLINE_CODE_ANALYZER,
     },
-    NO_ITERATE_ON_UNANALYZABLE_PROPERTY_FROM_UNRESOLVABLE_WIRE: {
+    NO_COMPOSITION_ON_UNANALYZABLE_PROPERTY_FROM_UNRESOLVABLE_WIRE: {
         code: `${MESSAGE_CODE_PREFIX}1014`,
         severity: SEVERITY.ERROR,
-        message: "This iterator iterates upon an unanalyzable property '{0}' that is wired by a unresolvable wire",
+        message: "This {0} an unanalyzable property '{1}' that is wired by a unresolvable wire",
         source: SOURCE_PREFIX_OFFLINE_CODE_ANALYZER,
     },
-    NO_ITERATE_ON_UNANALYZABLE_PROPERTY_FROM_NON_PUBLIC_PROPERTY: {
+    NO_COMPOSITION_ON_UNANALYZABLE_PROPERTY_NON_PUBLIC: {
         code: `${MESSAGE_CODE_PREFIX}1015`,
         severity: SEVERITY.ERROR,
-        message: "This iterator iterates upon an unanalyzable property '{0}' that is not a public property",
+        message: "This {0} an unanalyzable property '{1}' that is not a public property",
         source: SOURCE_PREFIX_OFFLINE_CODE_ANALYZER,
     },
-    NO_CONDITIONAL_ON_UNANALYZABLE_GETTER_PROPERTY: {
+    NO_COMPOSITION_ON_UNANALYZABLE_GETTER_PROPERTY: {
         code: `${MESSAGE_CODE_PREFIX}1016`,
         severity: SEVERITY.ERROR,
-        message: "This conditional acts upon an unanalyzable getter property '{0}'",
+        message: "This {0} an unanalyzable getter property '{1}'",
         source: SOURCE_PREFIX_OFFLINE_CODE_ANALYZER,
     },
-    NO_CONDITIONAL_ON_UNANALYZABLE_NON_PUBLIC_GETTER_PROPERTY: {
+    NO_COMPOSITION_ON_UNANALYZABLE_PROPERTY_MISSING: {
         code: `${MESSAGE_CODE_PREFIX}1017`,
         severity: SEVERITY.ERROR,
-        message: "This conditional acts upon an unanalyzable getter property '{0}' that is not a public property",
+        message: "This {0} a property '{1}' which does not exist in the corresponding script file",
         source: SOURCE_PREFIX_OFFLINE_CODE_ANALYZER,
     },
     NO_WIRE_CONFIG_PROPERTY_CIRCULAR_WIRE_DEPENDENCY: {
@@ -174,24 +168,6 @@ exports.diagnosticMessages = {
             "code to remove the circular dependency. Dependency chain: '{1}'",
         source: SOURCE_PREFIX_OFFLINE_CODE_ANALYZER,
     },
-    NO_ITERATE_ON_UNANALYZABLE_GETTER_PROPERTY: {
-        code: `${MESSAGE_CODE_PREFIX}1019`,
-        severity: SEVERITY.ERROR,
-        message: "This iterator iterates upon an unanalyzable getter property '{0}'",
-        source: SOURCE_PREFIX_OFFLINE_CODE_ANALYZER,
-    },
-    NO_CONDITIONAL_USING_UNANALYZABLE_NON_PUBLIC_PROPERTY: {
-        code: `${MESSAGE_CODE_PREFIX}1020`,
-        severity: SEVERITY.ERROR,
-        message: "This conditional acts upon an unanalyzable property '{0}' that is not a public property",
-        source: SOURCE_PREFIX_OFFLINE_CODE_ANALYZER,
-    },
-    NO_ITERATE_ON_UNANALYZABLE_PROPERTY: {
-        code: `${MESSAGE_CODE_PREFIX}1021`,
-        severity: SEVERITY.ERROR,
-        message: "This iterator iterates upon an unanalyzable property '{0}'",
-        source: SOURCE_PREFIX_OFFLINE_CODE_ANALYZER,
-    },
     NO_ASSIGNMENT_EXPRESSION_ASSIGNS_VALUE_TO_MEMBER_VARIABLE: {
         code: `${MESSAGE_CODE_PREFIX}1022`,
         severity: SEVERITY.ERROR,
@@ -294,17 +270,5 @@ exports.diagnosticMessages = {
         message: "Reference to import '{0}' from an unsupported namespace is not allowed",
         source: SOURCE_PREFIX_OFFLINE_CODE_ANALYZER,
     },
-    NO_IMAGE_REFERENCE_UNANALYZABLE_SOURCE_PROPERTY: {
-        code: `${MESSAGE_CODE_PREFIX}1039`,
-        severity: SEVERITY.ERROR,
-        message: "Image tag references in its source attribute the unanalyzable property '{0}'",
-        source: SOURCE_PREFIX_OFFLINE_CODE_ANALYZER,
-    },
-    NO_IMAGE_REFERENCE_MISSING_SOURCE_PROPERTY: {
-        code: `${MESSAGE_CODE_PREFIX}1040`,
-        severity: SEVERITY.ERROR,
-        message: "Image tag references in its source attribute a property '{0}' which does not exist in the corresponding script file",
-        source: SOURCE_PREFIX_OFFLINE_CODE_ANALYZER,
-    },
 };
 //# sourceMappingURL=rules.js.map