let fileName = "tsconfig.json";

while (true) {

if (fileExists(fileName)) {

return fileName;

}

let parentPath = getDirectoryPath(searchPath);

if (parentPath === searchPath) {

break;

}

searchPath = parentPath;

fileName = "../" + fileName;

}

return undefined;

let basePath = getDirectoryPath(containingFile);

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

return normalizePath(referencedFileName);

let moduleResolution = compilerOptions.moduleResolution !== undefined

? compilerOptions.moduleResolution

: compilerOptions.module === ModuleKind.CommonJS ? ModuleResolutionKind.NodeJs : ModuleResolutionKind.Classic;

switch (moduleResolution) {

case ModuleResolutionKind.NodeJs: return nodeModuleNameResolver(moduleName, containingFile, getSupportedExtensions(compilerOptions), host);

case ModuleResolutionKind.Classic: return classicNameResolver(moduleName, containingFile, compilerOptions, host);

}

let containingDirectory = getDirectoryPath(containingFile);

if (getRootLength(moduleName) !== 0 || nameStartsWithDotSlashOrDotDotSlash(moduleName)) {

let failedLookupLocations: string[] = [];

let candidate = normalizePath(combinePaths(containingDirectory, moduleName));

let resolvedFileName = loadNodeModuleFromFile(candidate, supportedExtensions, failedLookupLocations, host);

if (resolvedFileName) {

return { resolvedModule: { resolvedFileName }, failedLookupLocations };

}

resolvedFileName = loadNodeModuleFromDirectory(candidate, supportedExtensions, failedLookupLocations, host);

return resolvedFileName

? { resolvedModule: { resolvedFileName }, failedLookupLocations }

: { resolvedModule: undefined, failedLookupLocations };

}

else {

return loadModuleFromNodeModules(moduleName, containingDirectory, supportedExtensions, host);

}

return forEach(supportedExtensions, tryLoad);

function tryLoad(ext: string): string {

let fileName = fileExtensionIs(candidate, ext) ? candidate : candidate + "." + ext;

if (host.fileExists(fileName)) {

return fileName;

}

else {

failedLookupLocation.push(fileName);

return undefined;

}

}

let packageJsonPath = combinePaths(candidate, "package.json");

if (host.fileExists(packageJsonPath)) {

let jsonContent: { typings?: string };

try {

let jsonText = host.readFile(packageJsonPath);

jsonContent = jsonText ? <{ typings?: string }>JSON.parse(jsonText) : { typings: undefined };

}

catch (e) {

// gracefully handle if readFile fails or returns not JSON

jsonContent = { typings: undefined };

}

if (jsonContent.typings) {

let result = loadNodeModuleFromFile(normalizePath(combinePaths(candidate, jsonContent.typings)), supportedExtensions, failedLookupLocation, host);

if (result) {

return result;

}

}

}

else {

// record package json as one of failed lookup locations - in the future if this file will appear it will invalidate resolution results

failedLookupLocation.push(packageJsonPath);

}

return loadNodeModuleFromFile(combinePaths(candidate, "index"), supportedExtensions, failedLookupLocation, host);

let failedLookupLocations: string[] = [];

directory = normalizeSlashes(directory);

while (true) {

let baseName = getBaseFileName(directory);

if (baseName !== "node_modules") {

let nodeModulesFolder = combinePaths(directory, "node_modules");

let candidate = normalizePath(combinePaths(nodeModulesFolder, moduleName));

let result = loadNodeModuleFromFile(candidate, supportedExtensions, failedLookupLocations, host);

if (result) {

return { resolvedModule: { resolvedFileName: result, isExternalLibraryImport: true }, failedLookupLocations };

}

result = loadNodeModuleFromDirectory(candidate, supportedExtensions, failedLookupLocations, host);

if (result) {

return { resolvedModule: { resolvedFileName: result, isExternalLibraryImport: true }, failedLookupLocations };

}

}

let parentPath = getDirectoryPath(directory);

if (parentPath === directory) {

break;

}

directory = parentPath;

}

return { resolvedModule: undefined, failedLookupLocations };

// module names that contain '!' are used to reference resources and are not resolved to actual files on disk

if (moduleName.indexOf("!") != -1) {

return { resolvedModule: undefined, failedLookupLocations: [] };

}

let searchPath = getDirectoryPath(containingFile);

let searchName: string;

let failedLookupLocations: string[] = [];

let referencedSourceFile: string;

while (true) {

searchName = normalizePath(combinePaths(searchPath, moduleName));

referencedSourceFile = forEach(getSupportedExtensions(compilerOptions), extension => {

if (extension === "tsx" && !compilerOptions.jsx) {

// resolve .tsx files only if jsx support is enabled

// 'logical not' handles both undefined and None cases

return undefined;

}

let candidate = searchName + "." + extension;

if (host.fileExists(candidate)) {

return candidate;

}

else {

failedLookupLocations.push(candidate);

}

});

if (referencedSourceFile) {

break;

}

let parentPath = getDirectoryPath(searchPath);

if (parentPath === searchPath) {

break;

}

searchPath = parentPath;

}

