namespace ts {

/**

* Type of objects whose values are all of the same type.

* The `in` and `for-in` operators can *not* be safely used,

* since `Object.prototype` may be modified by outside code.

*/

export interface MapLike<T> {

[index: string]: T;

}

/** ES6 Map interface. */

export interface Map<T> {

get(key: string): T | undefined;

has(key: string): boolean;

set(key: string, value: T): this;

delete(key: string): boolean;

clear(): void;

forEach(action: (value: T, key: string) => void): void;

readonly size: number;

keys(): Iterator<string>;

values(): Iterator<T>;

entries(): Iterator<[string, T]>;

}

/** ES6 Iterator type. */

export interface Iterator<T> {

next(): { value: T, done: false } | { value: never, done: true };

}

// branded string type used to store absolute, normalized and canonicalized paths

// arbitrary file name can be converted to Path via toPath function

export type Path = string & { __pathBrand: any };

export interface TextRange {

pos: number;

end: number;

}

// token > SyntaxKind.Identifer => token is a keyword

// Also, If you add a new SyntaxKind be sure to keep the `Markers` section at the bottom in sync

export const enum SyntaxKind {

Unknown,

EndOfFileToken,

SingleLineCommentTrivia,

MultiLineCommentTrivia,

NewLineTrivia,

WhitespaceTrivia,

// We detect and preserve #! on the first line

ShebangTrivia,

// We detect and provide better error recovery when we encounter a git merge marker. This

// allows us to edit files with git-conflict markers in them in a much more pleasant manner.

ConflictMarkerTrivia,

// Literals

NumericLiteral,

StringLiteral,

JsxText,

JsxTextAllWhiteSpaces,

RegularExpressionLiteral,

NoSubstitutionTemplateLiteral,

// Pseudo-literals

TemplateHead,

TemplateMiddle,

TemplateTail,

// Punctuation

OpenBraceToken,

CloseBraceToken,

OpenParenToken,

CloseParenToken,

OpenBracketToken,

CloseBracketToken,

DotToken,

DotDotDotToken,

SemicolonToken,

CommaToken,

LessThanToken,

LessThanSlashToken,

GreaterThanToken,

LessThanEqualsToken,

GreaterThanEqualsToken,

EqualsEqualsToken,

ExclamationEqualsToken,

EqualsEqualsEqualsToken,

ExclamationEqualsEqualsToken,

EqualsGreaterThanToken,

PlusToken,

MinusToken,

AsteriskToken,

AsteriskAsteriskToken,

SlashToken,

PercentToken,

PlusPlusToken,

MinusMinusToken,

LessThanLessThanToken,

GreaterThanGreaterThanToken,

GreaterThanGreaterThanGreaterThanToken,

AmpersandToken,

BarToken,

CaretToken,

ExclamationToken,

TildeToken,

AmpersandAmpersandToken,

BarBarToken,

QuestionToken,

ColonToken,

AtToken,

// Assignments

EqualsToken,

PlusEqualsToken,

MinusEqualsToken,

AsteriskEqualsToken,

AsteriskAsteriskEqualsToken,

SlashEqualsToken,

PercentEqualsToken,

LessThanLessThanEqualsToken,

GreaterThanGreaterThanEqualsToken,

GreaterThanGreaterThanGreaterThanEqualsToken,

AmpersandEqualsToken,

BarEqualsToken,

CaretEqualsToken,

// Identifiers

Identifier,

// Reserved words

BreakKeyword,

CaseKeyword,

CatchKeyword,

ClassKeyword,

ConstKeyword,

ContinueKeyword,

DebuggerKeyword,

DefaultKeyword,

DeleteKeyword,

DoKeyword,

ElseKeyword,

EnumKeyword,

ExportKeyword,

ExtendsKeyword,

FalseKeyword,

FinallyKeyword,

ForKeyword,

FunctionKeyword,

IfKeyword,

ImportKeyword,

InKeyword,

InstanceOfKeyword,

NewKeyword,

NullKeyword,

ReturnKeyword,

SuperKeyword,

SwitchKeyword,

ThisKeyword,

ThrowKeyword,

TrueKeyword,

TryKeyword,

TypeOfKeyword,

VarKeyword,

VoidKeyword,

WhileKeyword,

WithKeyword,

// Strict mode reserved words

ImplementsKeyword,

InterfaceKeyword,

LetKeyword,

PackageKeyword,

PrivateKeyword,

ProtectedKeyword,

PublicKeyword,

StaticKeyword,

YieldKeyword,

// Contextual keywords

AbstractKeyword,

AsKeyword,

AnyKeyword,

AsyncKeyword,

AwaitKeyword,

BooleanKeyword,

ConstructorKeyword,

DeclareKeyword,

GetKeyword,

IsKeyword,

KeyOfKeyword,

ModuleKeyword,

NamespaceKeyword,

NeverKeyword,

ReadonlyKeyword,

RequireKeyword,

NumberKeyword,

ObjectKeyword,

SetKeyword,

StringKeyword,

SymbolKeyword,

TypeKeyword,

UndefinedKeyword,

FromKeyword,

GlobalKeyword,

OfKeyword, // LastKeyword and LastToken

// Parse tree nodes

// Names

QualifiedName,

ComputedPropertyName,

// Signature elements

TypeParameter,

Parameter,

Decorator,

// TypeMember

PropertySignature,

PropertyDeclaration,

MethodSignature,

MethodDeclaration,

Constructor,

GetAccessor,

SetAccessor,

CallSignature,

ConstructSignature,

IndexSignature,

// Type

TypePredicate,

TypeReference,

FunctionType,

ConstructorType,

TypeQuery,

TypeLiteral,

ArrayType,

TupleType,

UnionType,

IntersectionType,

ParenthesizedType,

ThisType,

TypeOperator,

IndexedAccessType,

MappedType,

LiteralType,

// Binding patterns

ObjectBindingPattern,

ArrayBindingPattern,

BindingElement,

// Expression

ArrayLiteralExpression,

ObjectLiteralExpression,

PropertyAccessExpression,

ElementAccessExpression,

CallExpression,

NewExpression,

TaggedTemplateExpression,

TypeAssertionExpression,

ParenthesizedExpression,

FunctionExpression,

ArrowFunction,

DeleteExpression,

TypeOfExpression,

VoidExpression,

AwaitExpression,

PrefixUnaryExpression,

PostfixUnaryExpression,

BinaryExpression,

ConditionalExpression,

TemplateExpression,

YieldExpression,

SpreadElement,

ClassExpression,

OmittedExpression,

ExpressionWithTypeArguments,

AsExpression,

NonNullExpression,

MetaProperty,

// Misc

TemplateSpan,

SemicolonClassElement,

// Element

Block,

VariableStatement,

EmptyStatement,

ExpressionStatement,

IfStatement,

DoStatement,

WhileStatement,

ForStatement,

ForInStatement,

ForOfStatement,

ContinueStatement,

BreakStatement,

ReturnStatement,

WithStatement,

SwitchStatement,

LabeledStatement,

ThrowStatement,

TryStatement,

DebuggerStatement,

VariableDeclaration,

VariableDeclarationList,

FunctionDeclaration,

ClassDeclaration,

InterfaceDeclaration,

TypeAliasDeclaration,

EnumDeclaration,

ModuleDeclaration,

ModuleBlock,

CaseBlock,

NamespaceExportDeclaration,

ImportEqualsDeclaration,

ImportDeclaration,

ImportClause,

NamespaceImport,

NamedImports,

ImportSpecifier,

ExportAssignment,

ExportDeclaration,

NamedExports,

ExportSpecifier,

MissingDeclaration,

// Module references

ExternalModuleReference,

// JSX

JsxElement,

JsxSelfClosingElement,

JsxOpeningElement,

JsxClosingElement,

JsxAttribute,

JsxAttributes,

JsxSpreadAttribute,

JsxExpression,

// Clauses

CaseClause,

DefaultClause,

HeritageClause,

CatchClause,

// Property assignments

PropertyAssignment,

ShorthandPropertyAssignment,

SpreadAssignment,

// Enum

EnumMember,

// Top-level nodes

SourceFile,

Bundle,

// JSDoc nodes

JSDocTypeExpression,

// The * type

JSDocAllType,

// The ? type

JSDocUnknownType,

JSDocArrayType,

JSDocUnionType,

JSDocTupleType,

JSDocNullableType,

JSDocNonNullableType,

JSDocRecordType,

JSDocRecordMember,

JSDocTypeReference,

JSDocOptionalType,

JSDocFunctionType,

JSDocVariadicType,

JSDocConstructorType,

JSDocThisType,

JSDocComment,

JSDocTag,

JSDocAugmentsTag,

JSDocClassTag,

JSDocParameterTag,

JSDocReturnTag,

JSDocTypeTag,

JSDocTemplateTag,

JSDocTypedefTag,

JSDocPropertyTag,

JSDocTypeLiteral,

JSDocLiteralType,

// Synthesized list

SyntaxList,

// Transformation nodes

NotEmittedStatement,

PartiallyEmittedExpression,

CommaListExpression,

MergeDeclarationMarker,

EndOfDeclarationMarker,

// Enum value count

Count,

// Markers

FirstAssignment = EqualsToken,

LastAssignment = CaretEqualsToken,

FirstCompoundAssignment = PlusEqualsToken,

LastCompoundAssignment = CaretEqualsToken,

FirstReservedWord = BreakKeyword,

LastReservedWord = WithKeyword,

FirstKeyword = BreakKeyword,

LastKeyword = OfKeyword,

FirstFutureReservedWord = ImplementsKeyword,

LastFutureReservedWord = YieldKeyword,

FirstTypeNode = TypePredicate,

LastTypeNode = LiteralType,

FirstPunctuation = OpenBraceToken,

LastPunctuation = CaretEqualsToken,

FirstToken = Unknown,

LastToken = LastKeyword,

FirstTriviaToken = SingleLineCommentTrivia,

LastTriviaToken = ConflictMarkerTrivia,

FirstLiteralToken = NumericLiteral,

LastLiteralToken = NoSubstitutionTemplateLiteral,

FirstTemplateToken = NoSubstitutionTemplateLiteral,

LastTemplateToken = TemplateTail,

FirstBinaryOperator = LessThanToken,

LastBinaryOperator = CaretEqualsToken,

FirstNode = QualifiedName,

FirstJSDocNode = JSDocTypeExpression,

LastJSDocNode = JSDocLiteralType,

FirstJSDocTagNode = JSDocTag,

LastJSDocTagNode = JSDocLiteralType

}

export const enum NodeFlags {

None = 0,

Let = 1 << 0, // Variable declaration

Const = 1 << 1, // Variable declaration

NestedNamespace = 1 << 2, // Namespace declaration

Synthesized = 1 << 3, // Node was synthesized during transformation

Namespace = 1 << 4, // Namespace declaration

ExportContext = 1 << 5, // Export context (initialized by binding)

ContainsThis = 1 << 6, // Interface contains references to "this"

HasImplicitReturn = 1 << 7, // If function implicitly returns on one of codepaths (initialized by binding)

HasExplicitReturn = 1 << 8, // If function has explicit reachable return on one of codepaths (initialized by binding)

GlobalAugmentation = 1 << 9, // Set if module declaration is an augmentation for the global scope

HasAsyncFunctions = 1 << 10, // If the file has async functions (initialized by binding)

DisallowInContext = 1 << 11, // If node was parsed in a context where 'in-expressions' are not allowed

YieldContext = 1 << 12, // If node was parsed in the 'yield' context created when parsing a generator

DecoratorContext = 1 << 13, // If node was parsed as part of a decorator

AwaitContext = 1 << 14, // If node was parsed in the 'await' context created when parsing an async function

ThisNodeHasError = 1 << 15, // If the parser encountered an error when parsing the code that created this node

JavaScriptFile = 1 << 16, // If node was parsed in a JavaScript

ThisNodeOrAnySubNodesHasError = 1 << 17, // If this node or any of its children had an error

HasAggregatedChildData = 1 << 18, // If we've computed data from children and cached it in this node

// This flag will be set when the parser encounters a dynamic import expression so that module resolution

// will not have to walk the tree if the flag is not set. However, this flag is just a approximation because

// once it is set, the flag never gets cleared (hence why it's named "PossiblyContainsDynamicImport").

// During editing, if dynamic import is removed, incremental parsing will *NOT* update this flag. This means that the tree will always be traversed

// during module resolution. However, the removal operation should not occur often and in the case of the

// removal, it is likely that users will add the import anyway.

// The advantage of this approach is its simplicity. For the case of batch compilation,

// we guarantee that users won't have to pay the price of walking the tree if a dynamic import isn't used.

/* @internal */

PossiblyContainsDynamicImport = 1 << 19,

BlockScoped = Let | Const,

ReachabilityCheckFlags = HasImplicitReturn | HasExplicitReturn,

ReachabilityAndEmitFlags = ReachabilityCheckFlags | HasAsyncFunctions,

// Parsing context flags

ContextFlags = DisallowInContext | YieldContext | DecoratorContext | AwaitContext | JavaScriptFile,

// Exclude these flags when parsing a Type

TypeExcludesFlags = YieldContext | AwaitContext,

}

export const enum ModifierFlags {

None = 0,

Export = 1 << 0, // Declarations

Ambient = 1 << 1, // Declarations

Public = 1 << 2, // Property/Method

Private = 1 << 3, // Property/Method

Protected = 1 << 4, // Property/Method

Static = 1 << 5, // Property/Method

Readonly = 1 << 6, // Property/Method

Abstract = 1 << 7, // Class/Method/ConstructSignature

Async = 1 << 8, // Property/Method/Function

Default = 1 << 9, // Function/Class (export default declaration)

Const = 1 << 11, // Variable declaration

HasComputedFlags = 1 << 29, // Modifier flags have been computed

AccessibilityModifier = Public | Private | Protected,

// Accessibility modifiers and 'readonly' can be attached to a parameter in a constructor to make it a property.

ParameterPropertyModifier = AccessibilityModifier | Readonly,

NonPublicAccessibilityModifier = Private | Protected,

TypeScriptModifier = Ambient | Public | Private | Protected | Readonly | Abstract | Const,

ExportDefault = Export | Default,

}

export const enum JsxFlags {

None = 0,

/** An element from a named property of the JSX.IntrinsicElements interface */

IntrinsicNamedElement = 1 << 0,

/** An element inferred from the string index signature of the JSX.IntrinsicElements interface */

IntrinsicIndexedElement = 1 << 1,

IntrinsicElement = IntrinsicNamedElement | IntrinsicIndexedElement,

}

/* @internal */

export const enum RelationComparisonResult {

Succeeded = 1, // Should be truthy

Failed = 2,

FailedAndReported = 3

}

export interface Node extends TextRange {

kind: SyntaxKind;

flags: NodeFlags;

/* @internal */ modifierFlagsCache?: ModifierFlags;

/* @internal */ transformFlags?: TransformFlags;

decorators?: NodeArray<Decorator>; // Array of decorators (in document order)

modifiers?: ModifiersArray; // Array of modifiers

/* @internal */ id?: number; // Unique id (used to look up NodeLinks)

parent?: Node; // Parent node (initialized by binding)

/* @internal */ original?: Node; // The original node if this is an updated node.

/* @internal */ startsOnNewLine?: boolean; // Whether a synthesized node should start on a new line (used by transforms).

/* @internal */ jsDoc?: JSDoc[]; // JSDoc that directly precedes this node

/* @internal */ jsDocCache?: JSDocTag[]; // Cache for getJSDocTags

/* @internal */ symbol?: Symbol; // Symbol declared by node (initialized by binding)

/* @internal */ locals?: SymbolTable; // Locals associated with node (initialized by binding)

/* @internal */ nextContainer?: Node; // Next container in declaration order (initialized by binding)

/* @internal */ localSymbol?: Symbol; // Local symbol declared by node (initialized by binding only for exported nodes)

/* @internal */ flowNode?: FlowNode; // Associated FlowNode (initialized by binding)

/* @internal */ emitNode?: EmitNode; // Associated EmitNode (initialized by transforms)

/* @internal */ contextualType?: Type; // Used to temporarily assign a contextual type during overload resolution

/* @internal */ contextualMapper?: TypeMapper; // Mapper for contextual type

}

export interface NodeArray<T extends Node> extends Array<T>, TextRange {

hasTrailingComma?: boolean;

/* @internal */ transformFlags?: TransformFlags;

}

export interface Token<TKind extends SyntaxKind> extends Node {

kind: TKind;

}

export type DotDotDotToken = Token<SyntaxKind.DotDotDotToken>;

export type QuestionToken = Token<SyntaxKind.QuestionToken>;

export type ColonToken = Token<SyntaxKind.ColonToken>;

export type EqualsToken = Token<SyntaxKind.EqualsToken>;

export type AsteriskToken = Token<SyntaxKind.AsteriskToken>;

export type EqualsGreaterThanToken = Token<SyntaxKind.EqualsGreaterThanToken>;

export type EndOfFileToken = Token<SyntaxKind.EndOfFileToken>;

export type AtToken = Token<SyntaxKind.AtToken>;

export type ReadonlyToken = Token<SyntaxKind.ReadonlyKeyword>;

export type AwaitKeywordToken = Token<SyntaxKind.AwaitKeyword>;

export type Modifier

= Token<SyntaxKind.AbstractKeyword>

| Token<SyntaxKind.AsyncKeyword>

| Token<SyntaxKind.ConstKeyword>

| Token<SyntaxKind.DeclareKeyword>

| Token<SyntaxKind.DefaultKeyword>

| Token<SyntaxKind.ExportKeyword>

| Token<SyntaxKind.PublicKeyword>

| Token<SyntaxKind.PrivateKeyword>

| Token<SyntaxKind.ProtectedKeyword>

| Token<SyntaxKind.ReadonlyKeyword>

| Token<SyntaxKind.StaticKeyword>

;

export type ModifiersArray = NodeArray<Modifier>;

/*@internal*/

export const enum GeneratedIdentifierKind {

None, // Not automatically generated.

Auto, // Automatically generated identifier.

Loop, // Automatically generated identifier with a preference for '_i'.

Unique, // Unique name based on the 'text' property.

Node, // Unique name based on the node in the 'original' property.

}

export interface Identifier extends PrimaryExpression {

kind: SyntaxKind.Identifier;

/**

* Text of identifier (with escapes converted to characters).

* If the identifier begins with two underscores, this will begin with three.

*/

text: __String;

originalKeywordKind?: SyntaxKind; // Original syntaxKind which get set so that we can report an error later

/*@internal*/ autoGenerateKind?: GeneratedIdentifierKind; // Specifies whether to auto-generate the text for an identifier.

/*@internal*/ autoGenerateId?: number; // Ensures unique generated identifiers get unique names, but clones get the same name.

isInJSDocNamespace?: boolean; // if the node is a member in a JSDoc namespace

/*@internal*/ typeArguments?: NodeArray<TypeNode>; // Only defined on synthesized nodes. Though not syntactically valid, used in emitting diagnostics.

}

// Transient identifier node (marked by id === -1)

export interface TransientIdentifier extends Identifier {

resolvedSymbol: Symbol;

}

/*@internal*/

export interface GeneratedIdentifier extends Identifier {

autoGenerateKind: GeneratedIdentifierKind.Auto

| GeneratedIdentifierKind.Loop

| GeneratedIdentifierKind.Unique

| GeneratedIdentifierKind.Node;

}

export interface QualifiedName extends Node {

kind: SyntaxKind.QualifiedName;

left: EntityName;

right: Identifier;

}

export type EntityName = Identifier | QualifiedName;

export type PropertyName = Identifier | StringLiteral | NumericLiteral | ComputedPropertyName;

export type DeclarationName = Identifier | StringLiteral | NumericLiteral | ComputedPropertyName | BindingPattern;

export interface Declaration extends Node {

_declarationBrand: any;

}

export interface NamedDeclaration extends Declaration {

name?: DeclarationName;

}

export interface DeclarationStatement extends NamedDeclaration, Statement {

name?: Identifier | StringLiteral | NumericLiteral;

}

export interface ComputedPropertyName extends Node {

kind: SyntaxKind.ComputedPropertyName;

expression: Expression;

}

export interface Decorator extends Node {

kind: SyntaxKind.Decorator;

expression: LeftHandSideExpression;

}

export interface TypeParameterDeclaration extends NamedDeclaration {

kind: SyntaxKind.TypeParameter;

parent?: DeclarationWithTypeParameters;

name: Identifier;

constraint?: TypeNode;

default?: TypeNode;

// For error recovery purposes.

expression?: Expression;

}

export interface SignatureDeclaration extends NamedDeclaration {

name?: PropertyName;

typeParameters?: NodeArray<TypeParameterDeclaration>;

parameters: NodeArray<ParameterDeclaration>;

type?: TypeNode;

}

export interface CallSignatureDeclaration extends SignatureDeclaration, TypeElement {

kind: SyntaxKind.CallSignature;

}

export interface ConstructSignatureDeclaration extends SignatureDeclaration, TypeElement {

kind: SyntaxKind.ConstructSignature;

}

export type BindingName = Identifier | BindingPattern;

export interface VariableDeclaration extends NamedDeclaration {

kind: SyntaxKind.VariableDeclaration;

parent?: VariableDeclarationList | CatchClause;

name: BindingName; // Declared variable name

type?: TypeNode; // Optional type annotation

initializer?: Expression; // Optional initializer

}

export interface VariableDeclarationList extends Node {

kind: SyntaxKind.VariableDeclarationList;

parent?: VariableStatement | ForStatement | ForOfStatement | ForInStatement;

declarations: NodeArray<VariableDeclaration>;

}

export interface ParameterDeclaration extends NamedDeclaration {

kind: SyntaxKind.Parameter;

parent?: SignatureDeclaration;

dotDotDotToken?: DotDotDotToken; // Present on rest parameter

name: BindingName; // Declared parameter name

questionToken?: QuestionToken; // Present on optional parameter

type?: TypeNode; // Optional type annotation

initializer?: Expression; // Optional initializer

}

export interface BindingElement extends NamedDeclaration {

kind: SyntaxKind.BindingElement;

parent?: BindingPattern;

propertyName?: PropertyName; // Binding property name (in object binding pattern)

dotDotDotToken?: DotDotDotToken; // Present on rest element (in object binding pattern)

name: BindingName; // Declared binding element name

initializer?: Expression; // Optional initializer

}

export interface TSPropertySignature extends TypeElement {

kind: SyntaxKind.PropertySignature;

name: PropertyName; // Declared property name

questionToken?: QuestionToken; // Present on optional property

type?: TypeNode; // Optional type annotation

initializer?: Expression; // Optional initializer

}

export interface JSDocPropertySignature extends TypeElement {

kind: SyntaxKind.JSDocRecordMember;

name: PropertyName; // Declared property name

questionToken?: QuestionToken; // Present on optional property

type?: TypeNode; // Optional type annotation

initializer?: Expression; // Optional initializer

}

export type PropertySignature = TSPropertySignature | JSDocPropertySignature;

export interface PropertyDeclaration extends ClassElement {

kind: SyntaxKind.PropertyDeclaration;

questionToken?: QuestionToken; // Present for use with reporting a grammar error

name: PropertyName;

type?: TypeNode;

initializer?: Expression; // Optional initializer

}

export interface ObjectLiteralElement extends NamedDeclaration {

_objectLiteralBrandBrand: any;

name?: PropertyName;

}

export type ObjectLiteralElementLike

= PropertyAssignment

| ShorthandPropertyAssignment

| SpreadAssignment

| MethodDeclaration

| AccessorDeclaration

;

export interface PropertyAssignment extends ObjectLiteralElement {

kind: SyntaxKind.PropertyAssignment;

name: PropertyName;

questionToken?: QuestionToken;

initializer: Expression;

}

export interface ShorthandPropertyAssignment extends ObjectLiteralElement {

kind: SyntaxKind.ShorthandPropertyAssignment;

name: Identifier;

questionToken?: QuestionToken;

// used when ObjectLiteralExpression is used in ObjectAssignmentPattern

// it is grammar error to appear in actual object initializer

equalsToken?: Token<SyntaxKind.EqualsToken>;

objectAssignmentInitializer?: Expression;

}

export interface SpreadAssignment extends ObjectLiteralElement {

kind: SyntaxKind.SpreadAssignment;

expression: Expression;

}

// SyntaxKind.VariableDeclaration

// SyntaxKind.Parameter

// SyntaxKind.BindingElement

// SyntaxKind.Property

// SyntaxKind.PropertyAssignment

// SyntaxKind.JsxAttribute

// SyntaxKind.ShorthandPropertyAssignment

// SyntaxKind.EnumMember

// SyntaxKind.JSDocPropertyTag

export interface VariableLikeDeclaration extends NamedDeclaration {

propertyName?: PropertyName;

dotDotDotToken?: DotDotDotToken;

name: DeclarationName;

questionToken?: QuestionToken;

type?: TypeNode;

initializer?: Expression;

}

export interface PropertyLikeDeclaration extends NamedDeclaration {

name: PropertyName;

}

export interface ObjectBindingPattern extends Node {

kind: SyntaxKind.ObjectBindingPattern;

parent?: VariableDeclaration | ParameterDeclaration | BindingElement;

elements: NodeArray<BindingElement>;

}

export interface ArrayBindingPattern extends Node {

kind: SyntaxKind.ArrayBindingPattern;

parent?: VariableDeclaration | ParameterDeclaration | BindingElement;

elements: NodeArray<ArrayBindingElement>;

}

export type BindingPattern = ObjectBindingPattern | ArrayBindingPattern;

export type ArrayBindingElement = BindingElement | OmittedExpression;

/**

* Several node kinds share function-like features such as a signature,

* a name, and a body. These nodes should extend FunctionLikeDeclarationBase.

* Examples:

* - FunctionDeclaration

* - MethodDeclaration

* - AccessorDeclaration

*/

export interface FunctionLikeDeclarationBase extends SignatureDeclaration {

_functionLikeDeclarationBrand: any;

asteriskToken?: AsteriskToken;

questionToken?: QuestionToken;

body?: Block | Expression;

}

export type FunctionLikeDeclaration =

| FunctionDeclaration

| MethodDeclaration

| ConstructorDeclaration

| GetAccessorDeclaration

| SetAccessorDeclaration

| FunctionExpression

| ArrowFunction;

export type FunctionLike =

| FunctionLikeDeclaration

| FunctionTypeNode

| ConstructorTypeNode

| IndexSignatureDeclaration

| MethodSignature

| ConstructSignatureDeclaration

| CallSignatureDeclaration;

export interface FunctionDeclaration extends FunctionLikeDeclarationBase, DeclarationStatement {

kind: SyntaxKind.FunctionDeclaration;

name?: Identifier;

body?: FunctionBody;

}

export interface MethodSignature extends SignatureDeclaration, TypeElement {

kind: SyntaxKind.MethodSignature;

name: PropertyName;

}

// Note that a MethodDeclaration is considered both a ClassElement and an ObjectLiteralElement.

// Both the grammars for ClassDeclaration and ObjectLiteralExpression allow for MethodDeclarations

// as child elements, and so a MethodDeclaration satisfies both interfaces. This avoids the

// alternative where we would need separate kinds/types for ClassMethodDeclaration and

// ObjectLiteralMethodDeclaration, which would look identical.

//

// Because of this, it may be necessary to determine what sort of MethodDeclaration you have

// at later stages of the compiler pipeline. In that case, you can either check the parent kind

// of the method, or use helpers like isObjectLiteralMethodDeclaration

export interface MethodDeclaration extends FunctionLikeDeclarationBase, ClassElement, ObjectLiteralElement {

kind: SyntaxKind.MethodDeclaration;

name: PropertyName;

body?: FunctionBody;

}

export interface ConstructorDeclaration extends FunctionLikeDeclarationBase, ClassElement {

kind: SyntaxKind.Constructor;

parent?: ClassDeclaration | ClassExpression;

body?: FunctionBody;

}

/** For when we encounter a semicolon in a class declaration. ES6 allows these as class elements. */

export interface SemicolonClassElement extends ClassElement {

kind: SyntaxKind.SemicolonClassElement;

parent?: ClassDeclaration | ClassExpression;

}

// See the comment on MethodDeclaration for the intuition behind GetAccessorDeclaration being a

// ClassElement and an ObjectLiteralElement.

export interface GetAccessorDeclaration extends FunctionLikeDeclarationBase, ClassElement, ObjectLiteralElement {

kind: SyntaxKind.GetAccessor;

parent?: ClassDeclaration | ClassExpression | ObjectLiteralExpression;

name: PropertyName;

body: FunctionBody;

}

// See the comment on MethodDeclaration for the intuition behind SetAccessorDeclaration being a

// ClassElement and an ObjectLiteralElement.

export interface SetAccessorDeclaration extends FunctionLikeDeclarationBase, ClassElement, ObjectLiteralElement {

kind: SyntaxKind.SetAccessor;

parent?: ClassDeclaration | ClassExpression | ObjectLiteralExpression;

name: PropertyName;

body: FunctionBody;

}

export type AccessorDeclaration = GetAccessorDeclaration | SetAccessorDeclaration;

export interface IndexSignatureDeclaration extends SignatureDeclaration, ClassElement, TypeElement {

kind: SyntaxKind.IndexSignature;

parent?: ClassDeclaration | ClassExpression | InterfaceDeclaration | TypeLiteralNode;

}

export interface TypeNode extends Node {

_typeNodeBrand: any;

}

export interface KeywordTypeNode extends TypeNode {

kind: SyntaxKind.AnyKeyword

| SyntaxKind.NumberKeyword

| SyntaxKind.ObjectKeyword

| SyntaxKind.BooleanKeyword

| SyntaxKind.StringKeyword

| SyntaxKind.SymbolKeyword

| SyntaxKind.ThisKeyword

| SyntaxKind.VoidKeyword

| SyntaxKind.UndefinedKeyword

| SyntaxKind.NullKeyword

| SyntaxKind.NeverKeyword;

}

export interface ThisTypeNode extends TypeNode {

kind: SyntaxKind.ThisType;

}

export type FunctionOrConstructorTypeNode = FunctionTypeNode | ConstructorTypeNode;

export interface FunctionTypeNode extends TypeNode, SignatureDeclaration {

kind: SyntaxKind.FunctionType;

}

export interface ConstructorTypeNode extends TypeNode, SignatureDeclaration {

kind: SyntaxKind.ConstructorType;

}

export type TypeReferenceType = TypeReferenceNode | ExpressionWithTypeArguments | JSDocTypeReference;

export interface TypeReferenceNode extends TypeNode {

kind: SyntaxKind.TypeReference;

typeName: EntityName;

typeArguments?: NodeArray<TypeNode>;

}

export interface TypePredicateNode extends TypeNode {

kind: SyntaxKind.TypePredicate;

parameterName: Identifier | ThisTypeNode;

type: TypeNode;

}

export interface TypeQueryNode extends TypeNode {

kind: SyntaxKind.TypeQuery;

exprName: EntityName;

}

// A TypeLiteral is the declaration node for an anonymous symbol.

export interface TypeLiteralNode extends TypeNode, Declaration {

kind: SyntaxKind.TypeLiteral;

members: NodeArray<TypeElement>;

}

export interface ArrayTypeNode extends TypeNode {

kind: SyntaxKind.ArrayType;

elementType: TypeNode;

}

export interface TupleTypeNode extends TypeNode {

kind: SyntaxKind.TupleType;

elementTypes: NodeArray<TypeNode>;

}

export type UnionOrIntersectionTypeNode = UnionTypeNode | IntersectionTypeNode;

export interface UnionTypeNode extends TypeNode {

kind: SyntaxKind.UnionType;

types: NodeArray<TypeNode>;

}

export interface IntersectionTypeNode extends TypeNode {

kind: SyntaxKind.IntersectionType;

types: NodeArray<TypeNode>;

}

export interface ParenthesizedTypeNode extends TypeNode {

kind: SyntaxKind.ParenthesizedType;

type: TypeNode;

}

export interface TypeOperatorNode extends TypeNode {

kind: SyntaxKind.TypeOperator;

operator: SyntaxKind.KeyOfKeyword;

type: TypeNode;

}

export interface IndexedAccessTypeNode extends TypeNode {

kind: SyntaxKind.IndexedAccessType;

objectType: TypeNode;

indexType: TypeNode;

}

export interface MappedTypeNode extends TypeNode, Declaration {

kind: SyntaxKind.MappedType;

parent?: TypeAliasDeclaration;

readonlyToken?: ReadonlyToken;

typeParameter: TypeParameterDeclaration;

questionToken?: QuestionToken;

type?: TypeNode;

}

export interface LiteralTypeNode extends TypeNode {

kind: SyntaxKind.LiteralType;

literal: Expression;

}