brighterscript 1.0.0-alpha.5 → 1.0.0-alpha.50

package/dist/types/helpers.js

@@ -0,0 +1,323 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isTypeWithPotentialDefaultDynamicMember = exports.joinTypesString = exports.TypesCreated = exports.addAssociatedTypesTableAsSiblingToMemberTable = exports.getAllTypesFromCompoundType = exports.isNativeInterfaceCompatibleNumber = exports.isNativeInterfaceCompatible = exports.isEnumTypeCompatible = exports.isUnionTypeCompatible = exports.getUniqueType = exports.reduceTypesForIntersectionType = exports.reduceTypesToMostGeneric = exports.getUniqueTypesFromArray = exports.findTypeUnionDeepCheck = exports.findTypeUnion = exports.findTypeIntersection = void 0;
+const reflection_1 = require("../astUtils/reflection");
+function findTypeIntersection(typesArr1, typesArr2) {
+    if (!typesArr1 || !typesArr2) {
+        return undefined;
+    }
+    return typesArr1 === null || typesArr1 === void 0 ? void 0 : typesArr1.filter((currentType) => {
+        if (!currentType) {
+            return false;
+        }
+        const indexOfCurrentTypeInArr2 = typesArr2.findIndex((checkType) => {
+            return currentType.isEqual(checkType);
+        });
+        return indexOfCurrentTypeInArr2 >= 0;
+    });
+}
+exports.findTypeIntersection = findTypeIntersection;
+function findTypeUnion(...typesArr) {
+    return getUniqueTypesFromArray([].concat(...typesArr));
+}
+exports.findTypeUnion = findTypeUnion;
+/**
+ * Same as findTypeUnion, but does not allow short cutting by just checking names
+ * Useful for checking types between callfuncs, as the parameter types may have the same name, but mean different things
+ */
+function findTypeUnionDeepCheck(...typesArr) {
+    return getUniqueTypesFromArray([].concat(...typesArr), false);
+}
+exports.findTypeUnionDeepCheck = findTypeUnionDeepCheck;
+function getUniqueTypesFromArray(types, allowNameEquality = true) {
+    if (!types) {
+        return undefined;
+    }
+    return types === null || types === void 0 ? void 0 : types.filter((currentType, currentIndex) => {
+        if (!currentType) {
+            return false;
+        }
+        if (((0, reflection_1.isTypePropertyReferenceType)(currentType) || (0, reflection_1.isArrayDefaultTypeReferenceType)(currentType)) && !currentType.isResolvable()) {
+            return true;
+        }
+        const latestIndex = types.findIndex((checkType) => {
+            return currentType.isEqual(checkType, { allowNameEquality: allowNameEquality });
+        });
+        // the index that was found is the index we're checking --- there are no equal types after this
+        return latestIndex === currentIndex;
+    });
+}
+exports.getUniqueTypesFromArray = getUniqueTypesFromArray;
+/**
+ * Reduces a list of types based on equality or inheritance
+ * If all types are the same - just that type is returned
+ * If one of the types is Dynamic, then Dynamic.instance is returned
+ * If any types inherit another type, the more general type is returned
+ * @param types array of types
+ * @returns an array of the most general types
+ */
+function reduceTypesToMostGeneric(types, allowNameEquality = true) {
+    if (!types || (types === null || types === void 0 ? void 0 : types.length) === 0) {
+        return undefined;
+    }
+    if (types.length === 1) {
+        // only one type
+        return [types[0]];
+    }
+    types = types.map(t => {
+        var _a;
+        if ((0, reflection_1.isReferenceType)(t) && t.isResolvable()) {
+            return (_a = t.getTarget()) !== null && _a !== void 0 ? _a : t;
+        }
+        return t;
+    });
+    // Get a list of unique types, based on the `isEqual()` method
+    const uniqueTypes = getUniqueTypesFromArray(types, allowNameEquality).map(t => {
+        // map to object with `shouldIgnore` flag
+        return { type: t, shouldIgnore: false };
+    });
+    if (uniqueTypes.length === 1) {
+        // only one type after filtering
+        return [uniqueTypes[0].type];
+    }
+    const existingDynamicType = uniqueTypes.find(t => !(0, reflection_1.isAnyReferenceType)(t.type) && (0, reflection_1.isDynamicType)(t.type));
+    if (existingDynamicType) {
+        // If it includes dynamic, then the result is dynamic
+        return [existingDynamicType.type];
+    }
+    const generalizedTypes = [];
+    //check assignability:
+    for (let i = 0; i < uniqueTypes.length; i++) {
+        const currentType = uniqueTypes[i].type;
+        if (i === uniqueTypes.length - 1) {
+            if (!uniqueTypes[i].shouldIgnore) {
+                //this type was not convertible to anything else... it is as general as possible
+                generalizedTypes.push(currentType);
+            }
+            break;
+        }
+        for (let j = i + 1; j < uniqueTypes.length; j++) {
+            if (uniqueTypes[j].shouldIgnore) {
+                continue;
+            }
+            const checkType = uniqueTypes[j].type;
+            if (currentType.isResolvable() && currentType.isEqual(uniqueTypes[j].type, { allowNameEquality: allowNameEquality })) {
+                uniqueTypes[j].shouldIgnore = true;
+            }
+            else if ((0, reflection_1.isInheritableType)(currentType) && (0, reflection_1.isInheritableType)(checkType)) {
+                if (currentType.isTypeDescendent(checkType)) {
+                    //the type we're checking is less general than the current type... it can be ignored
+                    uniqueTypes[j].shouldIgnore = true;
+                }
+                if (checkType.isTypeDescendent(currentType)) {
+                    // the currentType is a descendent to some other type - it won't be in the final set
+                    break;
+                }
+            }
+            if (j === uniqueTypes.length - 1) {
+                //this type was not convertible to anything else... it is as general as possible
+                generalizedTypes.push(currentType);
+            }
+        }
+    }
+    return generalizedTypes;
+}
+exports.reduceTypesToMostGeneric = reduceTypesToMostGeneric;
+/**
+ * Reduces a list of types based on equality or inheritance
+ * If all types are the same - just that type is returned
+ * If one of the types is Dynamic, then Dynamic.instance is returned
+ * If any types inherit another type, the more Specific type is returned, eg. the one with the most members
+ * @param types array of types
+ * @returns an array of the most specific types
+ */
+function reduceTypesForIntersectionType(types, allowNameEquality = true) {
+    if (!types || (types === null || types === void 0 ? void 0 : types.length) === 0) {
+        return undefined;
+    }
+    if (types.length === 1) {
+        // only one type
+        return [types[0]];
+    }
+    types = types.map(t => {
+        var _a;
+        if ((0, reflection_1.isReferenceType)(t)) {
+            if (t.isResolvable()) {
+                return (_a = t.getTarget()) !== null && _a !== void 0 ? _a : t;
+            }
+            return undefined;
+        }
+        return t;
+    }).filter(t => t);
+    // Get a list of unique types, based on the `isEqual()` method
+    const uniqueTypes = getUniqueTypesFromArray(types, allowNameEquality).map(t => {
+        // map to object with `shouldIgnore` flag
+        return { type: t, shouldIgnore: false };
+    });
+    if (uniqueTypes.length === 1) {
+        // only one type after filtering
+        return [uniqueTypes[0].type];
+    }
+    const existingDynamicType = uniqueTypes.find(t => !(0, reflection_1.isAnyReferenceType)(t.type) && (0, reflection_1.isDynamicType)(t.type));
+    if (existingDynamicType) {
+        // If it includes dynamic, then the result is dynamic
+        return [existingDynamicType.type];
+    }
+    const specificTypes = [];
+    //check assignability:
+    for (let i = 0; i < uniqueTypes.length; i++) {
+        const currentType = uniqueTypes[i].type;
+        if (i === uniqueTypes.length - 1) {
+            if (!uniqueTypes[i].shouldIgnore) {
+                //this type was not convertible to anything else... it is as general as possible
+                specificTypes.push(currentType);
+            }
+            break;
+        }
+        for (let j = i + 1; j < uniqueTypes.length; j++) {
+            if (uniqueTypes[j].shouldIgnore) {
+                continue;
+            }
+            const checkType = uniqueTypes[j].type;
+            if (currentType.isResolvable() && currentType.isEqual(uniqueTypes[j].type, { allowNameEquality: allowNameEquality })) {
+                uniqueTypes[j].shouldIgnore = true;
+            }
+            else if ((0, reflection_1.isInheritableType)(currentType) && (0, reflection_1.isInheritableType)(checkType)) {
+                if (checkType.isTypeDescendent(currentType)) {
+                    //the type we're checking is more general than the current type... it can be ignored
+                    uniqueTypes[j].shouldIgnore = true;
+                }
+                if (currentType.isTypeDescendent(checkType)) {
+                    // the currentType is an ancestor to some other type - it won't be in the final set
+                    break;
+                }
+            }
+            if (j === uniqueTypes.length - 1) {
+                //this type was not convertible to anything else... it is as general as possible
+                specificTypes.push(currentType);
+            }
+        }
+    }
+    return specificTypes;
+}
+exports.reduceTypesForIntersectionType = reduceTypesForIntersectionType;
+/**
+ * Gets a Unique type from a list of types
+ * @param types array of types
+ * @returns either the singular most general type, if there is one, otherwise a UnionType of the most general types
+ */
+function getUniqueType(types, unionTypeFactory, allowNameEquality = true) {
+    if (!types || types.length === 0) {
+        return undefined;
+    }
+    const dynType = types.find((x) => !(0, reflection_1.isAnyReferenceType)(x) && ((0, reflection_1.isDynamicType)(x) || (0, reflection_1.isVoidType)(x)));
+    if (dynType) {
+        return dynType;
+    }
+    types = types === null || types === void 0 ? void 0 : types.map(type => {
+        if (!(0, reflection_1.isAnyReferenceType)(type) && (0, reflection_1.isUnionType)(type)) {
+            return type.types;
+        }
+        return type;
+    }).flat();
+    const generalizedTypes = reduceTypesToMostGeneric(types, allowNameEquality);
+    if (!generalizedTypes || generalizedTypes.length === 0) {
+        return undefined;
+    }
+    if ((generalizedTypes === null || generalizedTypes === void 0 ? void 0 : generalizedTypes.length) === 1) {
+        // only one type
+        return generalizedTypes[0];
+    }
+    return unionTypeFactory(generalizedTypes);
+}
+exports.getUniqueType = getUniqueType;
+function isUnionTypeCompatible(thisType, maybeUnionType, data) {
+    if ((0, reflection_1.isUnionType)(maybeUnionType)) {
+        for (const innerType of maybeUnionType.types) {
+            if (!thisType.isTypeCompatible(innerType, data)) {
+                return false;
+            }
+        }
+        return true;
+    }
+    return false;
+}
+exports.isUnionTypeCompatible = isUnionTypeCompatible;
+function isEnumTypeCompatible(thisType, maybeEnumType, data) {
+    if ((0, reflection_1.isEnumMemberType)(maybeEnumType) || (0, reflection_1.isEnumType)(maybeEnumType)) {
+        return thisType.isTypeCompatible(maybeEnumType.underlyingType, data);
+    }
+    return false;
+}
+exports.isEnumTypeCompatible = isEnumTypeCompatible;
+function isNativeInterfaceCompatible(thisType, otherType, allowedType, data) {
+    if ((0, reflection_1.isInterfaceType)(otherType)) {
+        // TODO: it is not great to do type checking based on interface name
+        const lowerOtherName = otherType.name.toLowerCase();
+        return allowedType === lowerOtherName;
+    }
+    return false;
+}
+exports.isNativeInterfaceCompatible = isNativeInterfaceCompatible;
+function isNativeInterfaceCompatibleNumber(thisType, otherType, data) {
+    if ((0, reflection_1.isInterfaceType)(otherType)) {
+        // TODO: it is not great to do type checking based on interface name
+        const lowerOtherName = otherType.name.toLowerCase();
+        return lowerOtherName === 'roint' ||
+            lowerOtherName === 'rofloat' ||
+            lowerOtherName === 'rodouble' ||
+            lowerOtherName === 'rolonginteger';
+    }
+    return false;
+}
+exports.isNativeInterfaceCompatibleNumber = isNativeInterfaceCompatibleNumber;
+function getAllTypesFromCompoundType(complex) {
+    const results = [];
+    for (const type of complex.types) {
+        if ((0, reflection_1.isCompoundType)(type)) {
+            results.push(...getAllTypesFromCompoundType(type));
+        }
+        else {
+            results.push(type);
+        }
+    }
+    return results;
+}
+exports.getAllTypesFromCompoundType = getAllTypesFromCompoundType;
+function addAssociatedTypesTableAsSiblingToMemberTable(type, associatedTypesTable, bitFlags) {
+    if ((0, reflection_1.isReferenceType)(type) &&
+        !type.isResolvable()) {
+        // This param or return type is a reference - make sure the associated types are included
+        type.tableProvider().addSibling(associatedTypesTable);
+        // add this as a sister table to member tables too!
+        const memberTable = type.getMemberTable();
+        if (memberTable.getAllSymbols) {
+            for (const memberSymbol of memberTable.getAllSymbols(bitFlags)) {
+                addAssociatedTypesTableAsSiblingToMemberTable(memberSymbol === null || memberSymbol === void 0 ? void 0 : memberSymbol.type, associatedTypesTable, bitFlags);
+            }
+        }
+    }
+}
+exports.addAssociatedTypesTableAsSiblingToMemberTable = addAssociatedTypesTableAsSiblingToMemberTable;
+/**
+ * A map of all types created in the program during its lifetime. This applies across all programs, validate runs, etc. Mostly useful for a single run to track types created.
+ */
+exports.TypesCreated = {};
+function joinTypesString(types, separator, thisTypeKind) {
+    return [...new Set(types.map(t => {
+            const typeString = t.toString();
+            if (((0, reflection_1.isUnionType)(t) || (0, reflection_1.isIntersectionType)(t)) && t.kind !== thisTypeKind) {
+                return `(${typeString})`;
+            }
+            return t.toString();
+        }))].join(` ${separator} `);
+}
+exports.joinTypesString = joinTypesString;
+function isTypeWithPotentialDefaultDynamicMember(type) {
+    return ((0, reflection_1.isInheritableType)(type) && type.changeUnknownMemberToDynamic) ||
+        (0, reflection_1.isAssociativeArrayTypeLike)(type) ||
+        (0, reflection_1.isObjectType)(type) ||
+        (0, reflection_1.isUnionTypeOf)(type, isTypeWithPotentialDefaultDynamicMember);
+}
+exports.isTypeWithPotentialDefaultDynamicMember = isTypeWithPotentialDefaultDynamicMember;
+//# sourceMappingURL=helpers.js.map

