@komaci/static-analyzer 240.1.4 → 242.0.0

package/build/adaptersMapping.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];

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 { getPrimingAdapter, isSupportedNamespace, isSupportedWireAdapter, } 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.isSupportedWireAdapter = exports.isSupportedNamespace = exports.getPrimingAdapter = exports.generatePrimingDiagnosticsModule = void 0;
 const staticAnalyzer_1 = require("./staticAnalyzer");
 function generatePrimingDiagnosticsModule(input) {
     const analyzer = new staticAnalyzer_1.StaticAnalyzer();
@@ -27,7 +31,6 @@ 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/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.js

@@ -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.js

@@ -46,7 +46,7 @@ function checkIdentifierForNonSupportedNamespaceRefs(path, importReferences, dec
         importReferences.get(identifier.name) &&
         !importReferences.get(identifier.name)?.isSupported &&
         !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.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];
@@ -39,7 +43,7 @@ function checkForNonSupportedMemberRefs(path, memberVars) {
             !classPropInfo.isDecorated &&
             !classPropInfo.hasInitialValue &&
             !t.isClassMethod(classPropInfo.classProp))) {
-            if (memberExprProperty.loc !== null) {
+            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]);
             }
         }
@@ -65,7 +69,7 @@ function checkForNonExistentMemberRefs(path, memberVars, thisAliases) {
         const memberExprValue = (0, common_shared_1.getFromIdentifierOrStringLiteral)(memberExprProperty);
         if (!memberVars.find((classPropInfo) => classPropInfo.classPropId === memberExprValue)) {
             const sourceLoc = memberExprProperty.loc;
-            if (sourceLoc !== null) {
+            if (sourceLoc) {
                 return (0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_MEMBER_EXPRESSION_REFERENCE_TO_NON_EXISTENT_MEMBER_VARIABLE, shared_1.LLSRange.fromBabelSourceLocation(sourceLoc), [memberExprValue]);
             }
         }
@@ -85,7 +89,7 @@ function checkMemberExpressionForNonSupportedNamespaceRefs(path, importReference
     const objectIdentifier = mememberExprNode.object;
     if (importReferences.get(objectIdentifier.name)) {
         if (!importReferences.get(objectIdentifier.name)?.isSupported) {
-            if (objectIdentifier.loc !== null) {
+            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]);
             }
         }
@@ -103,7 +107,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 +122,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]);
         }
     }
