Method doSemanticAnalysis

server/src/analyzer/sourceFile.ts:347–384

(configOptions: ConfigOptions, builtinsScope?: Scope)

    }

    doSemanticAnalysis(configOptions: ConfigOptions, builtinsScope?: Scope) {
        assert(!this.isParseRequired());
        assert(this.isSemanticAnalysisRequired());
        assert(this._analysisJob.parseResults);
        assert(this._analysisJob.nextPhaseToRun === AnalysisPhase.SemanticAnalysis);

        const fileInfo = this._buildFileInfo(configOptions, undefined, builtinsScope);

        try {
            this._cleanParseTreeIfRequired();

            // Perform semantic analysis.
            let scopeAnalyzer = new ModuleScopeAnalyzer(
                this._analysisJob.parseResults!.parseTree, fileInfo);
            timingStats.semanticAnalyzerTime.timeOperation(() => {
                scopeAnalyzer.analyze();
                this._analysisJob.semanticAnalysisDiagnostics = fileInfo.diagnosticSink.diagnostics;
                this._analysisJob.nextPhaseToRun = AnalysisPhase.TypeAnalysis;
                this._diagnosticVersion++;
            });

            // Prepare for the next stage of the analysis.
            this._analysisJob.typeAnalysisPassNumber = 1;
            this._analysisJob.isTypeAnalysisPassNeeded = true;
            this._analysisJob.isTypeAnalysisFinalized = false;
            this._analysisJob.nextPhaseToRun = AnalysisPhase.TypeAnalysis;
        } catch (e) {
            let message: string;
            if (e instanceof Error) {
                message = e.message;
            } else {
                message = JSON.stringify(e);
            }

            this._console.log(
                `An internal error occurred while analyzing ${ this.getFilePath() }: ` + message);
        }
    }

    doTypeAnalysis(configOptions: ConfigOptions, importMap: ImportMap) {
        assert(!this.isParseRequired());