package/dist/types/helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../src/types/helpers.ts"],"names":[],"mappings":";;;AACA,uDAAkV;AAQlV,SAAgB,oBAAoB,CAAC,SAAoB,EAAE,SAAoB;IAC3E,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS,EAAE;QAC1B,OAAO,SAAS,CAAC;KACpB;IACD,OAAO,SAAS,aAAT,SAAS,uBAAT,SAAS,CAAE,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE;QACrC,IAAI,CAAC,WAAW,EAAE;YACd,OAAO,KAAK,CAAC;SAChB;QACD,MAAM,wBAAwB,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC,SAAS,EAAE,EAAE;YAC/D,OAAO,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;QACH,OAAO,wBAAwB,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACP,CAAC;AAbD,oDAaC;AAED,SAAgB,aAAa,CAAC,GAAG,QAAqB;IAClD,OAAO,uBAAuB,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC;AAC3D,CAAC;AAFD,sCAEC;AAED;;;GAGG;AACH,SAAgB,sBAAsB,CAAC,GAAG,QAAqB;IAC3D,OAAO,uBAAuB,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAC;AAClE,CAAC;AAFD,wDAEC;AAED,SAAgB,uBAAuB,CAAC,KAAgB,EAAE,iBAAiB,GAAG,IAAI;IAC9E,IAAI,CAAC,KAAK,EAAE;QACR,OAAO,SAAS,CAAC;KACpB;IACD,OAAO,KAAK,aAAL,KAAK,uBAAL,KAAK,CAAE,MAAM,CAAC,CAAC,WAAW,EAAE,YAAY,EAAE,EAAE;QAC/C,IAAI,CAAC,WAAW,EAAE;YACd,OAAO,KAAK,CAAC;SAChB;QACD,IAAI,CAAC,IAAA,wCAA2B,EAAC,WAAW,CAAC,IAAI,IAAA,4CAA+B,EAAC,WAAW,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,YAAY,EAAE,EAAE;YAC3H,OAAO,IAAI,CAAC;SACf;QACD,MAAM,WAAW,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,SAAS,EAAE,EAAE;YAC9C,OAAO,WAAW,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,CAAC,CAAC;QACpF,CAAC,CAAC,CAAC;QACH,+FAA+F;QAC/F,OAAO,WAAW,KAAK,YAAY,CAAC;IACxC,CAAC,CAAC,CAAC;AACP,CAAC;AAjBD,0DAiBC;AAED;;;;;;;GAOG;AACH,SAAgB,wBAAwB,CAAC,KAAgB,EAAE,iBAAiB,GAAG,IAAI;IAC/E,IAAI,CAAC,KAAK,IAAI,CAAA,KAAK,aAAL,KAAK,uBAAL,KAAK,CAAE,MAAM,MAAK,CAAC,EAAE;QAC/B,OAAO,SAAS,CAAC;KACpB;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE;QACpB,gBAAgB;QAChB,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;KACrB;IAED,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;;QAClB,IAAI,IAAA,4BAAe,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,EAAE;YACxC,OAAO,MAAC,CAAS,CAAC,SAAS,EAAE,mCAAI,CAAC,CAAC;SACtC;QACD,OAAO,CAAC,CAAC;IACb,CAAC,CAAC,CAAC;IAEH,8DAA8D;IAC9D,MAAM,WAAW,GAAG,uBAAuB,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;QAC1E,yCAAyC;QACzC,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE;QAC1B,gCAAgC;QAChC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;KAChC;IACD,MAAM,mBAAmB,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAA,+BAAkB,EAAC,CAAC,CAAC,IAAI,CAAC,IAAI,IAAA,0BAAa,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACxG,IAAI,mBAAmB,EAAE;QACrB,qDAAqD;QACrD,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;KACrC;IACD,MAAM,gBAAgB,GAAG,EAAE,CAAC;IAC5B,sBAAsB;IACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;QACzC,MAAM,WAAW,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACxC,IAAI,CAAC,KAAK,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE;YAC9B,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE;gBAC9B,gFAAgF;gBAChF,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;aACtC;YACD,MAAM;SACT;QACD,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;YAC7C,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE;gBAC7B,SAAS;aACZ;YACD,MAAM,SAAS,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAEtC,IAAI,WAAW,CAAC,YAAY,EAAE,IAAI,WAAW,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,CAAC,EAAE;gBAClH,WAAW,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,IAAI,CAAC;aACtC;iBAAM,IAAI,IAAA,8BAAiB,EAAC,WAAW,CAAC,IAAI,IAAA,8BAAiB,EAAC,SAAS,CAAC,EAAE;gBACvE,IAAI,WAAW,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE;oBACzC,oFAAoF;oBACpF,WAAW,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,IAAI,CAAC;iBACtC;gBACD,IAAI,SAAS,CAAC,gBAAgB,CAAC,WAAW,CAAC,EAAE;oBACzC,oFAAoF;oBACpF,MAAM;iBACT;aACJ;YACD,IAAI,CAAC,KAAK,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE;gBAC9B,gFAAgF;gBAChF,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;aACtC;SACJ;KACJ;IACD,OAAO,gBAAgB,CAAC;AAC5B,CAAC;AApED,4DAoEC;AAGD;;;;;;;GAOG;AACH,SAAgB,8BAA8B,CAAC,KAAgB,EAAE,iBAAiB,GAAG,IAAI;IACrF,IAAI,CAAC,KAAK,IAAI,CAAA,KAAK,aAAL,KAAK,uBAAL,KAAK,CAAE,MAAM,MAAK,CAAC,EAAE;QAC/B,OAAO,SAAS,CAAC;KACpB;IAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE;QACpB,gBAAgB;QAChB,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;KACrB;IAED,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;;QAClB,IAAI,IAAA,4BAAe,EAAC,CAAC,CAAC,EAAE;YACpB,IAAI,CAAC,CAAC,YAAY,EAAE,EAAE;gBAClB,OAAO,MAAC,CAAS,CAAC,SAAS,EAAE,mCAAI,CAAC,CAAC;aAEtC;YACD,OAAO,SAAS,CAAC;SACpB;QACD,OAAO,CAAC,CAAC;IACb,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAElB,8DAA8D;IAC9D,MAAM,WAAW,GAAG,uBAAuB,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;QAC1E,yCAAyC;QACzC,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE;QAC1B,gCAAgC;QAChC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;KAChC;IACD,MAAM,mBAAmB,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAA,+BAAkB,EAAC,CAAC,CAAC,IAAI,CAAC,IAAI,IAAA,0BAAa,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACxG,IAAI,mBAAmB,EAAE;QACrB,qDAAqD;QACrD,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;KACrC;IACD,MAAM,aAAa,GAAG,EAAE,CAAC;IACzB,sBAAsB;IACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;QACzC,MAAM,WAAW,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACxC,IAAI,CAAC,KAAK,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE;YAC9B,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE;gBAC9B,gFAAgF;gBAChF,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;aACnC;YACD,MAAM;SACT;QACD,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;YAC7C,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE;gBAC7B,SAAS;aACZ;YACD,MAAM,SAAS,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAEtC,IAAI,WAAW,CAAC,YAAY,EAAE,IAAI,WAAW,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,CAAC,EAAE;gBAClH,WAAW,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,IAAI,CAAC;aACtC;iBAAM,IAAI,IAAA,8BAAiB,EAAC,WAAW,CAAC,IAAI,IAAA,8BAAiB,EAAC,SAAS,CAAC,EAAE;gBACvE,IAAI,SAAS,CAAC,gBAAgB,CAAC,WAAW,CAAC,EAAE;oBACzC,oFAAoF;oBACpF,WAAW,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,IAAI,CAAC;iBACtC;gBACD,IAAI,WAAW,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE;oBACzC,mFAAmF;oBACnF,MAAM;iBACT;aACJ;YACD,IAAI,CAAC,KAAK,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE;gBAC9B,gFAAgF;gBAChF,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;aACnC;SACJ;KACJ;IACD,OAAO,aAAa,CAAC;AACzB,CAAC;AAxED,wEAwEC;AAGD;;;;GAIG;AACH,SAAgB,aAAa,CAAC,KAAgB,EAAE,gBAA+C,EAAE,iBAAiB,GAAG,IAAI;IACrH,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE;QAC9B,OAAO,SAAS,CAAC;KACpB;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAA,+BAAkB,EAAC,CAAC,CAAC,IAAI,CAAC,IAAA,0BAAa,EAAC,CAAC,CAAC,IAAI,IAAA,uBAAU,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjG,IAAI,OAAO,EAAE;QACT,OAAO,OAAO,CAAC;KAClB;IACD,KAAK,GAAG,KAAK,aAAL,KAAK,uBAAL,KAAK,CAAE,GAAG,CAAC,IAAI,CAAC,EAAE;QACtB,IAAI,CAAC,IAAA,+BAAkB,EAAC,IAAI,CAAC,IAAI,IAAA,wBAAW,EAAC,IAAI,CAAC,EAAE;YAChD,OAAO,IAAI,CAAC,KAAK,CAAC;SACrB;QACD,OAAO,IAAI,CAAC;IAChB,CAAC,EAAE,IAAI,EAAE,CAAC;IACV,MAAM,gBAAgB,GAAG,wBAAwB,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;IAC5E,IAAI,CAAC,gBAAgB,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,EAAE;QACpD,OAAO,SAAS,CAAC;KACpB;IACD,IAAI,CAAA,gBAAgB,aAAhB,gBAAgB,uBAAhB,gBAAgB,CAAE,MAAM,MAAK,CAAC,EAAE;QAChC,gBAAgB;QAChB,OAAO,gBAAgB,CAAC,CAAC,CAAC,CAAC;KAC9B;IACD,OAAO,gBAAgB,CAAC,gBAAgB,CAAC,CAAC;AAC9C,CAAC;AAvBD,sCAuBC;AAGD,SAAgB,qBAAqB,CAAC,QAAiB,EAAE,cAAuB,EAAE,IAA4B;IAC1G,IAAI,IAAA,wBAAW,EAAC,cAAc,CAAC,EAAE;QAC7B,KAAK,MAAM,SAAS,IAAI,cAAc,CAAC,KAAK,EAAE;YAC1C,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE;gBAC7C,OAAO,KAAK,CAAC;aAChB;SACJ;QACD,OAAO,IAAI,CAAC;KACf;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAVD,sDAUC;AAGD,SAAgB,oBAAoB,CAAC,QAAiB,EAAE,aAAsB,EAAE,IAA4B;IACxG,IAAI,IAAA,6BAAgB,EAAC,aAAa,CAAC,IAAI,IAAA,uBAAU,EAAC,aAAa,CAAC,EAAE;QAC9D,OAAO,QAAQ,CAAC,gBAAgB,CAAC,aAAa,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC;KACxE;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AALD,oDAKC;AAED,SAAgB,2BAA2B,CAAC,QAAiB,EAAE,SAAkB,EAAE,WAAmB,EAAE,IAA4B;IAChI,IAAI,IAAA,4BAAe,EAAC,SAAS,CAAC,EAAE;QAC5B,oEAAoE;QACpE,MAAM,cAAc,GAAG,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACpD,OAAO,WAAW,KAAK,cAAc,CAAC;KACzC;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAPD,kEAOC;AAED,SAAgB,iCAAiC,CAAC,QAAiB,EAAE,SAAkB,EAAE,IAA4B;IACjH,IAAI,IAAA,4BAAe,EAAC,SAAS,CAAC,EAAE;QAC5B,oEAAoE;QACpE,MAAM,cAAc,GAAG,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACpD,OAAO,cAAc,KAAK,OAAO;YAC7B,cAAc,KAAK,SAAS;YAC5B,cAAc,KAAK,UAAU;YAC7B,cAAc,KAAK,eAAe,CAAC;KAC1C;IACD,OAAO,KAAK,CAAC;AACjB,CAAC;AAVD,8EAUC;AAED,SAAgB,2BAA2B,CAAC,OAAqC;IAC7E,MAAM,OAAO,GAAG,EAAE,CAAC;IAEnB,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE;QAC9B,IAAI,IAAA,2BAAc,EAAC,IAAI,CAAC,EAAE;YACtB,OAAO,CAAC,IAAI,CAAC,GAAG,2BAA2B,CAAC,IAAI,CAAC,CAAC,CAAC;SACtD;aAAM;YACH,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;SACtB;KACJ;IACD,OAAO,OAAO,CAAC;AACnB,CAAC;AAXD,kEAWC;AAED,SAAgB,6CAA6C,CAAC,IAAa,EAAE,oBAAiC,EAAE,QAAwB;IACpI,IAAI,IAAA,4BAAe,EAAC,IAAI,CAAC;QACrB,CAAC,IAAI,CAAC,YAAY,EAAE,EAAE;QACtB,yFAAyF;QACzF,IAAI,CAAC,aAAa,EAAE,CAAC,UAAU,CAAC,oBAAoB,CAAC,CAAC;QAEtD,mDAAmD;QACnD,MAAM,WAAW,GAAgB,IAAI,CAAC,cAAc,EAAE,CAAC;QACvD,IAAI,WAAW,CAAC,aAAa,EAAE;YAC3B,KAAK,MAAM,YAAY,IAAI,WAAW,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE;gBAC5D,6CAA6C,CAAC,YAAY,aAAZ,YAAY,uBAAZ,YAAY,CAAE,IAAI,EAAE,oBAAoB,EAAE,QAAQ,CAAC,CAAC;aACrG;SACJ;KACJ;AACL,CAAC;AAdD,sGAcC;AACD;;GAEG;AACU,QAAA,YAAY,GAA2B,EAAE,CAAC;AAEvD,SAAgB,eAAe,CAAC,KAAgB,EAAE,SAAiB,EAAE,YAAyB;IAC1F,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;YAC7B,MAAM,UAAU,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;YAChC,IAAI,CAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,IAAI,IAAA,+BAAkB,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,EAAE;gBACtE,OAAO,IAAI,UAAU,GAAG,CAAC;aAC5B;YACD,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC;QACxB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,SAAS,GAAG,CAAC,CAAC;AAChC,CAAC;AARD,0CAQC;AAGD,SAAgB,uCAAuC,CAAC,IAAa;IACjE,OAAO,CAAC,IAAA,8BAAiB,EAAC,IAAI,CAAC,IAAI,IAAI,CAAC,4BAA4B,CAAC;QACjE,IAAA,uCAA0B,EAAC,IAAI,CAAC;QAChC,IAAA,yBAAY,EAAC,IAAI,CAAC;QAClB,IAAA,0BAAa,EAAC,IAAI,EAAE,uCAAuC,CAAC,CAAC;AACrE,CAAC;AALD,0FAKC"}