@@ -137,7 +141,7 @@ function checkForUnsupportedGlobalRef(path, astContext, declaredGetterVars) {
     if (memberObj.type === 'Identifier' &&
         !(0, common_shared_1.isDeclaredInAst)(astContext, 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.js

@@ -14,7 +14,7 @@ function checkTaggedTemplateExprForNonSupportedNamespaceRefs(path, importReferen
     const identifier = taggedTemplateExpr.tag;
     if (importReferences.has(identifier.name)) {
         if (!importReferences.get(identifier.name)?.isSupported) {
-            if (identifier.loc !== null) {
+            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]);
             }
         }

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

package/build/shared.d.ts

@@ -1,8 +1,9 @@
-import { ClassPropertyContexts } from '@komaci/common-shared';
-import { GetPrimingAdapter } from './types';
+import * as t from '@babel/types';
+import { ClassPropertyContexts, ModuleLevelConsumption, ModuleContext } from '@komaci/common-shared';
+import { GetPrimingAdapter, GetterDiagnosticsContext, TemplateDiagnosticsContext } from './types';
 import { SourceLocation } from '@babel/types';
-import { PrimingDiagnostic, Range } from '.';
-import { Composition, Image, SourceLocation as KomaciSourceLocation } from '@komaci/types';
+import { Range } from '.';
+import { SourceLocation as KomaciSourceLocation } from '@komaci/types';
 export declare const WIRE_FUNCTION = "WireFunction";
 export declare const ERROR_PREFIX = "[komaci static-analyzer] ";
 /**
@@ -38,15 +39,15 @@ export declare const LLSRange: {
     fromBabelSourceLocation({ start, end }: SourceLocation): Range;
 };
 /**
- * Function to analyze getter functions and collect any Priming Diagnostic info for invalid gettters.
+ * 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.
  */
-export declare function analyzeSrcForInvalidGetterFunctions(srcCode: string, namespace: string, properties: ClassPropertyContexts): PrimingDiagnostic[];
+export declare function analyzeSrcForInvalidGetterFunctions(rootAst: t.File, moduleContext: ModuleContext, moduleLevelConsumption: ModuleLevelConsumption, properties: ClassPropertyContexts): GetterDiagnosticsContext;
 /**
- * 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 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.
  */
-export declare function isImageComposition(composition: Composition): composition is Image;
+export declare function analyzeSrcForTemplateDiagnostics(rootAst: t.File, moduleContext: ModuleContext, moduleLevelConsumption: ModuleLevelConsumption, properties: ClassPropertyContexts): TemplateDiagnosticsContext;
 //# sourceMappingURL=shared.d.ts.map

package/build/shared.js

@@ -1,9 +1,10 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.isImageComposition = exports.analyzeSrcForInvalidGetterFunctions = exports.LLSRange = exports.getPrimingAdapter = exports.isSupportedNamespace = exports.isSupportedWireAdapter = exports.ERROR_PREFIX = exports.WIRE_FUNCTION = void 0;
+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");
 const common_shared_1 = require("@komaci/common-shared");
+const _1 = require(".");
 const validateGetter_1 = require("./validateGetter");
 // TODO: eventually refactor list consts into their own file
 exports.WIRE_FUNCTION = 'WireFunction';
@@ -135,50 +136,99 @@ exports.LLSRange = {
     },
 };
 /**
- * Function to analyze getter functions and collect any Priming Diagnostic info for invalid gettters.
+ * 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.
  */
-function analyzeSrcForInvalidGetterFunctions(srcCode, namespace, properties) {
-    const rootAst = (0, common_shared_1.generateAstFromSrcCode)(srcCode);
-    const moduleContext = {
-        astContext: (0, common_shared_1.getAstContextObject)(rootAst),
-        isExternal: (0, common_shared_1.isExternalModule)(namespace),
-    };
+function analyzeSrcForInvalidGetterFunctions(rootAst, moduleContext, moduleLevelConsumption, properties) {
     const diagnostics = [];
+    const validGetters = [];
     const { getters } = (0, common_shared_1.getPropertyMetadataFromAst)(rootAst);
-    const identifiers = new Set();
-    const checkForPropertyReferences = {
-        // visitor for each type
-        MemberExpression(path) {
-            (0, common_shared_1.getMemberVarsFromGetter)(path, identifiers);
-        },
-    };
     if (getters.length > 0) {
-        getters
-            .map((getter) => {
-            identifiers.clear();
-            getter.traverse(checkForPropertyReferences);
-            const name = (0, common_shared_1.getClassMethodName)(getter);
-            (0, common_shared_1.updatePropertyUsage)(name, Array.from(identifiers), properties, common_shared_1.PropertyTypes.GETTER);
-            return getter;
-        })
-            .forEach((func) => {
-            const res = (0, validateGetter_1.validateGetter)(func, moduleContext, true);
+        getters.forEach((getterFunc, index) => {
+            const res = (0, validateGetter_1.validateGetter)(getterFunc, 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);
+                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);
+            }
             diagnostics.push(...getterDiagnostics);
         });
     }
-    return diagnostics;
+    return {
+        getterFunctionDiagnostics: diagnostics,
+        validGetters: validGetters,
+    };
 }
 exports.analyzeSrcForInvalidGetterFunctions = analyzeSrcForInvalidGetterFunctions;
 /**
- * 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 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.
  */
-function isImageComposition(composition) {
-    return composition.type === 'Image';
+function analyzeSrcForTemplateDiagnostics(rootAst, moduleContext, moduleLevelConsumption, properties) {
+    const diagnostics = [];
+    const validTemplates = [];
+    const { templateStrings } = (0, common_shared_1.getPropertyMetadataFromAst)(rootAst);
+    if (templateStrings.length > 0) {
+        templateStrings.forEach((templateString, index) => {
+            const res = (0, _1.validateTemplateString)(templateString, 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);
+                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);
+            }
+            diagnostics.push(...templateDiagnostics);
+        });
+    }
+    return {
+        templateDiagnostics: diagnostics,
+        validTemplates: validTemplates,
+    };
+}
+exports.analyzeSrcForTemplateDiagnostics = analyzeSrcForTemplateDiagnostics;
+/**
+ * Helper function to generate a validGetterContext
+ * @param getterFunc the valid getter function
+ * @param moduleContext the module context
+ * @param moduleLevelConsumption a moduleLevelConsumption object
+ * @param properties properties array
+ * @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);
+    const validGetter = {
+        getter: getterFunc,
+        generatedName: `g${index}`,
+        memberUsage: identifiers,
+    };
+    return validGetter;
+}
+/**
+ * Helper function to generate a validTemplateContext
+ * @param template the valid template string
+ * @param moduleContext the module context
+ * @param moduleLevelConsumption a moduleLevelConsumption object
+ * @param properties properties array
+ * @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);
+    return {
+        template,
+        generatedName: `t${index}`,
+        memberUsage: identifiers,
+    };
 }
-exports.isImageComposition = isImageComposition;
 //# sourceMappingURL=shared.js.map

package/build/staticAnalyzer.d.ts

@@ -55,29 +55,16 @@ export declare class StaticAnalyzer {
     private findNestedUnsupportedNSObject;
     private findWireConfigReferenceNonExistProperty;
     /**
-     * Produce diagnostics for iterators which iterate on unresolvable inputs, such as private properties
-     * or wired properties which associated to unresolvable wires
-     */
-    private findUnresolvableIterator;
-    /**
-     * Produce diagnostics for conditionals which act upon unresolvable inputs, such as private properties
-     * or wired properties which associated to unresolvable wires
-     */
-    private findUnresolvableConditional;
-    /**
-     * Produces diagnostic for images which refer to unresolvable `src` attributes within the `<img>` tag.
-     * Note that Images are a type of Composition
+     * Produce diagnostics for compositions which use unresolvable inputs, such as private properties
+     * or wired properties which associated to unresolvable wires.
      *
-     * @param {Composition} image the composition containing the Image
-     * @param {Adg[]} adgs an array of ADGs
-     * @returns {PrimingDiagnostic} a PrimingDiagnostic if an image with unresolvable `src` attribute is found. void otherwise
-     */
-    private findUnresolvableImage;
-    /**
-     * Convert array of Compositions into flattened array of Compositions,
-     * visiting top-level and nested children compositions
+     * @param properties the properties array
+     * @param adgs the adgs associated with the template
+     * @param diagnosics the diagnosics array
+     * @param defaultHasParent if the default expored ADG inherent a parent class
+     * @returns void
      */
-    private compositionsToArray;
+    private findUnresolvableCompositionProperty;
     /**
      * find Import name information (resourceName, importName) given komaciDoc imports and reference
      */

package/build/staticAnalyzer.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];
@@ -20,11 +24,12 @@ var __importStar = (this && this.__importStar) || function (mod) {
 };
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.StaticAnalyzer = void 0;
-const collector = __importStar(require("@lwc-platform/lwc-metadata-next"));
+const collector = __importStar(require("@lwc/metadata"));
 const rules_1 = require("./rules");
 const common_shared_1 = require("@komaci/common-shared");
 const shared_1 = require("./shared");
 const WireGraph_1 = require("./WireGraph");
+const helpers_1 = require("./helpers");
 class StaticAnalyzer {
     constructor() {
         // TODO: Remove this sample Range when it is no longer needed as a placeholder
@@ -84,11 +89,28 @@ class StaticAnalyzer {
                         (0, common_shared_1.updatePropertyMetadataFromTemplateDoc)(templateKomaciDoc, properties);
                     }
                     const srcCode = input.files[sourceFileName];
-                    const getterFunctionDiagnostics = (0, shared_1.analyzeSrcForInvalidGetterFunctions)(srcCode, input.namespace, properties);
-                    if (getterFunctionDiagnostics.length > 0) {
-                        getterFunctionDiagnostics.map((diagnostic) => (0, rules_1.updatePrimingDiagnosticWithFileInfo)(diagnostic, sourceFileName));
-                        diagnostics.push(...getterFunctionDiagnostics);
+                    const rootAst = (0, common_shared_1.generateAstFromSrcCode)(srcCode);
+                    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 getterAndTemplateDiagnostics = [
+                        ...getterFunctionDiagnostics,
+                        ...templateDiagnostics,
+                    ];
+                    if (getterAndTemplateDiagnostics.length > 0) {
+                        getterAndTemplateDiagnostics.forEach((diagnostic) => {
+                            (0, rules_1.updatePrimingDiagnosticWithFileInfo)(diagnostic, sourceFileName);
+                            diagnostics.push(diagnostic);
+                        });
                     }
+                    (0, common_shared_1.updateKomaciDocumentWithValidGetters)(scriptKomaciDoc, validGetters);
+                    (0, common_shared_1.updateKomaciDocumentWithValidTemplatedStrings)(scriptKomaciDoc, validTemplates);
                 }
                 this.processKomaciScriptDoc(scriptKomaciDoc, diagnostics);
                 this.processKomaciTemplateDoc(templateKomaciDoc, scriptKomaciDoc, diagnostics);
@@ -120,10 +142,25 @@ class StaticAnalyzer {
             if (komaciDoc) {
                 const properties = (0, common_shared_1.collectPropertyMetadataFromScriptDoc)(komaciDoc);
                 const srcCode = input.sourceFile;
-                const getterFunctionDiagnostics = (0, shared_1.analyzeSrcForInvalidGetterFunctions)(srcCode, input.namespace, properties);
-                if (getterFunctionDiagnostics.length > 0) {
-                    getterFunctionDiagnostics.map((diagnostic) => (0, rules_1.updatePrimingDiagnosticWithFileInfo)(diagnostic, this.fileNamesMap.get('js')));
-                    diagnostics.push(...getterFunctionDiagnostics);
+                const rootAst = (0, common_shared_1.generateAstFromSrcCode)(srcCode);
+                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 getterAndTemplateDiagnostics = [
+                    ...getterFunctionDiagnostics,
+                    ...templateDiagnostics,
+                ];
+                if (getterAndTemplateDiagnostics.length > 0) {
+                    getterAndTemplateDiagnostics.forEach((diagnostic) => {
+                        (0, rules_1.updatePrimingDiagnosticWithFileInfo)(diagnostic, this.fileNamesMap.get('js'));
+                        diagnostics.push(diagnostic);
+                    });
                 }
             }
             return this.processKomaciScriptDoc(komaciDoc, diagnostics);
@@ -220,34 +257,20 @@ class StaticAnalyzer {
             scriptKomaciDoc?.exports) {
             const adgs = [];
             const defaultExport = scriptKomaciDoc.exports['default'];
+            let defaultHasParent = false;
             if (defaultExport && defaultExport.type === 'AdgReference') {
                 const defaultAdg = scriptKomaciDoc.adgs[defaultExport.value];
                 adgs.push(defaultAdg);
                 let parentClass = defaultAdg.parentClass;
                 while (parentClass?.type === 'AdgReference') {
+                    defaultHasParent = true;
                     const parentAdg = scriptKomaciDoc.adgs[parentClass.value];
                     adgs.push(parentAdg);
                     parentClass = parentAdg.parentClass;
                 }
             }
-            const compositionArray = this.compositionsToArray(templateKomaciDoc.compositions);
-            for (const composition of compositionArray) {
-                // tested by: artifact-combined-files/unresolvableIterator
-                let diagnostic = this.findUnresolvableIterator(composition, adgs);
-                if (diagnostic) {
-                    diagnostics.push(diagnostic);
-                }
-                // tested by: artifact-combined-files/unresolvableConditional
-                diagnostic = this.findUnresolvableConditional(composition, adgs);
-                if (diagnostic) {
-                    diagnostics.push(diagnostic);
-                }
-                // test by: artifact-combined-files/unresolvedImageBinding
-                diagnostic = this.findUnresolvableImage(composition, adgs);
-                if (diagnostic) {
-                    diagnostics.push(diagnostic);
-                }
-            }
+            const properties = (0, helpers_1.findPropertiesUsedInCompositions)(templateKomaciDoc.compositions);
+            this.findUnresolvableCompositionProperty(properties, adgs, diagnostics, defaultHasParent);
         }
         return diagnostics;
     }
@@ -541,121 +564,50 @@ class StaticAnalyzer {
         return diagnostics;
     }
     /**
-     * Produce diagnostics for iterators which iterate on unresolvable inputs, such as private properties
-     * or wired properties which associated to unresolvable wires
+     * Produce diagnostics for compositions which use unresolvable inputs, such as private properties
+     * or wired properties which associated to unresolvable wires.
+     *
+     * @param properties the properties array
+     * @param adgs the adgs associated with the template
+     * @param diagnosics the diagnosics array
+     * @param defaultHasParent if the default expored ADG inherent a parent class
+     * @returns void
      */
-    findUnresolvableIterator(composition, adgs) {
-        if (composition.type === 'Iteration') {
-            const iteration = composition;
-            const propName = iteration.input.value.split('/')[0];
+    findUnresolvableCompositionProperty(properties, adgs, diagnosics, defaultHasParent) {
+        for (const compositionProperty of properties) {
+            const { propertyName, diagnosticMessageAct, location } = compositionProperty;
             for (const wire of this.orderedWireInfos) {
-                if (wire.propName === propName &&
+                if (wire.propName === propertyName &&
                     wire.isNonAnalyzable &&
                     adgs.includes(wire.adg)) {
-                    return (0, rules_1.updatePrimingDiagnosticWithFileInfo)((0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_ITERATE_ON_UNANALYZABLE_PROPERTY_FROM_UNRESOLVABLE_WIRE, shared_1.LLSRange.fromLWCSourceLocation(composition.location), [propName]), this.fileNamesMap.get('html'));
+                    // property on unresolvable wire
+                    diagnosics.push((0, rules_1.updatePrimingDiagnosticWithFileInfo)((0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_COMPOSITION_ON_UNANALYZABLE_PROPERTY_FROM_UNRESOLVABLE_WIRE, shared_1.LLSRange.fromLWCSourceLocation(location), [diagnosticMessageAct, propertyName]), this.fileNamesMap.get('html')));
                 }
             }
+            let propertyFound = false;
             for (const adg of adgs) {
-                if (adg.properties && adg.properties[propName]) {
-                    const prop = adg.properties[propName];
+                if (adg.properties && adg.properties[propertyName]) {
+                    propertyFound = true;
+                    const prop = adg.properties[propertyName];
                     if (prop.input) {
+                        // getter
                         if (prop.input.type === 'Unresolved') {
-                            return (0, rules_1.updatePrimingDiagnosticWithFileInfo)((0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_ITERATE_ON_UNANALYZABLE_GETTER_PROPERTY, shared_1.LLSRange.fromLWCSourceLocation(composition.location), [propName]), this.fileNamesMap.get('html'));
+                            diagnosics.push((0, rules_1.updatePrimingDiagnosticWithFileInfo)((0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_COMPOSITION_ON_UNANALYZABLE_GETTER_PROPERTY, shared_1.LLSRange.fromLWCSourceLocation(location), [diagnosticMessageAct, propertyName]), this.fileNamesMap.get('html')));
                         }
                     }
                     else {
                         if (!prop.isPublic) {
-                            return (0, rules_1.updatePrimingDiagnosticWithFileInfo)((0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_CONDITIONAL_USING_UNANALYZABLE_NON_PUBLIC_PROPERTY, shared_1.LLSRange.fromLWCSourceLocation(composition.location), [propName]), this.fileNamesMap.get('html'));
-                        }
-                    }
-                }
-            }
-        }
-        return;
-    }
-    /**
-     * Produce diagnostics for conditionals which act upon unresolvable inputs, such as private properties
-     * or wired properties which associated to unresolvable wires
-     */
-    findUnresolvableConditional(composition, adgs) {
-        if (composition.type === 'Container') {
-            if (composition.isActive) {
-                const propName = composition.isActive.input.value.split('/')[0];
-                for (const wire of this.orderedWireInfos) {
-                    if (wire.propName === propName &&
-                        wire.isNonAnalyzable &&
-                        adgs.includes(wire.adg)) {
-                        const fileNameHTML = this.fileNamesMap.get('html');
-                        return (0, rules_1.updatePrimingDiagnosticWithFileInfo)((0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_CONDITIONAL_USING_PROPERTY_FROM_UNRESOLVABLE_WIRE, shared_1.LLSRange.fromLWCSourceLocation(composition.location), [propName]), fileNameHTML);
-                    }
-                }
-                for (const adg of adgs) {
-                    if (adg.properties && adg.properties[propName]) {
-                        const prop = adg.properties[propName];
-                        if (prop.input) {
-                            if (prop.input.type === 'Unresolved') {
-                                return (0, rules_1.updatePrimingDiagnosticWithFileInfo)((0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_CONDITIONAL_ON_UNANALYZABLE_GETTER_PROPERTY, shared_1.LLSRange.fromLWCSourceLocation(composition.location), [propName]), this.fileNamesMap.get('html'));
-                            }
-                        }
-                        else {
-                            if (!prop.isPublic) {
-                                return (0, rules_1.updatePrimingDiagnosticWithFileInfo)((0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_CONDITIONAL_USING_UNANALYZABLE_NON_PUBLIC_PROPERTY, shared_1.LLSRange.fromLWCSourceLocation(composition.location), [propName]), this.fileNamesMap.get('html'));
-                            }
+                            // private property
+                            diagnosics.push((0, rules_1.updatePrimingDiagnosticWithFileInfo)((0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_COMPOSITION_ON_UNANALYZABLE_PROPERTY_NON_PUBLIC, shared_1.LLSRange.fromLWCSourceLocation(location), [diagnosticMessageAct, propertyName]), this.fileNamesMap.get('html')));
                         }
                     }
                 }
             }
-        }
-        return;
-    }
-    /**
-     * Produces diagnostic for images which refer to unresolvable `src` attributes within the `<img>` tag.
-     * Note that Images are a type of Composition
-     *
-     * @param {Composition} image the composition containing the Image
-     * @param {Adg[]} adgs an array of ADGs
-     * @returns {PrimingDiagnostic} a PrimingDiagnostic if an image with unresolvable `src` attribute is found. void otherwise
-     */
-    findUnresolvableImage(image, adgs) {
-        if ((0, shared_1.isImageComposition)(image)) {
-            if (image.src.type === 'Binding') {
-                const propName = image.src.value;
-                for (const adg of adgs) {
-                    if (adg.properties?.[propName]) {
-                        const prop = adg.properties[propName];
-                        if (prop.initial?.type === 'Unresolved') {
-                            return (0, rules_1.updatePrimingDiagnosticWithFileInfo)((0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_IMAGE_REFERENCE_UNANALYZABLE_SOURCE_PROPERTY, 
-                            // TODO: currently is an emptyRange location. May need to add support
-                            // for location of image tags. Created work item W-11309043 for this
-                            shared_1.LLSRange.fromLWCSourceLocation(image.location), [propName]), this.fileNamesMap.get('html'));
-                        }
-                    }
-                    else {
-                        // property in image src attribute is not found in the script file, so return a dianostic
-                        // for this situation too.
-                        return (0, rules_1.updatePrimingDiagnosticWithFileInfo)((0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_IMAGE_REFERENCE_MISSING_SOURCE_PROPERTY, 
-                        // TODO: currently is an emptyRange location. May need to add support
-                        // for location of image tags. Created work item W-11309043 for this
-                        shared_1.LLSRange.fromLWCSourceLocation(image.location), [propName]), this.fileNamesMap.get('html'));
-                    }
-                }
+            if (!propertyFound && !defaultHasParent) {
+                // property not exist
+                diagnosics.push((0, rules_1.updatePrimingDiagnosticWithFileInfo)((0, rules_1.getPrimingDiagnostic)(rules_1.diagnosticMessages.NO_COMPOSITION_ON_UNANALYZABLE_PROPERTY_MISSING, shared_1.LLSRange.fromLWCSourceLocation(location), [diagnosticMessageAct, propertyName]), this.fileNamesMap.get('html')));
             }
         }
-        return;
-    }
-    /**
-     * Convert array of Compositions into flattened array of Compositions,
-     * visiting top-level and nested children compositions
-     */
-    compositionsToArray(compositions) {
-        const compositionArray = [];
-        compositions.forEach((node) => {
-            compositionArray.push(node);
-            if (node.compositions) {
-                compositionArray.push(...this.compositionsToArray(node.compositions));
-            }
-        });
-        return compositionArray;
     }
     /**
      * find Import name information (resourceName, importName) given komaciDoc imports and reference

package/build/types.d.ts

@@ -1,4 +1,5 @@
 import { Adg, FunctionType, SourceLocation } from '@komaci/types';
+import { ValidGetterContext, ValidTemplateContext } from '@komaci/common-shared';
 /** Representation of a source code file being analyzed, in format neeed by the VSCode language server */
 export declare type Uri = {
     path: string;
@@ -99,4 +100,20 @@ export declare type FunctionalContext = {
     declaredVariables: string[];
     thisAliases: Set<string>;
 };
+export declare type GetterDiagnosticsContext = {
+    getterFunctionDiagnostics: PrimingDiagnostic[];
+    validGetters: ValidGetterContext[];
+};
+export declare type TemplateDiagnosticsContext = {
+    templateDiagnostics: PrimingDiagnostic[];
+    validTemplates: ValidTemplateContext[];
+};
+/**
+ * Internal type for a composition property
+ */
+export declare type CompositionProperty = {
+    propertyName: string;
+    location?: SourceLocation;
+    diagnosticMessageAct: 'iterator iterates upon' | "image's src attribute is bound to" | 'child component references';
+};
 //# sourceMappingURL=types.d.ts.map

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@komaci/static-analyzer",
-    "version": "240.1.4",
+    "version": "242.0.0",
     "description": "Komaci Diagnostics API",
     "homepage": "https://komaci.dev/",
     "repository": {
@@ -26,14 +26,13 @@
         "build/**/*.d.ts",
         "build/komaci-mapping.json"
     ],
-    "peerDependencies": {
-        "@lwc-platform/lwc-metadata-next": "^2.18.0-240.2"
-    },
     "dependencies": {
-        "@komaci/common-shared": "240.1.4"
+        "@komaci/common-shared": "242.0.0",
+        "@lwc/metadata": "2.22.0-0",
+        "@lwc/sfdc-compiler-utils": "2.22.0-0"
     },
     "devDependencies": {
         "@babel/types": "^7.9.0",
-        "@komaci/types": "240.1.4"
+        "@komaci/types": "242.0.0"
     }
 }