namespace ts {

const enum SignatureFlags {

None = 0,

Yield = 1 << 0,

Await = 1 << 1,

Type = 1 << 2,

IgnoreMissingOpenBrace = 1 << 4,

JSDoc = 1 << 5,

}

const enum SpeculationKind {

TryParse,

Lookahead,

Reparse

}

let NodeConstructor: new (kind: SyntaxKind, pos?: number, end?: number) => Node;

let TokenConstructor: new (kind: SyntaxKind, pos?: number, end?: number) => Node;

let IdentifierConstructor: new (kind: SyntaxKind, pos?: number, end?: number) => Node;

let PrivateIdentifierConstructor: new (kind: SyntaxKind, pos?: number, end?: number) => Node;

let SourceFileConstructor: new (kind: SyntaxKind, pos?: number, end?: number) => Node;

/**

* NOTE: You should not use this, it is only exported to support `createNode` in `~/src/deprecatedCompat/deprecations.ts`.

*/

/* @internal */

export const parseBaseNodeFactory: BaseNodeFactory = {

createBaseSourceFileNode: kind => new (SourceFileConstructor || (SourceFileConstructor = objectAllocator.getSourceFileConstructor()))(kind, -1, -1),

createBaseIdentifierNode: kind => new (IdentifierConstructor || (IdentifierConstructor = objectAllocator.getIdentifierConstructor()))(kind, -1, -1),

createBasePrivateIdentifierNode: kind => new (PrivateIdentifierConstructor || (PrivateIdentifierConstructor = objectAllocator.getPrivateIdentifierConstructor()))(kind, -1, -1),

createBaseTokenNode: kind => new (TokenConstructor || (TokenConstructor = objectAllocator.getTokenConstructor()))(kind, -1, -1),

createBaseNode: kind => new (NodeConstructor || (NodeConstructor = objectAllocator.getNodeConstructor()))(kind, -1, -1),

};

/* @internal */

export const parseNodeFactory = createNodeFactory(NodeFactoryFlags.NoParenthesizerRules, parseBaseNodeFactory);

function visitNode<T>(cbNode: (node: Node) => T, node: Node | undefined): T | undefined {

return node && cbNode(node);

}

function visitNodes<T>(cbNode: (node: Node) => T, cbNodes: ((node: NodeArray<Node>) => T | undefined) | undefined, nodes: NodeArray<Node> | undefined): T | undefined {

if (nodes) {

if (cbNodes) {

return cbNodes(nodes);

}

for (const node of nodes) {

const result = cbNode(node);

if (result) {

return result;

}

}

}

}

/*@internal*/

export function isJSDocLikeText(text: string, start: number) {

return text.charCodeAt(start + 1) === CharacterCodes.asterisk &&

text.charCodeAt(start + 2) === CharacterCodes.asterisk &&

text.charCodeAt(start + 3) !== CharacterCodes.slash;

}

/**

* Invokes a callback for each child of the given node. The 'cbNode' callback is invoked for all child nodes

* stored in properties. If a 'cbNodes' callback is specified, it is invoked for embedded arrays; otherwise,

* embedded arrays are flattened and the 'cbNode' callback is invoked for each element. If a callback returns

* a truthy value, iteration stops and that value is returned. Otherwise, undefined is returned.

*

* @param node a given node to visit its children

* @param cbNode a callback to be invoked for all child nodes

* @param cbNodes a callback to be invoked for embedded array

*

* @remarks `forEachChild` must visit the children of a node in the order

* that they appear in the source code. The language service depends on this property to locate nodes by position.

*/

export function forEachChild<T>(node: Node, cbNode: (node: Node) => T | undefined, cbNodes?: (nodes: NodeArray<Node>) => T | undefined): T | undefined {

if (!node || node.kind <= SyntaxKind.LastToken) {

return;

}

switch (node.kind) {

case SyntaxKind.QualifiedName:

return visitNode(cbNode, (<QualifiedName>node).left) ||

visitNode(cbNode, (<QualifiedName>node).right);

case SyntaxKind.TypeParameter:

return visitNode(cbNode, (<TypeParameterDeclaration>node).name) ||

visitNode(cbNode, (<TypeParameterDeclaration>node).constraint) ||

visitNode(cbNode, (<TypeParameterDeclaration>node).default) ||

visitNode(cbNode, (<TypeParameterDeclaration>node).expression);

case SyntaxKind.ShorthandPropertyAssignment:

return visitNodes(cbNode, cbNodes, node.decorators) ||

visitNodes(cbNode, cbNodes, node.modifiers) ||

visitNode(cbNode, (<ShorthandPropertyAssignment>node).name) ||

visitNode(cbNode, (<ShorthandPropertyAssignment>node).questionToken) ||

visitNode(cbNode, (<ShorthandPropertyAssignment>node).exclamationToken) ||

visitNode(cbNode, (<ShorthandPropertyAssignment>node).equalsToken) ||

visitNode(cbNode, (<ShorthandPropertyAssignment>node).objectAssignmentInitializer);

case SyntaxKind.SpreadAssignment:

return visitNode(cbNode, (<SpreadAssignment>node).expression);

case SyntaxKind.Parameter:

return visitNodes(cbNode, cbNodes, node.decorators) ||

visitNodes(cbNode, cbNodes, node.modifiers) ||

visitNode(cbNode, (<ParameterDeclaration>node).dotDotDotToken) ||

visitNode(cbNode, (<ParameterDeclaration>node).name) ||

visitNode(cbNode, (<ParameterDeclaration>node).questionToken) ||

visitNode(cbNode, (<ParameterDeclaration>node).type) ||

visitNode(cbNode, (<ParameterDeclaration>node).initializer);

case SyntaxKind.PropertyDeclaration:

return visitNodes(cbNode, cbNodes, node.decorators) ||

visitNodes(cbNode, cbNodes, node.modifiers) ||

visitNode(cbNode, (<PropertyDeclaration>node).name) ||

visitNode(cbNode, (<PropertyDeclaration>node).questionToken) ||

visitNode(cbNode, (<PropertyDeclaration>node).exclamationToken) ||

visitNode(cbNode, (<PropertyDeclaration>node).type) ||

visitNode(cbNode, (<PropertyDeclaration>node).initializer);

case SyntaxKind.PropertySignature:

return visitNodes(cbNode, cbNodes, node.decorators) ||

visitNodes(cbNode, cbNodes, node.modifiers) ||

visitNode(cbNode, (<PropertySignature>node).name) ||

visitNode(cbNode, (<PropertySignature>node).questionToken) ||

visitNode(cbNode, (<PropertySignature>node).type) ||

visitNode(cbNode, (<PropertySignature>node).initializer);

case SyntaxKind.PropertyAssignment:

return visitNodes(cbNode, cbNodes, node.decorators) ||

visitNodes(cbNode, cbNodes, node.modifiers) ||

visitNode(cbNode, (<PropertyAssignment>node).name) ||

visitNode(cbNode, (<PropertyAssignment>node).questionToken) ||

visitNode(cbNode, (<PropertyAssignment>node).initializer);

case SyntaxKind.VariableDeclaration:

return visitNodes(cbNode, cbNodes, node.decorators) ||

visitNodes(cbNode, cbNodes, node.modifiers) ||

visitNode(cbNode, (<VariableDeclaration>node).name) ||

visitNode(cbNode, (<VariableDeclaration>node).exclamationToken) ||

visitNode(cbNode, (<VariableDeclaration>node).type) ||

visitNode(cbNode, (<VariableDeclaration>node).initializer);

case SyntaxKind.BindingElement:

return visitNodes(cbNode, cbNodes, node.decorators) ||

visitNodes(cbNode, cbNodes, node.modifiers) ||

visitNode(cbNode, (<BindingElement>node).dotDotDotToken) ||

visitNode(cbNode, (<BindingElement>node).propertyName) ||

visitNode(cbNode, (<BindingElement>node).name) ||

visitNode(cbNode, (<BindingElement>node).initializer);

case SyntaxKind.FunctionType:

case SyntaxKind.ConstructorType:

case SyntaxKind.CallSignature:

case SyntaxKind.ConstructSignature:

case SyntaxKind.IndexSignature:

return visitNodes(cbNode, cbNodes, node.decorators) ||

visitNodes(cbNode, cbNodes, node.modifiers) ||

visitNodes(cbNode, cbNodes, (<SignatureDeclaration>node).typeParameters) ||

visitNodes(cbNode, cbNodes, (<SignatureDeclaration>node).parameters) ||

visitNode(cbNode, (<SignatureDeclaration>node).type);

case SyntaxKind.MethodDeclaration:

case SyntaxKind.MethodSignature:

case SyntaxKind.Constructor:

case SyntaxKind.GetAccessor:

case SyntaxKind.SetAccessor:

case SyntaxKind.FunctionExpression:

case SyntaxKind.FunctionDeclaration:

case SyntaxKind.ArrowFunction:

return visitNodes(cbNode, cbNodes, node.decorators) ||

visitNodes(cbNode, cbNodes, node.modifiers) ||

visitNode(cbNode, (<FunctionLikeDeclaration>node).asteriskToken) ||

visitNode(cbNode, (<FunctionLikeDeclaration>node).name) ||

visitNode(cbNode, (<FunctionLikeDeclaration>node).questionToken) ||

visitNode(cbNode, (<FunctionLikeDeclaration>node).exclamationToken) ||

visitNodes(cbNode, cbNodes, (<FunctionLikeDeclaration>node).typeParameters) ||

visitNodes(cbNode, cbNodes, (<FunctionLikeDeclaration>node).parameters) ||

visitNode(cbNode, (<FunctionLikeDeclaration>node).type) ||

visitNode(cbNode, (<ArrowFunction>node).equalsGreaterThanToken) ||

visitNode(cbNode, (<FunctionLikeDeclaration>node).body);

case SyntaxKind.TypeReference:

return visitNode(cbNode, (<TypeReferenceNode>node).typeName) ||

visitNodes(cbNode, cbNodes, (<TypeReferenceNode>node).typeArguments);

case SyntaxKind.TypePredicate:

return visitNode(cbNode, (<TypePredicateNode>node).assertsModifier) ||

visitNode(cbNode, (<TypePredicateNode>node).parameterName) ||

visitNode(cbNode, (<TypePredicateNode>node).type);

case SyntaxKind.TypeQuery:

return visitNode(cbNode, (<TypeQueryNode>node).exprName);

case SyntaxKind.TypeLiteral:

return visitNodes(cbNode, cbNodes, (<TypeLiteralNode>node).members);

case SyntaxKind.ArrayType:

return visitNode(cbNode, (<ArrayTypeNode>node).elementType);

case SyntaxKind.TupleType:

return visitNodes(cbNode, cbNodes, (<TupleTypeNode>node).elements);

case SyntaxKind.UnionType:

case SyntaxKind.IntersectionType:

return visitNodes(cbNode, cbNodes, (<UnionOrIntersectionTypeNode>node).types);

case SyntaxKind.ConditionalType:

return visitNode(cbNode, (<ConditionalTypeNode>node).checkType) ||

visitNode(cbNode, (<ConditionalTypeNode>node).extendsType) ||

visitNode(cbNode, (<ConditionalTypeNode>node).trueType) ||

visitNode(cbNode, (<ConditionalTypeNode>node).falseType);

case SyntaxKind.InferType:

return visitNode(cbNode, (<InferTypeNode>node).typeParameter);

case SyntaxKind.ImportType:

return visitNode(cbNode, (<ImportTypeNode>node).argument) ||

visitNode(cbNode, (<ImportTypeNode>node).qualifier) ||

visitNodes(cbNode, cbNodes, (<ImportTypeNode>node).typeArguments);

case SyntaxKind.ParenthesizedType:

case SyntaxKind.TypeOperator:

return visitNode(cbNode, (<ParenthesizedTypeNode | TypeOperatorNode>node).type);

case SyntaxKind.IndexedAccessType:

return visitNode(cbNode, (<IndexedAccessTypeNode>node).objectType) ||

visitNode(cbNode, (<IndexedAccessTypeNode>node).indexType);

case SyntaxKind.MappedType:

return visitNode(cbNode, (<MappedTypeNode>node).readonlyToken) ||

visitNode(cbNode, (<MappedTypeNode>node).typeParameter) ||

visitNode(cbNode, (<MappedTypeNode>node).nameType) ||

visitNode(cbNode, (<MappedTypeNode>node).questionToken) ||

visitNode(cbNode, (<MappedTypeNode>node).type);

case SyntaxKind.LiteralType:

return visitNode(cbNode, (<LiteralTypeNode>node).literal);

case SyntaxKind.NamedTupleMember:

return visitNode(cbNode, (<NamedTupleMember>node).dotDotDotToken) ||

visitNode(cbNode, (<NamedTupleMember>node).name) ||

visitNode(cbNode, (<NamedTupleMember>node).questionToken) ||

visitNode(cbNode, (<NamedTupleMember>node).type);

case SyntaxKind.ObjectBindingPattern:

case SyntaxKind.ArrayBindingPattern:

return visitNodes(cbNode, cbNodes, (<BindingPattern>node).elements);

case SyntaxKind.ArrayLiteralExpression:

return visitNodes(cbNode, cbNodes, (<ArrayLiteralExpression>node).elements);

case SyntaxKind.ObjectLiteralExpression:

return visitNodes(cbNode, cbNodes, (<ObjectLiteralExpression>node).properties);

case SyntaxKind.PropertyAccessExpression:

return visitNode(cbNode, (<PropertyAccessExpression>node).expression) ||

visitNode(cbNode, (<PropertyAccessExpression>node).questionDotToken) ||

visitNode(cbNode, (<PropertyAccessExpression>node).name);

case SyntaxKind.ElementAccessExpression:

return visitNode(cbNode, (<ElementAccessExpression>node).expression) ||

visitNode(cbNode, (<ElementAccessExpression>node).questionDotToken) ||

visitNode(cbNode, (<ElementAccessExpression>node).argumentExpression);

case SyntaxKind.CallExpression:

case SyntaxKind.NewExpression:

return visitNode(cbNode, (<CallExpression>node).expression) ||

visitNode(cbNode, (<CallExpression>node).questionDotToken) ||

visitNodes(cbNode, cbNodes, (<CallExpression>node).typeArguments) ||

visitNodes(cbNode, cbNodes, (<CallExpression>node).arguments);

case SyntaxKind.TaggedTemplateExpression:

return visitNode(cbNode, (<TaggedTemplateExpression>node).tag) ||

visitNode(cbNode, (<TaggedTemplateExpression>node).questionDotToken) ||

visitNodes(cbNode, cbNodes, (<TaggedTemplateExpression>node).typeArguments) ||

visitNode(cbNode, (<TaggedTemplateExpression>node).template);

case SyntaxKind.TypeAssertionExpression:

return visitNode(cbNode, (<TypeAssertion>node).type) ||

visitNode(cbNode, (<TypeAssertion>node).expression);

case SyntaxKind.ParenthesizedExpression:

return visitNode(cbNode, (<ParenthesizedExpression>node).expression);

case SyntaxKind.DeleteExpression:

return visitNode(cbNode, (<DeleteExpression>node).expression);

case SyntaxKind.TypeOfExpression:

return visitNode(cbNode, (<TypeOfExpression>node).expression);

case SyntaxKind.VoidExpression:

return visitNode(cbNode, (<VoidExpression>node).expression);

case SyntaxKind.PrefixUnaryExpression:

return visitNode(cbNode, (<PrefixUnaryExpression>node).operand);

case SyntaxKind.YieldExpression:

return visitNode(cbNode, (<YieldExpression>node).asteriskToken) ||

visitNode(cbNode, (<YieldExpression>node).expression);

case SyntaxKind.AwaitExpression:

return visitNode(cbNode, (<AwaitExpression>node).expression);

case SyntaxKind.PostfixUnaryExpression:

return visitNode(cbNode, (<PostfixUnaryExpression>node).operand);

case SyntaxKind.BinaryExpression:

return visitNode(cbNode, (<BinaryExpression>node).left) ||

visitNode(cbNode, (<BinaryExpression>node).operatorToken) ||

visitNode(cbNode, (<BinaryExpression>node).right);

case SyntaxKind.AsExpression:

return visitNode(cbNode, (<AsExpression>node).expression) ||

visitNode(cbNode, (<AsExpression>node).type);

case SyntaxKind.NonNullExpression:

return visitNode(cbNode, (<NonNullExpression>node).expression);

case SyntaxKind.MetaProperty:

return visitNode(cbNode, (<MetaProperty>node).name);

case SyntaxKind.ConditionalExpression:

return visitNode(cbNode, (<ConditionalExpression>node).condition) ||

visitNode(cbNode, (<ConditionalExpression>node).questionToken) ||

visitNode(cbNode, (<ConditionalExpression>node).whenTrue) ||

visitNode(cbNode, (<ConditionalExpression>node).colonToken) ||

visitNode(cbNode, (<ConditionalExpression>node).whenFalse);

case SyntaxKind.SpreadElement:

return visitNode(cbNode, (<SpreadElement>node).expression);

case SyntaxKind.Block:

case SyntaxKind.ModuleBlock:

return visitNodes(cbNode, cbNodes, (<Block>node).statements);

case SyntaxKind.SourceFile:

return visitNodes(cbNode, cbNodes, (<SourceFile>node).statements) ||

visitNode(cbNode, (<SourceFile>node).endOfFileToken);

case SyntaxKind.VariableStatement:

return visitNodes(cbNode, cbNodes, node.decorators) ||

visitNodes(cbNode, cbNodes, node.modifiers) ||

visitNode(cbNode, (<VariableStatement>node).declarationList);

case SyntaxKind.VariableDeclarationList:

return visitNodes(cbNode, cbNodes, (<VariableDeclarationList>node).declarations);

case SyntaxKind.ExpressionStatement:

return visitNode(cbNode, (<ExpressionStatement>node).expression);

case SyntaxKind.IfStatement:

return visitNode(cbNode, (<IfStatement>node).expression) ||

visitNode(cbNode, (<IfStatement>node).thenStatement) ||

visitNode(cbNode, (<IfStatement>node).elseStatement);

case SyntaxKind.DoStatement:

return visitNode(cbNode, (<DoStatement>node).statement) ||

visitNode(cbNode, (<DoStatement>node).expression);

case SyntaxKind.WhileStatement:

return visitNode(cbNode, (<WhileStatement>node).expression) ||

visitNode(cbNode, (<WhileStatement>node).statement);

case SyntaxKind.ForStatement:

return visitNode(cbNode, (<ForStatement>node).initializer) ||

visitNode(cbNode, (<ForStatement>node).condition) ||

visitNode(cbNode, (<ForStatement>node).incrementor) ||

visitNode(cbNode, (<ForStatement>node).statement);

case SyntaxKind.ForInStatement:

return visitNode(cbNode, (<ForInStatement>node).initializer) ||

visitNode(cbNode, (<ForInStatement>node).expression) ||

visitNode(cbNode, (<ForInStatement>node).statement);

case SyntaxKind.ForOfStatement:

return visitNode(cbNode, (<ForOfStatement>node).awaitModifier) ||

visitNode(cbNode, (<ForOfStatement>node).initializer) ||

visitNode(cbNode, (<ForOfStatement>node).expression) ||

visitNode(cbNode, (<ForOfStatement>node).statement);

case SyntaxKind.ContinueStatement:

case SyntaxKind.BreakStatement:

return visitNode(cbNode, (<BreakOrContinueStatement>node).label);

case SyntaxKind.ReturnStatement:

return visitNode(cbNode, (<ReturnStatement>node).expression);

case SyntaxKind.WithStatement:

return visitNode(cbNode, (<WithStatement>node).expression) ||

visitNode(cbNode, (<WithStatement>node).statement);

case SyntaxKind.SwitchStatement:

return visitNode(cbNode, (<SwitchStatement>node).expression) ||

visitNode(cbNode, (<SwitchStatement>node).caseBlock);

case SyntaxKind.CaseBlock:

return visitNodes(cbNode, cbNodes, (<CaseBlock>node).clauses);

case SyntaxKind.CaseClause:

return visitNode(cbNode, (<CaseClause>node).expression) ||

visitNodes(cbNode, cbNodes, (<CaseClause>node).statements);

case SyntaxKind.DefaultClause:

return visitNodes(cbNode, cbNodes, (<DefaultClause>node).statements);

case SyntaxKind.LabeledStatement:

return visitNode(cbNode, (<LabeledStatement>node).label) ||

visitNode(cbNode, (<LabeledStatement>node).statement);

case SyntaxKind.ThrowStatement:

return visitNode(cbNode, (<ThrowStatement>node).expression);

case SyntaxKind.TryStatement:

return visitNode(cbNode, (<TryStatement>node).tryBlock) ||

visitNode(cbNode, (<TryStatement>node).catchClause) ||

visitNode(cbNode, (<TryStatement>node).finallyBlock);

case SyntaxKind.CatchClause:

return visitNode(cbNode, (<CatchClause>node).variableDeclaration) ||

visitNode(cbNode, (<CatchClause>node).block);

case SyntaxKind.Decorator:

return visitNode(cbNode, (<Decorator>node).expression);

case SyntaxKind.ClassDeclaration:

case SyntaxKind.ClassExpression:

return visitNodes(cbNode, cbNodes, node.decorators) ||

visitNodes(cbNode, cbNodes, node.modifiers) ||

visitNode(cbNode, (<ClassLikeDeclaration>node).name) ||

visitNodes(cbNode, cbNodes, (<ClassLikeDeclaration>node).typeParameters) ||

visitNodes(cbNode, cbNodes, (<ClassLikeDeclaration>node).heritageClauses) ||

visitNodes(cbNode, cbNodes, (<ClassLikeDeclaration>node).members);

case SyntaxKind.InterfaceDeclaration:

return visitNodes(cbNode, cbNodes, node.decorators) ||

visitNodes(cbNode, cbNodes, node.modifiers) ||

visitNode(cbNode, (<InterfaceDeclaration>node).name) ||

visitNodes(cbNode, cbNodes, (<InterfaceDeclaration>node).typeParameters) ||

visitNodes(cbNode, cbNodes, (<ClassDeclaration>node).heritageClauses) ||

visitNodes(cbNode, cbNodes, (<InterfaceDeclaration>node).members);

case SyntaxKind.TypeAliasDeclaration:

return visitNodes(cbNode, cbNodes, node.decorators) ||

visitNodes(cbNode, cbNodes, node.modifiers) ||

visitNode(cbNode, (<TypeAliasDeclaration>node).name) ||

visitNodes(cbNode, cbNodes, (<TypeAliasDeclaration>node).typeParameters) ||

visitNode(cbNode, (<TypeAliasDeclaration>node).type);

case SyntaxKind.EnumDeclaration:

return visitNodes(cbNode, cbNodes, node.decorators) ||

visitNodes(cbNode, cbNodes, node.modifiers) ||

visitNode(cbNode, (<EnumDeclaration>node).name) ||

visitNodes(cbNode, cbNodes, (<EnumDeclaration>node).members);

case SyntaxKind.EnumMember:

return visitNode(cbNode, (<EnumMember>node).name) ||

visitNode(cbNode, (<EnumMember>node).initializer);

case SyntaxKind.ModuleDeclaration:

return visitNodes(cbNode, cbNodes, node.decorators) ||

visitNodes(cbNode, cbNodes, node.modifiers) ||

visitNode(cbNode, (<ModuleDeclaration>node).name) ||

visitNode(cbNode, (<ModuleDeclaration>node).body);

case SyntaxKind.ImportEqualsDeclaration:

return visitNodes(cbNode, cbNodes, node.decorators) ||

visitNodes(cbNode, cbNodes, node.modifiers) ||

visitNode(cbNode, (<ImportEqualsDeclaration>node).name) ||

visitNode(cbNode, (<ImportEqualsDeclaration>node).moduleReference);

case SyntaxKind.ImportDeclaration:

return visitNodes(cbNode, cbNodes, node.decorators) ||

visitNodes(cbNode, cbNodes, node.modifiers) ||

visitNode(cbNode, (<ImportDeclaration>node).importClause) ||

visitNode(cbNode, (<ImportDeclaration>node).moduleSpecifier);

case SyntaxKind.ImportClause:

return visitNode(cbNode, (<ImportClause>node).name) ||

visitNode(cbNode, (<ImportClause>node).namedBindings);

case SyntaxKind.NamespaceExportDeclaration:

return visitNode(cbNode, (<NamespaceExportDeclaration>node).name);

case SyntaxKind.NamespaceImport:

return visitNode(cbNode, (<NamespaceImport>node).name);

case SyntaxKind.NamespaceExport:

return visitNode(cbNode, (<NamespaceExport>node).name);

case SyntaxKind.NamedImports:

case SyntaxKind.NamedExports:

return visitNodes(cbNode, cbNodes, (<NamedImportsOrExports>node).elements);

case SyntaxKind.ExportDeclaration:

return visitNodes(cbNode, cbNodes, node.decorators) ||

visitNodes(cbNode, cbNodes, node.modifiers) ||

visitNode(cbNode, (<ExportDeclaration>node).exportClause) ||

visitNode(cbNode, (<ExportDeclaration>node).moduleSpecifier);

case SyntaxKind.ImportSpecifier:

case SyntaxKind.ExportSpecifier:

return visitNode(cbNode, (<ImportOrExportSpecifier>node).propertyName) ||

visitNode(cbNode, (<ImportOrExportSpecifier>node).name);

case SyntaxKind.ExportAssignment:

return visitNodes(cbNode, cbNodes, node.decorators) ||

visitNodes(cbNode, cbNodes, node.modifiers) ||

visitNode(cbNode, (<ExportAssignment>node).expression);

case SyntaxKind.TemplateExpression:

return visitNode(cbNode, (<TemplateExpression>node).head) || visitNodes(cbNode, cbNodes, (<TemplateExpression>node).templateSpans);

case SyntaxKind.TemplateSpan:

return visitNode(cbNode, (<TemplateSpan>node).expression) || visitNode(cbNode, (<TemplateSpan>node).literal);

case SyntaxKind.TemplateLiteralType:

return visitNode(cbNode, (<TemplateLiteralTypeNode>node).head) || visitNodes(cbNode, cbNodes, (<TemplateLiteralTypeNode>node).templateSpans);

case SyntaxKind.TemplateLiteralTypeSpan:

return visitNode(cbNode, (<TemplateLiteralTypeSpan>node).type) || visitNode(cbNode, (<TemplateLiteralTypeSpan>node).literal);

case SyntaxKind.ComputedPropertyName:

return visitNode(cbNode, (<ComputedPropertyName>node).expression);

case SyntaxKind.HeritageClause:

return visitNodes(cbNode, cbNodes, (<HeritageClause>node).types);

case SyntaxKind.ExpressionWithTypeArguments:

return visitNode(cbNode, (<ExpressionWithTypeArguments>node).expression) ||

visitNodes(cbNode, cbNodes, (<ExpressionWithTypeArguments>node).typeArguments);

case SyntaxKind.ExternalModuleReference:

return visitNode(cbNode, (<ExternalModuleReference>node).expression);

case SyntaxKind.MissingDeclaration:

return visitNodes(cbNode, cbNodes, node.decorators);

case SyntaxKind.CommaListExpression:

return visitNodes(cbNode, cbNodes, (<CommaListExpression>node).elements);

case SyntaxKind.JsxElement:

return visitNode(cbNode, (<JsxElement>node).openingElement) ||

visitNodes(cbNode, cbNodes, (<JsxElement>node).children) ||

visitNode(cbNode, (<JsxElement>node).closingElement);

case SyntaxKind.JsxFragment:

return visitNode(cbNode, (<JsxFragment>node).openingFragment) ||

visitNodes(cbNode, cbNodes, (<JsxFragment>node).children) ||

visitNode(cbNode, (<JsxFragment>node).closingFragment);

case SyntaxKind.JsxSelfClosingElement:

case SyntaxKind.JsxOpeningElement:

return visitNode(cbNode, (<JsxOpeningLikeElement>node).tagName) ||

visitNodes(cbNode, cbNodes, (<JsxOpeningLikeElement>node).typeArguments) ||

visitNode(cbNode, (<JsxOpeningLikeElement>node).attributes);

case SyntaxKind.JsxAttributes:

return visitNodes(cbNode, cbNodes, (<JsxAttributes>node).properties);

case SyntaxKind.JsxAttribute:

return visitNode(cbNode, (<JsxAttribute>node).name) ||

visitNode(cbNode, (<JsxAttribute>node).initializer);

case SyntaxKind.JsxSpreadAttribute:

return visitNode(cbNode, (<JsxSpreadAttribute>node).expression);

case SyntaxKind.JsxExpression:

return visitNode(cbNode, (node as JsxExpression).dotDotDotToken) ||

visitNode(cbNode, (node as JsxExpression).expression);

case SyntaxKind.JsxClosingElement:

return visitNode(cbNode, (<JsxClosingElement>node).tagName);

case SyntaxKind.OptionalType:

case SyntaxKind.RestType:

case SyntaxKind.JSDocTypeExpression:

case SyntaxKind.JSDocNonNullableType:

case SyntaxKind.JSDocNullableType:

case SyntaxKind.JSDocOptionalType:

case SyntaxKind.JSDocVariadicType:

return visitNode(cbNode, (<OptionalTypeNode | RestTypeNode | JSDocTypeExpression | JSDocTypeReferencingNode>node).type);

case SyntaxKind.JSDocFunctionType:

return visitNodes(cbNode, cbNodes, (<JSDocFunctionType>node).parameters) ||

visitNode(cbNode, (<JSDocFunctionType>node).type);

case SyntaxKind.JSDocComment:

return (typeof (node as JSDoc).comment === "string" ? undefined : visitNodes(cbNode, cbNodes, (node as JSDoc).comment as NodeArray<JSDocText | JSDocLink> | undefined))

|| visitNodes(cbNode, cbNodes, (node as JSDoc).tags);

case SyntaxKind.JSDocSeeTag:

return visitNode(cbNode, (node as JSDocSeeTag).tagName) ||

visitNode(cbNode, (node as JSDocSeeTag).name) ||

(typeof (node as JSDoc).comment === "string" ? undefined : visitNodes(cbNode, cbNodes, (node as JSDoc).comment as NodeArray<JSDocText | JSDocLink> | undefined));

case SyntaxKind.JSDocNameReference:

return visitNode(cbNode, (node as JSDocNameReference).name);

case SyntaxKind.JSDocParameterTag:

case SyntaxKind.JSDocPropertyTag:

return visitNode(cbNode, (node as JSDocTag).tagName) ||

((node as JSDocPropertyLikeTag).isNameFirst

? visitNode(cbNode, (<JSDocPropertyLikeTag>node).name) ||

visitNode(cbNode, (<JSDocPropertyLikeTag>node).typeExpression) ||

(typeof (node as JSDoc).comment === "string" ? undefined : visitNodes(cbNode, cbNodes, (node as JSDoc).comment as NodeArray<JSDocText | JSDocLink> | undefined))

: visitNode(cbNode, (<JSDocPropertyLikeTag>node).typeExpression) ||

visitNode(cbNode, (<JSDocPropertyLikeTag>node).name)) ||

(typeof (node as JSDoc).comment === "string" ? undefined : visitNodes(cbNode, cbNodes, (node as JSDoc).comment as NodeArray<JSDocText | JSDocLink> | undefined));

case SyntaxKind.JSDocAuthorTag:

return visitNode(cbNode, (node as JSDocTag).tagName) ||

(typeof (node as JSDoc).comment === "string" ? undefined : visitNodes(cbNode, cbNodes, (node as JSDoc).comment as NodeArray<JSDocText | JSDocLink> | undefined));

case SyntaxKind.JSDocImplementsTag:

return visitNode(cbNode, (node as JSDocTag).tagName) ||

visitNode(cbNode, (<JSDocImplementsTag>node).class) ||

(typeof (node as JSDoc).comment === "string" ? undefined : visitNodes(cbNode, cbNodes, (node as JSDoc).comment as NodeArray<JSDocText | JSDocLink> | undefined));

case SyntaxKind.JSDocAugmentsTag:

return visitNode(cbNode, (node as JSDocTag).tagName) ||

visitNode(cbNode, (<JSDocAugmentsTag>node).class) ||

(typeof (node as JSDoc).comment === "string" ? undefined : visitNodes(cbNode, cbNodes, (node as JSDoc).comment as NodeArray<JSDocText | JSDocLink> | undefined));

case SyntaxKind.JSDocTemplateTag:

return visitNode(cbNode, (node as JSDocTag).tagName) ||

visitNode(cbNode, (<JSDocTemplateTag>node).constraint) ||

visitNodes(cbNode, cbNodes, (<JSDocTemplateTag>node).typeParameters) ||

(typeof (node as JSDoc).comment === "string" ? undefined : visitNodes(cbNode, cbNodes, (node as JSDoc).comment as NodeArray<JSDocText | JSDocLink> | undefined));

case SyntaxKind.JSDocTypedefTag:

return visitNode(cbNode, (node as JSDocTag).tagName) ||

((node as JSDocTypedefTag).typeExpression &&

(node as JSDocTypedefTag).typeExpression!.kind === SyntaxKind.JSDocTypeExpression

? visitNode(cbNode, (<JSDocTypedefTag>node).typeExpression) ||

visitNode(cbNode, (<JSDocTypedefTag>node).fullName) ||

(typeof (node as JSDoc).comment === "string" ? undefined : visitNodes(cbNode, cbNodes, (node as JSDoc).comment as NodeArray<JSDocText | JSDocLink> | undefined))

: visitNode(cbNode, (<JSDocTypedefTag>node).fullName) ||

visitNode(cbNode, (<JSDocTypedefTag>node).typeExpression)) ||

(typeof (node as JSDoc).comment === "string" ? undefined : visitNodes(cbNode, cbNodes, (node as JSDoc).comment as NodeArray<JSDocText | JSDocLink> | undefined));

case SyntaxKind.JSDocCallbackTag:

return visitNode(cbNode, (node as JSDocTag).tagName) ||

visitNode(cbNode, (node as JSDocCallbackTag).fullName) ||

visitNode(cbNode, (node as JSDocCallbackTag).typeExpression) ||

(typeof (node as JSDoc).comment === "string" ? undefined : visitNodes(cbNode, cbNodes, (node as JSDoc).comment as NodeArray<JSDocText | JSDocLink> | undefined));

case SyntaxKind.JSDocReturnTag:

case SyntaxKind.JSDocTypeTag:

case SyntaxKind.JSDocThisTag:

case SyntaxKind.JSDocEnumTag:

return visitNode(cbNode, (node as JSDocTag).tagName) ||

visitNode(cbNode, (node as JSDocReturnTag | JSDocTypeTag | JSDocThisTag | JSDocEnumTag).typeExpression) ||

(typeof (node as JSDoc).comment === "string" ? undefined : visitNodes(cbNode, cbNodes, (node as JSDoc).comment as NodeArray<JSDocText | JSDocLink> | undefined));

case SyntaxKind.JSDocSignature:

return forEach((<JSDocSignature>node).typeParameters, cbNode) ||

forEach((<JSDocSignature>node).parameters, cbNode) ||

visitNode(cbNode, (<JSDocSignature>node).type);

case SyntaxKind.JSDocLink:

return visitNode(cbNode, (node as JSDocLink).name);

case SyntaxKind.JSDocTypeLiteral:

return forEach((node as JSDocTypeLiteral).jsDocPropertyTags, cbNode);

case SyntaxKind.JSDocTag:

case SyntaxKind.JSDocClassTag:

case SyntaxKind.JSDocPublicTag:

case SyntaxKind.JSDocPrivateTag:

case SyntaxKind.JSDocProtectedTag:

case SyntaxKind.JSDocReadonlyTag:

case SyntaxKind.JSDocDeprecatedTag:

return visitNode(cbNode, (node as JSDocTag).tagName)

|| (typeof (node as JSDoc).comment === "string" ? undefined : visitNodes(cbNode, cbNodes, (node as JSDoc).comment as NodeArray<JSDocText | JSDocLink> | undefined));

case SyntaxKind.PartiallyEmittedExpression:

return visitNode(cbNode, (<PartiallyEmittedExpression>node).expression);

}

}

/** @internal */

/**

* Invokes a callback for each child of the given node. The 'cbNode' callback is invoked for all child nodes

* stored in properties. If a 'cbNodes' callback is specified, it is invoked for embedded arrays; additionally,

* unlike `forEachChild`, embedded arrays are flattened and the 'cbNode' callback is invoked for each element.

* If a callback returns a truthy value, iteration stops and that value is returned. Otherwise, undefined is returned.

*

* @param node a given node to visit its children

* @param cbNode a callback to be invoked for all child nodes

* @param cbNodes a callback to be invoked for embedded array

*

* @remarks Unlike `forEachChild`, `forEachChildRecursively` handles recursively invoking the traversal on each child node found,

* and while doing so, handles traversing the structure without relying on the callstack to encode the tree structure.

*/

export function forEachChildRecursively<T>(rootNode: Node, cbNode: (node: Node, parent: Node) => T | "skip" | undefined, cbNodes?: (nodes: NodeArray<Node>, parent: Node) => T | "skip" | undefined): T | undefined {

const queue: (Node | NodeArray<Node>)[] = gatherPossibleChildren(rootNode);

const parents: Node[] = []; // tracks parent references for elements in queue

while (parents.length < queue.length) {

parents.push(rootNode);

}

while (queue.length !== 0) {

const current = queue.pop()!;

const parent = parents.pop()!;

if (isArray(current)) {

if (cbNodes) {

const res = cbNodes(current, parent);

if (res) {

if (res === "skip") continue;

return res;

}

}

for (let i = current.length - 1; i >= 0; --i) {

queue.push(current[i]);

parents.push(parent);

}

}

else {

const res = cbNode(current, parent);

if (res) {

if (res === "skip") continue;

return res;

}

if (current.kind >= SyntaxKind.FirstNode) {

// add children in reverse order to the queue, so popping gives the first child

for (const child of gatherPossibleChildren(current)) {

queue.push(child);

parents.push(current);

}

}

}

}

}

function gatherPossibleChildren(node: Node) {

const children: (Node | NodeArray<Node>)[] = [];

forEachChild(node, addWorkItem, addWorkItem); // By using a stack above and `unshift` here, we emulate a depth-first preorder traversal

return children;

function addWorkItem(n: Node | NodeArray<Node>) {

children.unshift(n);

}

}

export function createSourceFile(fileName: string, sourceText: string, languageVersion: ScriptTarget, setParentNodes = false, scriptKind?: ScriptKind): SourceFile {

tracing?.push(tracing.Phase.Parse, "createSourceFile", { path: fileName }, /*separateBeginAndEnd*/ true);

performance.mark("beforeParse");

let result: SourceFile;

perfLogger.logStartParseSourceFile(fileName);

if (languageVersion === ScriptTarget.JSON) {

result = Parser.parseSourceFile(fileName, sourceText, languageVersion, /*syntaxCursor*/ undefined, setParentNodes, ScriptKind.JSON);

}

else {

result = Parser.parseSourceFile(fileName, sourceText, languageVersion, /*syntaxCursor*/ undefined, setParentNodes, scriptKind);

}

perfLogger.logStopParseSourceFile();

performance.mark("afterParse");

performance.measure("Parse", "beforeParse", "afterParse");

tracing?.pop();

return result;

}

export function parseIsolatedEntityName(text: string, languageVersion: ScriptTarget): EntityName | undefined {

return Parser.parseIsolatedEntityName(text, languageVersion);

}

/**

* Parse json text into SyntaxTree and return node and parse errors if any

* @param fileName

* @param sourceText

*/

export function parseJsonText(fileName: string, sourceText: string): JsonSourceFile {

return Parser.parseJsonText(fileName, sourceText);

}

// See also `isExternalOrCommonJsModule` in utilities.ts

export function isExternalModule(file: SourceFile): boolean {

return file.externalModuleIndicator !== undefined;

}

// Produces a new SourceFile for the 'newText' provided. The 'textChangeRange' parameter

// indicates what changed between the 'text' that this SourceFile has and the 'newText'.

// The SourceFile will be created with the compiler attempting to reuse as many nodes from

// this file as possible.

//

// Note: this function mutates nodes from this SourceFile. That means any existing nodes

// from this SourceFile that are being held onto may change as a result (including

// becoming detached from any SourceFile). It is recommended that this SourceFile not

// be used once 'update' is called on it.

export function updateSourceFile(sourceFile: SourceFile, newText: string, textChangeRange: TextChangeRange, aggressiveChecks = false): SourceFile {

const newSourceFile = IncrementalParser.updateSourceFile(sourceFile, newText, textChangeRange, aggressiveChecks);

// Because new source file node is created, it may not have the flag PossiblyContainDynamicImport. This is the case if there is no new edit to add dynamic import.

// We will manually port the flag to the new source file.

(newSourceFile as Mutable<SourceFile>).flags |= (sourceFile.flags & NodeFlags.PermanentlySetIncrementalFlags);

return newSourceFile;

}

/* @internal */

export function parseIsolatedJSDocComment(content: string, start?: number, length?: number) {

const result = Parser.JSDocParser.parseIsolatedJSDocComment(content, start, length);

if (result && result.jsDoc) {

// because the jsDocComment was parsed out of the source file, it might

// not be covered by the fixupParentReferences.

Parser.fixupParentReferences(result.jsDoc);

}

return result;

}

/* @internal */

// Exposed only for testing.

export function parseJSDocTypeExpressionForTests(content: string, start?: number, length?: number) {

return Parser.JSDocParser.parseJSDocTypeExpressionForTests(content, start, length);

}

// Implement the parser as a singleton module. We do this for perf reasons because creating

// parser instances can actually be expensive enough to impact us on projects with many source

// files.

namespace Parser {

// Share a single scanner across all calls to parse a source file. This helps speed things

// up by avoiding the cost of creating/compiling scanners over and over again.

const scanner = createScanner(ScriptTarget.Latest, /*skipTrivia*/ true);

const disallowInAndDecoratorContext = NodeFlags.DisallowInContext | NodeFlags.DecoratorContext;

// capture constructors in 'initializeState' to avoid null checks

// tslint:disable variable-name

let NodeConstructor: new (kind: SyntaxKind, pos: number, end: number) => Node;

let TokenConstructor: new (kind: SyntaxKind, pos: number, end: number) => Node;

let IdentifierConstructor: new (kind: SyntaxKind, pos: number, end: number) => Node;

let PrivateIdentifierConstructor: new (kind: SyntaxKind, pos: number, end: number) => Node;

let SourceFileConstructor: new (kind: SyntaxKind, pos: number, end: number) => Node;

// tslint:enable variable-name

function countNode(node: Node) {

nodeCount++;

return node;

}

// Rather than using `createBaseNodeFactory` here, we establish a `BaseNodeFactory` that closes over the

// constructors above, which are reset each time `initializeState` is called.

const baseNodeFactory: BaseNodeFactory = {

createBaseSourceFileNode: kind => countNode(new SourceFileConstructor(kind, /*pos*/ 0, /*end*/ 0)),

createBaseIdentifierNode: kind => countNode(new IdentifierConstructor(kind, /*pos*/ 0, /*end*/ 0)),

createBasePrivateIdentifierNode: kind => countNode(new PrivateIdentifierConstructor(kind, /*pos*/ 0, /*end*/ 0)),

createBaseTokenNode: kind => countNode(new TokenConstructor(kind, /*pos*/ 0, /*end*/ 0)),

createBaseNode: kind => countNode(new NodeConstructor(kind, /*pos*/ 0, /*end*/ 0))

};

const factory = createNodeFactory(NodeFactoryFlags.NoParenthesizerRules | NodeFactoryFlags.NoNodeConverters | NodeFactoryFlags.NoOriginalNode, baseNodeFactory);

let fileName: string;

let sourceFlags: NodeFlags;

let sourceText: string;

let languageVersion: ScriptTarget;

let scriptKind: ScriptKind;

let languageVariant: LanguageVariant;

let parseDiagnostics: DiagnosticWithDetachedLocation[];

let jsDocDiagnostics: DiagnosticWithDetachedLocation[];

let syntaxCursor: IncrementalParser.SyntaxCursor | undefined;

let currentToken: SyntaxKind;

let nodeCount: number;

let identifiers: ESMap<string, string>;

let privateIdentifiers: ESMap<string, string>;

let identifierCount: number;

let parsingContext: ParsingContext;

let notParenthesizedArrow: Set<number> | undefined;

// Flags that dictate what parsing context we're in. For example:

// Whether or not we are in strict parsing mode. All that changes in strict parsing mode is

// that some tokens that would be considered identifiers may be considered keywords.

//

// When adding more parser context flags, consider which is the more common case that the

// flag will be in. This should be the 'false' state for that flag. The reason for this is

// that we don't store data in our nodes unless the value is in the *non-default* state. So,

// for example, more often than code 'allows-in' (or doesn't 'disallow-in'). We opt for

// 'disallow-in' set to 'false'. Otherwise, if we had 'allowsIn' set to 'true', then almost

// all nodes would need extra state on them to store this info.

//

// Note: 'allowIn' and 'allowYield' track 1:1 with the [in] and [yield] concepts in the ES6

// grammar specification.

//

// An important thing about these context concepts. By default they are effectively inherited

// while parsing through every grammar production. i.e. if you don't change them, then when

// you parse a sub-production, it will have the same context values as the parent production.

// This is great most of the time. After all, consider all the 'expression' grammar productions

// and how nearly all of them pass along the 'in' and 'yield' context values:

//

// EqualityExpression[In, Yield] :

// RelationalExpression[?In, ?Yield]

// EqualityExpression[?In, ?Yield] == RelationalExpression[?In, ?Yield]

// EqualityExpression[?In, ?Yield] != RelationalExpression[?In, ?Yield]

// EqualityExpression[?In, ?Yield] === RelationalExpression[?In, ?Yield]

// EqualityExpression[?In, ?Yield] !== RelationalExpression[?In, ?Yield]

//

// Where you have to be careful is then understanding what the points are in the grammar

// where the values are *not* passed along. For example:

//

// SingleNameBinding[Yield,GeneratorParameter]

// [+GeneratorParameter]BindingIdentifier[Yield] Initializer[In]opt

// [~GeneratorParameter]BindingIdentifier[?Yield]Initializer[In, ?Yield]opt

//

// Here this is saying that if the GeneratorParameter context flag is set, that we should

// explicitly set the 'yield' context flag to false before calling into the BindingIdentifier

// and we should explicitly unset the 'yield' context flag before calling into the Initializer.

// production. Conversely, if the GeneratorParameter context flag is not set, then we

// should leave the 'yield' context flag alone.

//

// Getting this all correct is tricky and requires careful reading of the grammar to

// understand when these values should be changed versus when they should be inherited.

//

// Note: it should not be necessary to save/restore these flags during speculative/lookahead

// parsing. These context flags are naturally stored and restored through normal recursive

// descent parsing and unwinding.

let contextFlags: NodeFlags;

// Indicates whether we are currently parsing top-level statements.

let topLevel = true;

// Whether or not we've had a parse error since creating the last AST node. If we have

// encountered an error, it will be stored on the next AST node we create. Parse errors

// can be broken down into three categories:

//

// 1) An error that occurred during scanning. For example, an unterminated literal, or a

// character that was completely not understood.

//

// 2) A token was expected, but was not present. This type of error is commonly produced

// by the 'parseExpected' function.

//

// 3) A token was present that no parsing function was able to consume. This type of error

// only occurs in the 'abortParsingListOrMoveToNextToken' function when the parser

// decides to skip the token.

//

// In all of these cases, we want to mark the next node as having had an error before it.

// With this mark, we can know in incremental settings if this node can be reused, or if

// we have to reparse it. If we don't keep this information around, we may just reuse the

// node. in that event we would then not produce the same errors as we did before, causing

// significant confusion problems.

//

// Note: it is necessary that this value be saved/restored during speculative/lookahead

// parsing. During lookahead parsing, we will often create a node. That node will have

// this value attached, and then this value will be set back to 'false'. If we decide to

// rewind, we must get back to the same value we had prior to the lookahead.

//

// Note: any errors at the end of the file that do not precede a regular node, should get

// attached to the EOF token.

let parseErrorBeforeNextFinishedNode = false;

export function parseSourceFile(fileName: string, sourceText: string, languageVersion: ScriptTarget, syntaxCursor: IncrementalParser.SyntaxCursor | undefined, setParentNodes = false, scriptKind?: ScriptKind): SourceFile {

scriptKind = ensureScriptKind(fileName, scriptKind);

if (scriptKind === ScriptKind.JSON) {

const result = parseJsonText(fileName, sourceText, languageVersion, syntaxCursor, setParentNodes);

convertToObjectWorker(result, result.statements[0]?.expression, result.parseDiagnostics, /*returnValue*/ false, /*knownRootOptions*/ undefined, /*jsonConversionNotifier*/ undefined);

result.referencedFiles = emptyArray;

result.typeReferenceDirectives = emptyArray;

result.libReferenceDirectives = emptyArray;

result.amdDependencies = emptyArray;

result.hasNoDefaultLib = false;

result.pragmas = emptyMap as ReadonlyPragmaMap;

return result;

}

initializeState(fileName, sourceText, languageVersion, syntaxCursor, scriptKind);

const result = parseSourceFileWorker(languageVersion, setParentNodes, scriptKind);

clearState();

return result;

}

export function parseIsolatedEntityName(content: string, languageVersion: ScriptTarget): EntityName | undefined {

// Choice of `isDeclarationFile` should be arbitrary

initializeState("", content, languageVersion, /*syntaxCursor*/ undefined, ScriptKind.JS);

// Prime the scanner.

nextToken();

const entityName = parseEntityName(/*allowReservedWords*/ true);

const isInvalid = token() === SyntaxKind.EndOfFileToken && !parseDiagnostics.length;

clearState();

return isInvalid ? entityName : undefined;

}

export function parseJsonText(fileName: string, sourceText: string, languageVersion: ScriptTarget = ScriptTarget.ES2015, syntaxCursor?: IncrementalParser.SyntaxCursor, setParentNodes = false): JsonSourceFile {

initializeState(fileName, sourceText, languageVersion, syntaxCursor, ScriptKind.JSON);

sourceFlags = contextFlags;

// Prime the scanner.

nextToken();

const pos = getNodePos();

let statements, endOfFileToken;

if (token() === SyntaxKind.EndOfFileToken) {

statements = createNodeArray([], pos, pos);

endOfFileToken = parseTokenNode<EndOfFileToken>();

}

else {

// Loop and synthesize an ArrayLiteralExpression if there are more than

// one top-level expressions to ensure all input text is consumed.

let expressions: Expression[] | Expression | undefined;

while (token() !== SyntaxKind.EndOfFileToken) {

let expression;

switch (token()) {

case SyntaxKind.OpenBracketToken:

expression = parseArrayLiteralExpression();

break;

case SyntaxKind.TrueKeyword:

case SyntaxKind.FalseKeyword:

case SyntaxKind.NullKeyword:

expression = parseTokenNode<BooleanLiteral | NullLiteral>();

break;

case SyntaxKind.MinusToken:

if (lookAhead(() => nextToken() === SyntaxKind.NumericLiteral && nextToken() !== SyntaxKind.ColonToken)) {

expression = parsePrefixUnaryExpression() as JsonMinusNumericLiteral;

}

else {

expression = parseObjectLiteralExpression();

}

break;

case SyntaxKind.NumericLiteral:

case SyntaxKind.StringLiteral:

if (lookAhead(() => nextToken() !== SyntaxKind.ColonToken)) {

expression = parseLiteralNode() as StringLiteral | NumericLiteral;

break;

}

// falls through

default:

expression = parseObjectLiteralExpression();

break;

}

// Error recovery: collect multiple top-level expressions

if (expressions && isArray(expressions)) {

expressions.push(expression);

}

else if (expressions) {

expressions = [expressions, expression];

}

else {

expressions = expression;

if (token() !== SyntaxKind.EndOfFileToken) {

parseErrorAtCurrentToken(Diagnostics.Unexpected_token);

}

}

}

const expression = isArray(expressions) ? finishNode(factory.createArrayLiteralExpression(expressions), pos) : Debug.checkDefined(expressions);

const statement = factory.createExpressionStatement(expression) as JsonObjectExpressionStatement;

finishNode(statement, pos);

statements = createNodeArray([statement], pos);

endOfFileToken = parseExpectedToken(SyntaxKind.EndOfFileToken, Diagnostics.Unexpected_token);

}

// Set source file so that errors will be reported with this file name

const sourceFile = createSourceFile(fileName, ScriptTarget.ES2015, ScriptKind.JSON, /*isDeclaration*/ false, statements, endOfFileToken, sourceFlags);

if (setParentNodes) {

fixupParentReferences(sourceFile);

}

sourceFile.nodeCount = nodeCount;

sourceFile.identifierCount = identifierCount;

sourceFile.identifiers = identifiers;

sourceFile.parseDiagnostics = attachFileToDiagnostics(parseDiagnostics, sourceFile);

if (jsDocDiagnostics) {

sourceFile.jsDocDiagnostics = attachFileToDiagnostics(jsDocDiagnostics, sourceFile);

}

const result = sourceFile as JsonSourceFile;

clearState();

return result;

}

function initializeState(_fileName: string, _sourceText: string, _languageVersion: ScriptTarget, _syntaxCursor: IncrementalParser.SyntaxCursor | undefined, _scriptKind: ScriptKind) {

NodeConstructor = objectAllocator.getNodeConstructor();

TokenConstructor = objectAllocator.getTokenConstructor();

IdentifierConstructor = objectAllocator.getIdentifierConstructor();

PrivateIdentifierConstructor = objectAllocator.getPrivateIdentifierConstructor();

SourceFileConstructor = objectAllocator.getSourceFileConstructor();

fileName = normalizePath(_fileName);

sourceText = _sourceText;

languageVersion = _languageVersion;

syntaxCursor = _syntaxCursor;

scriptKind = _scriptKind;

languageVariant = getLanguageVariant(_scriptKind);

parseDiagnostics = [];

parsingContext = 0;

identifiers = new Map<string, string>();

privateIdentifiers = new Map<string, string>();

identifierCount = 0;

nodeCount = 0;

sourceFlags = 0;

topLevel = true;

switch (scriptKind) {

case ScriptKind.JS:

case ScriptKind.JSX:

contextFlags = NodeFlags.JavaScriptFile;

break;

case ScriptKind.JSON:

contextFlags = NodeFlags.JavaScriptFile | NodeFlags.JsonFile;

break;

default:

contextFlags = NodeFlags.None;

break;

}

parseErrorBeforeNextFinishedNode = false;

// Initialize and prime the scanner before parsing the source elements.

scanner.setText(sourceText);

scanner.setOnError(scanError);

scanner.setScriptTarget(languageVersion);

scanner.setLanguageVariant(languageVariant);

}