package/dist/types/index.d.ts

@@ -0,0 +1,22 @@
+export * from './ArrayType';
+export * from './BooleanType';
+export * from './BscType';
+export * from './ClassType';
+export * from './DoubleType';
+export * from './DynamicType';
+export * from './EnumType';
+export * from './FloatType';
+export * from './TypedFunctionType';
+export * from './helpers';
+export * from './InheritableType';
+export * from './IntegerType';
+export * from './InterfaceType';
+export * from './InvalidType';
+export * from './LongIntegerType';
+export * from './NamespaceType';
+export * from './ObjectType';
+export * from './ReferenceType';
+export * from './StringType';
+export * from './UninitializedType';
+export * from './UnionType';
+export * from './VoidType';

package/dist/types/index.js

@@ -0,0 +1,39 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+__exportStar(require("./ArrayType"), exports);
+__exportStar(require("./BooleanType"), exports);
+__exportStar(require("./BscType"), exports);
+__exportStar(require("./ClassType"), exports);
+__exportStar(require("./DoubleType"), exports);
+__exportStar(require("./DynamicType"), exports);
+__exportStar(require("./EnumType"), exports);
+__exportStar(require("./FloatType"), exports);
+__exportStar(require("./TypedFunctionType"), exports);
+__exportStar(require("./helpers"), exports);
+__exportStar(require("./InheritableType"), exports);
+__exportStar(require("./IntegerType"), exports);
+__exportStar(require("./InterfaceType"), exports);
+__exportStar(require("./InvalidType"), exports);
+__exportStar(require("./LongIntegerType"), exports);
+__exportStar(require("./NamespaceType"), exports);
+__exportStar(require("./ObjectType"), exports);
+__exportStar(require("./ReferenceType"), exports);
+__exportStar(require("./StringType"), exports);
+__exportStar(require("./UninitializedType"), exports);
+__exportStar(require("./UnionType"), exports);
+__exportStar(require("./VoidType"), exports);
+//# sourceMappingURL=index.js.map

