ast-types 0.11.5 → 0.12.1

package/def/flow.js

@@ -1,394 +1,290 @@
-module.exports = function (fork) {
-  fork.use(require("./es7"));
-
-  var types = fork.use(require("../lib/types"));
-  var def = types.Type.def;
-  var or = types.Type.or;
-  var defaults = fork.use(require("../lib/shared")).defaults;
-
-  // Base types
-
-  def("Flow").bases("Node");
-  def("FlowType").bases("Flow");
-
-  // Type annotations
-
-  def("AnyTypeAnnotation")
-    .bases("FlowType")
-    .build();
-
-  def("EmptyTypeAnnotation")
-    .bases("FlowType")
-    .build();
-
-  def("MixedTypeAnnotation")
-    .bases("FlowType")
-    .build();
-
-  def("VoidTypeAnnotation")
-    .bases("FlowType")
-    .build();
-
-  def("NumberTypeAnnotation")
-    .bases("FlowType")
-    .build();
-
-  def("NumberLiteralTypeAnnotation")
-    .bases("FlowType")
-    .build("value", "raw")
-    .field("value", Number)
-    .field("raw", String);
-
-  // Babylon 6 differs in AST from Flow
-  // same as NumberLiteralTypeAnnotation
-  def("NumericLiteralTypeAnnotation")
-    .bases("FlowType")
-    .build("value", "raw")
-    .field("value", Number)
-    .field("raw", String);
-
-  def("StringTypeAnnotation")
-    .bases("FlowType")
-    .build();
-
-  def("StringLiteralTypeAnnotation")
-    .bases("FlowType")
-    .build("value", "raw")
-    .field("value", String)
-    .field("raw", String);
-
-  def("BooleanTypeAnnotation")
-    .bases("FlowType")
-    .build();
-
-  def("BooleanLiteralTypeAnnotation")
-    .bases("FlowType")
-    .build("value", "raw")
-    .field("value", Boolean)
-    .field("raw", String);
-
-  def("TypeAnnotation")
-    .bases("Node")
-    .build("typeAnnotation")
-    .field("typeAnnotation", def("FlowType"));
-
-  def("NullableTypeAnnotation")
-    .bases("FlowType")
-    .build("typeAnnotation")
-    .field("typeAnnotation", def("FlowType"));
-
-  def("NullLiteralTypeAnnotation")
-    .bases("FlowType")
-    .build();
-
-  def("NullTypeAnnotation")
-    .bases("FlowType")
-    .build();
-
-  def("ThisTypeAnnotation")
-    .bases("FlowType")
-    .build();
-
-  def("ExistsTypeAnnotation")
-    .bases("FlowType")
-    .build();
-
-  def("ExistentialTypeParam")
-    .bases("FlowType")
-    .build();
-
-  def("FunctionTypeAnnotation")
-    .bases("FlowType")
-    .build("params", "returnType", "rest", "typeParameters")
-    .field("params", [def("FunctionTypeParam")])
-    .field("returnType", def("FlowType"))
-    .field("rest", or(def("FunctionTypeParam"), null))
-    .field("typeParameters", or(def("TypeParameterDeclaration"), null));
-
-  def("FunctionTypeParam")
-    .bases("Node")
-    .build("name", "typeAnnotation", "optional")
-    .field("name", def("Identifier"))
-    .field("typeAnnotation", def("FlowType"))
-    .field("optional", Boolean);
-
-  def("ArrayTypeAnnotation")
-    .bases("FlowType")
-    .build("elementType")
-    .field("elementType", def("FlowType"));
-
-  def("ObjectTypeAnnotation")
-    .bases("FlowType")
-    .build("properties", "indexers", "callProperties")
-    .field("properties", [
-      or(def("ObjectTypeProperty"),
-         def("ObjectTypeSpreadProperty"))
-    ])
-    .field("indexers", [def("ObjectTypeIndexer")], defaults.emptyArray)
-    .field("callProperties",
-           [def("ObjectTypeCallProperty")],
-           defaults.emptyArray)
-    .field("exact", Boolean, defaults["false"]);
-
-  def("Variance")
-    .bases("Node")
-    .build("kind")
-    .field("kind", or("plus", "minus"));
-
-  var LegacyVariance = or(
-    def("Variance"),
-    "plus",
-    "minus",
-    null
-  );
-
-  def("ObjectTypeProperty")
-    .bases("Node")
-    .build("key", "value", "optional")
-    .field("key", or(def("Literal"), def("Identifier")))
-    .field("value", def("FlowType"))
-    .field("optional", Boolean)
-    .field("variance", LegacyVariance, defaults["null"]);
-
-  def("ObjectTypeIndexer")
-    .bases("Node")
-    .build("id", "key", "value")
-    .field("id", def("Identifier"))
-    .field("key", def("FlowType"))
-    .field("value", def("FlowType"))
-    .field("variance", LegacyVariance, defaults["null"]);
-
-  def("ObjectTypeCallProperty")
-    .bases("Node")
-    .build("value")
-    .field("value", def("FunctionTypeAnnotation"))
-    .field("static", Boolean, defaults["false"]);
-
-  def("QualifiedTypeIdentifier")
-    .bases("Node")
-    .build("qualification", "id")
-    .field("qualification",
-           or(def("Identifier"),
-              def("QualifiedTypeIdentifier")))
-    .field("id", def("Identifier"));
-
-  def("GenericTypeAnnotation")
-    .bases("FlowType")
-    .build("id", "typeParameters")
-    .field("id", or(def("Identifier"), def("QualifiedTypeIdentifier")))
-    .field("typeParameters", or(def("TypeParameterInstantiation"), null));
-
-  def("MemberTypeAnnotation")
-    .bases("FlowType")
-    .build("object", "property")
-    .field("object", def("Identifier"))
-    .field("property",
-           or(def("MemberTypeAnnotation"),
-              def("GenericTypeAnnotation")));
-
-  def("UnionTypeAnnotation")
-    .bases("FlowType")
-    .build("types")
-    .field("types", [def("FlowType")]);
-
-  def("IntersectionTypeAnnotation")
-    .bases("FlowType")
-    .build("types")
-    .field("types", [def("FlowType")]);
-
-  def("TypeofTypeAnnotation")
-    .bases("FlowType")
-    .build("argument")
-    .field("argument", def("FlowType"));
-
-  def("ObjectTypeSpreadProperty")
-    .bases("Node")
-    .build("argument")
-    .field("argument", def("FlowType"));
-
-  def("Identifier")
-    .field("typeAnnotation", or(def("TypeAnnotation"), null), defaults["null"]);
-
-  def("ObjectPattern")
-    .field("typeAnnotation", or(def("TypeAnnotation"), null), defaults["null"]);
-
-  def("TypeParameterDeclaration")
-    .bases("Node")
-    .build("params")
-    .field("params", [def("TypeParameter")]);
-
-  def("TypeParameterInstantiation")
-    .bases("Node")
-    .build("params")
-    .field("params", [def("FlowType")]);
-
-  def("TypeParameter")
-    .bases("FlowType")
-    .build("name", "variance", "bound")
-    .field("name", String)
-    .field("variance", LegacyVariance, defaults["null"])
-    .field("bound",
-           or(def("TypeAnnotation"), null),
-           defaults["null"]);
-
-  def("Function")
-    .field("returnType",
-           or(def("TypeAnnotation"), null),
-           defaults["null"])
-    .field("typeParameters",
-           or(def("TypeParameterDeclaration"), null),
-           defaults["null"]);
-
-  def("ClassProperty")
-    .build("key", "value", "typeAnnotation", "static")
-    .field("value", or(def("Expression"), null))
-    .field("typeAnnotation", or(def("TypeAnnotation"), null))
-    .field("static", Boolean, defaults["false"])
-    .field("variance", LegacyVariance, defaults["null"]);
-
-  ["ClassDeclaration",
-   "ClassExpression",
-  ].forEach(typeName => {
-    def(typeName)
-      .field("typeParameters",
-             or(def("TypeParameterDeclaration"), null),
-             defaults["null"])
-      .field("superTypeParameters",
-             or([def("GenericTypeAnnotation")], null),
-             defaults["null"]);
-  });
-
-  def("ClassImplements")
-    .bases("Node")
-    .build("id")
-    .field("id", def("Identifier"))
-    .field("superClass", or(def("Expression"), null), defaults["null"])
-    .field("typeParameters",
-           or(def("TypeParameterInstantiation"), null),
-           defaults["null"]);
-
-  ["ClassDeclaration",
-   "ClassExpression",
-  ].forEach(typeName => {
-    def(typeName)
-      .field("implements", [def("ClassImplements")], defaults.emptyArray);
-  });
-
-  def("InterfaceDeclaration")
-    .bases("Declaration")
-    .build("id", "body", "extends")
-    .field("id", def("Identifier"))
-    .field("typeParameters",
-           or(def("TypeParameterDeclaration"), null),
-           defaults["null"])
-    .field("body", def("ObjectTypeAnnotation"))
-    .field("extends", [def("InterfaceExtends")]);
-
-  def("DeclareInterface")
-    .bases("InterfaceDeclaration")
-    .build("id", "body", "extends");
-
-  def("InterfaceExtends")
-    .bases("Node")
-    .build("id")
-    .field("id", def("Identifier"))
-    .field("typeParameters", or(def("TypeParameterInstantiation"), null));
-
-  def("TypeAlias")
-    .bases("Declaration")
-    .build("id", "typeParameters", "right")
-    .field("id", def("Identifier"))
-    .field("typeParameters", or(def("TypeParameterDeclaration"), null))
-    .field("right", def("FlowType"));
-
-  def("OpaqueType")
-    .bases("Declaration")
-    .build("id", "typeParameters", "impltype", "supertype")
-    .field("id", def("Identifier"))
-    .field("typeParameters", or(def("TypeParameterDeclaration"), null))
-    .field("implType", def("FlowType"))
-    .field("superType", def("FlowType"));
-
-  def("DeclareTypeAlias")
-    .bases("TypeAlias")
-    .build("id", "typeParameters", "right");
-
-  def("DeclareOpaqueType")
-    .bases("TypeAlias")
-    .build("id", "typeParameters", "supertype");
-
-  def("TypeCastExpression")
-    .bases("Expression")
-    .build("expression", "typeAnnotation")
-    .field("expression", def("Expression"))
-    .field("typeAnnotation", def("TypeAnnotation"));
-
-  def("TupleTypeAnnotation")
-    .bases("FlowType")
-    .build("types")
-    .field("types", [def("FlowType")]);
-
-  def("DeclareVariable")
-    .bases("Statement")
-    .build("id")
-    .field("id", def("Identifier"));
-
-  def("DeclareFunction")
-    .bases("Statement")
-    .build("id")
-    .field("id", def("Identifier"));
-
-  def("DeclareClass")
-    .bases("InterfaceDeclaration")
-    .build("id");
-
-  def("DeclareModule")
-    .bases("Statement")
-    .build("id", "body")
-    .field("id", or(def("Identifier"), def("Literal")))
-    .field("body", def("BlockStatement"));
-
-  def("DeclareModuleExports")
-    .bases("Statement")
-    .build("typeAnnotation")
-    .field("typeAnnotation", def("TypeAnnotation"));
-
-  def("DeclareExportDeclaration")
-    .bases("Declaration")
-    .build("default", "declaration", "specifiers", "source")
-    .field("default", Boolean)
-    .field("declaration", or(
-      def("DeclareVariable"),
-      def("DeclareFunction"),
-      def("DeclareClass"),
-      def("FlowType"), // Implies default.
-      null
-    ))
-    .field("specifiers", [or(
-      def("ExportSpecifier"),
-      def("ExportBatchSpecifier")
-    )], defaults.emptyArray)
-    .field("source", or(
-      def("Literal"),
-      null
-    ), defaults["null"]);
-
-  def("DeclareExportAllDeclaration")
-    .bases("Declaration")
-    .build("source")
-    .field("source", or(
-      def("Literal"),
-      null
-    ), defaults["null"]);
-
-  def("FlowPredicate").bases("Flow");
-
-  def("InferredPredicate")
-    .bases("FlowPredicate")
-    .build();
-
-  def("DeclaredPredicate")
-    .bases("FlowPredicate")
-    .build("value")
-    .field("value", def("Expression"));
+"use strict";;
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
 };
