132 lines
3.7 KiB
JavaScript
132 lines
3.7 KiB
JavaScript
"use strict";
|
|
|
|
Object.defineProperty(exports, "__esModule", {
|
|
value: true
|
|
});
|
|
exports.getTypeAnnotation = getTypeAnnotation;
|
|
exports._getTypeAnnotation = _getTypeAnnotation;
|
|
exports.isBaseType = isBaseType;
|
|
exports.couldBeBaseType = couldBeBaseType;
|
|
exports.baseTypeStrictlyMatches = baseTypeStrictlyMatches;
|
|
exports.isGenericType = isGenericType;
|
|
|
|
var inferers = _interopRequireWildcard(require("./inferers"));
|
|
|
|
function t() {
|
|
const data = _interopRequireWildcard(require("@babel/types"));
|
|
|
|
t = function () {
|
|
return data;
|
|
};
|
|
|
|
return data;
|
|
}
|
|
|
|
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; } }
|
|
|
|
function getTypeAnnotation() {
|
|
if (this.typeAnnotation) return this.typeAnnotation;
|
|
let type = this._getTypeAnnotation() || t().anyTypeAnnotation();
|
|
if (t().isTypeAnnotation(type)) type = type.typeAnnotation;
|
|
return this.typeAnnotation = type;
|
|
}
|
|
|
|
function _getTypeAnnotation() {
|
|
const node = this.node;
|
|
|
|
if (!node) {
|
|
if (this.key === "init" && this.parentPath.isVariableDeclarator()) {
|
|
const declar = this.parentPath.parentPath;
|
|
const declarParent = declar.parentPath;
|
|
|
|
if (declar.key === "left" && declarParent.isForInStatement()) {
|
|
return t().stringTypeAnnotation();
|
|
}
|
|
|
|
if (declar.key === "left" && declarParent.isForOfStatement()) {
|
|
return t().anyTypeAnnotation();
|
|
}
|
|
|
|
return t().voidTypeAnnotation();
|
|
} else {
|
|
return;
|
|
}
|
|
}
|
|
|
|
if (node.typeAnnotation) {
|
|
return node.typeAnnotation;
|
|
}
|
|
|
|
let inferer = inferers[node.type];
|
|
|
|
if (inferer) {
|
|
return inferer.call(this, node);
|
|
}
|
|
|
|
inferer = inferers[this.parentPath.type];
|
|
|
|
if (inferer && inferer.validParent) {
|
|
return this.parentPath.getTypeAnnotation();
|
|
}
|
|
}
|
|
|
|
function isBaseType(baseName, soft) {
|
|
return _isBaseType(baseName, this.getTypeAnnotation(), soft);
|
|
}
|
|
|
|
function _isBaseType(baseName, type, soft) {
|
|
if (baseName === "string") {
|
|
return t().isStringTypeAnnotation(type);
|
|
} else if (baseName === "number") {
|
|
return t().isNumberTypeAnnotation(type);
|
|
} else if (baseName === "boolean") {
|
|
return t().isBooleanTypeAnnotation(type);
|
|
} else if (baseName === "any") {
|
|
return t().isAnyTypeAnnotation(type);
|
|
} else if (baseName === "mixed") {
|
|
return t().isMixedTypeAnnotation(type);
|
|
} else if (baseName === "empty") {
|
|
return t().isEmptyTypeAnnotation(type);
|
|
} else if (baseName === "void") {
|
|
return t().isVoidTypeAnnotation(type);
|
|
} else {
|
|
if (soft) {
|
|
return false;
|
|
} else {
|
|
throw new Error(`Unknown base type ${baseName}`);
|
|
}
|
|
}
|
|
}
|
|
|
|
function couldBeBaseType(name) {
|
|
const type = this.getTypeAnnotation();
|
|
if (t().isAnyTypeAnnotation(type)) return true;
|
|
|
|
if (t().isUnionTypeAnnotation(type)) {
|
|
for (const type2 of type.types) {
|
|
if (t().isAnyTypeAnnotation(type2) || _isBaseType(name, type2, true)) {
|
|
return true;
|
|
}
|
|
}
|
|
|
|
return false;
|
|
} else {
|
|
return _isBaseType(name, type, true);
|
|
}
|
|
}
|
|
|
|
function baseTypeStrictlyMatches(right) {
|
|
const left = this.getTypeAnnotation();
|
|
right = right.getTypeAnnotation();
|
|
|
|
if (!t().isAnyTypeAnnotation(left) && t().isFlowBaseAnnotation(left)) {
|
|
return right.type === left.type;
|
|
}
|
|
}
|
|
|
|
function isGenericType(genericName) {
|
|
const type = this.getTypeAnnotation();
|
|
return t().isGenericTypeAnnotation(type) && t().isIdentifier(type.id, {
|
|
name: genericName
|
|
});
|
|
} |