return referencedSourceFile

? { resolvedModule: { resolvedFileName: referencedSourceFile }, failedLookupLocations }

: { resolvedModule: undefined, failedLookupLocations };

let currentDirectory: string;

let existingDirectories: Map<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();

}

// returned by CScript sys environment

let unsupportedFileEncodingErrorCode = -2147024809;

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

let text: string;

try {

let start = new Date().getTime();

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

ioReadTime += new Date().getTime() - start;

}

catch (e) {

if (onError) {

onError(e.number === unsupportedFileEncodingErrorCode

? createCompilerDiagnostic(Diagnostics.Unsupported_file_encoding).messageText

: e.message);

}

text = "";

}

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

}

function directoryExists(directoryPath: string): boolean {

if (hasProperty(existingDirectories, directoryPath)) {

return true;

}

if (sys.directoryExists(directoryPath)) {

existingDirectories[directoryPath] = true;

return true;

}

return false;

}

function ensureDirectoriesExist(directoryPath: string) {

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

let parentDirectory = getDirectoryPath(directoryPath);

ensureDirectoriesExist(parentDirectory);

sys.createDirectory(directoryPath);

}

}

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

try {

let start = new Date().getTime();

ensureDirectoriesExist(getDirectoryPath(normalizePath(fileName)));

sys.writeFile(fileName, data, writeByteOrderMark);

ioWriteTime += new Date().getTime() - start;

}

catch (e) {

if (onError) {

onError(e.message);

}

}

}

const newLine = getNewLineCharacter(options);

return {

getSourceFile,

getDefaultLibFileName: options => combinePaths(getDirectoryPath(normalizePath(sys.getExecutingFilePath())), getDefaultLibFileName(options)),

writeFile,

getCurrentDirectory: () => currentDirectory || (currentDirectory = sys.getCurrentDirectory()),

useCaseSensitiveFileNames: () => sys.useCaseSensitiveFileNames,

getCanonicalFileName,

getNewLine: () => newLine,

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

readFile: fileName => sys.readFile(fileName)

};

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);

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;

}

let program: Program;

let files: SourceFile[] = [];

let fileProcessingDiagnostics = createDiagnosticCollection();

let programDiagnostics = createDiagnosticCollection();

let emitBlockingDiagnostics = createDiagnosticCollection();

let hasEmitBlockingDiagnostics: Map<boolean> = {}; // Map storing if there is emit blocking diagnostics for given input

let commonSourceDirectory: string;

let diagnosticsProducingTypeChecker: TypeChecker;

let noDiagnosticsTypeChecker: TypeChecker;

let classifiableNames: Map<string>;

let skipDefaultLib = options.noLib;

let start = new Date().getTime();

host = host || createCompilerHost(options);

const resolveModuleNamesWorker = host.resolveModuleNames

? ((moduleNames: string[], containingFile: string) => host.resolveModuleNames(moduleNames, containingFile))

: ((moduleNames: string[], containingFile: string) => map(moduleNames, moduleName => resolveModuleName(moduleName, containingFile, options, host).resolvedModule));

let filesByName = createFileMap<SourceFile>(fileName => host.getCanonicalFileName(fileName));

if (oldProgram) {

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

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

let oldOptions = oldProgram.getCompilerOptions();

if ((oldOptions.module !== options.module) ||

(oldOptions.noResolve !== options.noResolve) ||

(oldOptions.target !== options.target) ||

(oldOptions.noLib !== options.noLib) ||

(oldOptions.jsx !== options.jsx) ||

(oldOptions.jsExtensions !== options.jsExtensions)) {

oldProgram = undefined;

}

}

if (!tryReuseStructureFromOldProgram()) {

let supportedExtensions = getSupportedExtensions(options);

forEach(rootNames, name => processRootFile(name, false, supportedExtensions));

// 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) {

processRootFile(host.getDefaultLibFileName(options), true, supportedExtensions);

}

}

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

oldProgram = undefined;

program = {

getRootFileNames: () => rootNames,

getSourceFile: getSourceFile,

getSourceFiles: () => files,

getCompilerOptions: () => options,

getSyntacticDiagnostics,

getOptionsDiagnostics,

getGlobalDiagnostics,

getSemanticDiagnostics,

getDeclarationDiagnostics,

getTypeChecker,

getClassifiableNames,

getDiagnosticsProducingTypeChecker,

getCommonSourceDirectory: () => commonSourceDirectory,

emit,

isDeclarationEmitBlocked,

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

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

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

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

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

getFileProcessingDiagnostics: () => fileProcessingDiagnostics

};