package/dist/types/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,8CAA4B;AAC5B,gDAA8B;AAC9B,4CAA0B;AAC1B,8CAA4B;AAC5B,+CAA6B;AAC7B,gDAA8B;AAC9B,6CAA2B;AAC3B,8CAA4B;AAC5B,sDAAoC;AACpC,4CAA0B;AAC1B,oDAAkC;AAClC,gDAA8B;AAC9B,kDAAgC;AAChC,gDAA8B;AAC9B,oDAAkC;AAClC,kDAAgC;AAChC,+CAA6B;AAC7B,kDAAgC;AAChC,+CAA6B;AAC7B,sDAAoC;AACpC,8CAA4B;AAC5B,6CAA2B"}

package/dist/types/roFunctionType.d.ts

@@ -0,0 +1,11 @@
+import type { TypeCompatibilityData } from '../interfaces';
+import { BaseFunctionType } from './BaseFunctionType';
+import type { BscType } from './BscType';
+import { BscTypeKind } from './BscTypeKind';
+export declare class roFunctionType extends BaseFunctionType {
+    readonly kind = BscTypeKind.RoFunctionType;
+    isTypeCompatible(targetType: BscType, data?: TypeCompatibilityData): boolean;
+    toString(): string;
+    toTypeString(): string;
+    isEqual(targetType: BscType): boolean;
+}

