hermes-parser 0.25.1 → 0.26.0

package/dist/generated/ESTreeVisitorKeys.js

@@ -132,6 +132,22 @@ module.exports = {
   KeyofTypeAnnotation: ['argument'],
   LabeledStatement: ['label', 'body'],
   LogicalExpression: ['left', 'right'],
+  MatchArrayPattern: ['elements', 'rest'],
+  MatchAsPattern: ['pattern', 'target'],
+  MatchBindingPattern: ['id'],
+  MatchExpression: ['argument', 'cases'],
+  MatchExpressionCase: ['pattern', 'body', 'guard'],
+  MatchIdentifierPattern: ['id'],
+  MatchLiteralPattern: ['literal'],
+  MatchMemberPattern: ['base', 'property'],
+  MatchObjectPattern: ['properties', 'rest'],
+  MatchObjectPatternProperty: ['key', 'pattern'],
+  MatchOrPattern: ['patterns'],
+  MatchRestPattern: ['argument'],
+  MatchStatement: ['argument', 'cases'],
+  MatchStatementCase: ['pattern', 'body', 'guard'],
+  MatchUnaryPattern: ['argument'],
+  MatchWildcardPattern: [],
   MemberExpression: ['object', 'property'],
   MetaProperty: ['meta', 'property'],
   MethodDefinition: ['key', 'value'],
@@ -162,6 +178,7 @@ module.exports = {
   ReturnStatement: ['argument'],
   SequenceExpression: ['expressions'],
   SpreadElement: ['argument'],
+  StaticBlock: ['body'],
   StringLiteralTypeAnnotation: [],
   StringTypeAnnotation: [],
   Super: [],

package/dist/generated/ParserVisitorKeys.js

@@ -459,6 +459,63 @@ const HERMES_AST_VISITOR_KEYS = {
     left: 'Node',
     right: 'Node'
   },
+  MatchArrayPattern: {
+    elements: 'NodeList',
+    rest: 'Node'
+  },
+  MatchAsPattern: {
+    pattern: 'Node',
+    target: 'Node'
+  },
+  MatchBindingPattern: {
+    id: 'Node'
+  },
+  MatchExpression: {
+    argument: 'Node',
+    cases: 'NodeList'
+  },
+  MatchExpressionCase: {
+    pattern: 'Node',
+    body: 'Node',
+    guard: 'Node'
+  },
+  MatchIdentifierPattern: {
+    id: 'Node'
+  },
+  MatchLiteralPattern: {
+    literal: 'Node'
+  },
+  MatchMemberPattern: {
+    base: 'Node',
+    property: 'Node'
+  },
+  MatchObjectPattern: {
+    properties: 'NodeList',
+    rest: 'Node'
+  },
+  MatchObjectPatternProperty: {
+    key: 'Node',
+    pattern: 'Node'
+  },
+  MatchOrPattern: {
+    patterns: 'NodeList'
+  },
+  MatchRestPattern: {
+    argument: 'Node'
+  },
+  MatchStatement: {
+    argument: 'Node',
+    cases: 'NodeList'
+  },
+  MatchStatementCase: {
+    pattern: 'Node',
+    body: 'Node',
+    guard: 'Node'
+  },
+  MatchUnaryPattern: {
+    argument: 'Node'
+  },
+  MatchWildcardPattern: {},
   MemberExpression: {
     object: 'Node',
     property: 'Node'
@@ -570,6 +627,9 @@ const HERMES_AST_VISITOR_KEYS = {
   SpreadElement: {
     argument: 'Node'
   },
+  StaticBlock: {
+    body: 'NodeList'
+  },
   StringLiteral: {},
   StringLiteralTypeAnnotation: {},
   StringTypeAnnotation: {},

package/dist/index.js

@@ -33,6 +33,8 @@ exports.FlowVisitorKeys = _ESTreeVisitorKeys.default;
 
 var StripComponentSyntax = _interopRequireWildcard(require("./estree/StripComponentSyntax"));
 
+var TransformMatchSyntax = _interopRequireWildcard(require("./estree/TransformMatchSyntax"));
+
 var StripFlowTypesForBabel = _interopRequireWildcard(require("./estree/StripFlowTypesForBabel"));
 
 var TransformESTreeToBabel = _interopRequireWildcard(require("./babel/TransformESTreeToBabel"));
@@ -134,11 +136,12 @@ function parse(code, opts) {
     return estreeAST;
   }
 
-  const loweredESTreeAST = [StripComponentSyntax.transformProgram, StripFlowTypesForBabel.transformProgram].reduce((ast, transform) => transform(ast, options), estreeAST);
+  const loweredESTreeAST = [TransformMatchSyntax.transformProgram, StripComponentSyntax.transformProgram, StripFlowTypesForBabel.transformProgram].reduce((ast, transform) => transform(ast, options), estreeAST);
   return TransformESTreeToBabel.transformProgram(loweredESTreeAST, options);
 }
 
 const Transforms = {
+  transformMatchSyntax: TransformMatchSyntax.transformProgram,
   stripComponentSyntax: StripComponentSyntax.transformProgram,
   stripFlowTypesForBabel: StripFlowTypesForBabel.transformProgram,
   stripFlowTypes: StripFlowTypes.transformProgram

package/dist/index.js.flow

@@ -18,6 +18,7 @@ import * as HermesParser from './HermesParser';
 import HermesToESTreeAdapter from './HermesToESTreeAdapter';
 import FlowVisitorKeys from './generated/ESTreeVisitorKeys';
 import * as StripComponentSyntax from './estree/StripComponentSyntax';
+import * as TransformMatchSyntax from './estree/TransformMatchSyntax';
 import * as StripFlowTypesForBabel from './estree/StripFlowTypesForBabel';
 import * as TransformESTreeToBabel from './babel/TransformESTreeToBabel';
 import * as StripFlowTypes from './estree/StripFlowTypes';
@@ -87,6 +88,7 @@ export function parse(
   }
 
   const loweredESTreeAST = [
+    TransformMatchSyntax.transformProgram,
     StripComponentSyntax.transformProgram,
     StripFlowTypesForBabel.transformProgram,
   ].reduce((ast, transform) => transform(ast, options), estreeAST);
@@ -105,6 +107,7 @@ export * as astNodeMutationHelpers from './transform/astNodeMutationHelpers';
 export {default as mutateESTreeASTForPrettier} from './utils/mutateESTreeASTForPrettier';
 
 const Transforms = {
+  transformMatchSyntax: TransformMatchSyntax.transformProgram,
   stripComponentSyntax: StripComponentSyntax.transformProgram,
   stripFlowTypesForBabel: StripFlowTypesForBabel.transformProgram,
   stripFlowTypes: StripFlowTypes.transformProgram,

package/dist/utils/Builders.js

@@ -0,0 +1,174 @@
+/**
+ * Copyright (c) Meta Platforms, Inc. and affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *
+ * 
+ * @format
+ */
+'use strict';
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.EMPTY_PARENT = void 0;
+exports.callExpression = callExpression;
+exports.conjunction = conjunction;
+exports.createDefaultPosition = createDefaultPosition;
+exports.disjunction = disjunction;
+exports.etc = etc;
+exports.ident = ident;
+exports.iife = iife;
+exports.nullLiteral = nullLiteral;
+exports.numberLiteral = numberLiteral;
+exports.stringLiteral = stringLiteral;
+exports.throwStatement = throwStatement;
+exports.variableDeclaration = variableDeclaration;
+// Rely on the mapper to fix up parent relationships.
+const EMPTY_PARENT = null;
+exports.EMPTY_PARENT = EMPTY_PARENT;
+
+function createDefaultPosition() {
+  return {
+    line: 1,
+    column: 0
+  };
+}
+
+function etc({
+  loc,
+  range,
+  parent
+} = {}) {
+  return {
+    loc: {
+      start: (loc == null ? void 0 : loc.start) != null ? loc.start : createDefaultPosition(),
+      end: (loc == null ? void 0 : loc.end) != null ? loc.end : createDefaultPosition()
+    },
+    range: range != null ? range : [0, 0],
+    parent: parent != null ? parent : EMPTY_PARENT
+  };
+}
+
+function ident(name, info) {
+  return {
+    type: 'Identifier',
+    name,
+    optional: false,
+    typeAnnotation: null,
+    ...etc(info)
+  };
+}
+
+function stringLiteral(value, info) {
+  return {
+    type: 'Literal',
+    value,
+    raw: `"${value}"`,
+    literalType: 'string',
+    ...etc(info)
+  };
+}
+
+function numberLiteral(value, info) {
+  return {
+    type: 'Literal',
+    value,
+    raw: String(value),
+    literalType: 'numeric',
+    ...etc(info)
+  };
+}
+
+function nullLiteral(info) {
+  return {
+    type: 'Literal',
+    value: null,
+    raw: 'null',
+    literalType: 'null',
+    ...etc(info)
+  };
+}
+
+function conjunction(tests) {
+  if (tests.length === 0) {
+    throw new Error('Must have at least one test.');
+  }
+
+  return tests.reduce((acc, test) => ({
+    type: 'LogicalExpression',
+    left: acc,
+    right: test,
+    operator: '&&',
+    ...etc()
+  }));
+}
+
+function disjunction(tests) {
+  if (tests.length === 0) {
+    throw new Error('Must have at least one test.');
+  }
+
+  return tests.reduce((acc, test) => ({
+    type: 'LogicalExpression',
+    left: acc,
+    right: test,
+    operator: '||',
+    ...etc()
+  }));
+}
+
+function variableDeclaration(kind, id, init, info) {
+  return {
+    type: 'VariableDeclaration',
+    kind,
+    declarations: [{
+      type: 'VariableDeclarator',
+      init,
+      id,
+      ...etc(),
+      parent: EMPTY_PARENT
+    }],
+    ...etc(info)
+  };
+}
+
+function callExpression(callee, args, info) {
+  return {
+    type: 'CallExpression',
+    callee,
+    arguments: args,
+    typeArguments: null,
+    optional: false,
+    ...etc(info)
+  };
+}
+
+function throwStatement(arg, info) {
+  return {
+    type: 'ThrowStatement',
+    argument: callExpression(ident('Error'), [arg]),
+    ...etc(info)
+  };
+}
+
+function iife(statements, params = [], args = []) {
+  const callee = {
+    type: 'ArrowFunctionExpression',
+    params,
+    expression: false,
+    async: false,
+    predicate: null,
+    returnType: null,
+    typeParameters: null,
+    id: null,
+    body: {
+      type: 'BlockStatement',
+      body: statements,
+      ...etc()
+    },
+    ...etc()
+  };
+  return callExpression(callee, args);
+}

package/dist/utils/Builders.js.flow

@@ -0,0 +1,198 @@
+/**
+ * Copyright (c) Meta Platforms, Inc. and affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *
+ * @flow strict
+ * @format
+ */
+
+'use strict';
+
+import type {
+  ArrowFunctionExpression,
+  BindingName,
+  CallExpression,
+  ESNode,
+  Expression,
+  Identifier,
+  LogicalExpression,
+  NullLiteral,
+  NumericLiteral,
+  Position,
+  Range,
+  SourceLocation,
+  SpreadElement,
+  Statement,
+  StringLiteral,
+  Super,
+  ThrowStatement,
+  VariableDeclaration,
+} from 'hermes-estree';
+
+// Rely on the mapper to fix up parent relationships.
+export const EMPTY_PARENT: $FlowFixMe = null;
+
+export function createDefaultPosition(): Position {
+  return {
+    line: 1,
+    column: 0,
+  };
+}
+
+export type Etc = {
+  parent?: ESNode,
+  loc?: SourceLocation,
+  range?: Range,
+};
+
+export function etc({loc, range, parent}: Etc = {}): {
+  parent: ESNode,
+  loc: SourceLocation,
+  range: Range,
+} {
+  return {
+    loc: {
+      start: loc?.start != null ? loc.start : createDefaultPosition(),
+      end: loc?.end != null ? loc.end : createDefaultPosition(),
+    },
+    range: range ?? [0, 0],
+    parent: parent ?? EMPTY_PARENT,
+  };
+}
+
+export function ident(name: string, info?: Etc): Identifier {
+  return {
+    type: 'Identifier',
+    name,
+    optional: false,
+    typeAnnotation: null,
+    ...etc(info),
+  };
+}
+
+export function stringLiteral(value: string, info?: Etc): StringLiteral {
+  return {
+    type: 'Literal',
+    value,
+    raw: `"${value}"`,
+    literalType: 'string',
+    ...etc(info),
+  };
+}
+
+export function numberLiteral(value: number, info?: Etc): NumericLiteral {
+  return {
+    type: 'Literal',
+    value,
+    raw: String(value),
+    literalType: 'numeric',
+    ...etc(info),
+  };
+}
+
+export function nullLiteral(info?: Etc): NullLiteral {
+  return {
+    type: 'Literal',
+    value: null,
+    raw: 'null',
+    literalType: 'null',
+    ...etc(info),
+  };
+}
+
+export function conjunction(tests: $ReadOnlyArray<Expression>): Expression {
+  if (tests.length === 0) {
+    throw new Error('Must have at least one test.');
+  }
+  return tests.reduce((acc, test): LogicalExpression => ({
+    type: 'LogicalExpression',
+    left: acc,
+    right: test,
+    operator: '&&',
+    ...etc(),
+  }));
+}
+
+export function disjunction(tests: $ReadOnlyArray<Expression>): Expression {
+  if (tests.length === 0) {
+    throw new Error('Must have at least one test.');
+  }
+  return tests.reduce((acc, test): LogicalExpression => ({
+    type: 'LogicalExpression',
+    left: acc,
+    right: test,
+    operator: '||',
+    ...etc(),
+  }));
+}
+
+export function variableDeclaration(
+  kind: VariableDeclaration['kind'],
+  id: BindingName,
+  init: Expression,
+  info?: Etc,
+): VariableDeclaration {
+  return {
+    type: 'VariableDeclaration',
+    kind,
+    declarations: [
+      {
+        type: 'VariableDeclarator',
+        init,
+        id,
+        ...etc(),
+        parent: EMPTY_PARENT,
+      },
+    ],
+    ...etc(info),
+  };
+}
+
+export function callExpression(
+  callee: Expression | Super,
+  args: $ReadOnlyArray<Expression | SpreadElement>,
+  info?: Etc,
+): CallExpression {
+  return {
+    type: 'CallExpression',
+    callee,
+    arguments: args,
+    typeArguments: null,
+    optional: false,
+    ...etc(info),
+  };
+}
+
+export function throwStatement(arg: Expression, info?: Etc): ThrowStatement {
+  return {
+    type: 'ThrowStatement',
+    argument: callExpression(ident('Error'), [arg]),
+    ...etc(info),
+  };
+}
+
+export function iife(
+  statements: $ReadOnlyArray<Statement>,
+  params: $ReadOnlyArray<BindingName> = [],
+  args: $ReadOnlyArray<Expression> = [],
+): CallExpression {
+  const callee: ArrowFunctionExpression = {
+    type: 'ArrowFunctionExpression',
+    params,
+    expression: false,
+    async: false,
+    predicate: null,
+    returnType: null,
+    typeParameters: null,
+    id: null,
+    body: {
+      type: 'BlockStatement',
+      body: statements,
+      ...etc(),
+    },
+    ...etc(),
+  };
+  return callExpression(callee, args);
+}

package/dist/utils/GenID.js

@@ -0,0 +1,41 @@
+/**
+ * Copyright (c) Meta Platforms, Inc. and affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *
+ * 
+ * @format
+ */
+'use strict';
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.createGenID = createGenID;
+const genPrefix = '$$gen$';
+
+function createGenID(uniqueTransformPrefix) {
+  let genN = 0;
+  const used = new Set();
+  return {
+    genID() {
+      let name;
+
+      do {
+        name = `${genPrefix}${uniqueTransformPrefix}${genN}`;
+        genN++;
+      } while (used.has(name));
+
+      used.add(name);
+      return name;
+    },
+
+    addUsage(name) {
+      if (name.startsWith(genPrefix)) {
+        used.add(name);
+      }
+    }
+
+  };
+}

package/dist/utils/GenID.js.flow

@@ -0,0 +1,38 @@
+/**
+ * Copyright (c) Meta Platforms, Inc. and affiliates.
+ *
+ * This source code is licensed under the MIT license found in the
+ * LICENSE file in the root directory of this source tree.
+ *
+ * @flow strict
+ * @format
+ */
+
+'use strict';
+
+const genPrefix = '$$gen$';
+
+export function createGenID(uniqueTransformPrefix: string): {
+  genID(): string,
+  addUsage(string): void,
+} {
+  let genN: number = 0;
+  const used = new Set<string>();
+
+  return {
+    genID(): string {
+      let name;
+      do {
+        name = `${genPrefix}${uniqueTransformPrefix}${genN}`;
+        genN++;
+      } while (used.has(name));
+      used.add(name);
+      return name;
+    },
+    addUsage(name: string): void {
+      if (name.startsWith(genPrefix)) {
+        used.add(name);
+      }
+    },
+  };
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "hermes-parser",
-  "version": "0.25.1",
+  "version": "0.26.0",
   "description": "A JavaScript parser built from the Hermes engine",
   "main": "dist/index.js",
   "license": "MIT",
@@ -9,7 +9,7 @@
     "url": "git@github.com:facebook/hermes.git"
   },
   "dependencies": {
-    "hermes-estree": "0.25.1"
+    "hermes-estree": "0.26.0"
   },
   "devDependencies": {
     "@babel/parser": "7.7.4",