inferers.js 6.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220
  1. "use strict";
  2. Object.defineProperty(exports, "__esModule", {
  3. value: true
  4. });
  5. exports.VariableDeclarator = VariableDeclarator;
  6. exports.TypeCastExpression = TypeCastExpression;
  7. exports.NewExpression = NewExpression;
  8. exports.TemplateLiteral = TemplateLiteral;
  9. exports.UnaryExpression = UnaryExpression;
  10. exports.BinaryExpression = BinaryExpression;
  11. exports.LogicalExpression = LogicalExpression;
  12. exports.ConditionalExpression = ConditionalExpression;
  13. exports.SequenceExpression = SequenceExpression;
  14. exports.AssignmentExpression = AssignmentExpression;
  15. exports.UpdateExpression = UpdateExpression;
  16. exports.StringLiteral = StringLiteral;
  17. exports.NumericLiteral = NumericLiteral;
  18. exports.BooleanLiteral = BooleanLiteral;
  19. exports.NullLiteral = NullLiteral;
  20. exports.RegExpLiteral = RegExpLiteral;
  21. exports.ObjectExpression = ObjectExpression;
  22. exports.ArrayExpression = ArrayExpression;
  23. exports.RestElement = RestElement;
  24. exports.ClassDeclaration = exports.ClassExpression = exports.FunctionDeclaration = exports.ArrowFunctionExpression = exports.FunctionExpression = Func;
  25. exports.CallExpression = CallExpression;
  26. exports.TaggedTemplateExpression = TaggedTemplateExpression;
  27. Object.defineProperty(exports, "Identifier", {
  28. enumerable: true,
  29. get: function get() {
  30. return _infererReference.default;
  31. }
  32. });
  33. function t() {
  34. var data = _interopRequireWildcard(require("@babel/types"));
  35. t = function t() {
  36. return data;
  37. };
  38. return data;
  39. }
  40. var _infererReference = _interopRequireDefault(require("./inferer-reference"));
  41. function _interopRequireDefault(obj) { return obj && obj.__esModule ? obj : { default: obj }; }
  42. function _interopRequireWildcard(obj) { if (obj && obj.__esModule) { return obj; } else { var newObj = {}; if (obj != null) { for (var key in obj) { if (Object.prototype.hasOwnProperty.call(obj, key)) { var desc = Object.defineProperty && Object.getOwnPropertyDescriptor ? Object.getOwnPropertyDescriptor(obj, key) : {}; if (desc.get || desc.set) { Object.defineProperty(newObj, key, desc); } else { newObj[key] = obj[key]; } } } } newObj.default = obj; return newObj; } }
  43. function VariableDeclarator() {
  44. var id = this.get("id");
  45. if (!id.isIdentifier()) return;
  46. var init = this.get("init");
  47. var type = init.getTypeAnnotation();
  48. if (type && type.type === "AnyTypeAnnotation") {
  49. if (init.isCallExpression() && init.get("callee").isIdentifier({
  50. name: "Array"
  51. }) && !init.scope.hasBinding("Array", true)) {
  52. type = ArrayExpression();
  53. }
  54. }
  55. return type;
  56. }
  57. function TypeCastExpression(node) {
  58. return node.typeAnnotation;
  59. }
  60. TypeCastExpression.validParent = true;
  61. function NewExpression(node) {
  62. if (this.get("callee").isIdentifier()) {
  63. return t().genericTypeAnnotation(node.callee);
  64. }
  65. }
  66. function TemplateLiteral() {
  67. return t().stringTypeAnnotation();
  68. }
  69. function UnaryExpression(node) {
  70. var operator = node.operator;
  71. if (operator === "void") {
  72. return t().voidTypeAnnotation();
  73. } else if (t().NUMBER_UNARY_OPERATORS.indexOf(operator) >= 0) {
  74. return t().numberTypeAnnotation();
  75. } else if (t().STRING_UNARY_OPERATORS.indexOf(operator) >= 0) {
  76. return t().stringTypeAnnotation();
  77. } else if (t().BOOLEAN_UNARY_OPERATORS.indexOf(operator) >= 0) {
  78. return t().booleanTypeAnnotation();
  79. }
  80. }
  81. function BinaryExpression(node) {
  82. var operator = node.operator;
  83. if (t().NUMBER_BINARY_OPERATORS.indexOf(operator) >= 0) {
  84. return t().numberTypeAnnotation();
  85. } else if (t().BOOLEAN_BINARY_OPERATORS.indexOf(operator) >= 0) {
  86. return t().booleanTypeAnnotation();
  87. } else if (operator === "+") {
  88. var right = this.get("right");
  89. var left = this.get("left");
  90. if (left.isBaseType("number") && right.isBaseType("number")) {
  91. return t().numberTypeAnnotation();
  92. } else if (left.isBaseType("string") || right.isBaseType("string")) {
  93. return t().stringTypeAnnotation();
  94. }
  95. return t().unionTypeAnnotation([t().stringTypeAnnotation(), t().numberTypeAnnotation()]);
  96. }
  97. }
  98. function LogicalExpression() {
  99. return t().createUnionTypeAnnotation([this.get("left").getTypeAnnotation(), this.get("right").getTypeAnnotation()]);
  100. }
  101. function ConditionalExpression() {
  102. return t().createUnionTypeAnnotation([this.get("consequent").getTypeAnnotation(), this.get("alternate").getTypeAnnotation()]);
  103. }
  104. function SequenceExpression() {
  105. return this.get("expressions").pop().getTypeAnnotation();
  106. }
  107. function AssignmentExpression() {
  108. return this.get("right").getTypeAnnotation();
  109. }
  110. function UpdateExpression(node) {
  111. var operator = node.operator;
  112. if (operator === "++" || operator === "--") {
  113. return t().numberTypeAnnotation();
  114. }
  115. }
  116. function StringLiteral() {
  117. return t().stringTypeAnnotation();
  118. }
  119. function NumericLiteral() {
  120. return t().numberTypeAnnotation();
  121. }
  122. function BooleanLiteral() {
  123. return t().booleanTypeAnnotation();
  124. }
  125. function NullLiteral() {
  126. return t().nullLiteralTypeAnnotation();
  127. }
  128. function RegExpLiteral() {
  129. return t().genericTypeAnnotation(t().identifier("RegExp"));
  130. }
  131. function ObjectExpression() {
  132. return t().genericTypeAnnotation(t().identifier("Object"));
  133. }
  134. function ArrayExpression() {
  135. return t().genericTypeAnnotation(t().identifier("Array"));
  136. }
  137. function RestElement() {
  138. return ArrayExpression();
  139. }
  140. RestElement.validParent = true;
  141. function Func() {
  142. return t().genericTypeAnnotation(t().identifier("Function"));
  143. }
  144. var isArrayFrom = t().buildMatchMemberExpression("Array.from");
  145. var isObjectKeys = t().buildMatchMemberExpression("Object.keys");
  146. var isObjectValues = t().buildMatchMemberExpression("Object.values");
  147. var isObjectEntries = t().buildMatchMemberExpression("Object.entries");
  148. function CallExpression() {
  149. var callee = this.node.callee;
  150. if (isObjectKeys(callee)) {
  151. return t().arrayTypeAnnotation(t().stringTypeAnnotation());
  152. } else if (isArrayFrom(callee) || isObjectValues(callee)) {
  153. return t().arrayTypeAnnotation(t().anyTypeAnnotation());
  154. } else if (isObjectEntries(callee)) {
  155. return t().arrayTypeAnnotation(t().tupleTypeAnnotation([t().stringTypeAnnotation(), t().anyTypeAnnotation()]));
  156. }
  157. return resolveCall(this.get("callee"));
  158. }
  159. function TaggedTemplateExpression() {
  160. return resolveCall(this.get("tag"));
  161. }
  162. function resolveCall(callee) {
  163. callee = callee.resolve();
  164. if (callee.isFunction()) {
  165. if (callee.is("async")) {
  166. if (callee.is("generator")) {
  167. return t().genericTypeAnnotation(t().identifier("AsyncIterator"));
  168. } else {
  169. return t().genericTypeAnnotation(t().identifier("Promise"));
  170. }
  171. } else {
  172. if (callee.node.returnType) {
  173. return callee.node.returnType;
  174. } else {}
  175. }
  176. }
  177. }