package/dist/types/roFunctionType.js

@@ -0,0 +1,37 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.roFunctionType = void 0;
+const reflection_1 = require("../astUtils/reflection");
+const BaseFunctionType_1 = require("./BaseFunctionType");
+const BscTypeKind_1 = require("./BscTypeKind");
+const helpers_1 = require("./helpers");
+class roFunctionType extends BaseFunctionType_1.BaseFunctionType {
+    constructor() {
+        super(...arguments);
+        this.kind = BscTypeKind_1.BscTypeKind.RoFunctionType;
+    }
+    isTypeCompatible(targetType, data) {
+        if ((0, reflection_1.isDynamicType)(targetType) ||
+            (0, reflection_1.isCallableType)(targetType) ||
+            (0, reflection_1.isFunctionTypeLike)(targetType) ||
+            (0, reflection_1.isObjectType)(targetType) ||
+            (0, helpers_1.isUnionTypeCompatible)(this, targetType, data)) {
+            return true;
+        }
+        return false;
+    }
+    toString() {
+        return 'roFunction';
+    }
+    toTypeString() {
+        return 'dynamic';
+    }
+    isEqual(targetType) {
+        if ((0, reflection_1.isFunctionTypeLike)(targetType)) {
+            return true;
+        }
+        return false;
+    }
+}
+exports.roFunctionType = roFunctionType;
+//# sourceMappingURL=roFunctionType.js.map