verifyCompilerOptions();

programTime += new Date().getTime() - start;

return program;

function getClassifiableNames() {

if (!classifiableNames) {

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

getTypeChecker();

classifiableNames = {};

for (let sourceFile of files) {

copyMap(sourceFile.classifiableNames, classifiableNames);

}

}

return classifiableNames;

}

function tryReuseStructureFromOldProgram(): boolean {

if (!oldProgram) {

return false;

}

Debug.assert(!oldProgram.structureIsReused);

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

let oldRootNames = oldProgram.getRootFileNames();

if (!arrayIsEqualTo(oldRootNames, rootNames)) {

return false;

}

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

let newSourceFiles: SourceFile[] = [];

let modifiedSourceFiles: SourceFile[] = [];

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

let newSourceFile = host.getSourceFile(oldSourceFile.fileName, options.target);

if (!newSourceFile) {

return false;

}

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

collectExternalModuleReferences(newSourceFile);

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

// imports has changed

return false;

}

if (resolveModuleNamesWorker) {

let moduleNames = map(newSourceFile.imports, name => name.text);

let resolutions = resolveModuleNamesWorker(moduleNames, newSourceFile.fileName);

// ensure that module resolution results are still correct

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

let newResolution = resolutions[i];

let oldResolution = getResolvedModule(oldSourceFile, moduleNames[i]);

let resolutionChanged = oldResolution

? !newResolution ||

oldResolution.resolvedFileName !== newResolution.resolvedFileName ||

!!oldResolution.isExternalLibraryImport !== !!newResolution.isExternalLibraryImport

: newResolution;

if (resolutionChanged) {

return false;

}

}

}

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

newSourceFile.resolvedModules = oldSourceFile.resolvedModules;

modifiedSourceFiles.push(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);

}

// update fileName -> file mapping

for (let file of newSourceFiles) {

filesByName.set(file.fileName, file);

}

files = newSourceFiles;

fileProcessingDiagnostics = oldProgram.getFileProcessingDiagnostics();

for (let modifiedFile of modifiedSourceFiles) {

fileProcessingDiagnostics.reattachFileDiagnostics(modifiedFile);

}

oldProgram.structureIsReused = true;

return true;

}

