hermes-parser 0.4.8 → 0.7.0

package/dist/HermesToESTreeAdapter.js

@@ -1,212 +1,251 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.default = void 0;
+
+var _HermesASTAdapter = _interopRequireDefault(require("./HermesASTAdapter"));
+
+function _interopRequireDefault(obj) { return obj && obj.__esModule ? obj : { default: obj }; }
+
 /**
- * Copyright (c) Facebook, Inc. and its affiliates.
+ * 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';
-
-function _typeof(obj) { "@babel/helpers - typeof"; if (typeof Symbol === "function" && typeof Symbol.iterator === "symbol") { _typeof = function _typeof(obj) { return typeof obj; }; } else { _typeof = function _typeof(obj) { return obj && typeof Symbol === "function" && obj.constructor === Symbol && obj !== Symbol.prototype ? "symbol" : typeof obj; }; } return _typeof(obj); }
 
-function _classCallCheck(instance, Constructor) { if (!(instance instanceof Constructor)) { throw new TypeError("Cannot call a class as a function"); } }
+/*
+This class does some very "javascripty" things in the name of
+performance which are ultimately impossible to soundly type.
+
+So instead of adding strict types and a large number of suppression
+comments, instead it is left untyped and subclasses are strictly
+typed via a separate flow declaration file.
+*/
+class HermesToESTreeAdapter extends _HermesASTAdapter.default {
+  constructor(options, code) {
+    super(options);
+    this.code = void 0;
+    this.code = code;
+  }
 
-function _defineProperties(target, props) { for (var i = 0; i < props.length; i++) { var descriptor = props[i]; descriptor.enumerable = descriptor.enumerable || false; descriptor.configurable = true; if ("value" in descriptor) descriptor.writable = true; Object.defineProperty(target, descriptor.key, descriptor); } }
+  fixSourceLocation(node) {
+    var _this$sourceFilename;
 
-function _createClass(Constructor, protoProps, staticProps) { if (protoProps) _defineProperties(Constructor.prototype, protoProps); if (staticProps) _defineProperties(Constructor, staticProps); return Constructor; }
+    const loc = node.loc;
 
-function _inherits(subClass, superClass) { if (typeof superClass !== "function" && superClass !== null) { throw new TypeError("Super expression must either be null or a function"); } subClass.prototype = Object.create(superClass && superClass.prototype, { constructor: { value: subClass, writable: true, configurable: true } }); if (superClass) _setPrototypeOf(subClass, superClass); }
+    if (loc == null) {
+      return;
+    }
 
-function _setPrototypeOf(o, p) { _setPrototypeOf = Object.setPrototypeOf || function _setPrototypeOf(o, p) { o.__proto__ = p; return o; }; return _setPrototypeOf(o, p); }
+    node.loc = {
+      source: (_this$sourceFilename = this.sourceFilename) != null ? _this$sourceFilename : null,
+      start: loc.start,
+      end: loc.end
+    };
+    node.range = [loc.rangeStart, loc.rangeEnd];
+  }
 
-function _createSuper(Derived) { var hasNativeReflectConstruct = _isNativeReflectConstruct(); return function _createSuperInternal() { var Super = _getPrototypeOf(Derived), result; if (hasNativeReflectConstruct) { var NewTarget = _getPrototypeOf(this).constructor; result = Reflect.construct(Super, arguments, NewTarget); } else { result = Super.apply(this, arguments); } return _possibleConstructorReturn(this, result); }; }
+  mapNode(node) {
+    this.fixSourceLocation(node);
 
-function _possibleConstructorReturn(self, call) { if (call && (_typeof(call) === "object" || typeof call === "function")) { return call; } return _assertThisInitialized(self); }
+    switch (node.type) {
+      case 'Program':
+        return this.mapProgram(node);
 
-function _assertThisInitialized(self) { if (self === void 0) { throw new ReferenceError("this hasn't been initialised - super() hasn't been called"); } return self; }
+      case 'NullLiteral':
+        return this.mapNullLiteral(node);
 
-function _isNativeReflectConstruct() { if (typeof Reflect === "undefined" || !Reflect.construct) return false; if (Reflect.construct.sham) return false; if (typeof Proxy === "function") return true; try { Date.prototype.toString.call(Reflect.construct(Date, [], function () {})); return true; } catch (e) { return false; } }
+      case 'BooleanLiteral':
+      case 'StringLiteral':
+      case 'NumericLiteral':
+      case 'JSXStringLiteral':
+        return this.mapSimpleLiteral(node);
 
-function _getPrototypeOf(o) { _getPrototypeOf = Object.setPrototypeOf ? Object.getPrototypeOf : function _getPrototypeOf(o) { return o.__proto__ || Object.getPrototypeOf(o); }; return _getPrototypeOf(o); }
+      case 'BigIntLiteral':
+        return this.mapBigIntLiteral(node);
 
-var HermesASTAdapter = require('./HermesASTAdapter');
+      case 'RegExpLiteral':
+        return this.mapRegExpLiteral(node);
 
-var HermesToESTreeAdapter = /*#__PURE__*/function (_HermesASTAdapter) {
-  _inherits(HermesToESTreeAdapter, _HermesASTAdapter);
+      case 'Empty':
+        return this.mapEmpty(node);
 
-  var _super = _createSuper(HermesToESTreeAdapter);
+      case 'TemplateElement':
+        return this.mapTemplateElement(node);
 
-  function HermesToESTreeAdapter(options, code) {
-    var _this;
+      case 'BigIntLiteralTypeAnnotation':
+        return this.mapBigIntLiteralTypeAnnotation(node);
 
-    _classCallCheck(this, HermesToESTreeAdapter);
+      case 'GenericTypeAnnotation':
+        return this.mapGenericTypeAnnotation(node);
 
-    _this = _super.call(this, options);
-    _this.code = code;
-    return _this;
-  }
+      case 'ImportDeclaration':
+        return this.mapImportDeclaration(node);
 
-  _createClass(HermesToESTreeAdapter, [{
-    key: "fixSourceLocation",
-    value: function fixSourceLocation(node) {
-      var _this$sourceFilename;
+      case 'ImportSpecifier':
+        return this.mapImportSpecifier(node);
 
-      var loc = node.loc;
+      case 'ExportDefaultDeclaration':
+        return this.mapExportDefaultDeclaration(node);
 
-      if (loc == null) {
-        return;
-      }
+      case 'ExportNamedDeclaration':
+        return this.mapExportNamedDeclaration(node);
 
-      node.loc = {
-        source: (_this$sourceFilename = this.sourceFilename) !== null && _this$sourceFilename !== void 0 ? _this$sourceFilename : null,
-        start: loc.start,
-        end: loc.end
-      };
-      node.range = [loc.rangeStart, loc.rangeEnd];
-    }
-  }, {
-    key: "mapNode",
-    value: function mapNode(node) {
-      this.fixSourceLocation(node);
+      case 'ExportAllDeclaration':
+        return this.mapExportAllDeclaration(node);
 
-      switch (node.type) {
-        case 'Program':
-          return this.mapProgram(node);
+      case 'PrivateName':
+      case 'ClassPrivateProperty':
+        return this.mapPrivateProperty(node);
 
-        case 'NullLiteral':
-          return this.mapNullLiteral(node);
+      case 'Property':
+        return this.mapProperty(node);
 
-        case 'BooleanLiteral':
-        case 'StringLiteral':
-        case 'NumericLiteral':
-          return this.mapSimpleLiteral(node);
+      default:
+        return this.mapNodeDefault(node);
+    }
+  }
 
-        case 'RegExpLiteral':
-          return this.mapRegExpLiteral(node);
+  mapProgram(node) {
+    node = this.mapNodeDefault(node);
+    node.sourceType = this.getSourceType();
+    return node;
+  }
 
-        case 'Empty':
-          return this.mapEmpty(node);
+  mapSimpleLiteral(node) {
+    return {
+      type: 'Literal',
+      loc: node.loc,
+      range: node.range,
+      value: node.value,
+      raw: this.code.slice(node.range[0], node.range[1]),
+      literalType: (() => {
+        switch (node.type) {
+          case 'NullLiteral':
+            return 'null';
+
+          case 'BooleanLiteral':
+            return 'boolean';
+
+          case 'StringLiteral':
+          case 'JSXStringLiteral':
+            return 'string';
+
+          case 'NumericLiteral':
+            return 'numeric';
+
+          case 'BigIntLiteral':
+            return 'bigint';
+
+          case 'RegExpLiteral':
+            return 'regexp';
+        }
 
-        case 'TemplateElement':
-          return this.mapTemplateElement(node);
+        return null;
+      })()
+    };
+  }
 
-        case 'GenericTypeAnnotation':
-          return this.mapGenericTypeAnnotation(node);
+  mapBigIntLiteral(node) {
+    const newNode = this.mapSimpleLiteral(node);
+    const bigint = node.bigint // estree spec is to not have a trailing `n` on this property
+    // https://github.com/estree/estree/blob/db962bb417a97effcfe9892f87fbb93c81a68584/es2020.md#bigintliteral
+    .replace(/n$/, '') // `BigInt` doesn't accept numeric separator and `bigint` property should not include numeric separator
+    .replace(/_/, '');
+    return { ...newNode,
+      // coerce the string to a bigint value if supported by the environment
+      value: typeof BigInt === 'function' ? BigInt(bigint) : null,
+      bigint
+    };
+  }
 
-        case 'ImportDeclaration':
-          return this.mapImportDeclaration(node);
+  mapNullLiteral(node) {
+    return { ...this.mapSimpleLiteral(node),
+      value: null
+    };
+  }
 
-        case 'ImportSpecifier':
-          return this.mapImportSpecifier(node);
+  mapRegExpLiteral(node) {
+    const {
+      pattern,
+      flags
+    } = node; // Create RegExp value if possible. This can fail when the flags are invalid.
 
-        case 'ExportDefaultDeclaration':
-          return this.mapExportDefaultDeclaration(node);
+    let value;
 
-        case 'ExportNamedDeclaration':
-          return this.mapExportNamedDeclaration(node);
+    try {
+      value = new RegExp(pattern, flags);
+    } catch (e) {
+      value = null;
+    }
 
-        case 'ExportAllDeclaration':
-          return this.mapExportAllDeclaration(node);
+    return { ...this.mapSimpleLiteral(node),
+      value,
+      regex: {
+        pattern,
+        flags
+      }
+    };
+  }
 
-        case 'PrivateName':
-        case 'ClassPrivateProperty':
-          return this.mapPrivateProperty(node);
+  mapBigIntLiteralTypeAnnotation(node) {
+    node.value = null;
+    return node;
+  }
 
-        default:
-          return this.mapNodeDefault(node);
-      }
-    }
-  }, {
-    key: "mapProgram",
-    value: function mapProgram(node) {
-      node = this.mapNodeDefault(node);
-      node.sourceType = this.getSourceType();
-      return node;
-    }
-  }, {
-    key: "mapSimpleLiteral",
-    value: function mapSimpleLiteral(node) {
-      node.type = 'Literal';
-      node.raw = this.code.slice(node.range[0], node.range[1]);
-      return node;
-    }
-  }, {
-    key: "mapNullLiteral",
-    value: function mapNullLiteral(node) {
-      node.type = 'Literal';
-      node.value = null;
-      node.raw = this.code.slice(node.range[0], node.range[1]);
-      return node;
-    }
-  }, {
-    key: "mapRegExpLiteral",
-    value: function mapRegExpLiteral(node) {
-      var pattern = node.pattern,
-          flags = node.flags; // Create RegExp value if possible. This can fail when the flags are invalid.
-
-      var value;
-
-      try {
-        value = new RegExp(pattern, flags);
-      } catch (e) {
-        value = null;
+  mapTemplateElement(node) {
+    return {
+      type: 'TemplateElement',
+      loc: node.loc,
+      range: node.range,
+      tail: node.tail,
+      value: {
+        cooked: node.cooked,
+        raw: node.raw
       }
+    };
+  }
 
+  mapGenericTypeAnnotation(node) {
+    // Convert simple `this` generic type to ThisTypeAnnotation
+    if (node.typeParameters == null && node.id.type === 'Identifier' && node.id.name === 'this') {
       return {
-        type: 'Literal',
-        loc: node.loc,
-        range: node.range,
-        value: value,
-        raw: this.code.slice(node.range[0], node.range[1]),
-        regex: {
-          pattern: pattern,
-          flags: flags
-        }
-      };
-    }
-  }, {
-    key: "mapTemplateElement",
-    value: function mapTemplateElement(node) {
-      return {
-        type: 'TemplateElement',
+        type: 'ThisTypeAnnotation',
         loc: node.loc,
-        range: node.range,
-        tail: node.tail,
-        value: {
-          cooked: node.cooked,
-          raw: node.raw
-        }
+        range: node.range
       };
     }
-  }, {
-    key: "mapGenericTypeAnnotation",
-    value: function mapGenericTypeAnnotation(node) {
-      // Convert simple `this` generic type to ThisTypeAnnotation
-      if (node.typeParameters === null && node.id.type === 'Identifier' && node.id.name === 'this') {
-        return {
-          type: 'ThisTypeAnnotation',
-          loc: node.loc,
-          range: node.range
-        };
-      }
 
-      return this.mapNodeDefault(node);
+    return this.mapNodeDefault(node);
+  }
+
+  mapProperty(nodeUnprocessed) {
+    const node = this.mapNodeDefault(nodeUnprocessed);
+
+    if (node.value.type === 'FunctionExpression') {
+      node.value.loc.start = node.key.loc.end;
+      node.value.range[0] = node.key.range[1];
     }
-  }, {
-    key: "mapComment",
-    value: function mapComment(node) {
-      if (node.type === 'CommentBlock') {
-        node.type = 'Block';
-      } else if (node.type === 'CommentLine') {
-        node.type = 'Line';
-      }
 
-      return node;
+    return node;
+  }
+
+  mapComment(node) {
+    if (node.type === 'CommentBlock') {
+      node.type = 'Block';
+    } else if (node.type === 'CommentLine') {
+      node.type = 'Line';
     }
-  }]);
 
-  return HermesToESTreeAdapter;
-}(HermesASTAdapter);
+    return node;
+  }
+
+}
 
-module.exports = HermesToESTreeAdapter;
+exports.default = HermesToESTreeAdapter;

package/dist/HermesToESTreeAdapter.js.flow

@@ -0,0 +1,233 @@
+/**
+ * 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
+ * @format
+ */
+
+/*
+This class does some very "javascripty" things in the name of
+performance which are ultimately impossible to soundly type.
+
+So instead of adding strict types and a large number of suppression
+comments, instead it is left untyped and subclasses are strictly
+typed via a separate flow declaration file.
+*/
+
+import type {HermesNode} from './HermesAST';
+import type {ParserOptions} from './ParserOptions';
+
+import HermesASTAdapter from './HermesASTAdapter';
+
+declare var BigInt: ?(value: $FlowFixMe) => mixed;
+
+export default class HermesToESTreeAdapter extends HermesASTAdapter {
+  +code: string;
+
+  constructor(options: ParserOptions, code: string) {
+    super(options);
+    this.code = code;
+  }
+
+  fixSourceLocation(node: HermesNode): void {
+    const loc = node.loc;
+    if (loc == null) {
+      return;
+    }
+
+    node.loc = {
+      source: this.sourceFilename ?? null,
+      start: loc.start,
+      end: loc.end,
+    };
+
+    node.range = [loc.rangeStart, loc.rangeEnd];
+  }
+
+  mapNode(node: HermesNode): HermesNode {
+    this.fixSourceLocation(node);
+    switch (node.type) {
+      case 'Program':
+        return this.mapProgram(node);
+      case 'NullLiteral':
+        return this.mapNullLiteral(node);
+      case 'BooleanLiteral':
+      case 'StringLiteral':
+      case 'NumericLiteral':
+      case 'JSXStringLiteral':
+        return this.mapSimpleLiteral(node);
+      case 'BigIntLiteral':
+        return this.mapBigIntLiteral(node);
+      case 'RegExpLiteral':
+        return this.mapRegExpLiteral(node);
+      case 'Empty':
+        return this.mapEmpty(node);
+      case 'TemplateElement':
+        return this.mapTemplateElement(node);
+      case 'BigIntLiteralTypeAnnotation':
+        return this.mapBigIntLiteralTypeAnnotation(node);
+      case 'GenericTypeAnnotation':
+        return this.mapGenericTypeAnnotation(node);
+      case 'ImportDeclaration':
+        return this.mapImportDeclaration(node);
+      case 'ImportSpecifier':
+        return this.mapImportSpecifier(node);
+      case 'ExportDefaultDeclaration':
+        return this.mapExportDefaultDeclaration(node);
+      case 'ExportNamedDeclaration':
+        return this.mapExportNamedDeclaration(node);
+      case 'ExportAllDeclaration':
+        return this.mapExportAllDeclaration(node);
+      case 'PrivateName':
+      case 'ClassPrivateProperty':
+        return this.mapPrivateProperty(node);
+      case 'Property':
+        return this.mapProperty(node);
+      default:
+        return this.mapNodeDefault(node);
+    }
+  }
+
+  mapProgram(node: HermesNode): HermesNode {
+    node = this.mapNodeDefault(node);
+    node.sourceType = this.getSourceType();
+
+    return node;
+  }
+
+  mapSimpleLiteral(node: HermesNode): HermesNode {
+    return {
+      type: 'Literal',
+      loc: node.loc,
+      range: node.range,
+      value: node.value,
+      raw: this.code.slice(node.range[0], node.range[1]),
+      literalType: (() => {
+        switch (node.type) {
+          case 'NullLiteral':
+            return 'null';
+
+          case 'BooleanLiteral':
+            return 'boolean';
+
+          case 'StringLiteral':
+          case 'JSXStringLiteral':
+            return 'string';
+
+          case 'NumericLiteral':
+            return 'numeric';
+
+          case 'BigIntLiteral':
+            return 'bigint';
+
+          case 'RegExpLiteral':
+            return 'regexp';
+        }
+        return null;
+      })(),
+    };
+  }
+
+  mapBigIntLiteral(node: HermesNode): HermesNode {
+    const newNode = this.mapSimpleLiteral(node);
+    const bigint = node.bigint
+      // estree spec is to not have a trailing `n` on this property
+      // https://github.com/estree/estree/blob/db962bb417a97effcfe9892f87fbb93c81a68584/es2020.md#bigintliteral
+      .replace(/n$/, '')
+      // `BigInt` doesn't accept numeric separator and `bigint` property should not include numeric separator
+      .replace(/_/, '');
+    return {
+      ...newNode,
+      // coerce the string to a bigint value if supported by the environment
+      value: typeof BigInt === 'function' ? BigInt(bigint) : null,
+      bigint,
+    };
+  }
+
+  mapNullLiteral(node: HermesNode): HermesNode {
+    return {
+      ...this.mapSimpleLiteral(node),
+      value: null,
+    };
+  }
+
+  mapRegExpLiteral(node: HermesNode): HermesNode {
+    const {pattern, flags} = node;
+
+    // Create RegExp value if possible. This can fail when the flags are invalid.
+    let value;
+    try {
+      value = new RegExp(pattern, flags);
+    } catch (e) {
+      value = null;
+    }
+
+    return {
+      ...this.mapSimpleLiteral(node),
+      value,
+      regex: {
+        pattern,
+        flags,
+      },
+    };
+  }
+
+  mapBigIntLiteralTypeAnnotation(node: HermesNode): HermesNode {
+    node.value = null;
+    return node;
+  }
+
+  mapTemplateElement(node: HermesNode): HermesNode {
+    return {
+      type: 'TemplateElement',
+      loc: node.loc,
+      range: node.range,
+      tail: node.tail,
+      value: {
+        cooked: node.cooked,
+        raw: node.raw,
+      },
+    };
+  }
+
+  mapGenericTypeAnnotation(node: HermesNode): HermesNode {
+    // Convert simple `this` generic type to ThisTypeAnnotation
+    if (
+      node.typeParameters == null &&
+      node.id.type === 'Identifier' &&
+      node.id.name === 'this'
+    ) {
+      return {
+        type: 'ThisTypeAnnotation',
+        loc: node.loc,
+        range: node.range,
+      };
+    }
+
+    return this.mapNodeDefault(node);
+  }
+
+  mapProperty(nodeUnprocessed: HermesNode): HermesNode {
+    const node = this.mapNodeDefault(nodeUnprocessed);
+
+    if (node.value.type === 'FunctionExpression') {
+      node.value.loc.start = node.key.loc.end;
+      node.value.range[0] = node.key.range[1];
+    }
+
+    return node;
+  }
+
+  mapComment(node: HermesNode): HermesNode {
+    if (node.type === 'CommentBlock') {
+      node.type = 'Block';
+    } else if (node.type === 'CommentLine') {
+      node.type = 'Line';
+    }
+
+    return node;
+  }
+}

package/dist/ParserOptions.js.flow

@@ -0,0 +1,18 @@
+/**
+ * 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
+ */
+
+export type ParserOptions = {
+  allowReturnOutsideFunction?: boolean,
+  babel?: boolean,
+  flow?: 'all' | 'detect',
+  sourceFilename?: string,
+  sourceType?: 'module' | 'script' | 'unambiguous',
+  tokens?: boolean,
+};