package/dist/types/roFunctionType.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"roFunctionType.js","sourceRoot":"","sources":["../../src/types/roFunctionType.ts"],"names":[],"mappings":";;;AAAA,uDAAyG;AAEzG,yDAAsD;AAEtD,+CAA4C;AAC5C,uCAAkD;AAElD,MAAa,cAAe,SAAQ,mCAAgB;IAApD;;QACoB,SAAI,GAAG,yBAAW,CAAC,cAAc,CAAC;IA8BtD,CAAC;IA5BU,gBAAgB,CAAC,UAAmB,EAAE,IAA4B;QACrE,IACI,IAAA,0BAAa,EAAC,UAAU,CAAC;YACzB,IAAA,2BAAc,EAAC,UAAU,CAAC;YAC1B,IAAA,+BAAkB,EAAC,UAAU,CAAC;YAC9B,IAAA,yBAAY,EAAC,UAAU,CAAC;YACxB,IAAA,+BAAqB,EAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,EAC/C;YACE,OAAO,IAAI,CAAC;SACf;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAEM,QAAQ;QACX,OAAO,YAAY,CAAC;IACxB,CAAC;IAEM,YAAY;QACf,OAAO,SAAS,CAAC;IACrB,CAAC;IAGD,OAAO,CAAC,UAAmB;QACvB,IAAI,IAAA,+BAAkB,EAAC,UAAU,CAAC,EAAE;YAChC,OAAO,IAAI,CAAC;SACf;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;CACJ;AA/BD,wCA+BC"}