function getEmitHost(writeFileCallback?: WriteFileCallback, cancellationToken?: CancellationToken): EmitHost {

return {

getCanonicalFileName: fileName => host.getCanonicalFileName(fileName),

getCommonSourceDirectory: program.getCommonSourceDirectory,

getCompilerOptions: program.getCompilerOptions,

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

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

getSourceFile: program.getSourceFile,

getSourceFiles: program.getSourceFiles,

writeFile: writeFileCallback || (

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

isEmitBlocked,

isDeclarationEmitBlocked: (emitFileName, sourceFile) => program.isDeclarationEmitBlocked(emitFileName, sourceFile, cancellationToken),

};

}

function getDiagnosticsProducingTypeChecker() {

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

}

function getTypeChecker() {

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

}

function emit(sourceFile?: SourceFile, writeFileCallback?: WriteFileCallback, cancellationToken?: CancellationToken): EmitResult {

return runWithCancellationToken(() => emitWorker(this, sourceFile, writeFileCallback, cancellationToken));

}

function isDeclarationEmitBlocked(emitFileName: string, sourceFile?: SourceFile, cancellationToken?: CancellationToken): boolean {

if (isEmitBlocked(emitFileName)) {

return true;

}

// Dont check for emit blocking options diagnostics because that check per emit file is already covered in isEmitBlocked

// We dont want to end up blocking declaration emit of one file because other file results in emit blocking error

if (getOptionsDiagnostics(cancellationToken, /*includeEmitBlockingDiagnostics*/false).length ||

getGlobalDiagnostics().length) {

return true;

}

if (sourceFile) {

// Do not generate declaration file for this if there are any errors in this file or any of the declaration files

return hasSyntaxOrSemanticDiagnostics(sourceFile) ||

forEach(files, sourceFile => isDeclarationFile(sourceFile) && hasSyntaxOrSemanticDiagnostics(sourceFile));

}

// Check if the bundled emit source files have errors

return forEach(files, sourceFile => {

// Check all the files that will be bundled together as well as all the included declaration files are error free

if (!isExternalModule(sourceFile)) {

return hasSyntaxOrSemanticDiagnostics(sourceFile);

}

});

function hasSyntaxOrSemanticDiagnostics(file: SourceFile) {

return !!getSyntacticDiagnostics(file, cancellationToken).length ||

!!getSemanticDiagnostics(file, cancellationToken).length;

}

}

function isEmitBlocked(emitFileName: string): boolean {

return hasProperty(hasEmitBlockingDiagnostics, emitFileName);

}

function emitWorker(program: Program, sourceFile: SourceFile, writeFileCallback: WriteFileCallback, cancellationToken: CancellationToken): EmitResult {

// 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 && getPreEmitDiagnostics(program, /*sourceFile:*/ undefined, cancellationToken).length > 0) {

return { diagnostics: [], sourceMaps: 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.

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

let start = new Date().getTime();

let emitResult = emitFiles(

emitResolver,

getEmitHost(writeFileCallback, cancellationToken),

sourceFile);

emitTime += new Date().getTime() - start;

return emitResult;

}

function getSourceFile(fileName: string) {

// first try to use file name as is to find file

// then try to convert relative file name to absolute and use it to retrieve source file

return filesByName.get(fileName) || filesByName.get(getNormalizedAbsolutePath(fileName, host.getCurrentDirectory()));

}

function getDiagnosticsHelper(

sourceFile: SourceFile,

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

cancellationToken: CancellationToken): Diagnostic[] {

if (sourceFile) {

return getDiagnostics(sourceFile, cancellationToken);

}

let 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[] {

return getDiagnosticsHelper(sourceFile, getDeclarationDiagnosticsForFile, cancellationToken);

}

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

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 agressive 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[] {

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

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

// JavaScript file.

if (isInJavaScriptFile(sourceFile)) {

return getJavaScriptSemanticDiagnosticsForFile(sourceFile, cancellationToken);

}

return runWithCancellationToken(() => {

let typeChecker = getDiagnosticsProducingTypeChecker();

Debug.assert(!!sourceFile.bindDiagnostics);

let bindDiagnostics = sourceFile.bindDiagnostics;

let checkDiagnostics = typeChecker.getDiagnostics(sourceFile, cancellationToken);

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

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

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

});

}

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

return runWithCancellationToken(() => {

let diagnostics: Diagnostic[] = [];

walk(sourceFile);

return diagnostics;

function walk(node: Node): boolean {

if (!node) {

return false;

}

switch (node.kind) {

case SyntaxKind.ImportEqualsDeclaration:

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

return true;

case SyntaxKind.ExportAssignment:

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

return true;

case SyntaxKind.ClassDeclaration:

let classDeclaration = <ClassDeclaration>node;

if (checkModifiers(classDeclaration.modifiers) ||

checkTypeParameters(classDeclaration.typeParameters)) {

return true;

}

break;

case SyntaxKind.HeritageClause:

let heritageClause = <HeritageClause>node;

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

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

return true;

}

break;

case SyntaxKind.InterfaceDeclaration:

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

return true;

case SyntaxKind.ModuleDeclaration:

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

return true;

case SyntaxKind.TypeAliasDeclaration:

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

return true;

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:

let functionDeclaration = <FunctionLikeDeclaration>node;

if (checkModifiers(functionDeclaration.modifiers) ||

checkTypeParameters(functionDeclaration.typeParameters) ||

checkTypeAnnotation(functionDeclaration.type)) {

return true;

}

break;

case SyntaxKind.VariableStatement:

let variableStatement = <VariableStatement>node;

if (checkModifiers(variableStatement.modifiers)) {

return true;

}

break;

case SyntaxKind.VariableDeclaration:

let variableDeclaration = <VariableDeclaration>node;

if (checkTypeAnnotation(variableDeclaration.type)) {

return true;

}

break;

case SyntaxKind.CallExpression:

case SyntaxKind.NewExpression:

let expression = <CallExpression>node;

if (expression.typeArguments && expression.typeArguments.length > 0) {

let start = expression.typeArguments.pos;

diagnostics.push(createFileDiagnostic(sourceFile, start, expression.typeArguments.end - start,

Diagnostics.type_arguments_can_only_be_used_in_a_ts_file));

return true;

}

break;

case SyntaxKind.Parameter:

let parameter = <ParameterDeclaration>node;

if (parameter.modifiers) {

let start = parameter.modifiers.pos;

diagnostics.push(createFileDiagnostic(sourceFile, start, parameter.modifiers.end - start,

Diagnostics.parameter_modifiers_can_only_be_used_in_a_ts_file));

return true;

}

if (parameter.questionToken) {

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

return true;

}

if (parameter.type) {

diagnostics.push(createDiagnosticForNode(parameter.type, Diagnostics.types_can_only_be_used_in_a_ts_file));

return true;

}

break;

case SyntaxKind.PropertyDeclaration:

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

return true;

case SyntaxKind.EnumDeclaration:

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

return true;

case SyntaxKind.TypeAssertionExpression:

let typeAssertionExpression = <TypeAssertion>node;

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

return true;

case SyntaxKind.Decorator:

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

return true;

}

return forEachChild(node, walk);

}

function checkTypeParameters(typeParameters: NodeArray<TypeParameterDeclaration>): boolean {