+Object.defineProperty(exports, "__esModule", { value: true });
+var es7_1 = __importDefault(require("./es7"));
+var type_annotations_1 = __importDefault(require("./type-annotations"));
+var types_1 = __importDefault(require("../lib/types"));
+var shared_1 = __importDefault(require("../lib/shared"));
+function default_1(fork) {
+    fork.use(es7_1.default);
+    fork.use(type_annotations_1.default);
+    var types = fork.use(types_1.default);
+    var def = types.Type.def;
+    var or = types.Type.or;
+    var defaults = fork.use(shared_1.default).defaults;
+    // Base types
+    def("Flow").bases("Node");
+    def("FlowType").bases("Flow");
+    // Type annotations
+    def("AnyTypeAnnotation")
+        .bases("FlowType")
+        .build();
+    def("EmptyTypeAnnotation")
+        .bases("FlowType")
+        .build();
+    def("MixedTypeAnnotation")
+        .bases("FlowType")
+        .build();
+    def("VoidTypeAnnotation")
+        .bases("FlowType")
+        .build();
+    def("NumberTypeAnnotation")
+        .bases("FlowType")
+        .build();
+    def("NumberLiteralTypeAnnotation")
+        .bases("FlowType")
+        .build("value", "raw")
+        .field("value", Number)
+        .field("raw", String);
+    // Babylon 6 differs in AST from Flow
+    // same as NumberLiteralTypeAnnotation
+    def("NumericLiteralTypeAnnotation")
+        .bases("FlowType")
+        .build("value", "raw")
+        .field("value", Number)
+        .field("raw", String);
+    def("StringTypeAnnotation")
+        .bases("FlowType")
+        .build();
+    def("StringLiteralTypeAnnotation")
+        .bases("FlowType")
+        .build("value", "raw")
+        .field("value", String)
+        .field("raw", String);
+    def("BooleanTypeAnnotation")
+        .bases("FlowType")
+        .build();
+    def("BooleanLiteralTypeAnnotation")
+        .bases("FlowType")
+        .build("value", "raw")
+        .field("value", Boolean)
+        .field("raw", String);
+    def("TypeAnnotation")
+        .bases("Node")
+        .build("typeAnnotation")
+        .field("typeAnnotation", def("FlowType"));
+    def("NullableTypeAnnotation")
+        .bases("FlowType")
+        .build("typeAnnotation")
+        .field("typeAnnotation", def("FlowType"));
+    def("NullLiteralTypeAnnotation")
+        .bases("FlowType")
+        .build();
+    def("NullTypeAnnotation")
+        .bases("FlowType")
+        .build();
+    def("ThisTypeAnnotation")
+        .bases("FlowType")
+        .build();
+    def("ExistsTypeAnnotation")
+        .bases("FlowType")
+        .build();
+    def("ExistentialTypeParam")
+        .bases("FlowType")
+        .build();
+    def("FunctionTypeAnnotation")
+        .bases("FlowType")
+        .build("params", "returnType", "rest", "typeParameters")
+        .field("params", [def("FunctionTypeParam")])
+        .field("returnType", def("FlowType"))
+        .field("rest", or(def("FunctionTypeParam"), null))
+        .field("typeParameters", or(def("TypeParameterDeclaration"), null));
+    def("FunctionTypeParam")
+        .bases("Node")
+        .build("name", "typeAnnotation", "optional")
+        .field("name", def("Identifier"))
+        .field("typeAnnotation", def("FlowType"))
+        .field("optional", Boolean);
+    def("ArrayTypeAnnotation")
+        .bases("FlowType")
+        .build("elementType")
+        .field("elementType", def("FlowType"));
+    def("ObjectTypeAnnotation")
+        .bases("FlowType")
+        .build("properties", "indexers", "callProperties")
+        .field("properties", [
+        or(def("ObjectTypeProperty"), def("ObjectTypeSpreadProperty"))
+    ])
+        .field("indexers", [def("ObjectTypeIndexer")], defaults.emptyArray)
+        .field("callProperties", [def("ObjectTypeCallProperty")], defaults.emptyArray)
+        .field("inexact", or(Boolean, void 0), defaults["undefined"])
+        .field("exact", Boolean, defaults["false"])
+        .field("internalSlots", [def("ObjectTypeInternalSlot")], defaults.emptyArray);
+    def("Variance")
+        .bases("Node")
+        .build("kind")
+        .field("kind", or("plus", "minus"));
+    var LegacyVariance = or(def("Variance"), "plus", "minus", null);
+    def("ObjectTypeProperty")
+        .bases("Node")
+        .build("key", "value", "optional")
+        .field("key", or(def("Literal"), def("Identifier")))
+        .field("value", def("FlowType"))
+        .field("optional", Boolean)
+        .field("variance", LegacyVariance, defaults["null"]);
+    def("ObjectTypeIndexer")
+        .bases("Node")
+        .build("id", "key", "value")
+        .field("id", def("Identifier"))
+        .field("key", def("FlowType"))
+        .field("value", def("FlowType"))
+        .field("variance", LegacyVariance, defaults["null"]);
+    def("ObjectTypeCallProperty")
+        .bases("Node")
+        .build("value")
+        .field("value", def("FunctionTypeAnnotation"))
+        .field("static", Boolean, defaults["false"]);
+    def("QualifiedTypeIdentifier")
+        .bases("Node")
+        .build("qualification", "id")
+        .field("qualification", or(def("Identifier"), def("QualifiedTypeIdentifier")))
+        .field("id", def("Identifier"));
+    def("GenericTypeAnnotation")
+        .bases("FlowType")
+        .build("id", "typeParameters")
+        .field("id", or(def("Identifier"), def("QualifiedTypeIdentifier")))
+        .field("typeParameters", or(def("TypeParameterInstantiation"), null));
+    def("MemberTypeAnnotation")
+        .bases("FlowType")
+        .build("object", "property")
+        .field("object", def("Identifier"))
+        .field("property", or(def("MemberTypeAnnotation"), def("GenericTypeAnnotation")));
+    def("UnionTypeAnnotation")
+        .bases("FlowType")
+        .build("types")
+        .field("types", [def("FlowType")]);
+    def("IntersectionTypeAnnotation")
+        .bases("FlowType")
+        .build("types")
+        .field("types", [def("FlowType")]);
+    def("TypeofTypeAnnotation")
+        .bases("FlowType")
+        .build("argument")
+        .field("argument", def("FlowType"));
+    def("ObjectTypeSpreadProperty")
+        .bases("Node")
+        .build("argument")
+        .field("argument", def("FlowType"));
+    def("ObjectTypeInternalSlot")
+        .bases("Node")
+        .build("id", "value", "optional", "static", "method")
+        .field("id", def("Identifier"))
+        .field("value", def("FlowType"))
+        .field("optional", Boolean)
+        .field("static", Boolean)
+        .field("method", Boolean);
+    def("TypeParameterDeclaration")
+        .bases("Node")
+        .build("params")
+        .field("params", [def("TypeParameter")]);
+    def("TypeParameterInstantiation")
+        .bases("Node")
+        .build("params")
+        .field("params", [def("FlowType")]);
+    def("TypeParameter")
+        .bases("FlowType")
+        .build("name", "variance", "bound")
+        .field("name", String)
+        .field("variance", LegacyVariance, defaults["null"])
+        .field("bound", or(def("TypeAnnotation"), null), defaults["null"]);
+    def("ClassProperty")
+        .field("variance", LegacyVariance, defaults["null"]);
+    def("ClassImplements")
+        .bases("Node")
+        .build("id")
+        .field("id", def("Identifier"))
+        .field("superClass", or(def("Expression"), null), defaults["null"])
+        .field("typeParameters", or(def("TypeParameterInstantiation"), null), defaults["null"]);
+    def("InterfaceTypeAnnotation")
+        .bases("FlowType")
+        .build("body", "extends")
+        .field("body", def("ObjectTypeAnnotation"))
+        .field("extends", or([def("InterfaceExtends")], null), defaults["null"]);
+    def("InterfaceDeclaration")
+        .bases("Declaration")
+        .build("id", "body", "extends")
+        .field("id", def("Identifier"))
+        .field("typeParameters", or(def("TypeParameterDeclaration"), null), defaults["null"])
+        .field("body", def("ObjectTypeAnnotation"))
+        .field("extends", [def("InterfaceExtends")]);
+    def("DeclareInterface")
+        .bases("InterfaceDeclaration")
+        .build("id", "body", "extends");
+    def("InterfaceExtends")
+        .bases("Node")
+        .build("id")
+        .field("id", def("Identifier"))
+        .field("typeParameters", or(def("TypeParameterInstantiation"), null), defaults["null"]);
+    def("TypeAlias")
+        .bases("Declaration")
+        .build("id", "typeParameters", "right")
+        .field("id", def("Identifier"))
+        .field("typeParameters", or(def("TypeParameterDeclaration"), null))
+        .field("right", def("FlowType"));
+    def("OpaqueType")
+        .bases("Declaration")
+        .build("id", "typeParameters", "impltype", "supertype")
+        .field("id", def("Identifier"))
+        .field("typeParameters", or(def("TypeParameterDeclaration"), null))
+        .field("impltype", def("FlowType"))
+        .field("supertype", def("FlowType"));
+    def("DeclareTypeAlias")
+        .bases("TypeAlias")
+        .build("id", "typeParameters", "right");
+    def("DeclareOpaqueType")
+        .bases("TypeAlias")
+        .build("id", "typeParameters", "supertype");
+    def("TypeCastExpression")
+        .bases("Expression")
+        .build("expression", "typeAnnotation")
+        .field("expression", def("Expression"))
+        .field("typeAnnotation", def("TypeAnnotation"));
+    def("TupleTypeAnnotation")
+        .bases("FlowType")
+        .build("types")
+        .field("types", [def("FlowType")]);
+    def("DeclareVariable")
+        .bases("Statement")
+        .build("id")
+        .field("id", def("Identifier"));
+    def("DeclareFunction")
+        .bases("Statement")
+        .build("id")
+        .field("id", def("Identifier"));
+    def("DeclareClass")
+        .bases("InterfaceDeclaration")
+        .build("id");
+    def("DeclareModule")
+        .bases("Statement")
+        .build("id", "body")
+        .field("id", or(def("Identifier"), def("Literal")))
+        .field("body", def("BlockStatement"));
+    def("DeclareModuleExports")
+        .bases("Statement")
+        .build("typeAnnotation")
+        .field("typeAnnotation", def("TypeAnnotation"));
+    def("DeclareExportDeclaration")
+        .bases("Declaration")
+        .build("default", "declaration", "specifiers", "source")
+        .field("default", Boolean)
+        .field("declaration", or(def("DeclareVariable"), def("DeclareFunction"), def("DeclareClass"), def("FlowType"), // Implies default.
+    null))
+        .field("specifiers", [or(def("ExportSpecifier"), def("ExportBatchSpecifier"))], defaults.emptyArray)
+        .field("source", or(def("Literal"), null), defaults["null"]);
+    def("DeclareExportAllDeclaration")
+        .bases("Declaration")
+        .build("source")
+        .field("source", or(def("Literal"), null), defaults["null"]);
+    def("FlowPredicate").bases("Flow");
+    def("InferredPredicate")
+        .bases("FlowPredicate")
+        .build();
+    def("DeclaredPredicate")
+        .bases("FlowPredicate")
+        .build("value")
+        .field("value", def("Expression"));
+}
+exports.default = default_1;
+module.exports = exports["default"];

package/def/jsx.d.ts

@@ -0,0 +1,2 @@
+import { Fork } from "../types";
+export default function (fork: Fork): void;