package/dist/types/roFunctionType.spec.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/types/roFunctionType.spec.js

@@ -0,0 +1,20 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const chai_config_spec_1 = require("../chai-config.spec");
+const DynamicType_1 = require("./DynamicType");
+const FunctionType_1 = require("./FunctionType");
+const IntegerType_1 = require("./IntegerType");
+const ObjectType_1 = require("./ObjectType");
+const roFunctionType_1 = require("./roFunctionType");
+const TypedFunctionType_1 = require("./TypedFunctionType");
+describe('roFunctionType', () => {
+    it('is equivalent to other function types', () => {
+        const roFunc = new roFunctionType_1.roFunctionType();
+        (0, chai_config_spec_1.expect)(roFunc.isTypeCompatible(new ObjectType_1.ObjectType())).to.be.true;
+        (0, chai_config_spec_1.expect)(roFunc.isTypeCompatible(new DynamicType_1.DynamicType())).to.be.true;
+        (0, chai_config_spec_1.expect)(roFunc.isTypeCompatible(new FunctionType_1.FunctionType())).to.be.true;
+        (0, chai_config_spec_1.expect)(roFunc.isTypeCompatible(new roFunctionType_1.roFunctionType())).to.be.true;
+        (0, chai_config_spec_1.expect)(roFunc.isTypeCompatible(new TypedFunctionType_1.TypedFunctionType(IntegerType_1.IntegerType.instance))).to.be.true;
+    });
+});
+//# sourceMappingURL=roFunctionType.spec.js.map

package/dist/types/roFunctionType.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"roFunctionType.spec.js","sourceRoot":"","sources":["../../src/types/roFunctionType.spec.ts"],"names":[],"mappings":";;AAAA,0DAA6C;AAE7C,+CAA4C;AAC5C,iDAA8C;AAC9C,+CAA4C;AAC5C,6CAA0C;AAC1C,qDAAkD;AAClD,2DAAwD;AAExD,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC5B,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC7C,MAAM,MAAM,GAAG,IAAI,+BAAc,EAAE,CAAC;QAEpC,IAAA,yBAAM,EAAC,MAAM,CAAC,gBAAgB,CAAC,IAAI,uBAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC7D,IAAA,yBAAM,EAAC,MAAM,CAAC,gBAAgB,CAAC,IAAI,yBAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC9D,IAAA,yBAAM,EAAC,MAAM,CAAC,gBAAgB,CAAC,IAAI,2BAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/D,IAAA,yBAAM,EAAC,MAAM,CAAC,gBAAgB,CAAC,IAAI,+BAAc,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACjE,IAAA,yBAAM,EAAC,MAAM,CAAC,gBAAgB,CAAC,IAAI,qCAAiB,CAAC,yBAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IAC5F,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}