flow-api-translator 0.36.0 → 0.37.0

package/dist/src/TSDefToFlowDef.js

@@ -1,12 +1,3 @@
-/**
- * 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", {
@@ -43,8 +34,7 @@ function constructFlowNode(node) {
   };
 }
 
-const makeCommentOwnLine = // $FlowExpectedError[incompatible-type] - trust me this re-type is 100% safe
-_hermesTransform.makeCommentOwnLine;
+const makeCommentOwnLine = _hermesTransform.makeCommentOwnLine;
 
 function TSDefToFlowDef(originalCode, ast, opts) {
   const flowBody = [];
@@ -66,10 +56,7 @@ function TSDefToFlowDef(originalCode, ast, opts) {
   }
 
   return [flowProgram, code];
-} // Note: The implementation here is still in early stage. If something is not supported, it doesn't
-// necessarily mean that it cannot be. It might just mean that it's not priortized yet. If something
-// is translated in way that is wrong, then it's likely wrong.
-
+}
 
 const getTransforms = (originalCode, opts) => {
   let code = originalCode;
@@ -104,11 +91,8 @@ const getTransforms = (originalCode, opts) => {
       leading: true,
       printed: false
     };
-    code = makeCommentOwnLine(code, comment); // $FlowExpectedError[prop-missing]
-    // $FlowExpectedError[cannot-write]
-
-    (_node$comments = node.comments) != null ? _node$comments : node.comments = []; // $FlowExpectedError[incompatible-type]
-
+    code = makeCommentOwnLine(code, comment);
+    (_node$comments = node.comments) != null ? _node$comments : node.comments = [];
     node.comments.push(comment);
   }
 
@@ -183,14 +167,12 @@ const getTransforms = (originalCode, opts) => {
 
           case 'TSAbstractPropertyDefinition':
           case 'PropertyDefinition':
-            // $FlowFixMe[incompatible-type] ambiguous node
             Transform._translateIntoObjectProp(classItem, properties, indexers);
 
             break;
 
           case 'MethodDefinition':
           case 'TSAbstractMethodDefinition':
-            // $FlowFixMe[incompatible-type] ambiguous node
             Transform._translateIntoObjectMethod(classItem, properties);
 
             break;
@@ -296,13 +278,11 @@ const getTransforms = (originalCode, opts) => {
 
       switch (node.declaration.type) {
         case 'ClassDeclaration':
-          declaration = Transform.ClassDeclarationWithName( // possibly missing id
-          node.declaration);
+          declaration = Transform.ClassDeclarationWithName(node.declaration);
           break;
 
         case 'FunctionDeclaration':
-          declaration = Transform.FunctionDeclarationWithName( // possibly missing id
-          node.declaration);
+          declaration = Transform.FunctionDeclarationWithName(node.declaration);
           break;
 
         case 'TSDeclareFunction':
@@ -355,8 +335,7 @@ const getTransforms = (originalCode, opts) => {
         case 'ClassDeclaration':
           return constructFlowNode({
             type: 'DeclareExportDeclaration',
-            declaration: Transform.ClassDeclarationWithName( // possibly missing id
-            node.declaration),
+            declaration: Transform.ClassDeclarationWithName(node.declaration),
             default: false,
             source: null,
             specifiers: []
@@ -365,8 +344,7 @@ const getTransforms = (originalCode, opts) => {
         case 'FunctionDeclaration':
           return constructFlowNode({
             type: 'DeclareExportDeclaration',
-            declaration: Transform.FunctionDeclarationWithName( // possibly missing id
-            node.declaration),
+            declaration: Transform.FunctionDeclarationWithName(node.declaration),
             default: false,
             source: null,
             specifiers: []
@@ -523,8 +501,7 @@ const getTransforms = (originalCode, opts) => {
           value: node.source.value,
           raw: node.source.raw
         }),
-        importKind: // `import type React from 'react'` in TS means `import typeof React from react` in Flow
-        specifiers.some(s => s.type === 'ImportDefaultSpecifier') && node.importKind === 'type' ? 'typeof' : node.importKind,
+        importKind: specifiers.some(s => s.type === 'ImportDefaultSpecifier') && node.importKind === 'type' ? 'typeof' : node.importKind,
         attributes: [],
         specifiers
       });
@@ -691,10 +668,6 @@ const getTransforms = (originalCode, opts) => {
           return Transform.TSModuleDeclaration(node);
 
         case 'TSNamespaceExportDeclaration':
-          // Flow will never support `export as namespace` since we can't allow a normal file to
-          // introduce a global out of nowhere, and because it's only useful for legacy module
-          // system However, it's very reasonable to completely ignore it under some mode, so that
-          // people using these libdefs won't have a lot of pain.
           return [];
 
         case 'TSTypeAliasDeclaration':
@@ -936,6 +909,18 @@ const getTransforms = (originalCode, opts) => {
     }
 
     static TSImportType(node) {
+      var _node$argument;
+
+      const source = (_node$argument = node.argument) != null ? _node$argument : node.source == null ? null : {
+        type: 'TSLiteralType',
+        loc: node.source.loc,
+        literal: node.source
+      };
+
+      if (source == null) {
+        return unsupportedAnnotation(node, 'import types without a source');
+      }
+
       let base = constructFlowNode({
         type: 'GenericTypeAnnotation',
         id: constructFlowNode({
@@ -946,16 +931,16 @@ const getTransforms = (originalCode, opts) => {
         }),
         typeParameters: constructFlowNode({
           type: 'TypeParameterInstantiation',
-          params: [Transform.TSTypeAnnotation(node.argument)]
+          params: [Transform.TSTypeAnnotation(source)]
         })
       });
 
-      if (node.qualifier == null) {
-        return base;
+      if (node.typeArguments != null) {
+        return unsupportedAnnotation(node, 'import types with type arguments');
       }
 
-      if (node.typeParameters != null) {
-        return unsupportedAnnotation(node, 'import types with type parameters');
+      if (node.qualifier == null) {
+        return base;
       }
 
       let qualifier = Transform.EntityNameToTypeIdentifier(node.qualifier);
@@ -975,9 +960,7 @@ const getTransforms = (originalCode, opts) => {
           objectType: base,
           indexType: constructFlowNode({
             type: 'StringLiteralTypeAnnotation',
-            // $FlowFixMe[incompatible-type]
             value: name,
-            // $FlowFixMe[incompatible-type]
             raw: `'${name}'`
           })
         });
@@ -1051,8 +1034,7 @@ const getTransforms = (originalCode, opts) => {
     }
 
     static TSInterfaceDeclaration(node) {
-      const body = Transform.TSTypeLiteralOrInterfaceBody(node.body); // $FlowFixMe[cannot-write]
-
+      const body = Transform.TSTypeLiteralOrInterfaceBody(node.body);
       body.inexact = false;
       return constructFlowNode({
         type: 'InterfaceDeclaration',
@@ -1113,8 +1095,7 @@ const getTransforms = (originalCode, opts) => {
       var _keyTparam$bound;
 
       const keyTparam = Transform.TSTypeParameter(node.typeParameter);
-      const sourceType = (_keyTparam$bound = keyTparam.bound) == null ? void 0 : _keyTparam$bound.typeAnnotation; // $FlowFixMe[cannot-write]
-
+      const sourceType = (_keyTparam$bound = keyTparam.bound) == null ? void 0 : _keyTparam$bound.typeAnnotation;
       keyTparam.bound = null;
       const prop = constructFlowNode({
         type: 'ObjectTypeMappedTypeProperty',
@@ -1125,8 +1106,7 @@ const getTransforms = (originalCode, opts) => {
           type: 'Variance',
           kind: 'plus'
         }) : null,
-        optional: node.optional === '+' ? 'PlusOptional' : node.optional === '-' ? 'MinusOptional' : // eslint-disable-next-line no-extra-boolean-cast
-        Boolean(node.optional) ? 'Optional' : null
+        optional: node.optional === '+' ? 'PlusOptional' : node.optional === '-' ? 'MinusOptional' : Boolean(node.optional) ? 'Optional' : null
       });
       return constructFlowNode({
         type: 'ObjectTypeAnnotation',
@@ -1425,8 +1405,6 @@ const getTransforms = (originalCode, opts) => {
         typeAnnotation: Transform.TSTypeAnnotation(node.typeAnnotation)
       });
     }
-    /** A very confusingly named object type */
-
 
     static TSTypeLiteralOrInterfaceBody(node) {
       const properties = [];
@@ -1471,7 +1449,6 @@ const getTransforms = (originalCode, opts) => {
             {
               var _prop$typeAnnotation;
 
-              // eslint-disable-next-line no-extra-boolean-cast
               const variance = Boolean(prop.readonly) ? constructFlowNode({
                 type: 'Variance',
                 kind: 'plus'
@@ -1532,7 +1509,6 @@ const getTransforms = (originalCode, opts) => {
     }
 
     static _translateIntoObjectProp(prop, properties, indexers) {
-      // eslint-disable-next-line no-extra-boolean-cast
       const variance = Boolean(prop.readonly) ? constructFlowNode({
         type: 'Variance',
         kind: 'plus'
@@ -1741,10 +1717,18 @@ const getTransforms = (originalCode, opts) => {
     static TSTypeQuery(node) {
       var _Transform$TSTypePara;
 
+      if (node.exprName.type === 'TSImportType') {
+        if (node.typeArguments != null) {
+          return unsupportedAnnotation(node, 'type query imports with type arguments');
+        }
+
+        return Transform.TSImportType(node.exprName);
+      }
+
       return constructFlowNode({
         type: 'TypeofTypeAnnotation',
         argument: Transform.EntityNameToTypeofIdentifier(node.exprName),
-        typeArguments: (_Transform$TSTypePara = Transform.TSTypeParameterInstantiationOpt(node.typeParameters)) != null ? _Transform$TSTypePara : undefined
+        typeArguments: (_Transform$TSTypePara = Transform.TSTypeParameterInstantiationOpt(node.typeArguments)) != null ? _Transform$TSTypePara : undefined
       });
     }
 
@@ -1784,7 +1768,6 @@ const getTransforms = (originalCode, opts) => {
         const id = Transform.Identifier(decl.id);
 
         if (id.typeAnnotation == null) {
-          // $FlowExpectedError[cannot-write]
           id.typeAnnotation = constructFlowNode({
             type: 'TypeAnnotation',
             typeAnnotation: constructFlowNode({