Method doTypeAnalysis

server/src/analyzer/sourceFile.ts:386–417

(configOptions: ConfigOptions, importMap: ImportMap)

    }

    doTypeAnalysis(configOptions: ConfigOptions, importMap: ImportMap) {
        assert(!this.isParseRequired());
        assert(!this.isSemanticAnalysisRequired());
        assert(this.isTypeAnalysisRequired());
        assert(this._analysisJob.parseResults);
        assert(this._analysisJob.nextPhaseToRun === AnalysisPhase.TypeAnalysis);

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

        try {
            // Perform static type analysis.
            let typeAnalyzer = new TypeAnalyzer(this._analysisJob.parseResults!.parseTree,
                fileInfo, this._analysisJob.typeAnalysisPassNumber);
            this._analysisJob.typeAnalysisPassNumber++;

            timingStats.typeAnalyzerTime.timeOperation(() => {
                // Repeatedly call the analyzer until everything converges.
                this._analysisJob.isTypeAnalysisPassNeeded = typeAnalyzer.analyze();
                this._analysisJob.typeAnalysisLastPassDiagnostics = fileInfo.diagnosticSink.diagnostics;
            });
        } 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);
        }
    }

    // This method should be called once type analysis has completed for
    // this file and all of its dependent files.