brighterscript 0.66.0-alpha.7 → 0.66.0-alpha.8

package/dist/bscPlugin/validation/ScopeValidator.js

@@ -5,13 +5,14 @@ const vscode_uri_1 = require("vscode-uri");
 const reflection_1 = require("../../astUtils/reflection");
 const Cache_1 = require("../../Cache");
 const DiagnosticMessages_1 = require("../../DiagnosticMessages");
+const interfaces_1 = require("../../interfaces");
 const SymbolTable_1 = require("../../SymbolTable");
 const util_1 = require("../../util");
 const roku_types_1 = require("../../roku-types");
 const Expression_1 = require("../../parser/Expression");
-const Parser_1 = require("../../parser/Parser");
-const TokenKind_1 = require("../../lexer/TokenKind");
 const visitors_1 = require("../../astUtils/visitors");
+const AstValidationSegmenter_1 = require("../../AstValidationSegmenter");
+const TokenKind_1 = require("../../lexer/TokenKind");
 /**
  * The lower-case names of all platform-included scenegraph nodes
  */
@@ -25,12 +26,14 @@ const platformComponentNames = roku_types_1.components ? new Set(Object.values(r
  */
 class ScopeValidator {
     constructor() {
-        this.expressionsByFile = new Cache_1.Cache();
         this.onceCache = new Cache_1.Cache();
         this.multiScopeCache = new Cache_1.Cache();
     }
     processEvent(event) {
         this.event = event;
+        if (this.event.program.globalScope === this.event.scope) {
+            return;
+        }
         this.walkFiles();
         this.detectDuplicateEnums();
     }
@@ -42,11 +45,32 @@ class ScopeValidator {
     walkFiles() {
         this.event.scope.enumerateOwnFiles((file) => {
             if ((0, reflection_1.isBrsFile)(file)) {
-                this.iterateFileExpressions(file);
-                this.validateCreateObjectCalls(file);
-                file.ast.walk((0, visitors_1.createVisitor)({
+                const hasChangeInfo = this.event.changedFiles && this.event.changedSymbols;
+                let thisFileRequiresChangedSymbol = false;
+                for (let requiredSymbol of file.requiredSymbols) {
+                    const changeSymbolSetForFlag = this.event.changedSymbols.get(requiredSymbol.flags);
+                    if (util_1.default.setContainsUnresolvedSymbol(changeSymbolSetForFlag, requiredSymbol)) {
+                        thisFileRequiresChangedSymbol = true;
+                    }
+                }
+                const thisFileHasChanges = this.event.changedFiles.includes(file);
+                if (hasChangeInfo && !thisFileRequiresChangedSymbol && !thisFileHasChanges) {
+                    // this file does not require a symbol that has changed, and this file has not changed
+                    return;
+                }
+                if (thisFileHasChanges) {
+                    this.event.scope.clearAstSegmentDiagnosticsByFile(file);
+                }
+                const validationVisitor = (0, visitors_1.createVisitor)({
+                    VariableExpression: (varExpr) => {
+                        this.validateVariableAndDottedGetExpressions(file, varExpr);
+                    },
+                    DottedGetExpression: (dottedGet) => {
+                        this.validateVariableAndDottedGetExpressions(file, dottedGet);
+                    },
                     CallExpression: (functionCall) => {
                         this.validateFunctionCall(file, functionCall);
+                        this.validateCreateObjectCall(file, functionCall);
                     },
                     ReturnStatement: (returnStatement) => {
                         this.validateReturnStatement(file, returnStatement);
@@ -60,29 +84,21 @@ class ScopeValidator {
                     UnaryExpression: (unaryExpr) => {
                         this.validateUnaryExpression(file, unaryExpr);
                     }
-                }), {
-                    walkMode: visitors_1.WalkMode.visitAllRecursive
                 });
+                const segmentsToWalkForValidation = (thisFileHasChanges || !hasChangeInfo)
+                    ? file.validationSegmenter.segmentsForValidation // validate everything in the file
+                    : file.getValidationSegments(this.event.changedSymbols); // validate only what's needed in the file
+                for (const segment of segmentsToWalkForValidation) {
+                    this.currentSegmentBeingValidated = segment;
+                    this.event.scope.clearAstSegmentDiagnostics(segment);
+                    segment.walk(validationVisitor, {
+                        walkMode: AstValidationSegmenter_1.InsideSegmentWalkMode
+                    });
+                    file.markSegmentAsValidated(segment);
+                }
             }
         });
     }
-    checkIfUsedAsTypeExpression(expression) {
-        //TODO: this is much faster than node.findAncestor(), but may need to be updated for "complicated" type expressions
-        if ((0, reflection_1.isTypeExpression)(expression) ||
-            (0, reflection_1.isTypeExpression)(expression.parent) ||
-            (0, reflection_1.isTypedArrayExpression)(expression) ||
-            (0, reflection_1.isTypedArrayExpression)(expression.parent)) {
-            return true;
-        }
-        if ((0, reflection_1.isBinaryExpression)(expression.parent)) {
-            let currentExpr = expression.parent;
-            while ((0, reflection_1.isBinaryExpression)(currentExpr) && currentExpr.operator.kind === TokenKind_1.TokenKind.Or) {
-                currentExpr = currentExpr.parent;
-            }
-            return (0, reflection_1.isTypeExpression)(currentExpr) || (0, reflection_1.isTypedArrayExpression)(currentExpr);
-        }
-        return false;
-    }
     isTypeKnown(exprType) {
         let isKnownType = exprType === null || exprType === void 0 ? void 0 : exprType.isResolvable();
         return isKnownType;
@@ -90,136 +106,21 @@ class ScopeValidator {
     /**
      * If this is the lhs of an assignment, we don't need to flag it as unresolved
      */
-    ignoreUnresolvedAssignmentLHS(expression, exprType) {
+    ignoreUnresolvedAssignmentLHS(expression, exprType, definingNode) {
+        var _a, _b;
         if (!(0, reflection_1.isVariableExpression)(expression)) {
             return false;
         }
-        const assignmentAncestor = expression === null || expression === void 0 ? void 0 : expression.findAncestor(reflection_1.isAssignmentStatement);
-        return (assignmentAncestor === null || assignmentAncestor === void 0 ? void 0 : assignmentAncestor.name) === (expression === null || expression === void 0 ? void 0 : expression.name) && (0, reflection_1.isUnionType)(exprType); // the left hand side is not a union, which means it was never assigned
-    }
-    iterateFileExpressions(file) {
-        var _a, _b, _c;
-        const { scope } = this.event;
-        //build an expression collection ONCE per file
-        const expressionInfos = this.expressionsByFile.getOrAdd(file, () => {
-            var _a, _b;
-            const result = [];
-            const expressions = [...file.parser.references.expressions];
-            for (let expression of expressions) {
-                if (!expression) {
-                    continue;
-                }
-                //walk left-to-right on every expression, only keep the ones that start with VariableExpression, and then keep subsequent DottedGet parts
-                const parts = util_1.default.getDottedGetPath(expression);
-                if (parts.length > 0) {
-                    result.push({
-                        parts: parts,
-                        expression: expression,
-                        isUsedAsType: this.checkIfUsedAsTypeExpression(expression),
-                        enclosingNamespaceNameLower: (_b = (_a = expression.findAncestor(reflection_1.isNamespaceStatement)) === null || _a === void 0 ? void 0 : _a.getName(Parser_1.ParseMode.BrighterScript)) === null || _b === void 0 ? void 0 : _b.toLowerCase()
-                    });
-                }
-            }
-            return result;
-        });
-        outer: for (const info of expressionInfos) {
-            const firstNamespacePart = info.parts[0].name.text;
-            const firstNamespacePartLower = firstNamespacePart === null || firstNamespacePart === void 0 ? void 0 : firstNamespacePart.toLowerCase();
-            //get the namespace container (accounting for namespace-relative as well)
-            const namespaceContainer = scope.getNamespace(firstNamespacePartLower, info.enclosingNamespaceNameLower);
-            let symbolType = SymbolTable_1.SymbolTypeFlag.runtime;
-            let oppositeSymbolType = SymbolTable_1.SymbolTypeFlag.typetime;
-            if (info.isUsedAsType) {
-                // This is used in a TypeExpression - only look up types from SymbolTable
-                symbolType = SymbolTable_1.SymbolTypeFlag.typetime;
-                oppositeSymbolType = SymbolTable_1.SymbolTypeFlag.runtime;
-            }
-            // Do a complete type check on all DottedGet and Variable expressions
-            // this will create a diagnostic if an invalid member is accessed
-            const typeChain = [];
-            let exprType = info.expression.getType({
-                flags: symbolType,
-                typeChain: typeChain
-            });
-            if (!this.isTypeKnown(exprType) && !this.ignoreUnresolvedAssignmentLHS(info.expression, exprType)) {
-                if ((_a = info.expression.getType({ flags: oppositeSymbolType })) === null || _a === void 0 ? void 0 : _a.isResolvable()) {
-                    const oppoSiteTypeChain = [];
-                    const invalidlyUsedResolvedType = info.expression.getType({ flags: oppositeSymbolType, typeChain: oppoSiteTypeChain });
-                    const typeChainScan = util_1.default.processTypeChain(oppoSiteTypeChain);
-                    if (info.isUsedAsType) {
-                        this.addMultiScopeDiagnostic(Object.assign(Object.assign({}, DiagnosticMessages_1.DiagnosticMessages.itemCannotBeUsedAsType(typeChainScan.fullChainName)), { range: info.expression.range, file: file }));
-                    }
-                    else {
-                        this.addMultiScopeDiagnostic(Object.assign(Object.assign({}, DiagnosticMessages_1.DiagnosticMessages.itemCannotBeUsedAsVariable(invalidlyUsedResolvedType.toString())), { range: info.expression.range, file: file }));
-                    }
-                    continue;
-                }
-                const typeChainScan = util_1.default.processTypeChain(typeChain);
-                this.addMultiScopeDiagnostic(Object.assign(Object.assign({ file: file }, DiagnosticMessages_1.DiagnosticMessages.cannotFindName(typeChainScan.itemName, typeChainScan.fullNameOfItem)), { range: typeChainScan.range }));
-                //skip to the next expression
-                continue;
-            }
-            const enumStatement = scope.getEnum(firstNamespacePartLower, info.enclosingNamespaceNameLower);
-            //if this isn't a namespace, skip it
-            if (!namespaceContainer && !enumStatement) {
-                continue;
-            }
-            //catch unknown namespace items
-            let entityName = firstNamespacePart;
-            let entityNameLower = firstNamespacePart.toLowerCase();
-            for (let i = 1; i < info.parts.length; i++) {
-                const part = info.parts[i];
-                entityName += '.' + part.name.text;
-                entityNameLower += '.' + part.name.text.toLowerCase();
-                //if this is an enum member, stop validating here to prevent errors further down the chain
-                if (scope.getEnumMemberFileLink(entityName, info.enclosingNamespaceNameLower)) {
-                    break;
-                }
-                if (!scope.getEnumMap().has(entityNameLower) &&
-                    !scope.getClassMap().has(entityNameLower) &&
-                    !scope.getInterfaceMap().has(entityNameLower) &&
-                    !scope.getConstMap().has(entityNameLower) &&
-                    !scope.getCallableByName(entityNameLower) &&
-                    !scope.getNamespace(entityNameLower, info.enclosingNamespaceNameLower)) {
-                    //if this looks like an enum, provide a nicer error message
-                    const theEnum = (_b = this.getEnum(scope, entityNameLower)) === null || _b === void 0 ? void 0 : _b.item;
-                    if (theEnum) {
-                        this.addMultiScopeDiagnostic(Object.assign(Object.assign({ file: file }, DiagnosticMessages_1.DiagnosticMessages.unknownEnumValue((_c = part.name.text) === null || _c === void 0 ? void 0 : _c.split('.').pop(), theEnum.fullName)), { range: part.name.range, relatedInformation: [{
-                                    message: 'Enum declared here',
-                                    location: util_1.default.createLocation(vscode_uri_1.URI.file(file.srcPath).toString(), theEnum.tokens.name.range)
-                                }] }));
-                    }
-                    else {
-                        this.addMultiScopeDiagnostic(Object.assign(Object.assign({}, DiagnosticMessages_1.DiagnosticMessages.cannotFindName(part.name.text, entityName)), { range: part.name.range, file: file }));
-                    }
-                    //no need to add another diagnostic for future unknown items
-                    continue outer;
-                }
-            }
-            //if the full expression is just an enum name, this is an illegal statement because enums don't exist at runtime
-            if (!info.isUsedAsType && enumStatement && info.parts.length === 1) {
-                this.addMultiScopeDiagnostic(Object.assign(Object.assign({}, DiagnosticMessages_1.DiagnosticMessages.itemCannotBeUsedAsVariable('enum')), { range: info.expression.range, file: file }));
-            }
-            //if the full expression is a namespace path, this is an illegal statement because namespaces don't exist at runtme
-            if (scope.getNamespace(entityNameLower, info.enclosingNamespaceNameLower)) {
-                this.addMultiScopeDiagnostic(Object.assign(Object.assign({}, DiagnosticMessages_1.DiagnosticMessages.itemCannotBeUsedAsVariable('namespace')), { range: info.expression.range, file: file }));
-            }
+        let assignmentAncestor;
+        if ((0, reflection_1.isAssignmentStatement)(definingNode) && definingNode.equals.kind === TokenKind_1.TokenKind.Equal) {
+            // this symbol was defined in a "normal" assignment (eg. not a compound assignment)
+            assignmentAncestor = definingNode;
+            return ((_a = assignmentAncestor === null || assignmentAncestor === void 0 ? void 0 : assignmentAncestor.name) === null || _a === void 0 ? void 0 : _a.text.toLowerCase()) === ((_b = expression === null || expression === void 0 ? void 0 : expression.name) === null || _b === void 0 ? void 0 : _b.text.toLowerCase());
         }
-    }
-    /**
-     * Given a string optionally separated by dots, find an enum related to it.
-     * For example, all of these would return the enum: `SomeNamespace.SomeEnum.SomeMember`, SomeEnum.SomeMember, `SomeEnum`
-     */
-    getEnum(scope, name) {
-        //look for the enum directly
-        let result = scope.getEnumMap().get(name);
-        //assume we've been given the enum.member syntax, so pop the member and try again
-        if (!result) {
-            const parts = name.split('.');
-            parts.pop();
-            result = scope.getEnumMap().get(parts.join('.'));
-        }
-        return result;
+        else {
+            assignmentAncestor = expression === null || expression === void 0 ? void 0 : expression.findAncestor(reflection_1.isAssignmentStatement);
+        }
+        return (assignmentAncestor === null || assignmentAncestor === void 0 ? void 0 : assignmentAncestor.name) === (expression === null || expression === void 0 ? void 0 : expression.name) && (0, reflection_1.isUnionType)(exprType);
     }
     /**
      * Flag duplicate enums
@@ -260,7 +161,7 @@ class ScopeValidator {
                 diagnostics.push(Object.assign(Object.assign({}, DiagnosticMessages_1.DiagnosticMessages.duplicateEnumDeclaration(this.event.scope.name, fullName)), { file: duplicateEnumInfo.file, range: duplicateEnumInfo.statement.tokens.name.range, relatedInformation: [{
                             message: 'Enum declared here',
                             location: util_1.default.createLocation(vscode_uri_1.URI.file(primaryEnum.file.srcPath).toString(), primaryEnum.statement.tokens.name.range)
-                        }] }));
+                        }], origin: interfaces_1.DiagnosticOrigin.Scope }));
             }
         }
         this.event.scope.addDiagnostics(diagnostics);
@@ -271,64 +172,60 @@ class ScopeValidator {
      * what these calls are supposed to look like, and this is a very common thing for brs devs to do, so just
      * do this manually for now.
      */
-    validateCreateObjectCalls(file) {
-        var _a, _b, _c, _d, _e, _f, _g, _h, _j, _k;
-        const diagnostics = [];
-        for (const call of file.functionCalls) {
-            //skip non CreateObject function calls
-            if (((_a = call.name) === null || _a === void 0 ? void 0 : _a.toLowerCase()) !== 'createobject' || !(0, reflection_1.isLiteralExpression)((_b = call === null || call === void 0 ? void 0 : call.args[0]) === null || _b === void 0 ? void 0 : _b.expression)) {
-                continue;
+    validateCreateObjectCall(file, call) {
+        var _a, _b, _c, _d, _e, _f;
+        //skip non CreateObject function calls
+        const callName = (_a = util_1.default.getAllDottedGetPartsAsString(call.callee)) === null || _a === void 0 ? void 0 : _a.toLowerCase();
+        if (callName !== 'createobject' || !(0, reflection_1.isLiteralExpression)(call === null || call === void 0 ? void 0 : call.args[0])) {
+            return;
+        }
+        const firstParamToken = (_b = call === null || call === void 0 ? void 0 : call.args[0]) === null || _b === void 0 ? void 0 : _b.token;
+        const firstParamStringValue = (_c = firstParamToken === null || firstParamToken === void 0 ? void 0 : firstParamToken.text) === null || _c === void 0 ? void 0 : _c.replace(/"/g, '');
+        //if this is a `createObject('roSGNode'` call, only support known sg node types
+        if ((firstParamStringValue === null || firstParamStringValue === void 0 ? void 0 : firstParamStringValue.toLowerCase()) === 'rosgnode' && (0, reflection_1.isLiteralExpression)(call === null || call === void 0 ? void 0 : call.args[1])) {
+            const componentName = (_d = call === null || call === void 0 ? void 0 : call.args[1]) === null || _d === void 0 ? void 0 : _d.token;
+            //don't validate any components with a colon in their name (probably component libraries, but regular components can have them too).
+            if ((_e = componentName === null || componentName === void 0 ? void 0 : componentName.text) === null || _e === void 0 ? void 0 : _e.includes(':')) {
+                return;
             }
-            const firstParamToken = (_d = (_c = call === null || call === void 0 ? void 0 : call.args[0]) === null || _c === void 0 ? void 0 : _c.expression) === null || _d === void 0 ? void 0 : _d.token;
-            const firstParamStringValue = (_e = firstParamToken === null || firstParamToken === void 0 ? void 0 : firstParamToken.text) === null || _e === void 0 ? void 0 : _e.replace(/"/g, '');
-            //if this is a `createObject('roSGNode'` call, only support known sg node types
-            if ((firstParamStringValue === null || firstParamStringValue === void 0 ? void 0 : firstParamStringValue.toLowerCase()) === 'rosgnode' && (0, reflection_1.isLiteralExpression)((_f = call === null || call === void 0 ? void 0 : call.args[1]) === null || _f === void 0 ? void 0 : _f.expression)) {
-                const componentName = (_h = (_g = call === null || call === void 0 ? void 0 : call.args[1]) === null || _g === void 0 ? void 0 : _g.expression) === null || _h === void 0 ? void 0 : _h.token;
-                //don't validate any components with a colon in their name (probably component libraries, but regular components can have them too).
-                if ((_j = componentName === null || componentName === void 0 ? void 0 : componentName.text) === null || _j === void 0 ? void 0 : _j.includes(':')) {
-                    continue;
-                }
-                //add diagnostic for unknown components
-                const unquotedComponentName = (_k = componentName === null || componentName === void 0 ? void 0 : componentName.text) === null || _k === void 0 ? void 0 : _k.replace(/"/g, '');
-                if (unquotedComponentName && !platformNodeNames.has(unquotedComponentName.toLowerCase()) && !this.event.program.getComponent(unquotedComponentName)) {
-                    this.addDiagnosticOnce(Object.assign(Object.assign({ file: file }, DiagnosticMessages_1.DiagnosticMessages.unknownRoSGNode(unquotedComponentName)), { range: componentName.range }));
-                }
-                else if ((call === null || call === void 0 ? void 0 : call.args.length) !== 2) {
-                    // roSgNode should only ever have 2 args in `createObject`
-                    this.addDiagnosticOnce(Object.assign(Object.assign({ file: file }, DiagnosticMessages_1.DiagnosticMessages.mismatchCreateObjectArgumentCount(firstParamStringValue, [2], call === null || call === void 0 ? void 0 : call.args.length)), { range: call.range }));
-                }
+            //add diagnostic for unknown components
+            const unquotedComponentName = (_f = componentName === null || componentName === void 0 ? void 0 : componentName.text) === null || _f === void 0 ? void 0 : _f.replace(/"/g, '');
+            if (unquotedComponentName && !platformNodeNames.has(unquotedComponentName.toLowerCase()) && !this.event.program.getComponent(unquotedComponentName)) {
+                this.addDiagnosticOnce(Object.assign(Object.assign({ file: file }, DiagnosticMessages_1.DiagnosticMessages.unknownRoSGNode(unquotedComponentName)), { range: componentName.range }));
             }
-            else if (!platformComponentNames.has(firstParamStringValue.toLowerCase())) {
-                this.addDiagnosticOnce(Object.assign(Object.assign({ file: file }, DiagnosticMessages_1.DiagnosticMessages.unknownBrightScriptComponent(firstParamStringValue)), { range: firstParamToken.range }));
+            else if ((call === null || call === void 0 ? void 0 : call.args.length) !== 2) {
+                // roSgNode should only ever have 2 args in `createObject`
+                this.addDiagnosticOnce(Object.assign(Object.assign({ file: file }, DiagnosticMessages_1.DiagnosticMessages.mismatchCreateObjectArgumentCount(firstParamStringValue, [2], call === null || call === void 0 ? void 0 : call.args.length)), { range: call.range }));
             }
-            else {
-                // This is valid brightscript component
-                // Test for invalid arg counts
-                const brightScriptComponent = roku_types_1.components[firstParamStringValue.toLowerCase()];
-                // Valid arg counts for createObject are 1+ number of args for constructor
-                let validArgCounts = brightScriptComponent.constructors.map(cnstr => cnstr.params.length + 1);
-                if (validArgCounts.length === 0) {
-                    // no constructors for this component, so createObject only takes 1 arg
-                    validArgCounts = [1];
-                }
-                if (!validArgCounts.includes(call === null || call === void 0 ? void 0 : call.args.length)) {
-                    // Incorrect number of arguments included in `createObject()`
-                    this.addDiagnosticOnce(Object.assign(Object.assign({ file: file }, DiagnosticMessages_1.DiagnosticMessages.mismatchCreateObjectArgumentCount(firstParamStringValue, validArgCounts, call === null || call === void 0 ? void 0 : call.args.length)), { range: call.range }));
-                }
-                // Test for deprecation
-                if (brightScriptComponent.isDeprecated) {
-                    this.addDiagnosticOnce(Object.assign(Object.assign({ file: file }, DiagnosticMessages_1.DiagnosticMessages.deprecatedBrightScriptComponent(firstParamStringValue, brightScriptComponent.deprecatedDescription)), { range: call.range }));
-                }
+        }
+        else if (!platformComponentNames.has(firstParamStringValue.toLowerCase())) {
+            this.addDiagnosticOnce(Object.assign(Object.assign({ file: file }, DiagnosticMessages_1.DiagnosticMessages.unknownBrightScriptComponent(firstParamStringValue)), { range: firstParamToken.range }));
+        }
+        else {
+            // This is valid brightscript component
+            // Test for invalid arg counts
+            const brightScriptComponent = roku_types_1.components[firstParamStringValue.toLowerCase()];
+            // Valid arg counts for createObject are 1+ number of args for constructor
+            let validArgCounts = brightScriptComponent.constructors.map(cnstr => cnstr.params.length + 1);
+            if (validArgCounts.length === 0) {
+                // no constructors for this component, so createObject only takes 1 arg
+                validArgCounts = [1];
+            }
+            if (!validArgCounts.includes(call === null || call === void 0 ? void 0 : call.args.length)) {
+                // Incorrect number of arguments included in `createObject()`
+                this.addDiagnosticOnce(Object.assign(Object.assign({ file: file }, DiagnosticMessages_1.DiagnosticMessages.mismatchCreateObjectArgumentCount(firstParamStringValue, validArgCounts, call === null || call === void 0 ? void 0 : call.args.length)), { range: call.range }));
+            }
+            // Test for deprecation
+            if (brightScriptComponent.isDeprecated) {
+                this.addDiagnosticOnce(Object.assign(Object.assign({ file: file }, DiagnosticMessages_1.DiagnosticMessages.deprecatedBrightScriptComponent(firstParamStringValue, brightScriptComponent.deprecatedDescription)), { range: call.range }));
             }
         }
-        this.event.scope.addDiagnostics(diagnostics);
     }
     /**
      * Detect calls to functions with the incorrect number of parameters, or wrong types of arguments
      */
     validateFunctionCall(file, expression) {
         var _a, _b;
-        const diagnostics = [];
         const getTypeOptions = { flags: SymbolTable_1.SymbolTypeFlag.runtime };
         let funcType = (_a = expression === null || expression === void 0 ? void 0 : expression.callee) === null || _a === void 0 ? void 0 : _a.getType(getTypeOptions);
         if ((funcType === null || funcType === void 0 ? void 0 : funcType.isResolvable()) && (0, reflection_1.isClassType)(funcType)) {
@@ -355,7 +252,7 @@ class ScopeValidator {
             let expCallArgCount = expression.args.length;
             if (expCallArgCount > maxParams || expCallArgCount < minParams) {
                 let minMaxParamsText = minParams === maxParams ? maxParams : `${minParams}-${maxParams}`;
-                diagnostics.push(Object.assign(Object.assign({}, DiagnosticMessages_1.DiagnosticMessages.mismatchArgumentCount(minMaxParamsText, expCallArgCount)), { range: expression.callee.range, 
+                this.addMultiScopeDiagnostic(Object.assign(Object.assign({}, DiagnosticMessages_1.DiagnosticMessages.mismatchArgumentCount(minMaxParamsText, expCallArgCount)), { range: expression.callee.range, 
                     //TODO detect end of expression call
                     file: file }));
             }
@@ -376,14 +273,12 @@ class ScopeValidator {
                 paramIndex++;
             }
         }
-        this.event.scope.addDiagnostics(diagnostics);
     }
     /**
      * Detect return statements with incompatible types vs. declared return type
      */
     validateReturnStatement(file, returnStmt) {
         var _a;
-        const diagnostics = [];
         const getTypeOptions = { flags: SymbolTable_1.SymbolTypeFlag.runtime };
         let funcType = returnStmt.findAncestor(reflection_1.isFunctionExpression).getType({ flags: SymbolTable_1.SymbolTypeFlag.typetime });
         if ((0, reflection_1.isTypedFunctionType)(funcType)) {
@@ -393,14 +288,12 @@ class ScopeValidator {
                 this.addMultiScopeDiagnostic(Object.assign(Object.assign({}, DiagnosticMessages_1.DiagnosticMessages.returnTypeMismatch(actualReturnType.toString(), funcType.returnType.toString(), compatibilityData)), { range: returnStmt.value.range, file: file }));
             }
         }
-        this.event.scope.addDiagnostics(diagnostics);
     }
     /**
      * Detect return statements with incompatible types vs. declared return type
      */
     validateDottedSetStatement(file, dottedSetStmt) {
         var _a, _b, _c;
-        const diagnostics = [];
         const getTypeOpts = { flags: SymbolTable_1.SymbolTypeFlag.runtime };
         const expectedLHSType = (_b = (_a = dottedSetStmt === null || dottedSetStmt === void 0 ? void 0 : dottedSetStmt.obj) === null || _a === void 0 ? void 0 : _a.getType(getTypeOpts)) === null || _b === void 0 ? void 0 : _b.getMemberType(dottedSetStmt.name.text, getTypeOpts);
         const actualRHSType = (_c = dottedSetStmt === null || dottedSetStmt === void 0 ? void 0 : dottedSetStmt.value) === null || _c === void 0 ? void 0 : _c.getType(getTypeOpts);
@@ -408,15 +301,13 @@ class ScopeValidator {
         if ((expectedLHSType === null || expectedLHSType === void 0 ? void 0 : expectedLHSType.isResolvable()) && !(expectedLHSType === null || expectedLHSType === void 0 ? void 0 : expectedLHSType.isTypeCompatible(actualRHSType, compatibilityData))) {
             this.addMultiScopeDiagnostic(Object.assign(Object.assign({}, DiagnosticMessages_1.DiagnosticMessages.assignmentTypeMismatch(actualRHSType.toString(), expectedLHSType.toString(), compatibilityData)), { range: dottedSetStmt.range, file: file }));
         }
-        this.event.scope.addDiagnostics(diagnostics);
     }
     /**
      * Detect invalid use of a binary operator
      */
     validateBinaryExpression(file, binaryExpr) {
-        const diagnostics = [];
         const getTypeOpts = { flags: SymbolTable_1.SymbolTypeFlag.runtime };
-        if (this.checkIfUsedAsTypeExpression(binaryExpr)) {
+        if (util_1.default.isInTypeExpression(binaryExpr)) {
             return;
         }
         let leftType = binaryExpr.left.getType(getTypeOpts);
@@ -455,13 +346,11 @@ class ScopeValidator {
             // if the result was dynamic, that means there wasn't a valid operation
             this.addMultiScopeDiagnostic(Object.assign(Object.assign({}, DiagnosticMessages_1.DiagnosticMessages.operatorTypeMismatch(binaryExpr.operator.text, leftType.toString(), rightType.toString())), { range: binaryExpr.range, file: file }));
         }
-        this.event.scope.addDiagnostics(diagnostics);
     }
     /**
      * Detect invalid use of a Unary operator
      */
     validateUnaryExpression(file, unaryExpr) {
-        const diagnostics = [];
         const getTypeOpts = { flags: SymbolTable_1.SymbolTypeFlag.runtime };
         let rightType = unaryExpr.right.getType(getTypeOpts);
         if (!rightType.isResolvable()) {
@@ -475,11 +364,9 @@ class ScopeValidator {
         if ((0, reflection_1.isUnionType)(rightTypeToTest)) {
             // TODO: it is possible to validate based on innerTypes, but more complicated
             // Because you need to verify each combination of types
-            return;
         }
         else if ((0, reflection_1.isDynamicType)(rightTypeToTest) || (0, reflection_1.isObjectType)(rightTypeToTest)) {
             // operand is basically "any" type... ignore;
-            return;
         }
         else if ((0, reflection_1.isPrimitiveType)(rightType)) {
             const opResult = util_1.default.unaryOperatorResultType(unaryExpr.operator, rightTypeToTest);
@@ -491,7 +378,82 @@ class ScopeValidator {
             // rhs is not a primitive, so no binary operator is allowed
             this.addMultiScopeDiagnostic(Object.assign(Object.assign({}, DiagnosticMessages_1.DiagnosticMessages.operatorTypeMismatch(unaryExpr.operator.text, rightType.toString())), { range: unaryExpr.range, file: file }));
         }
-        this.event.scope.addDiagnostics(diagnostics);
+    }
+    validateVariableAndDottedGetExpressions(file, expression) {
+        var _a, _b;
+        if ((0, reflection_1.isDottedGetExpression)(expression.parent)) {
+            // We validate dottedGetExpressions at the top-most level
+            return;
+        }
+        if ((0, reflection_1.isVariableExpression)(expression)) {
+            if ((0, reflection_1.isAssignmentStatement)(expression.parent) && expression.parent.name === expression.name) {
+                // Don't validate LHS of assignments
+                return;
+            }
+            else if ((0, reflection_1.isNamespaceStatement)(expression.parent)) {
+                return;
+            }
+        }
+        let symbolType = SymbolTable_1.SymbolTypeFlag.runtime;
+        let oppositeSymbolType = SymbolTable_1.SymbolTypeFlag.typetime;
+        const isUsedAsType = util_1.default.isInTypeExpression(expression);
+        if (isUsedAsType) {
+            // This is used in a TypeExpression - only look up types from SymbolTable
+            symbolType = SymbolTable_1.SymbolTypeFlag.typetime;
+            oppositeSymbolType = SymbolTable_1.SymbolTypeFlag.runtime;
+        }
+        // Do a complete type check on all DottedGet and Variable expressions
+        // this will create a diagnostic if an invalid member is accessed
+        const typeChain = [];
+        const typeData = {};
+        let exprType = expression.getType({
+            flags: symbolType,
+            typeChain: typeChain,
+            data: typeData
+        });
+        const shouldIgnoreLHS = this.ignoreUnresolvedAssignmentLHS(expression, exprType, typeData === null || typeData === void 0 ? void 0 : typeData.definingNode);
+        if (!this.isTypeKnown(exprType) && !shouldIgnoreLHS) {
+            if ((_a = expression.getType({ flags: oppositeSymbolType })) === null || _a === void 0 ? void 0 : _a.isResolvable()) {
+                const oppoSiteTypeChain = [];
+                const invalidlyUsedResolvedType = expression.getType({ flags: oppositeSymbolType, typeChain: oppoSiteTypeChain });
+                const typeChainScan = util_1.default.processTypeChain(oppoSiteTypeChain);
+                if (isUsedAsType) {
+                    this.addMultiScopeDiagnostic(Object.assign(Object.assign({}, DiagnosticMessages_1.DiagnosticMessages.itemCannotBeUsedAsType(typeChainScan.fullChainName)), { range: expression.range, file: file }));
+                }
+                else {
+                    this.addMultiScopeDiagnostic(Object.assign(Object.assign({}, DiagnosticMessages_1.DiagnosticMessages.itemCannotBeUsedAsVariable(invalidlyUsedResolvedType.toString())), { range: expression.range, file: file }));
+                }
+            }
+            else {
+                const typeChainScan = util_1.default.processTypeChain(typeChain);
+                this.addMultiScopeDiagnostic(Object.assign(Object.assign({ file: file }, DiagnosticMessages_1.DiagnosticMessages.cannotFindName(typeChainScan.itemName, typeChainScan.fullNameOfItem)), { range: typeChainScan.range }));
+            }
+        }
+        if (isUsedAsType) {
+            return;
+        }
+        const lastTypeInfo = typeChain[typeChain.length - 1];
+        const parentTypeInfo = typeChain[typeChain.length - 2];
+        if ((0, reflection_1.isNamespaceType)(exprType)) {
+            this.addMultiScopeDiagnostic(Object.assign(Object.assign({}, DiagnosticMessages_1.DiagnosticMessages.itemCannotBeUsedAsVariable('namespace')), { range: expression.range, file: file }));
+        }
+        else if ((0, reflection_1.isEnumType)(exprType)) {
+            const enumStatement = this.event.scope.getEnum(util_1.default.getAllDottedGetPartsAsString(expression));
+            if (enumStatement) {
+                // there's an enum with this name
+                this.addMultiScopeDiagnostic(Object.assign(Object.assign({}, DiagnosticMessages_1.DiagnosticMessages.itemCannotBeUsedAsVariable('enum')), { range: expression.range, file: file }));
+            }
+        }
+        else if ((0, reflection_1.isDynamicType)(exprType) && (0, reflection_1.isEnumType)(parentTypeInfo === null || parentTypeInfo === void 0 ? void 0 : parentTypeInfo.type) && (0, reflection_1.isDottedGetExpression)(expression)) {
+            const enumFileLink = this.event.scope.getEnumFileLink(util_1.default.getAllDottedGetPartsAsString(expression.obj));
+            const typeChainScanForParent = util_1.default.processTypeChain(typeChain.slice(0, -1));
+            if (enumFileLink) {
+                this.addMultiScopeDiagnostic(Object.assign(Object.assign({ file: file }, DiagnosticMessages_1.DiagnosticMessages.unknownEnumValue(lastTypeInfo === null || lastTypeInfo === void 0 ? void 0 : lastTypeInfo.name, typeChainScanForParent.fullChainName)), { range: lastTypeInfo === null || lastTypeInfo === void 0 ? void 0 : lastTypeInfo.range, relatedInformation: [{
+                            message: 'Enum declared here',
+                            location: util_1.default.createLocation(vscode_uri_1.URI.file(enumFileLink === null || enumFileLink === void 0 ? void 0 : enumFileLink.file.srcPath).toString(), (_b = enumFileLink === null || enumFileLink === void 0 ? void 0 : enumFileLink.item) === null || _b === void 0 ? void 0 : _b.tokens.name.range)
+                        }] }));
+            }
+        }
     }
     /**
      * Adds a diagnostic to the first scope for this key. Prevents duplicate diagnostics
@@ -499,12 +461,26 @@ class ScopeValidator {
      */
     addDiagnosticOnce(diagnostic) {
         this.onceCache.getOrAdd(`${diagnostic.code}-${diagnostic.message}-${util_1.default.rangeToString(diagnostic.range)}`, () => {
-            this.event.scope.addDiagnostics([diagnostic]);
+            const diagnosticWithOrigin = Object.assign({}, diagnostic);
+            if (!diagnosticWithOrigin.origin) {
+                // diagnostic does not have origin.
+                // set the origin to the current astSegment
+                diagnosticWithOrigin.origin = interfaces_1.DiagnosticOrigin.ASTSegment;
+                diagnosticWithOrigin.astSegment = this.currentSegmentBeingValidated;
+            }
+            this.event.scope.addDiagnostics([diagnosticWithOrigin]);
             return true;
         });
     }
     addDiagnostic(diagnostic) {
-        this.event.scope.addDiagnostics([diagnostic]);
+        const diagnosticWithOrigin = Object.assign({}, diagnostic);
+        if (!diagnosticWithOrigin.origin) {
+            // diagnostic does not have origin.
+            // set the origin to the current astSegment
+            diagnosticWithOrigin.origin = interfaces_1.DiagnosticOrigin.ASTSegment;
+            diagnosticWithOrigin.astSegment = this.currentSegmentBeingValidated;
+        }
+        this.event.scope.addDiagnostics([diagnosticWithOrigin]);
     }
     /**
      * Add a diagnostic (to the first scope) that will have `relatedInformation` for each affected scope
@@ -515,8 +491,15 @@ class ScopeValidator {
             if (!diagnostic.relatedInformation) {
                 diagnostic.relatedInformation = [];
             }
-            this.addDiagnostic(diagnostic);
-            return diagnostic;
+            const diagnosticWithOrigin = Object.assign({}, diagnostic);
+            if (!diagnosticWithOrigin.origin) {
+                // diagnostic does not have origin.
+                // set the origin to the current astSegment
+                diagnosticWithOrigin.origin = interfaces_1.DiagnosticOrigin.ASTSegment;
+                diagnosticWithOrigin.astSegment = this.currentSegmentBeingValidated;
+            }
+            this.addDiagnostic(diagnosticWithOrigin);
+            return diagnosticWithOrigin;
         });
         if ((0, reflection_1.isXmlScope)(this.event.scope) && ((_b = this.event.scope.xmlFile) === null || _b === void 0 ? void 0 : _b.srcPath)) {
             diagnostic.relatedInformation.push({