/// <reference path="sys.ts" />

/// <reference path="emitter.ts" />

/// <reference path="core.ts" />

namespace ts {

const emptyArray: any[] = [];

export function findConfigFile(searchPath: string, fileExists: (fileName: string) => boolean, configName = "tsconfig.json"): string {

while (true) {

const fileName = combinePaths(searchPath, configName);

if (fileExists(fileName)) {

return fileName;

}

const parentPath = getDirectoryPath(searchPath);

if (parentPath === searchPath) {

break;

}

searchPath = parentPath;

}

return undefined;

}

export function resolveTripleslashReference(moduleName: string, containingFile: string): string {

const basePath = getDirectoryPath(containingFile);

const referencedFileName = isRootedDiskPath(moduleName) ? moduleName : combinePaths(basePath, moduleName);

return normalizePath(referencedFileName);

}

/* @internal */

export function computeCommonSourceDirectoryOfFilenames(fileNames: string[], currentDirectory: string, getCanonicalFileName: (fileName: string) => string): string {

let commonPathComponents: string[];

const failed = forEach(fileNames, sourceFile => {

// Each file contributes into common source file path

const sourcePathComponents = getNormalizedPathComponents(sourceFile, currentDirectory);

sourcePathComponents.pop(); // The base file name is not part of the common directory path

if (!commonPathComponents) {

// first file

commonPathComponents = sourcePathComponents;

return;

}

const n = Math.min(commonPathComponents.length, sourcePathComponents.length);

for (let i = 0; i < n; i++) {

if (getCanonicalFileName(commonPathComponents[i]) !== getCanonicalFileName(sourcePathComponents[i])) {

if (i === 0) {

// Failed to find any common path component

return true;

}

// New common path found that is 0 -> i-1

commonPathComponents.length = i;

break;

}

}

// If the sourcePathComponents was shorter than the commonPathComponents, truncate to the sourcePathComponents

if (sourcePathComponents.length < commonPathComponents.length) {

commonPathComponents.length = sourcePathComponents.length;

}

});

// A common path can not be found when paths span multiple drives on windows, for example

if (failed) {

return "";

}

if (!commonPathComponents) { // Can happen when all input files are .d.ts files

return currentDirectory;

}

return getNormalizedPathFromPathComponents(commonPathComponents);

}

interface OutputFingerprint {

hash: string;

byteOrderMark: boolean;

mtime: Date;

}

export function createCompilerHost(options: CompilerOptions, setParentNodes?: boolean): CompilerHost {

const existingDirectories = createMap<boolean>();

function getCanonicalFileName(fileName: string): string {

// if underlying system can distinguish between two files whose names differs only in cases then file name already in canonical form.

// otherwise use toLowerCase as a canonical form.

return sys.useCaseSensitiveFileNames ? fileName : fileName.toLowerCase();

}

function getSourceFile(fileName: string, languageVersion: ScriptTarget, onError?: (message: string) => void): SourceFile {

let text: string;

try {

performance.mark("beforeIORead");

text = sys.readFile(fileName, options.charset);

performance.mark("afterIORead");

performance.measure("I/O Read", "beforeIORead", "afterIORead");

}

catch (e) {

if (onError) {

onError(e.message);

}

text = "";

}

return text !== undefined ? createSourceFile(fileName, text, languageVersion, setParentNodes) : undefined;

}

function directoryExists(directoryPath: string): boolean {

if (existingDirectories.has(directoryPath)) {

return true;

}

if (sys.directoryExists(directoryPath)) {

existingDirectories.set(directoryPath, true);

return true;

}

return false;

}

function ensureDirectoriesExist(directoryPath: string) {

if (directoryPath.length > getRootLength(directoryPath) && !directoryExists(directoryPath)) {

const parentDirectory = getDirectoryPath(directoryPath);

ensureDirectoriesExist(parentDirectory);

sys.createDirectory(directoryPath);

}

}

let outputFingerprints: Map<OutputFingerprint>;

function writeFileIfUpdated(fileName: string, data: string, writeByteOrderMark: boolean): void {

if (!outputFingerprints) {

outputFingerprints = createMap<OutputFingerprint>();

}

const hash = sys.createHash(data);

const mtimeBefore = sys.getModifiedTime(fileName);

if (mtimeBefore) {

const fingerprint = outputFingerprints.get(fileName);

// If output has not been changed, and the file has no external modification

if (fingerprint &&

fingerprint.byteOrderMark === writeByteOrderMark &&

fingerprint.hash === hash &&

fingerprint.mtime.getTime() === mtimeBefore.getTime()) {

return;

}

}

sys.writeFile(fileName, data, writeByteOrderMark);

const mtimeAfter = sys.getModifiedTime(fileName);

outputFingerprints.set(fileName, {

hash,

byteOrderMark: writeByteOrderMark,

mtime: mtimeAfter

});

}

function writeFile(fileName: string, data: string, writeByteOrderMark: boolean, onError?: (message: string) => void) {

try {

performance.mark("beforeIOWrite");

ensureDirectoriesExist(getDirectoryPath(normalizePath(fileName)));

if (isWatchSet(options) && sys.createHash && sys.getModifiedTime) {

writeFileIfUpdated(fileName, data, writeByteOrderMark);

}

else {

sys.writeFile(fileName, data, writeByteOrderMark);

}

performance.mark("afterIOWrite");

performance.measure("I/O Write", "beforeIOWrite", "afterIOWrite");

}

catch (e) {

if (onError) {

onError(e.message);

}

}

}

function getDefaultLibLocation(): string {

return getDirectoryPath(normalizePath(sys.getExecutingFilePath()));

}

const newLine = getNewLineCharacter(options);

const realpath = sys.realpath && ((path: string) => sys.realpath(path));

return {

getSourceFile,

getDefaultLibLocation,

getDefaultLibFileName: options => combinePaths(getDefaultLibLocation(), getDefaultLibFileName(options)),

writeFile,

getCurrentDirectory: memoize(() => sys.getCurrentDirectory()),

useCaseSensitiveFileNames: () => sys.useCaseSensitiveFileNames,

getCanonicalFileName,

getNewLine: () => newLine,

fileExists: fileName => sys.fileExists(fileName),

readFile: fileName => sys.readFile(fileName),

trace: (s: string) => sys.write(s + newLine),

directoryExists: directoryName => sys.directoryExists(directoryName),

getEnvironmentVariable: name => sys.getEnvironmentVariable ? sys.getEnvironmentVariable(name) : "",

getDirectories: (path: string) => sys.getDirectories(path),

realpath

};

}

export function getPreEmitDiagnostics(program: Program, sourceFile?: SourceFile, cancellationToken?: CancellationToken): Diagnostic[] {

let diagnostics = program.getOptionsDiagnostics(cancellationToken).concat(

program.getSyntacticDiagnostics(sourceFile, cancellationToken),

program.getGlobalDiagnostics(cancellationToken),

program.getSemanticDiagnostics(sourceFile, cancellationToken));

if (program.getCompilerOptions().declaration) {

diagnostics = diagnostics.concat(program.getDeclarationDiagnostics(sourceFile, cancellationToken));

}

return sortAndDeduplicateDiagnostics(diagnostics);

}

export interface FormatDiagnosticsHost {

getCurrentDirectory(): string;

getCanonicalFileName(fileName: string): string;

getNewLine(): string;

}

export function formatDiagnostics(diagnostics: Diagnostic[], host: FormatDiagnosticsHost): string {

let output = "";

for (const diagnostic of diagnostics) {

if (diagnostic.file) {

const { line, character } = getLineAndCharacterOfPosition(diagnostic.file, diagnostic.start);

const fileName = diagnostic.file.fileName;

const relativeFileName = convertToRelativePath(fileName, host.getCurrentDirectory(), fileName => host.getCanonicalFileName(fileName));

output += `${relativeFileName}(${line + 1},${character + 1}): `;

}

const category = DiagnosticCategory[diagnostic.category].toLowerCase();

output += `${category} TS${diagnostic.code}: ${flattenDiagnosticMessageText(diagnostic.messageText, host.getNewLine())}${host.getNewLine()}`;

}

return output;

}

export function flattenDiagnosticMessageText(messageText: string | DiagnosticMessageChain, newLine: string): string {

if (typeof messageText === "string") {

return messageText;

}

else {

let diagnosticChain = messageText;

let result = "";

let indent = 0;

while (diagnosticChain) {

if (indent) {

result += newLine;

for (let i = 0; i < indent; i++) {

result += " ";

}

}

result += diagnosticChain.messageText;

indent++;

diagnosticChain = diagnosticChain.next;

}

return result;

}

}

function loadWithLocalCache<T>(names: string[], containingFile: string, loader: (name: string, containingFile: string) => T): T[] {

if (names.length === 0) {

return [];

}

const resolutions: T[] = [];

const cache = createMap<T>();

for (const name of names) {

let result: T;

if (cache.has(name)) {

result = cache.get(name);

}

else {

cache.set(name, result = loader(name, containingFile));

}

resolutions.push(result);

}

return resolutions;

}

interface DiagnosticCache {

perFile?: FileMap<Diagnostic[]>;

allDiagnostics?: Diagnostic[];

}

export function createProgram(rootNames: string[], options: CompilerOptions, host?: CompilerHost, oldProgram?: Program): Program {

let program: Program;

let files: SourceFile[] = [];

let commonSourceDirectory: string;

let diagnosticsProducingTypeChecker: TypeChecker;

let noDiagnosticsTypeChecker: TypeChecker;

let classifiableNames: Map<string>;

let cachedSemanticDiagnosticsForFile: DiagnosticCache = {};

let cachedDeclarationDiagnosticsForFile: DiagnosticCache = {};

let resolvedTypeReferenceDirectives = createMap<ResolvedTypeReferenceDirective>();

let fileProcessingDiagnostics = createDiagnosticCollection();

// The below settings are to track if a .js file should be add to the program if loaded via searching under node_modules.

// This works as imported modules are discovered recursively in a depth first manner, specifically:

// - For each root file, findSourceFile is called.

// - This calls processImportedModules for each module imported in the source file.

// - This calls resolveModuleNames, and then calls findSourceFile for each resolved module.

// As all these operations happen - and are nested - within the createProgram call, they close over the below variables.

// The current resolution depth is tracked by incrementing/decrementing as the depth first search progresses.

const maxNodeModuleJsDepth = typeof options.maxNodeModuleJsDepth === "number" ? options.maxNodeModuleJsDepth : 0;

let currentNodeModulesDepth = 0;

// If a module has some of its imports skipped due to being at the depth limit under node_modules, then track

// this, as it may be imported at a shallower depth later, and then it will need its skipped imports processed.

const modulesWithElidedImports = createMap<boolean>();

// Track source files that are source files found by searching under node_modules, as these shouldn't be compiled.

const sourceFilesFoundSearchingNodeModules = createMap<boolean>();

performance.mark("beforeProgram");

host = host || createCompilerHost(options);

let skipDefaultLib = options.noLib;

const programDiagnostics = createDiagnosticCollection();

const currentDirectory = host.getCurrentDirectory();

const supportedExtensions = getSupportedExtensions(options);

// Map storing if there is emit blocking diagnostics for given input

const hasEmitBlockingDiagnostics = createFileMap<boolean>(getCanonicalFileName);

let moduleResolutionCache: ModuleResolutionCache;

let resolveModuleNamesWorker: (moduleNames: string[], containingFile: string) => ResolvedModuleFull[];

if (host.resolveModuleNames) {

resolveModuleNamesWorker = (moduleNames, containingFile) => host.resolveModuleNames(moduleNames, containingFile).map(resolved => {

// An older host may have omitted extension, in which case we should infer it from the file extension of resolvedFileName.

if (!resolved || (resolved as ResolvedModuleFull).extension !== undefined) {

return resolved as ResolvedModuleFull;

}

const withExtension = clone(resolved) as ResolvedModuleFull;

withExtension.extension = extensionFromPath(resolved.resolvedFileName);

return withExtension;

});

}

else {

moduleResolutionCache = createModuleResolutionCache(currentDirectory, x => host.getCanonicalFileName(x));

const loader = (moduleName: string, containingFile: string) => resolveModuleName(moduleName, containingFile, options, host, moduleResolutionCache).resolvedModule;

resolveModuleNamesWorker = (moduleNames, containingFile) => loadWithLocalCache(moduleNames, containingFile, loader);

}

let resolveTypeReferenceDirectiveNamesWorker: (typeDirectiveNames: string[], containingFile: string) => ResolvedTypeReferenceDirective[];

if (host.resolveTypeReferenceDirectives) {

resolveTypeReferenceDirectiveNamesWorker = (typeDirectiveNames, containingFile) => host.resolveTypeReferenceDirectives(typeDirectiveNames, containingFile);

}

else {

const loader = (typesRef: string, containingFile: string) => resolveTypeReferenceDirective(typesRef, containingFile, options, host).resolvedTypeReferenceDirective;

resolveTypeReferenceDirectiveNamesWorker = (typeReferenceDirectiveNames, containingFile) => loadWithLocalCache(typeReferenceDirectiveNames, containingFile, loader);

}

const filesByName = createFileMap<SourceFile>();

// stores 'filename -> file association' ignoring case

// used to track cases when two file names differ only in casing

const filesByNameIgnoreCase = host.useCaseSensitiveFileNames() ? createFileMap<SourceFile>(fileName => fileName.toLowerCase()) : undefined;

if (!tryReuseStructureFromOldProgram()) {

forEach(rootNames, name => processRootFile(name, /*isDefaultLib*/ false));

// load type declarations specified via 'types' argument or implicitly from types/ and node_modules/@types folders

const typeReferences: string[] = getAutomaticTypeDirectiveNames(options, host);

if (typeReferences.length) {

// This containingFilename needs to match with the one used in managed-side

const containingDirectory = options.configFilePath ? getDirectoryPath(options.configFilePath) : host.getCurrentDirectory();

const containingFilename = combinePaths(containingDirectory, "__inferred type names__.ts");

const resolutions = resolveTypeReferenceDirectiveNamesWorker(typeReferences, containingFilename);

for (let i = 0; i < typeReferences.length; i++) {

processTypeReferenceDirective(typeReferences[i], resolutions[i]);

}

}

// Do not process the default library if:

// - The '--noLib' flag is used.

// - A 'no-default-lib' reference comment is encountered in

// processing the root files.

if (!skipDefaultLib) {

// If '--lib' is not specified, include default library file according to '--target'

// otherwise, using options specified in '--lib' instead of '--target' default library file

if (!options.lib) {

processRootFile(host.getDefaultLibFileName(options), /*isDefaultLib*/ true);

}

else {

const libDirectory = host.getDefaultLibLocation ? host.getDefaultLibLocation() : getDirectoryPath(host.getDefaultLibFileName(options));

forEach(options.lib, libFileName => {

processRootFile(combinePaths(libDirectory, libFileName), /*isDefaultLib*/ true);

});

}

}

}

// unconditionally set moduleResolutionCache to undefined to avoid unnecessary leaks

moduleResolutionCache = undefined;

// unconditionally set oldProgram to undefined to prevent it from being captured in closure

oldProgram = undefined;

program = {

getRootFileNames: () => rootNames,

getSourceFile,

getSourceFileByPath,

getSourceFiles: () => files,

getCompilerOptions: () => options,

getSyntacticDiagnostics,

getOptionsDiagnostics,

getGlobalDiagnostics,

getSemanticDiagnostics,

getDeclarationDiagnostics,

getTypeChecker,

getClassifiableNames,

getDiagnosticsProducingTypeChecker,

getCommonSourceDirectory,

emit,

getCurrentDirectory: () => currentDirectory,

getNodeCount: () => getDiagnosticsProducingTypeChecker().getNodeCount(),

getIdentifierCount: () => getDiagnosticsProducingTypeChecker().getIdentifierCount(),

getSymbolCount: () => getDiagnosticsProducingTypeChecker().getSymbolCount(),

getTypeCount: () => getDiagnosticsProducingTypeChecker().getTypeCount(),

getFileProcessingDiagnostics: () => fileProcessingDiagnostics,

getResolvedTypeReferenceDirectives: () => resolvedTypeReferenceDirectives,

isSourceFileFromExternalLibrary,

dropDiagnosticsProducingTypeChecker

};

verifyCompilerOptions();

performance.mark("afterProgram");

performance.measure("Program", "beforeProgram", "afterProgram");

return program;

function getCommonSourceDirectory() {

if (commonSourceDirectory === undefined) {

const emittedFiles = filter(files, file => sourceFileMayBeEmitted(file, options, isSourceFileFromExternalLibrary));

if (options.rootDir && checkSourceFilesBelongToPath(emittedFiles, options.rootDir)) {

// If a rootDir is specified and is valid use it as the commonSourceDirectory

commonSourceDirectory = getNormalizedAbsolutePath(options.rootDir, currentDirectory);

}

else {

commonSourceDirectory = computeCommonSourceDirectory(emittedFiles);

}

if (commonSourceDirectory && commonSourceDirectory[commonSourceDirectory.length - 1] !== directorySeparator) {

// Make sure directory path ends with directory separator so this string can directly

// used to replace with "" to get the relative path of the source file and the relative path doesn't

// start with / making it rooted path

commonSourceDirectory += directorySeparator;

}

}

return commonSourceDirectory;

}

function getClassifiableNames() {

if (!classifiableNames) {

// Initialize a checker so that all our files are bound.

getTypeChecker();

classifiableNames = createMap<string>();

for (const sourceFile of files) {

copyEntries(sourceFile.classifiableNames, classifiableNames);

}

}

return classifiableNames;

}

interface OldProgramState {

program: Program;

file: SourceFile;

modifiedFilePaths: Path[];

}

function resolveModuleNamesReusingOldState(moduleNames: string[], containingFile: string, file: SourceFile, oldProgramState?: OldProgramState) {

if (!oldProgramState && !file.ambientModuleNames.length) {

// if old program state is not supplied and file does not contain locally defined ambient modules

// then the best we can do is fallback to the default logic

return resolveModuleNamesWorker(moduleNames, containingFile);

}

// at this point we know that either

// - file has local declarations for ambient modules

// OR

// - old program state is available

// OR

// - both of items above

// With this it is possible that we can tell how some module names from the initial list will be resolved

// without doing actual resolution (in particular if some name was resolved to ambient module).

// Such names should be excluded from the list of module names that will be provided to `resolveModuleNamesWorker`

// since we don't want to resolve them again.

// this is a list of modules for which we cannot predict resolution so they should be actually resolved

let unknownModuleNames: string[];

// this is a list of combined results assembles from predicted and resolved results.

// Order in this list matches the order in the original list of module names `moduleNames` which is important

// so later we can split results to resolutions of modules and resolutions of module augmentations.

let result: ResolvedModuleFull[];

// a transient placeholder that is used to mark predicted resolution in the result list

const predictedToResolveToAmbientModuleMarker: ResolvedModuleFull = <any>{};

for (let i = 0; i < moduleNames.length; i++) {

const moduleName = moduleNames[i];

// module name is known to be resolved to ambient module if

// - module name is contained in the list of ambient modules that are locally declared in the file

// - in the old program module name was resolved to ambient module whose declaration is in non-modified file

// (so the same module declaration will land in the new program)

let isKnownToResolveToAmbientModule = false;

if (contains(file.ambientModuleNames, moduleName)) {

isKnownToResolveToAmbientModule = true;

if (isTraceEnabled(options, host)) {

trace(host, Diagnostics.Module_0_was_resolved_as_locally_declared_ambient_module_in_file_1, moduleName, containingFile);

}

}

else {

isKnownToResolveToAmbientModule = checkModuleNameResolvedToAmbientModuleInNonModifiedFile(moduleName, oldProgramState);

}

if (isKnownToResolveToAmbientModule) {

if (!unknownModuleNames) {

// found a first module name for which result can be prediced

// this means that this module name should not be passed to `resolveModuleNamesWorker`.

// We'll use a separate list for module names that are definitely unknown.

result = new Array(moduleNames.length);

// copy all module names that appear before the current one in the list

// since they are known to be unknown

unknownModuleNames = moduleNames.slice(0, i);

}

// mark prediced resolution in the result list

result[i] = predictedToResolveToAmbientModuleMarker;

}

else if (unknownModuleNames) {

// found unknown module name and we are already using separate list for those - add it to the list

unknownModuleNames.push(moduleName);

}

}

if (!unknownModuleNames) {

// we've looked throught the list but have not seen any predicted resolution

// use default logic

return resolveModuleNamesWorker(moduleNames, containingFile);

}

const resolutions = unknownModuleNames.length

? resolveModuleNamesWorker(unknownModuleNames, containingFile)

: emptyArray;

// combine results of resolutions and predicted results

let j = 0;

for (let i = 0; i < result.length; i++) {

if (result[i] == predictedToResolveToAmbientModuleMarker) {

result[i] = undefined;

}

else {

result[i] = resolutions[j];

j++;

}

}

Debug.assert(j === resolutions.length);

return result;

function checkModuleNameResolvedToAmbientModuleInNonModifiedFile(moduleName: string, oldProgramState?: OldProgramState): boolean {

if (!oldProgramState) {

return false;

}

const resolutionToFile = getResolvedModule(oldProgramState.file, moduleName);

if (resolutionToFile) {

// module used to be resolved to file - ignore it

return false;

}

const ambientModule = oldProgram.getTypeChecker().tryFindAmbientModuleWithoutAugmentations(moduleName);

if (!(ambientModule && ambientModule.declarations)) {

return false;

}

// at least one of declarations should come from non-modified source file

const firstUnmodifiedFile = forEach(ambientModule.declarations, d => {

const f = getSourceFileOfNode(d);

return !contains(oldProgramState.modifiedFilePaths, f.path) && f;

});

if (!firstUnmodifiedFile) {

return false;

}

if (isTraceEnabled(options, host)) {

trace(host, Diagnostics.Module_0_was_resolved_as_ambient_module_declared_in_1_since_this_file_was_not_modified, moduleName, firstUnmodifiedFile.fileName);

}

return true;

}

}

function tryReuseStructureFromOldProgram(): boolean {

if (!oldProgram) {

return false;

}

// check properties that can affect structure of the program or module resolution strategy

// if any of these properties has changed - structure cannot be reused

const oldOptions = oldProgram.getCompilerOptions();

if (changesAffectModuleResolution(oldOptions, options)) {

return false;

}

Debug.assert(!oldProgram.structureIsReused);

// there is an old program, check if we can reuse its structure

const oldRootNames = oldProgram.getRootFileNames();

if (!arrayIsEqualTo(oldRootNames, rootNames)) {

return false;

}

if (!arrayIsEqualTo(options.types, oldOptions.types)) {

return false;

}

// check if program source files has changed in the way that can affect structure of the program

const newSourceFiles: SourceFile[] = [];

const filePaths: Path[] = [];

const modifiedSourceFiles: { oldFile: SourceFile, newFile: SourceFile }[] = [];

for (const oldSourceFile of oldProgram.getSourceFiles()) {

let newSourceFile = host.getSourceFileByPath

? host.getSourceFileByPath(oldSourceFile.fileName, oldSourceFile.path, options.target)

: host.getSourceFile(oldSourceFile.fileName, options.target);

if (!newSourceFile) {

return false;

}

newSourceFile.path = oldSourceFile.path;

filePaths.push(newSourceFile.path);

if (oldSourceFile !== newSourceFile) {

if (oldSourceFile.hasNoDefaultLib !== newSourceFile.hasNoDefaultLib) {

// value of no-default-lib has changed

// this will affect if default library is injected into the list of files

return false;

}

// check tripleslash references

if (!arrayIsEqualTo(oldSourceFile.referencedFiles, newSourceFile.referencedFiles, fileReferenceIsEqualTo)) {

// tripleslash references has changed

return false;

}

// check imports and module augmentations

collectExternalModuleReferences(newSourceFile);

if (!arrayIsEqualTo(oldSourceFile.imports, newSourceFile.imports, moduleNameIsEqualTo)) {

// imports has changed

return false;

}

if (!arrayIsEqualTo(oldSourceFile.moduleAugmentations, newSourceFile.moduleAugmentations, moduleNameIsEqualTo)) {

// moduleAugmentations has changed

return false;

}

if (!arrayIsEqualTo(oldSourceFile.typeReferenceDirectives, newSourceFile.typeReferenceDirectives, fileReferenceIsEqualTo)) {

// 'types' references has changed

return false;

}

// tentatively approve the file

modifiedSourceFiles.push({ oldFile: oldSourceFile, newFile: newSourceFile });

}

else {

// file has no changes - use it as is

newSourceFile = oldSourceFile;

}

// if file has passed all checks it should be safe to reuse it

newSourceFiles.push(newSourceFile);

}

const modifiedFilePaths = modifiedSourceFiles.map(f => f.newFile.path);

// try to verify results of module resolution

for (const { oldFile: oldSourceFile, newFile: newSourceFile } of modifiedSourceFiles) {

const newSourceFilePath = getNormalizedAbsolutePath(newSourceFile.fileName, currentDirectory);

if (resolveModuleNamesWorker) {

const moduleNames = map(concatenate(newSourceFile.imports, newSourceFile.moduleAugmentations), getTextOfLiteral);

const resolutions = resolveModuleNamesReusingOldState(moduleNames, newSourceFilePath, newSourceFile, { file: oldSourceFile, program: oldProgram, modifiedFilePaths });

// ensure that module resolution results are still correct

const resolutionsChanged = hasChangesInResolutions(moduleNames, resolutions, oldSourceFile.resolvedModules, moduleResolutionIsEqualTo);

if (resolutionsChanged) {

return false;

}

}

if (resolveTypeReferenceDirectiveNamesWorker) {

const typesReferenceDirectives = map(newSourceFile.typeReferenceDirectives, x => x.fileName);

const resolutions = resolveTypeReferenceDirectiveNamesWorker(typesReferenceDirectives, newSourceFilePath);

// ensure that types resolutions are still correct

const resolutionsChanged = hasChangesInResolutions(typesReferenceDirectives, resolutions, oldSourceFile.resolvedTypeReferenceDirectiveNames, typeDirectiveIsEqualTo);

if (resolutionsChanged) {

return false;

}

}

// pass the cache of module/types resolutions from the old source file

newSourceFile.resolvedModules = oldSourceFile.resolvedModules;

newSourceFile.resolvedTypeReferenceDirectiveNames = oldSourceFile.resolvedTypeReferenceDirectiveNames;

}

// update fileName -> file mapping

for (let i = 0; i < newSourceFiles.length; i++) {

filesByName.set(filePaths[i], newSourceFiles[i]);

}

files = newSourceFiles;

fileProcessingDiagnostics = oldProgram.getFileProcessingDiagnostics();

for (const modifiedFile of modifiedSourceFiles) {

fileProcessingDiagnostics.reattachFileDiagnostics(modifiedFile.newFile);

}

resolvedTypeReferenceDirectives = oldProgram.getResolvedTypeReferenceDirectives();

oldProgram.structureIsReused = true;

return true;

}

function getEmitHost(writeFileCallback?: WriteFileCallback): EmitHost {

return {

getCanonicalFileName,

getCommonSourceDirectory: program.getCommonSourceDirectory,

getCompilerOptions: program.getCompilerOptions,

getCurrentDirectory: () => currentDirectory,

getNewLine: () => host.getNewLine(),

getSourceFile: program.getSourceFile,

getSourceFileByPath: program.getSourceFileByPath,

getSourceFiles: program.getSourceFiles,

isSourceFileFromExternalLibrary,

writeFile: writeFileCallback || (

(fileName, data, writeByteOrderMark, onError, sourceFiles) => host.writeFile(fileName, data, writeByteOrderMark, onError, sourceFiles)),

isEmitBlocked,

};

}

function isSourceFileFromExternalLibrary(file: SourceFile): boolean {

return sourceFilesFoundSearchingNodeModules.get(file.path);

}

function getDiagnosticsProducingTypeChecker() {

return diagnosticsProducingTypeChecker || (diagnosticsProducingTypeChecker = createTypeChecker(program, /*produceDiagnostics:*/ true));

}

function dropDiagnosticsProducingTypeChecker() {

diagnosticsProducingTypeChecker = undefined;

}

function getTypeChecker() {

return noDiagnosticsTypeChecker || (noDiagnosticsTypeChecker = createTypeChecker(program, /*produceDiagnostics:*/ false));

}

function emit(sourceFile?: SourceFile, writeFileCallback?: WriteFileCallback, cancellationToken?: CancellationToken, emitOnlyDtsFiles?: boolean, transformers?: CustomTransformers): EmitResult {

return runWithCancellationToken(() => emitWorker(program, sourceFile, writeFileCallback, cancellationToken, emitOnlyDtsFiles, transformers));

}

function isEmitBlocked(emitFileName: string): boolean {

return hasEmitBlockingDiagnostics.contains(toPath(emitFileName, currentDirectory, getCanonicalFileName));

}

function emitWorker(program: Program, sourceFile: SourceFile, writeFileCallback: WriteFileCallback, cancellationToken: CancellationToken, emitOnlyDtsFiles?: boolean, customTransformers?: CustomTransformers): EmitResult {

let declarationDiagnostics: Diagnostic[] = [];

if (options.noEmit) {

return { diagnostics: declarationDiagnostics, sourceMaps: undefined, emittedFiles: undefined, emitSkipped: true };

}

// If the noEmitOnError flag is set, then check if we have any errors so far. If so,

// immediately bail out. Note that we pass 'undefined' for 'sourceFile' so that we

// get any preEmit diagnostics, not just the ones

if (options.noEmitOnError) {

const diagnostics = program.getOptionsDiagnostics(cancellationToken).concat(

program.getSyntacticDiagnostics(sourceFile, cancellationToken),

program.getGlobalDiagnostics(cancellationToken),

program.getSemanticDiagnostics(sourceFile, cancellationToken));

if (diagnostics.length === 0 && program.getCompilerOptions().declaration) {

declarationDiagnostics = program.getDeclarationDiagnostics(/*sourceFile*/ undefined, cancellationToken);

}

if (diagnostics.length > 0 || declarationDiagnostics.length > 0) {

return {

diagnostics: concatenate(diagnostics, declarationDiagnostics),

sourceMaps: undefined,

emittedFiles: undefined,

emitSkipped: true

};

}

}

// Create the emit resolver outside of the "emitTime" tracking code below. That way

// any cost associated with it (like type checking) are appropriate associated with

// the type-checking counter.

//

// If the -out option is specified, we should not pass the source file to getEmitResolver.

// This is because in the -out scenario all files need to be emitted, and therefore all

// files need to be type checked. And the way to specify that all files need to be type

// checked is to not pass the file to getEmitResolver.

const emitResolver = getDiagnosticsProducingTypeChecker().getEmitResolver((options.outFile || options.out) ? undefined : sourceFile);

performance.mark("beforeEmit");

const transformers = emitOnlyDtsFiles ? [] : getTransformers(options, customTransformers);

const emitResult = emitFiles(

emitResolver,

getEmitHost(writeFileCallback),

sourceFile,

emitOnlyDtsFiles,

transformers);

performance.mark("afterEmit");

performance.measure("Emit", "beforeEmit", "afterEmit");

return emitResult;

}

function getSourceFile(fileName: string): SourceFile {

return getSourceFileByPath(toPath(fileName, currentDirectory, getCanonicalFileName));

}

function getSourceFileByPath(path: Path): SourceFile {

return filesByName.get(path);

}

function getDiagnosticsHelper(

sourceFile: SourceFile,

getDiagnostics: (sourceFile: SourceFile, cancellationToken: CancellationToken) => Diagnostic[],

cancellationToken: CancellationToken): Diagnostic[] {

if (sourceFile) {

return getDiagnostics(sourceFile, cancellationToken);

}

const allDiagnostics: Diagnostic[] = [];

forEach(program.getSourceFiles(), sourceFile => {

if (cancellationToken) {

cancellationToken.throwIfCancellationRequested();

}

addRange(allDiagnostics, getDiagnostics(sourceFile, cancellationToken));

});

return sortAndDeduplicateDiagnostics(allDiagnostics);

}

function getSyntacticDiagnostics(sourceFile: SourceFile, cancellationToken: CancellationToken): Diagnostic[] {

return getDiagnosticsHelper(sourceFile, getSyntacticDiagnosticsForFile, cancellationToken);

}

function getSemanticDiagnostics(sourceFile: SourceFile, cancellationToken: CancellationToken): Diagnostic[] {

return getDiagnosticsHelper(sourceFile, getSemanticDiagnosticsForFile, cancellationToken);

}

function getDeclarationDiagnostics(sourceFile: SourceFile, cancellationToken: CancellationToken): Diagnostic[] {

const options = program.getCompilerOptions();

// collect diagnostics from the program only once if either no source file was specified or out/outFile is set (bundled emit)

if (!sourceFile || options.out || options.outFile) {

return getDeclarationDiagnosticsWorker(sourceFile, cancellationToken);

}

else {

return getDiagnosticsHelper(sourceFile, getDeclarationDiagnosticsForFile, cancellationToken);

}

}

function getSyntacticDiagnosticsForFile(sourceFile: SourceFile): Diagnostic[] {

// For JavaScript files, we report semantic errors for using TypeScript-only

// constructs from within a JavaScript file as syntactic errors.

if (isSourceFileJavaScript(sourceFile)) {

if (!sourceFile.additionalSyntacticDiagnostics) {

sourceFile.additionalSyntacticDiagnostics = getJavaScriptSyntacticDiagnosticsForFile(sourceFile);

}

return concatenate(sourceFile.additionalSyntacticDiagnostics, sourceFile.parseDiagnostics);

}

return sourceFile.parseDiagnostics;

}

function runWithCancellationToken<T>(func: () => T): T {

try {

return func();

}

catch (e) {

if (e instanceof OperationCanceledException) {

// We were canceled while performing the operation. Because our type checker

// might be a bad state, we need to throw it away.

//

// Note: we are overly aggressive here. We do not actually *have* to throw away

// the "noDiagnosticsTypeChecker". However, for simplicity, i'd like to keep

// the lifetimes of these two TypeCheckers the same. Also, we generally only

// cancel when the user has made a change anyways. And, in that case, we (the

// program instance) will get thrown away anyways. So trying to keep one of

// these type checkers alive doesn't serve much purpose.

noDiagnosticsTypeChecker = undefined;

diagnosticsProducingTypeChecker = undefined;

}

throw e;

}

}

function getSemanticDiagnosticsForFile(sourceFile: SourceFile, cancellationToken: CancellationToken): Diagnostic[] {

return getAndCacheDiagnostics(sourceFile, cancellationToken, cachedSemanticDiagnosticsForFile, getSemanticDiagnosticsForFileNoCache);

}

function getSemanticDiagnosticsForFileNoCache(sourceFile: SourceFile, cancellationToken: CancellationToken): Diagnostic[] {

return runWithCancellationToken(() => {

const typeChecker = getDiagnosticsProducingTypeChecker();

Debug.assert(!!sourceFile.bindDiagnostics);

const bindDiagnostics = sourceFile.bindDiagnostics;

// For JavaScript files, we don't want to report semantic errors.

// Instead, we'll report errors for using TypeScript-only constructs from within a

// JavaScript file when we get syntactic diagnostics for the file.

const checkDiagnostics = isSourceFileJavaScript(sourceFile) ? [] : typeChecker.getDiagnostics(sourceFile, cancellationToken);

const fileProcessingDiagnosticsInFile = fileProcessingDiagnostics.getDiagnostics(sourceFile.fileName);

const programDiagnosticsInFile = programDiagnostics.getDiagnostics(sourceFile.fileName);

return bindDiagnostics.concat(checkDiagnostics, fileProcessingDiagnosticsInFile, programDiagnosticsInFile);

});

}

function getJavaScriptSyntacticDiagnosticsForFile(sourceFile: SourceFile): Diagnostic[] {

return runWithCancellationToken(() => {

const diagnostics: Diagnostic[] = [];

let parent: Node = sourceFile;

walk(sourceFile);

return diagnostics;

function walk(node: Node) {

// Return directly from the case if the given node doesnt want to visit each child

// Otherwise break to visit each child

switch (parent.kind) {

case SyntaxKind.Parameter:

case SyntaxKind.PropertyDeclaration:

if ((<ParameterDeclaration | PropertyDeclaration>parent).questionToken === node) {

diagnostics.push(createDiagnosticForNode(node, Diagnostics._0_can_only_be_used_in_a_ts_file, "?"));

return;

}

// Pass through

case SyntaxKind.MethodDeclaration:

case SyntaxKind.MethodSignature:

case SyntaxKind.Constructor:

case SyntaxKind.GetAccessor:

case SyntaxKind.SetAccessor:

case SyntaxKind.FunctionExpression:

case SyntaxKind.FunctionDeclaration:

case SyntaxKind.ArrowFunction:

case SyntaxKind.FunctionDeclaration:

case SyntaxKind.VariableDeclaration:

// type annotation

if ((<FunctionLikeDeclaration | VariableDeclaration | ParameterDeclaration | PropertyDeclaration>parent).type === node) {

diagnostics.push(createDiagnosticForNode(node, Diagnostics.types_can_only_be_used_in_a_ts_file));

return;

}

}

switch (node.kind) {

case SyntaxKind.ImportEqualsDeclaration:

diagnostics.push(createDiagnosticForNode(node, Diagnostics.import_can_only_be_used_in_a_ts_file));

return;

case SyntaxKind.ExportAssignment:

if ((<ExportAssignment>node).isExportEquals) {

diagnostics.push(createDiagnosticForNode(node, Diagnostics.export_can_only_be_used_in_a_ts_file));

return;

}

break;

case SyntaxKind.HeritageClause:

const heritageClause = <HeritageClause>node;

if (heritageClause.token === SyntaxKind.ImplementsKeyword) {

diagnostics.push(createDiagnosticForNode(node, Diagnostics.implements_clauses_can_only_be_used_in_a_ts_file));

return;

}

break;

case SyntaxKind.InterfaceDeclaration:

diagnostics.push(createDiagnosticForNode(node, Diagnostics.interface_declarations_can_only_be_used_in_a_ts_file));

return;

case SyntaxKind.ModuleDeclaration:

diagnostics.push(createDiagnosticForNode(node, Diagnostics.module_declarations_can_only_be_used_in_a_ts_file));

return;

case SyntaxKind.TypeAliasDeclaration:

diagnostics.push(createDiagnosticForNode(node, Diagnostics.type_aliases_can_only_be_used_in_a_ts_file));

return;

case SyntaxKind.EnumDeclaration:

diagnostics.push(createDiagnosticForNode(node, Diagnostics.enum_declarations_can_only_be_used_in_a_ts_file));

return;

case SyntaxKind.TypeAssertionExpression:

const typeAssertionExpression = <TypeAssertion>node;

diagnostics.push(createDiagnosticForNode(typeAssertionExpression.type, Diagnostics.type_assertion_expressions_can_only_be_used_in_a_ts_file));

return;

}

const prevParent = parent;

parent = node;

forEachChild(node, walk, walkArray);