hermes-estree 0.9.0 → 0.10.1

package/dist/types.js.flow

@@ -38,7 +38,10 @@
 
 export type Range = [number, number];
 
-export interface BaseToken {
+export interface ObjectWithLoc {
+  +loc: SourceLocation;
+}
+export interface BaseToken extends ObjectWithLoc {
   +loc: SourceLocation;
   +range: Range;
 }
@@ -106,7 +109,7 @@ export interface Position {
 }
 
 // note: this is only ever present on Program.interpreter, never in the body
-interface InterpreterDirective extends BaseNode {
+export interface InterpreterDirective extends BaseNode {
   type: 'InterpreterDirective';
   value: string;
 }
@@ -226,6 +229,9 @@ export type Statement =
   | ClassDeclaration
   | ContinueStatement
   | DebuggerStatement
+  | DeclareClass
+  | DeclareVariable
+  | DeclareFunction
   | DeclareInterface
   | DeclareModule
   | DeclareOpaqueType
@@ -471,7 +477,7 @@ export interface ObjectPropertyWithShorthandStaticName
   // shorthand values *must* be identifiers (that look the same as the key)
   +value: Identifier;
   +kind: 'init';
-  +method: boolean;
+  +method: false;
   +shorthand: true;
 }
 export interface ObjectPropertyWithComputedName extends ObjectPropertyBase {
@@ -850,7 +856,7 @@ interface BaseClass extends BaseNode {
   +body: ClassBody;
 
   +typeParameters: null | TypeParameterDeclaration;
-  +superTypeParameters: null | TypeParameterDeclaration;
+  +superTypeParameters: null | TypeParameterInstantiation;
   +implements: $ReadOnlyArray<ClassImplements>;
   +decorators: $ReadOnlyArray<Decorator>;
 }
@@ -1024,13 +1030,30 @@ export type NamedDeclaration =
   | InterfaceDeclaration
   | EnumDeclaration;
 
-export interface ExportNamedDeclaration extends BaseNode {
+interface ExportNamedDeclarationBase extends BaseNode {
   +type: 'ExportNamedDeclaration';
   +declaration?: NamedDeclaration | null;
   +specifiers: $ReadOnlyArray<ExportSpecifier>;
-  +source?: Literal | null;
+  +source?: StringLiteral | null;
   +exportKind: 'value' | 'type';
 }
+export interface ExportNamedDeclarationWithSpecifiers
+  extends ExportNamedDeclarationBase {
+  +type: 'ExportNamedDeclaration';
+  +declaration: null;
+  +source: null;
+  +specifiers: $ReadOnlyArray<ExportSpecifier>;
+}
+export interface ExportNamedDeclarationWithDeclaration
+  extends ExportNamedDeclarationBase {
+  +type: 'ExportNamedDeclaration';
+  +declaration: NamedDeclaration;
+  +source: null;
+  +specifiers: [];
+}
+export type ExportNamedDeclaration =
+  | ExportNamedDeclarationWithSpecifiers
+  | ExportNamedDeclarationWithDeclaration;
 
 export interface ExportSpecifier extends BaseNode {
   +type: 'ExportSpecifier';
@@ -1045,7 +1068,7 @@ export interface ExportDefaultDeclaration extends BaseNode {
 
 export interface ExportAllDeclaration extends BaseNode {
   +type: 'ExportAllDeclaration';
-  +source: Literal;
+  +source: StringLiteral;
   +exportKind: 'value' | 'type';
   +exported?: Identifier | null;
 }
@@ -1062,6 +1085,7 @@ export interface AwaitExpression extends BaseNode {
 export type TypeAnnotationType =
   | NumberTypeAnnotation
   | StringTypeAnnotation
+  | BigIntTypeAnnotation
   | BooleanTypeAnnotation
   | NullLiteralTypeAnnotation
   | AnyTypeAnnotation
@@ -1125,6 +1149,9 @@ export interface NumberTypeAnnotation extends BaseNode {
 export interface StringTypeAnnotation extends BaseNode {
   +type: 'StringTypeAnnotation';
 }
+export interface BigIntTypeAnnotation extends BaseNode {
+  +type: 'BigIntTypeAnnotation';
+}
 export interface BooleanTypeAnnotation extends BaseNode {
   +type: 'BooleanTypeAnnotation';
 }
@@ -1161,13 +1188,14 @@ export interface NumberLiteralTypeAnnotation extends BaseNode {
 }
 export interface BigIntLiteralTypeAnnotation extends BaseNode {
   +type: 'BigIntLiteralTypeAnnotation';
-  +value: null;
+  +bigint: string;
+  +value: null /* | bigint */;
   +raw: string;
 }
 export interface BooleanLiteralTypeAnnotation extends BaseNode {
   +type: 'BooleanLiteralTypeAnnotation';
   +value: boolean;
-  +raw: string;
+  +raw: 'true' | 'false';
 }
 export interface ArrayTypeAnnotation extends BaseNode {
   +type: 'ArrayTypeAnnotation';
@@ -1196,7 +1224,7 @@ export interface TypeofTypeAnnotation extends BaseNode {
 }
 export interface TupleTypeAnnotation extends BaseNode {
   +type: 'TupleTypeAnnotation';
-  +types: TypeAnnotationType;
+  +types: $ReadOnlyArray<TypeAnnotationType>;
 }
 
 // type T = { [[foo]]: number };
@@ -1230,7 +1258,7 @@ export interface FunctionTypeAnnotation extends BaseNode {
   +returnType: TypeAnnotationType;
   +rest: null | FunctionTypeParam;
   +typeParameters: null | TypeParameterDeclaration;
-  +this: TypeAnnotationType | null;
+  +this: FunctionTypeParam | null;
 }
 export interface FunctionTypeParam extends BaseNode {
   +type: 'FunctionTypeParam';
@@ -1255,23 +1283,58 @@ export interface ObjectTypeAnnotation extends BaseNode {
   +callProperties: $ReadOnlyArray<ObjectTypeCallProperty>;
   +internalSlots: $ReadOnlyArray<ObjectTypeInternalSlot>;
 }
-export interface ObjectTypeProperty extends BaseNode {
+interface ObjectTypePropertyBase extends BaseNode {
   +type: 'ObjectTypeProperty';
-  +key: Identifier;
+  +key: Identifier | StringLiteral;
   +value: TypeAnnotationType;
   +method: boolean;
   +optional: boolean;
-  +static: false; // can't be static
-  +proto: false; // ???
+  +static: boolean; // only applies to the "declare class" case
+  +proto: boolean; // only applies to the "declare class" case
+  +variance: Variance | null;
+  +kind: 'init' | 'get' | 'set';
+
+  +parent: ObjectTypeAnnotation;
+}
+export interface ObjectTypeMethodSignature extends ObjectTypePropertyBase {
+  +type: 'ObjectTypeProperty';
+  +value: FunctionTypeAnnotation;
+  +method: true;
+  +optional: false;
+  +variance: null;
+  +kind: 'init';
+
+  +parent: ObjectTypeAnnotation;
+}
+export interface ObjectTypePropertySignature extends ObjectTypePropertyBase {
+  +type: 'ObjectTypeProperty';
+  +value: TypeAnnotationType;
+  +method: false;
+  +optional: boolean;
   +variance: Variance | null;
   +kind: 'init';
 
   +parent: ObjectTypeAnnotation;
 }
+export interface ObjectTypeAccessorSignature extends ObjectTypePropertyBase {
+  +type: 'ObjectTypeProperty';
+  +value: FunctionTypeAnnotation;
+  +method: false;
+  +optional: false;
+  +variance: null;
+  +kind: 'get' | 'set';
+
+  +parent: ObjectTypeAnnotation;
+}
+export type ObjectTypeProperty =
+  | ObjectTypeMethodSignature
+  | ObjectTypePropertySignature
+  | ObjectTypeAccessorSignature;
+
 export interface ObjectTypeCallProperty extends BaseNode {
   +type: 'ObjectTypeCallProperty';
   +value: FunctionTypeAnnotation;
-  +static: false; // can't be static
+  +static: boolean; // can only be static when defined on a declare class
 
   +parent: ObjectTypeAnnotation;
 }
@@ -1280,7 +1343,7 @@ export interface ObjectTypeIndexer extends BaseNode {
   +id: null | Identifier;
   +key: TypeAnnotationType;
   +value: TypeAnnotationType;
-  +static: false; // can't be static
+  +static: boolean; // can only be static when defined on a declare class
   +variance: null | Variance;
 
   +parent: ObjectTypeAnnotation;
@@ -1294,13 +1357,13 @@ export interface ObjectTypeSpreadProperty extends BaseNode {
 
 export interface IndexedAccessType extends BaseNode {
   +type: 'IndexedAccessType';
-  +objectType: TypeAnnotation;
-  +indexType: TypeAnnotation;
+  +objectType: TypeAnnotationType;
+  +indexType: TypeAnnotationType;
 }
 export interface OptionalIndexedAccessType extends BaseNode {
   +type: 'OptionalIndexedAccessType';
-  +objectType: TypeAnnotation;
-  +indexType: TypeAnnotation;
+  +objectType: TypeAnnotationType;
+  +indexType: TypeAnnotationType;
   +optional: boolean;
 }
 
@@ -1326,7 +1389,7 @@ export interface InterfaceDeclaration extends BaseInterfaceDeclaration {
 export interface InterfaceExtends extends BaseNode {
   +type: 'InterfaceExtends';
   +id: Identifier;
-  +typeParameters: null | TypeParameterDeclaration;
+  +typeParameters: null | TypeParameterInstantiation;
 
   +parent: InterfaceDeclaration | DeclareInterface;
 }
@@ -1334,7 +1397,7 @@ export interface InterfaceExtends extends BaseNode {
 export interface ClassImplements extends BaseNode {
   +type: 'ClassImplements';
   +id: Identifier;
-  +typeParameters: null | TypeParameterDeclaration;
+  +typeParameters: null | TypeParameterInstantiation;
 
   +parent: AClass | DeclareClass;
 }
@@ -1476,7 +1539,12 @@ export interface DeclareVariable extends BaseNode {
 
 export interface DeclareFunction extends BaseNode {
   +type: 'DeclareFunction';
-  +id: Identifier;
+  // the function signature is stored as a type annotation on the ID
+  +id: interface extends Identifier {
+    +typeAnnotation: interface extends TypeAnnotation {
+      +typeAnnotation: FunctionTypeAnnotation,
+    },
+  };
   +predicate: InferredPredicate | DeclaredPredicate | null;
 }
 
@@ -1505,19 +1573,49 @@ export interface DeclareExportAllDeclaration extends BaseNode {
   +source: StringLiteral;
 }
 
-export interface DeclareExportDeclaration extends BaseNode {
+interface DeclareExportDeclarationBase extends BaseNode {
   +type: 'DeclareExportDeclaration';
   +specifiers: $ReadOnlyArray<ExportSpecifier>;
+  +source: StringLiteral | null;
+  +default: boolean;
+}
+export interface DeclareExportDefaultDeclaration
+  extends DeclareExportDeclarationBase {
+  +type: 'DeclareExportDeclaration';
+  +declaration: DeclareClass | DeclareFunction | TypeAnnotationType;
+  +default: true;
+  // default cannot have a source
+  +source: null;
+  // default cannot have specifiers
+  +specifiers: [];
+}
+export interface DeclareExportDeclarationNamedWithDeclaration
+  extends DeclareExportDeclarationBase {
+  +type: 'DeclareExportDeclaration';
   +declaration:
-    | TypeAlias
     | DeclareClass
     | DeclareFunction
-    | DeclareOpaqueType
     | DeclareInterface
-    | null;
-  +source: StringLiteral | null;
-  +default: boolean;
+    | DeclareOpaqueType
+    | DeclareVariable;
+  +default: false;
+  +source: null;
+  // default cannot have specifiers and a declaration
+  +specifiers: [];
+}
+export interface DeclareExportDeclarationNamedWithSpecifiers
+  extends DeclareExportDeclarationBase {
+  +type: 'DeclareExportDeclaration';
+  // with a source you can't have a declaration
+  +declaration: null;
+  +default: false;
+  +source: StringLiteral;
+  +specifiers: $ReadOnlyArray<ExportSpecifier>;
 }
+export type DeclareExportDeclaration =
+  | DeclareExportDefaultDeclaration
+  | DeclareExportDeclarationNamedWithDeclaration
+  | DeclareExportDeclarationNamedWithSpecifiers;
 
 export interface DeclareModuleExports extends BaseNode {
   +type: 'DeclareModuleExports';

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "hermes-estree",
-  "version": "0.9.0",
+  "version": "0.10.1",
   "description": "Flow types for the Flow-ESTree spec produced by the hermes parser",
   "main": "dist/index.js",
   "license": "MIT",