brighterscript 1.0.0-alpha.24 → 1.0.0-alpha.26

package/dist/types/ReferenceType.js

@@ -0,0 +1,423 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.BinaryOperatorReferenceType = exports.TypePropertyReferenceType = exports.ReferenceType = exports.referenceTypeFactory = void 0;
+const reflection_1 = require("../astUtils/reflection");
+const BscType_1 = require("./BscType");
+const DynamicType_1 = require("./DynamicType");
+const BscTypeKind_1 = require("./BscTypeKind");
+function referenceTypeFactory(memberKey, fullName, flags, tableProvider) {
+    return new ReferenceType(memberKey, fullName, flags, tableProvider);
+}
+exports.referenceTypeFactory = referenceTypeFactory;
+class ReferenceType extends BscType_1.BscType {
+    /**
+     * ReferenceTypes are used when the actual type may be resolved later from a Symbol table
+     * @param memberKey which key do we use to look up this type in the given table?
+     * @param fullName the full/display name for this type
+     * @param flags is this type available at typetime, runtime, etc.
+     * @param tableProvider function that returns a SymbolTable that we use for the lookup.
+     */
+    constructor(memberKey, fullName, flags, tableProvider) {
+        super(memberKey);
+        this.memberKey = memberKey;
+        this.fullName = fullName;
+        this.flags = flags;
+        this.tableProvider = tableProvider;
+        this.kind = BscTypeKind_1.BscTypeKind.ReferenceType;
+        this.circRefCount = 0;
+        this.referenceChain = new Set();
+        this.propertyTypeReference = new Map();
+        this.memberTypeReferences = new Map();
+        this.callFuncMemberTypeReferences = new Map();
+        this.futureMemberTableProvider = () => {
+            return {
+                name: `FutureMemberTableProvider: '${this.__identifier}'`,
+                getSymbolType: (innerName, innerOptions) => {
+                    const resolvedType = this.resolve();
+                    if (resolvedType) {
+                        return resolvedType.getMemberType(innerName, innerOptions);
+                    }
+                },
+                setCachedType: (innerName, innerResolvedTypeCacheEntry, options) => {
+                    const resolvedType = this.resolve();
+                    if (resolvedType) {
+                        resolvedType.memberTable.setCachedType(innerName, innerResolvedTypeCacheEntry, options);
+                    }
+                }
+            };
+        };
+        this.futureCallFuncMemberTableProvider = () => {
+            return {
+                name: `FutureCallFuncMemberTableProvider: '${this.__identifier}'`,
+                getSymbolType: (innerName, innerOptions) => {
+                    const resolvedType = this.resolve();
+                    if ((0, reflection_1.isComponentType)(resolvedType)) {
+                        return resolvedType.getCallFuncType(innerName, innerOptions);
+                    }
+                },
+                setCachedType: (innerName, innerResolvedTypeCacheEntry, options) => {
+                    const resolvedType = this.resolve();
+                    if ((0, reflection_1.isComponentType)(resolvedType)) {
+                        resolvedType.getCallFuncTable().setCachedType(innerName, innerResolvedTypeCacheEntry, options);
+                    }
+                }
+            };
+        };
+        // eslint-disable-next-line no-constructor-return
+        return new Proxy(this, {
+            get: (target, propName, receiver) => {
+                if (propName === '__reflection') {
+                    // Cheeky way to get `isReferenceType` reflection to work
+                    return this.__reflection;
+                }
+                if (propName === '__identifier') {
+                    // Cheeky way to get `isReferenceType` reflection to work
+                    return this.__identifier;
+                }
+                if (propName === 'fullName') {
+                    return this.fullName;
+                }
+                if (propName === 'isResolvable') {
+                    return () => {
+                        var _a, _b;
+                        let resultSoFar = this.resolve();
+                        while (resultSoFar && (0, reflection_1.isReferenceType)(resultSoFar)) {
+                            resultSoFar = (_b = (_a = resultSoFar).getTarget) === null || _b === void 0 ? void 0 : _b.call(_a);
+                        }
+                        return !!resultSoFar;
+                    };
+                }
+                if (propName === 'getTarget') {
+                    return () => {
+                        return this.resolve();
+                    };
+                }
+                if (propName === 'tableProvider') {
+                    return this.tableProvider;
+                }
+                if (propName === 'isEqual') {
+                    //Need to be able to check equality without resolution, because resolution need to check equality
+                    //To see if you need to make a UnionType
+                    return (targetType, data) => {
+                        if (!targetType) {
+                            return false;
+                        }
+                        const resolvedType = this.resolve();
+                        let equal = false;
+                        if (resolvedType && !(0, reflection_1.isReferenceType)(resolvedType)) {
+                            equal = resolvedType.isEqual(targetType, data);
+                        }
+                        else if ((0, reflection_1.isReferenceType)(targetType)) {
+                            equal = this.fullName.toLowerCase() === targetType.fullName.toLowerCase() &&
+                                (this.tableProvider === targetType.tableProvider ||
+                                    this.tableProvider().name === targetType.tableProvider().name);
+                        }
+                        else {
+                            equal = targetType.isEqual(this, data);
+                        }
+                        return equal;
+                    };
+                }
+                if (propName === 'isTypeCompatible') {
+                    //Need to be able to check equality without resolution, because resolution need to check equality
+                    //To see if you need to make a UnionType
+                    return (targetType, data) => {
+                        if (!targetType) {
+                            return false;
+                        }
+                        if ((0, reflection_1.isDynamicType)(targetType)) {
+                            return true;
+                        }
+                        const resolvedType = this.resolve();
+                        if (resolvedType && !(0, reflection_1.isReferenceType)(resolvedType)) {
+                            return resolvedType.isTypeCompatible(targetType, data);
+                        }
+                        else if ((0, reflection_1.isReferenceType)(targetType)) {
+                            return this.fullName.toLowerCase() === targetType.fullName.toLowerCase() &&
+                                this.tableProvider === targetType.tableProvider;
+                        }
+                        return targetType.isTypeCompatible(this, data);
+                    };
+                }
+                //There may be some need to specifically get members on ReferenceType in the future
+                // eg: if (Reflect.has(target, name)) {
+                //   return Reflect.get(target, propName, receiver);
+                let innerType = this.resolve();
+                if (!innerType) {
+                    // No real BscType found - we may need to handle some specific cases
+                    if (propName === 'getMemberType') {
+                        // We're looking for a member of a reference type
+                        // Since we don't know what type this is, yet, return ReferenceType
+                        return (memberName, options) => {
+                            const resolvedType = this.resolve();
+                            if (resolvedType) {
+                                return resolvedType.getMemberType(memberName, options);
+                            }
+                            const refLookUp = `${memberName.toLowerCase()}-${options.flags}`;
+                            let memberTypeReference = this.memberTypeReferences.get(refLookUp);
+                            if (memberTypeReference) {
+                                return memberTypeReference;
+                            }
+                            memberTypeReference = new ReferenceType(memberName, this.makeMemberFullName(memberName), options.flags, this.futureMemberTableProvider);
+                            this.memberTypeReferences.set(refLookUp, memberTypeReference);
+                            return memberTypeReference;
+                        };
+                    }
+                    else if (propName === 'getCallFuncType') {
+                        // We're looking for a callfunc member of a reference type
+                        // Since we don't know what type this is, yet, return ReferenceType
+                        return (memberName, options) => {
+                            const resolvedType = this.resolve();
+                            if ((0, reflection_1.isComponentType)(resolvedType)) {
+                                return resolvedType.getCallFuncType(memberName, options);
+                            }
+                            const refLookUp = `${memberName.toLowerCase()}-${options.flags}-callfunc`;
+                            let callFuncMemberTypeReference = this.callFuncMemberTypeReferences.get(refLookUp);
+                            if (callFuncMemberTypeReference) {
+                                return callFuncMemberTypeReference;
+                            }
+                            callFuncMemberTypeReference = new ReferenceType(memberName, this.makeMemberFullName(memberName), options.flags, this.futureCallFuncMemberTableProvider);
+                            this.callFuncMemberTypeReferences.set(refLookUp, callFuncMemberTypeReference);
+                            return callFuncMemberTypeReference;
+                        };
+                    }
+                    else if (propName === 'toString') {
+                        // This type was never found
+                        // For diagnostics, we should return the expected name of of the type
+                        return () => this.fullName;
+                    }
+                    else if (propName === 'toTypeString') {
+                        // For transpilation, we should 'dynamic'
+                        return () => 'dynamic';
+                    }
+                    else if (propName === 'returnType') {
+                        let propRefType = this.propertyTypeReference.get(propName);
+                        if (!propRefType) {
+                            propRefType = new TypePropertyReferenceType(this, propName);
+                            this.propertyTypeReference.set(propName, propRefType);
+                        }
+                        return propRefType;
+                    }
+                    else if (propName === 'memberTable') {
+                        return this.memberTable;
+                    }
+                    else if (propName === 'getMemberTable') {
+                        return () => {
+                            return this.memberTable;
+                        };
+                    }
+                    else if (propName === 'callFuncTable') {
+                        return this.callFuncMemberTable;
+                    }
+                    else if (propName === 'getCallFuncTable') {
+                        return () => {
+                            return this.callFuncMemberTable;
+                        };
+                    }
+                    else if (propName === 'isTypeCompatible') {
+                        return (targetType) => {
+                            return (0, reflection_1.isDynamicType)(targetType);
+                        };
+                    }
+                    else if (propName === 'isEqual') {
+                        return (targetType) => {
+                            if ((0, reflection_1.isReferenceType)(targetType)) {
+                                return this.fullName.toLowerCase() === targetType.toString().toLowerCase() &&
+                                    this.tableProvider() === targetType.tableProvider();
+                            }
+                            return false;
+                        };
+                    }
+                    else if (propName === 'addBuiltInInterfaces') {
+                        // this is an unknown type. There is no use in adding built in interfaces
+                        // return no-op function
+                        return () => { };
+                    }
+                    else if (propName === 'hasAddedBuiltInInterfaces') {
+                        // this is an unknown type. There is no use in adding built in interfaces
+                        return true;
+                    }
+                }
+                if (!innerType) {
+                    innerType = DynamicType_1.DynamicType.instance;
+                }
+                const result = Reflect.get(innerType, propName, innerType);
+                return result;
+            },
+            set: (target, name, value, receiver) => {
+                //There may be some need to specifically set members on ReferenceType in the future
+                // eg: if (Reflect.has(target, name)) {
+                //   return Reflect.set(target, name, value, receiver);
+                let innerType = this.resolve();
+                // Look for circular references
+                if (!innerType || this.referenceChain.has(innerType)) {
+                    return false;
+                }
+                const result = Reflect.set(innerType, name, value, innerType);
+                this.referenceChain.clear();
+                return result;
+            }
+        });
+    }
+    /**
+     * Resolves the type based on the original name and the table provider
+     */
+    resolve() {
+        var _a, _b;
+        const symbolTable = this.tableProvider();
+        if (!symbolTable) {
+            return;
+        }
+        // Look for circular references
+        let resolvedType = symbolTable.getSymbolType(this.memberKey, { flags: this.flags, onlyCacheResolvedTypes: true });
+        if (!resolvedType) {
+            // could not find this member
+            return;
+        }
+        if ((0, reflection_1.isAnyReferenceType)(resolvedType)) {
+            // If this is a referenceType, keep digging down until we have a non reference Type.
+            while (resolvedType && (0, reflection_1.isAnyReferenceType)(resolvedType)) {
+                if (this.referenceChain.has(resolvedType)) {
+                    // this is a circular reference
+                    this.circRefCount++;
+                }
+                if (this.circRefCount > 1) {
+                    //It is possible that we could properly resolve the case that one reference points to itself
+                    //see test: '[Scope][symbolTable lookups with enhanced typing][finds correct class field type with default value enums are used]
+                    return;
+                }
+                this.referenceChain.add(resolvedType);
+                resolvedType = (_b = (_a = resolvedType).getTarget) === null || _b === void 0 ? void 0 : _b.call(_a);
+            }
+            this.tableProvider().setCachedType(this.memberKey, { type: resolvedType }, { flags: this.flags });
+        }
+        if (resolvedType && !(0, reflection_1.isAnyReferenceType)(resolvedType)) {
+            this.circRefCount = 0;
+            this.referenceChain.clear();
+        }
+        return resolvedType;
+    }
+    get __reflection() {
+        return { name: 'ReferenceType' };
+    }
+    makeMemberFullName(memberName) {
+        return this.fullName + '.' + memberName;
+    }
+}
+exports.ReferenceType = ReferenceType;
+/**
+ * Use this class for when you need to reference a property of a BscType, and that property is also a BscType,
+ * Especially when the instance with the property may not have been instantiated/discovered yet
+ *
+ * For Example, FunctionType.returnType --- if the FunctionExpression has not been walked yet, it will be a ReferenceType
+ * if we just access .returnType on a ReferenceType that doesn't have access to an actual FunctionType yet, .returnType will be undefined
+ * So when we use this class, it maintains that reference to a potential ReferenceType, and this class will change from
+ * returning undefined to the ACTUAL .returnType when the ReferenceType can be resolved.
+ *
+ * This is really cool. It's like programming with time-travel.
+ */
+class TypePropertyReferenceType extends BscType_1.BscType {
+    constructor(outerType, propertyName) {
+        super(propertyName);
+        this.outerType = outerType;
+        this.propertyName = propertyName;
+        // eslint-disable-next-line no-constructor-return
+        return new Proxy(this, {
+            get: (target, propName, receiver) => {
+                var _a;
+                if (propName === '__reflection') {
+                    // Cheeky way to get `isTypePropertyReferenceType` reflection to work
+                    return { name: 'TypePropertyReferenceType' };
+                }
+                if ((0, reflection_1.isAnyReferenceType)(this.outerType) && !this.outerType.isResolvable()) {
+                    if (propName === 'getMemberType') {
+                        //If we're calling `getMemberType()`, we need it to proxy to using the actual symbol table
+                        //So if that symbol is ever populated, the correct type is passed through
+                        return (memberName, options) => {
+                            const fullMemberName = this.outerType.toString() + '.' + memberName;
+                            return new ReferenceType(memberName, fullMemberName, options.flags, () => {
+                                return {
+                                    name: `TypePropertyReferenceType : '${fullMemberName}'`,
+                                    getSymbolType: (innerName, innerOptions) => {
+                                        var _a, _b;
+                                        return (_b = (_a = this.outerType) === null || _a === void 0 ? void 0 : _a[this.propertyName]) === null || _b === void 0 ? void 0 : _b.getMemberType(innerName, innerOptions);
+                                    },
+                                    setCachedType: (innerName, innerTypeCacheEntry, innerOptions) => {
+                                        var _a, _b;
+                                        return (_b = (_a = this.outerType) === null || _a === void 0 ? void 0 : _a[this.propertyName]) === null || _b === void 0 ? void 0 : _b.memberTable.setCachedType(innerName, innerTypeCacheEntry, innerOptions);
+                                    }
+                                };
+                            });
+                        };
+                    }
+                    if (propName === 'isResolvable') {
+                        return () => false;
+                    }
+                }
+                let inner = (_a = this.outerType) === null || _a === void 0 ? void 0 : _a[this.propertyName];
+                if (!inner) {
+                    inner = DynamicType_1.DynamicType.instance;
+                }
+                if (inner) {
+                    const result = Reflect.get(inner, propName, inner);
+                    return result;
+                }
+            },
+            set: (target, name, value, receiver) => {
+                //There may be some need to specifically set members on ReferenceType in the future
+                // eg: if (Reflect.has(target, name)) {
+                //   return Reflect.set(target, name, value, receiver);
+                let inner = this.outerType[this.propertyName];
+                if (inner) {
+                    const result = Reflect.set(inner, name, value, inner);
+                    return result;
+                }
+            }
+        });
+    }
+}
+exports.TypePropertyReferenceType = TypePropertyReferenceType;
+/**
+ * Use this class for when there is a binary operator and either the left hand side and/or the right hand side
+ * are ReferenceTypes
+ */
+class BinaryOperatorReferenceType extends BscType_1.BscType {
+    constructor(leftType, operator, rightType, binaryOpResolver) {
+        super(operator.text);
+        this.leftType = leftType;
+        this.operator = operator;
+        this.rightType = rightType;
+        // eslint-disable-next-line no-constructor-return
+        return new Proxy(this, {
+            get: (target, propName, receiver) => {
+                var _a;
+                if (propName === '__reflection') {
+                    // Cheeky way to get `BinaryOperatorReferenceType` reflection to work
+                    return { name: 'BinaryOperatorReferenceType' };
+                }
+                let resultType = (_a = this.cachedType) !== null && _a !== void 0 ? _a : DynamicType_1.DynamicType.instance;
+                if (!this.cachedType) {
+                    if (((0, reflection_1.isAnyReferenceType)(this.leftType) && !this.leftType.isResolvable()) ||
+                        ((0, reflection_1.isAnyReferenceType)(this.rightType) && !this.rightType.isResolvable())) {
+                        if (propName === 'isResolvable') {
+                            return () => false;
+                        }
+                        if (propName === 'getTarget') {
+                            return () => undefined;
+                        }
+                    }
+                    else {
+                        resultType = binaryOpResolver(this.leftType, this.operator, this.rightType);
+                        this.cachedType = resultType;
+                    }
+                }
+                if (resultType) {
+                    const result = Reflect.get(resultType, propName, resultType);
+                    return result;
+                }
+            }
+        });
+    }
+}
+exports.BinaryOperatorReferenceType = BinaryOperatorReferenceType;
+//# sourceMappingURL=ReferenceType.js.map

package/dist/types/ReferenceType.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ReferenceType.js","sourceRoot":"","sources":["../../src/types/ReferenceType.ts"],"names":[],"mappings":";;;AAGA,uDAA6G;AAC7G,uCAAoC;AACpC,+CAA4C;AAC5C,+CAA4C;AAG5C,SAAgB,oBAAoB,CAAC,SAAiB,EAAE,QAAQ,EAAE,KAAqB,EAAE,aAAuC;IAC5H,OAAO,IAAI,aAAa,CAAC,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC;AACxE,CAAC;AAFD,oDAEC;AAED,MAAa,aAAc,SAAQ,iBAAO;IAEtC;;;;;;OAMG;IACH,YAAmB,SAAiB,EAAS,QAAQ,EAAS,KAAqB,EAAU,aAAuC;QAChI,KAAK,CAAC,SAAS,CAAC,CAAC;QADF,cAAS,GAAT,SAAS,CAAQ;QAAS,aAAQ,GAAR,QAAQ,CAAA;QAAS,UAAK,GAAL,KAAK,CAAgB;QAAU,kBAAa,GAAb,aAAa,CAA0B;QAiMpH,SAAI,GAAG,yBAAW,CAAC,aAAa,CAAC;QAgDzC,iBAAY,GAAG,CAAC,CAAC;QAEjB,mBAAc,GAAG,IAAI,GAAG,EAAW,CAAC;QAEpC,0BAAqB,GAAG,IAAI,GAAG,EAAqC,CAAC;QAErE,yBAAoB,GAAG,IAAI,GAAG,EAAyB,CAAC;QACxD,iCAA4B,GAAG,IAAI,GAAG,EAAyB,CAAC;QAEhE,8BAAyB,GAAG,GAAG,EAAE;YACrC,OAAO;gBACH,IAAI,EAAE,+BAA+B,IAAI,CAAC,YAAY,GAAG;gBACzD,aAAa,EAAE,CAAC,SAAiB,EAAE,YAA4B,EAAE,EAAE;oBAC/D,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;oBACpC,IAAI,YAAY,EAAE;wBACd,OAAO,YAAY,CAAC,aAAa,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;qBAC9D;gBACL,CAAC;gBACD,aAAa,EAAE,CAAC,SAAiB,EAAE,2BAA2C,EAAE,OAA6B,EAAE,EAAE;oBAC7G,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;oBACpC,IAAI,YAAY,EAAE;wBACd,YAAY,CAAC,WAAW,CAAC,aAAa,CAAC,SAAS,EAAE,2BAA2B,EAAE,OAAO,CAAC,CAAC;qBAC3F;gBACL,CAAC;aACJ,CAAC;QACN,CAAC,CAAC;QAEM,sCAAiC,GAAG,GAAG,EAAE;YAC7C,OAAO;gBACH,IAAI,EAAE,uCAAuC,IAAI,CAAC,YAAY,GAAG;gBACjE,aAAa,EAAE,CAAC,SAAiB,EAAE,YAA4B,EAAE,EAAE;oBAC/D,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;oBACpC,IAAI,IAAA,4BAAe,EAAC,YAAY,CAAC,EAAE;wBAC/B,OAAO,YAAY,CAAC,eAAe,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;qBAChE;gBACL,CAAC;gBACD,aAAa,EAAE,CAAC,SAAiB,EAAE,2BAA2C,EAAE,OAA6B,EAAE,EAAE;oBAC7G,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;oBACpC,IAAI,IAAA,4BAAe,EAAC,YAAY,CAAC,EAAE;wBAC/B,YAAY,CAAC,gBAAgB,EAAE,CAAC,aAAa,CAAC,SAAS,EAAE,2BAA2B,EAAE,OAAO,CAAC,CAAC;qBAClG;gBACL,CAAC;aACJ,CAAC;QACN,CAAC,CAAC;QA1RE,iDAAiD;QACjD,OAAO,IAAI,KAAK,CAAC,IAAI,EAAE;YACnB,GAAG,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE;gBAEhC,IAAI,QAAQ,KAAK,cAAc,EAAE;oBAC7B,yDAAyD;oBACzD,OAAO,IAAI,CAAC,YAAY,CAAC;iBAC5B;gBACD,IAAI,QAAQ,KAAK,cAAc,EAAE;oBAC7B,yDAAyD;oBACzD,OAAO,IAAI,CAAC,YAAY,CAAC;iBAC5B;gBACD,IAAI,QAAQ,KAAK,UAAU,EAAE;oBACzB,OAAO,IAAI,CAAC,QAAQ,CAAC;iBACxB;gBACD,IAAI,QAAQ,KAAK,cAAc,EAAE;oBAC7B,OAAO,GAAG,EAAE;;wBACR,IAAI,WAAW,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;wBACjC,OAAO,WAAW,IAAI,IAAA,4BAAe,EAAC,WAAW,CAAC,EAAE;4BAChD,WAAW,GAAG,MAAA,MAAC,WAAmB,EAAC,SAAS,kDAAI,CAAC;yBACpD;wBACD,OAAO,CAAC,CAAC,WAAW,CAAC;oBACzB,CAAC,CAAC;iBACL;gBACD,IAAI,QAAQ,KAAK,WAAW,EAAE;oBAC1B,OAAO,GAAG,EAAE;wBACR,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC;oBAC1B,CAAC,CAAC;iBACL;gBACD,IAAI,QAAQ,KAAK,eAAe,EAAE;oBAC9B,OAAO,IAAI,CAAC,aAAa,CAAC;iBAC7B;gBACD,IAAI,QAAQ,KAAK,SAAS,EAAE;oBACxB,iGAAiG;oBACjG,wCAAwC;oBACxC,OAAO,CAAC,UAAmB,EAAE,IAA4B,EAAE,EAAE;wBACzD,IAAI,CAAC,UAAU,EAAE;4BACb,OAAO,KAAK,CAAC;yBAChB;wBACD,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;wBACpC,IAAI,KAAK,GAAG,KAAK,CAAC;wBAClB,IAAI,YAAY,IAAI,CAAC,IAAA,4BAAe,EAAC,YAAY,CAAC,EAAE;4BAChD,KAAK,GAAG,YAAY,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;yBAClD;6BAAM,IAAI,IAAA,4BAAe,EAAC,UAAU,CAAC,EAAE;4BACpC,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,UAAU,CAAC,QAAQ,CAAC,WAAW,EAAE;gCACrE,CAAC,IAAI,CAAC,aAAa,KAAK,UAAU,CAAC,aAAa;oCAC5C,IAAI,CAAC,aAAa,EAAE,CAAC,IAAI,KAAK,UAAU,CAAC,aAAa,EAAE,CAAC,IAAI,CAAC,CAAC;yBAC1E;6BAAM;4BACH,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;yBAC1C;wBACD,OAAO,KAAK,CAAC;oBACjB,CAAC,CAAC;iBACL;gBACD,IAAI,QAAQ,KAAK,kBAAkB,EAAE;oBACjC,iGAAiG;oBACjG,wCAAwC;oBACxC,OAAO,CAAC,UAAmB,EAAE,IAA4B,EAAE,EAAE;wBACzD,IAAI,CAAC,UAAU,EAAE;4BACb,OAAO,KAAK,CAAC;yBAChB;wBACD,IAAI,IAAA,0BAAa,EAAC,UAAU,CAAC,EAAE;4BAC3B,OAAO,IAAI,CAAC;yBACf;wBACD,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;wBACpC,IAAI,YAAY,IAAI,CAAC,IAAA,4BAAe,EAAC,YAAY,CAAC,EAAE;4BAChD,OAAO,YAAY,CAAC,gBAAgB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;yBAC1D;6BAAM,IAAI,IAAA,4BAAe,EAAC,UAAU,CAAC,EAAE;4BACpC,OAAO,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,UAAU,CAAC,QAAQ,CAAC,WAAW,EAAE;gCACpE,IAAI,CAAC,aAAa,KAAK,UAAU,CAAC,aAAa,CAAC;yBACvD;wBACD,OAAO,UAAU,CAAC,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;oBACnD,CAAC,CAAC;iBACL;gBAED,mFAAmF;gBACnF,uCAAuC;gBACvC,oDAAoD;gBAEpD,IAAI,SAAS,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;gBAE/B,IAAI,CAAC,SAAS,EAAE;oBACZ,oEAAoE;oBAEpE,IAAI,QAAQ,KAAK,eAAe,EAAE;wBAC9B,iDAAiD;wBACjD,mEAAmE;wBACnE,OAAO,CAAC,UAAkB,EAAE,OAAuB,EAAE,EAAE;4BACnD,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;4BACpC,IAAI,YAAY,EAAE;gCACd,OAAO,YAAY,CAAC,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;6BAC1D;4BACD,MAAM,SAAS,GAAG,GAAG,UAAU,CAAC,WAAW,EAAE,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;4BACjE,IAAI,mBAAmB,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;4BACnE,IAAI,mBAAmB,EAAE;gCACrB,OAAO,mBAAmB,CAAC;6BAE9B;4BACD,mBAAmB,GAAG,IAAI,aAAa,CAAC,UAAU,EAAE,IAAI,CAAC,kBAAkB,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,yBAAyB,CAAC,CAAC;4BACxI,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC;4BAC9D,OAAO,mBAAmB,CAAC;wBAC/B,CAAC,CAAC;qBACL;yBAAM,IAAI,QAAQ,KAAK,iBAAiB,EAAE;wBACvC,0DAA0D;wBAC1D,mEAAmE;wBACnE,OAAO,CAAC,UAAkB,EAAE,OAAuB,EAAE,EAAE;4BACnD,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;4BACpC,IAAI,IAAA,4BAAe,EAAC,YAAY,CAAC,EAAE;gCAC/B,OAAO,YAAY,CAAC,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;6BAC5D;4BACD,MAAM,SAAS,GAAG,GAAG,UAAU,CAAC,WAAW,EAAE,IAAI,OAAO,CAAC,KAAK,WAAW,CAAC;4BAC1E,IAAI,2BAA2B,GAAG,IAAI,CAAC,4BAA4B,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;4BACnF,IAAI,2BAA2B,EAAE;gCAC7B,OAAO,2BAA2B,CAAC;6BAEtC;4BACD,2BAA2B,GAAG,IAAI,aAAa,CAAC,UAAU,EAAE,IAAI,CAAC,kBAAkB,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,iCAAiC,CAAC,CAAC;4BACxJ,IAAI,CAAC,4BAA4B,CAAC,GAAG,CAAC,SAAS,EAAE,2BAA2B,CAAC,CAAC;4BAC9E,OAAO,2BAA2B,CAAC;wBACvC,CAAC,CAAC;qBACL;yBAAM,IAAI,QAAQ,KAAK,UAAU,EAAE;wBAChC,4BAA4B;wBAC5B,qEAAqE;wBACrE,OAAO,GAAG,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC;qBAC9B;yBAAM,IAAI,QAAQ,KAAK,cAAc,EAAE;wBACpC,yCAAyC;wBACzC,OAAO,GAAG,EAAE,CAAC,SAAS,CAAC;qBAC1B;yBAAM,IAAI,QAAQ,KAAK,YAAY,EAAE;wBAClC,IAAI,WAAW,GAAG,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;wBAC3D,IAAI,CAAC,WAAW,EAAE;4BACd,WAAW,GAAG,IAAI,yBAAyB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;4BAC5D,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;yBACzD;wBACD,OAAO,WAAW,CAAC;qBACtB;yBAAM,IAAI,QAAQ,KAAK,aAAa,EAAE;wBACnC,OAAO,IAAI,CAAC,WAAW,CAAC;qBAC3B;yBAAM,IAAI,QAAQ,KAAK,gBAAgB,EAAE;wBACtC,OAAO,GAAG,EAAE;4BACR,OAAO,IAAI,CAAC,WAAW,CAAC;wBAC5B,CAAC,CAAC;qBACL;yBAAM,IAAI,QAAQ,KAAK,eAAe,EAAE;wBACrC,OAAQ,IAAY,CAAC,mBAAmB,CAAC;qBAC5C;yBAAM,IAAI,QAAQ,KAAK,kBAAkB,EAAE;wBACxC,OAAO,GAAG,EAAE;4BACR,OAAQ,IAAY,CAAC,mBAAmB,CAAC;wBAC7C,CAAC,CAAC;qBACL;yBAAM,IAAI,QAAQ,KAAK,kBAAkB,EAAE;wBACxC,OAAO,CAAC,UAAmB,EAAE,EAAE;4BAC3B,OAAO,IAAA,0BAAa,EAAC,UAAU,CAAC,CAAC;wBACrC,CAAC,CAAC;qBACL;yBAAM,IAAI,QAAQ,KAAK,SAAS,EAAE;wBAC/B,OAAO,CAAC,UAAmB,EAAE,EAAE;4BAC3B,IAAI,IAAA,4BAAe,EAAC,UAAU,CAAC,EAAE;gCAC7B,OAAO,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,UAAU,CAAC,QAAQ,EAAE,CAAC,WAAW,EAAE;oCACtE,IAAI,CAAC,aAAa,EAAE,KAAK,UAAU,CAAC,aAAa,EAAE,CAAC;6BAC3D;4BACD,OAAO,KAAK,CAAC;wBACjB,CAAC,CAAC;qBACL;yBAAM,IAAI,QAAQ,KAAK,sBAAsB,EAAE;wBAC5C,yEAAyE;wBACzE,wBAAwB;wBACxB,OAAO,GAAG,EAAE,GAAG,CAAC,CAAC;qBACpB;yBAAM,IAAI,QAAQ,KAAK,2BAA2B,EAAE;wBACjD,yEAAyE;wBACzE,OAAO,IAAI,CAAC;qBACf;iBACJ;gBAED,IAAI,CAAC,SAAS,EAAE;oBACZ,SAAS,GAAG,yBAAW,CAAC,QAAQ,CAAC;iBACpC;gBACD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;gBAC3D,OAAO,MAAM,CAAC;YAClB,CAAC;YACD,GAAG,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE;gBACnC,mFAAmF;gBACnF,uCAAuC;gBACvC,uDAAuD;gBAEvD,IAAI,SAAS,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;gBAE/B,+BAA+B;gBAC/B,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE;oBAClD,OAAO,KAAK,CAAC;iBAChB;gBACD,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;gBAC9D,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC;gBAC5B,OAAO,MAAM,CAAC;YAClB,CAAC;SACJ,CAAC,CAAC;IACP,CAAC;IAID;;OAEG;IACK,OAAO;;QACX,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACzC,IAAI,CAAC,WAAW,EAAE;YACd,OAAO;SACV;QACD,+BAA+B;QAC/B,IAAI,YAAY,GAAG,WAAW,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,sBAAsB,EAAE,IAAI,EAAE,CAAC,CAAC;QAClH,IAAI,CAAC,YAAY,EAAE;YACf,6BAA6B;YAC7B,OAAO;SACV;QACD,IAAI,IAAA,+BAAkB,EAAC,YAAY,CAAC,EAAE;YAClC,oFAAoF;YACpF,OAAO,YAAY,IAAI,IAAA,+BAAkB,EAAC,YAAY,CAAC,EAAE;gBACrD,IAAI,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE;oBACvC,+BAA+B;oBAC/B,IAAI,CAAC,YAAY,EAAE,CAAC;iBACvB;gBACD,IAAI,IAAI,CAAC,YAAY,GAAG,CAAC,EAAE;oBACvB,4FAA4F;oBAC5F,gIAAgI;oBAChI,OAAO;iBACV;gBACD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;gBACtC,YAAY,GAAG,MAAA,MAAC,YAAoB,EAAC,SAAS,kDAAI,CAAC;aACtD;YACD,IAAI,CAAC,aAAa,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;SACrG;QAED,IAAI,YAAY,IAAI,CAAC,IAAA,+BAAkB,EAAC,YAAY,CAAC,EAAE;YACnD,IAAI,CAAC,YAAY,GAAG,CAAC,CAAC;YACtB,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC;SAC/B;QACD,OAAO,YAAY,CAAC;IACxB,CAAC;IAED,IAAI,YAAY;QACZ,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC;IACrC,CAAC;IAED,kBAAkB,CAAC,UAAkB;QACjC,OAAO,IAAI,CAAC,QAAQ,GAAG,GAAG,GAAG,UAAU,CAAC;IAC5C,CAAC;CA6CJ;AAtSD,sCAsSC;AAED;;;;;;;;;;GAUG;AACH,MAAa,yBAA0B,SAAQ,iBAAO;IAClD,YAAmB,SAAkB,EAAS,YAAoB;QAC9D,KAAK,CAAC,YAAY,CAAC,CAAC;QADL,cAAS,GAAT,SAAS,CAAS;QAAS,iBAAY,GAAZ,YAAY,CAAQ;QAE9D,iDAAiD;QACjD,OAAO,IAAI,KAAK,CAAC,IAAI,EAAE;YACnB,GAAG,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE;;gBAEhC,IAAI,QAAQ,KAAK,cAAc,EAAE;oBAC7B,qEAAqE;oBACrE,OAAO,EAAE,IAAI,EAAE,2BAA2B,EAAE,CAAC;iBAChD;gBAED,IAAI,IAAA,+BAAkB,EAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,YAAY,EAAE,EAAE;oBACtE,IAAI,QAAQ,KAAK,eAAe,EAAE;wBAC9B,0FAA0F;wBAC1F,yEAAyE;wBACzE,OAAO,CAAC,UAAkB,EAAE,OAA6B,EAAE,EAAE;4BACzD,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,GAAG,GAAG,GAAG,UAAU,CAAC;4BACpE,OAAO,IAAI,aAAa,CAAC,UAAU,EAAE,cAAc,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE;gCACrE,OAAO;oCACH,IAAI,EAAE,gCAAgC,cAAc,GAAG;oCACvD,aAAa,EAAE,CAAC,SAAiB,EAAE,YAA4B,EAAE,EAAE;;wCAC/D,OAAO,MAAA,MAAA,IAAI,CAAC,SAAS,0CAAG,IAAI,CAAC,YAAY,CAAC,0CAAE,aAAa,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;oCACvF,CAAC;oCACD,aAAa,EAAE,CAAC,SAAiB,EAAE,mBAAmC,EAAE,YAA4B,EAAE,EAAE;;wCACpG,OAAO,MAAA,MAAA,IAAI,CAAC,SAAS,0CAAG,IAAI,CAAC,YAAY,CAAC,0CAAE,WAAW,CAAC,aAAa,CAAC,SAAS,EAAE,mBAAmB,EAAE,YAAY,CAAC,CAAC;oCACxH,CAAC;iCACJ,CAAC;4BACN,CAAC,CAAC,CAAC;wBACP,CAAC,CAAC;qBACL;oBACD,IAAI,QAAQ,KAAK,cAAc,EAAE;wBAC7B,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC;qBACtB;iBACJ;gBACD,IAAI,KAAK,GAAG,MAAA,IAAI,CAAC,SAAS,0CAAG,IAAI,CAAC,YAAY,CAAC,CAAC;gBAEhD,IAAI,CAAC,KAAK,EAAE;oBACR,KAAK,GAAG,yBAAW,CAAC,QAAQ,CAAC;iBAChC;gBAED,IAAI,KAAK,EAAE;oBACP,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;oBACnD,OAAO,MAAM,CAAC;iBACjB;YACL,CAAC;YACD,GAAG,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE;gBACnC,mFAAmF;gBACnF,uCAAuC;gBACvC,uDAAuD;gBAEvD,IAAI,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBAE9C,IAAI,KAAK,EAAE;oBACP,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;oBACtD,OAAO,MAAM,CAAC;iBACjB;YACL,CAAC;SACJ,CAAC,CAAC;IACP,CAAC;CACJ;AA5DD,8DA4DC;AAGD;;;GAGG;AACH,MAAa,2BAA4B,SAAQ,iBAAO;IAGpD,YAAmB,QAAiB,EAAS,QAAe,EAAS,SAAkB,EAAE,gBAA8E;QACnK,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QADN,aAAQ,GAAR,QAAQ,CAAS;QAAS,aAAQ,GAAR,QAAQ,CAAO;QAAS,cAAS,GAAT,SAAS,CAAS;QAEnF,iDAAiD;QACjD,OAAO,IAAI,KAAK,CAAC,IAAI,EAAE;YACnB,GAAG,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE;;gBAEhC,IAAI,QAAQ,KAAK,cAAc,EAAE;oBAC7B,qEAAqE;oBACrE,OAAO,EAAE,IAAI,EAAE,6BAA6B,EAAE,CAAC;iBAClD;gBAED,IAAI,UAAU,GAAY,MAAA,IAAI,CAAC,UAAU,mCAAI,yBAAW,CAAC,QAAQ,CAAC;gBAClE,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE;oBAClB,IAAI,CAAC,IAAA,+BAAkB,EAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,EAAE,CAAC;wBACpE,CAAC,IAAA,+BAAkB,EAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,YAAY,EAAE,CAAC,EACxE;wBACE,IAAI,QAAQ,KAAK,cAAc,EAAE;4BAC7B,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC;yBACtB;wBACD,IAAI,QAAQ,KAAK,WAAW,EAAE;4BAC1B,OAAO,GAAG,EAAE,CAAC,SAAS,CAAC;yBAC1B;qBACJ;yBAAM;wBACH,UAAU,GAAG,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;wBAC5E,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;qBAChC;iBAEJ;gBACD,IAAI,UAAU,EAAE;oBACZ,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;oBAC7D,OAAO,MAAM,CAAC;iBACjB;YACL,CAAC;SACJ,CAAC,CAAC;IACP,CAAC;CACJ;AAtCD,kEAsCC"}

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

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

package/dist/types/ReferenceType.spec.js

@@ -0,0 +1,137 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const chai_1 = require("chai");
+const SymbolTable_1 = require("../SymbolTable");
+const SymbolTable_2 = require("../SymbolTable");
+const testHelpers_spec_1 = require("../testHelpers.spec");
+const DynamicType_1 = require("./DynamicType");
+const IntegerType_1 = require("./IntegerType");
+const ReferenceType_1 = require("./ReferenceType");
+const StringType_1 = require("./StringType");
+const FloatType_1 = require("./FloatType");
+const ClassType_1 = require("./ClassType");
+const reflection_1 = require("../astUtils/reflection");
+const TypedFunctionType_1 = require("./TypedFunctionType");
+const NamespaceType_1 = require("./NamespaceType");
+const creators_1 = require("../astUtils/creators");
+const TokenKind_1 = require("../lexer/TokenKind");
+const util_1 = require("../util");
+const runtimeFlag = SymbolTable_2.SymbolTypeFlag.runtime;
+describe('ReferenceType', () => {
+    it('can be checked with reflection', () => {
+        const table = new SymbolTable_1.SymbolTable('test');
+        const ref = new ReferenceType_1.ReferenceType('someVar', 'someVar', runtimeFlag, () => table);
+        (0, chai_1.expect)((0, reflection_1.isReferenceType)(ref)).to.be.true;
+    });
+    it('defaults to dynamic type if it can not resolve', () => {
+        (0, testHelpers_spec_1.expectTypeToBe)(new ReferenceType_1.ReferenceType('test', 'test', runtimeFlag, () => undefined), DynamicType_1.DynamicType);
+        const table = new SymbolTable_1.SymbolTable('testTable');
+        (0, testHelpers_spec_1.expectTypeToBe)(new ReferenceType_1.ReferenceType('test', 'test', runtimeFlag, () => table), DynamicType_1.DynamicType);
+        table.addSymbol('someVar', null, StringType_1.StringType.instance, SymbolTable_2.SymbolTypeFlag.runtime);
+        (0, testHelpers_spec_1.expectTypeToBe)(new ReferenceType_1.ReferenceType('test', 'test', runtimeFlag, () => table), DynamicType_1.DynamicType);
+    });
+    it('can resolve based on a symbol table', () => {
+        const table = new SymbolTable_1.SymbolTable('test');
+        const ref = new ReferenceType_1.ReferenceType('someVar', 'someVar', runtimeFlag, () => table);
+        table.addSymbol('someVar', null, StringType_1.StringType.instance, SymbolTable_2.SymbolTypeFlag.runtime);
+        (0, testHelpers_spec_1.expectTypeToBe)(ref, StringType_1.StringType);
+    });
+    it('resolves before checking assigning and convertible', () => {
+        const table = new SymbolTable_1.SymbolTable('test');
+        const ref = new ReferenceType_1.ReferenceType('someVar', 'someVar', runtimeFlag, () => table);
+        table.addSymbol('someVar', null, IntegerType_1.IntegerType.instance, SymbolTable_2.SymbolTypeFlag.runtime);
+        (0, chai_1.expect)(ref.isTypeCompatible(FloatType_1.FloatType.instance)).to.be.true;
+    });
+    it('resolves before stringifying', () => {
+        const table = new SymbolTable_1.SymbolTable('test');
+        const ref = new ReferenceType_1.ReferenceType('someKlass', 'someKlass', runtimeFlag, () => table);
+        table.addSymbol('someKlass', null, new ClassType_1.ClassType('SomeKlass'), SymbolTable_2.SymbolTypeFlag.runtime);
+        (0, chai_1.expect)(ref.toString()).to.eq('SomeKlass');
+    });
+    describe('circular references', () => {
+        it('catches circular references', () => {
+            const table = new SymbolTable_1.SymbolTable('test');
+            const ref = new ReferenceType_1.ReferenceType('someVar', 'someVar', runtimeFlag, () => table);
+            table.addSymbol('someVar', null, ref, SymbolTable_2.SymbolTypeFlag.runtime);
+            (0, testHelpers_spec_1.expectTypeToBe)(ref, DynamicType_1.DynamicType);
+        });
+        it('catches circular references of many levels', () => {
+            const table = new SymbolTable_1.SymbolTable('test');
+            const ref1 = new ReferenceType_1.ReferenceType('someVar1', 'someVar1', runtimeFlag, () => table);
+            const ref2 = new ReferenceType_1.ReferenceType('someVar2', 'someVar2', runtimeFlag, () => table);
+            const ref3 = new ReferenceType_1.ReferenceType('someVar3', 'someVar3', runtimeFlag, () => table);
+            table.addSymbol('someVar0', null, ref1, SymbolTable_2.SymbolTypeFlag.runtime);
+            table.addSymbol('someVar1', null, ref2, SymbolTable_2.SymbolTypeFlag.runtime);
+            table.addSymbol('someVar2', null, ref3, SymbolTable_2.SymbolTypeFlag.runtime);
+            table.addSymbol('someVar3', null, ref1, SymbolTable_2.SymbolTypeFlag.runtime);
+            (0, testHelpers_spec_1.expectTypeToBe)(table.getSymbol('someVar0', SymbolTable_2.SymbolTypeFlag.runtime)[0].type, DynamicType_1.DynamicType);
+        });
+        it('catches circular references in a binary expression', () => {
+            const table = new SymbolTable_1.SymbolTable('test');
+            const ref = new ReferenceType_1.ReferenceType('notHere', 'notHere', runtimeFlag, () => table);
+            const binRef = new ReferenceType_1.BinaryOperatorReferenceType(ref, (0, creators_1.createToken)(TokenKind_1.TokenKind.Plus), StringType_1.StringType.instance, (l, o, r) => {
+                return util_1.util.binaryOperatorResultType(l, o, r);
+            });
+            const binRef2 = new ReferenceType_1.BinaryOperatorReferenceType(ref, (0, creators_1.createToken)(TokenKind_1.TokenKind.Plus), binRef, (l, o, r) => {
+                return util_1.util.binaryOperatorResultType(l, o, r);
+            });
+            table.addSymbol('notHere', null, binRef2, SymbolTable_2.SymbolTypeFlag.runtime);
+            (0, testHelpers_spec_1.expectTypeToBe)(table.getSymbolType('notHere', { flags: SymbolTable_2.SymbolTypeFlag.runtime }), DynamicType_1.DynamicType);
+        });
+    });
+});
+describe('PropertyReferenceType', () => {
+    it('can be checked with reflection', () => {
+        const func = new TypedFunctionType_1.TypedFunctionType(StringType_1.StringType.instance);
+        const propRef = new ReferenceType_1.TypePropertyReferenceType(func, 'returnType');
+        (0, chai_1.expect)((0, reflection_1.isTypePropertyReferenceType)(propRef)).to.be.true;
+    });
+    it('can resolve a FunctionType.returnType', () => {
+        const func = new TypedFunctionType_1.TypedFunctionType(StringType_1.StringType.instance);
+        const propRef = new ReferenceType_1.TypePropertyReferenceType(func, 'returnType');
+        (0, testHelpers_spec_1.expectTypeToBe)(propRef, StringType_1.StringType);
+    });
+    it('can resolve a property on a ReferenceType', () => {
+        const table = new SymbolTable_1.SymbolTable('test');
+        const ref = new ReferenceType_1.ReferenceType('someFunc', 'someFunc', runtimeFlag, () => table);
+        const propRef = new ReferenceType_1.TypePropertyReferenceType(ref, 'returnType');
+        // `ref` will resolve to DynamicType, and its returnType is DynamicType.Instance
+        (0, testHelpers_spec_1.expectTypeToBe)(propRef, DynamicType_1.DynamicType);
+        // Set ref to resolve to a function
+        table.addSymbol('someFunc', null, new TypedFunctionType_1.TypedFunctionType(IntegerType_1.IntegerType.instance), SymbolTable_2.SymbolTypeFlag.runtime);
+        (0, testHelpers_spec_1.expectTypeToBe)(propRef, IntegerType_1.IntegerType);
+    });
+    it('resolves members of a property on a ReferenceType', () => {
+        const table = new SymbolTable_1.SymbolTable('test');
+        const fnRef = new ReferenceType_1.ReferenceType('someFunc', 'someFunc', runtimeFlag, () => table);
+        const returnRef = new ReferenceType_1.TypePropertyReferenceType(fnRef, 'returnType');
+        const returnPropRef = returnRef.getMemberType('myNum', { flags: SymbolTable_2.SymbolTypeFlag.runtime });
+        // `ref` will resolve to DynamicType, and its returnType is DynamicType.Instance
+        (0, testHelpers_spec_1.expectTypeToBe)(returnPropRef, DynamicType_1.DynamicType);
+        // Set fnRef to resolve to a function that returns a complex type
+        const klassType = new ClassType_1.ClassType('Klass');
+        klassType.addMember('myNum', null, IntegerType_1.IntegerType.instance, SymbolTable_2.SymbolTypeFlag.runtime);
+        table.addSymbol('someFunc', null, new TypedFunctionType_1.TypedFunctionType(klassType), SymbolTable_2.SymbolTypeFlag.runtime);
+        // returnPropRef = someFunc().myNum
+        (0, testHelpers_spec_1.expectTypeToBe)(fnRef, TypedFunctionType_1.TypedFunctionType);
+        (0, testHelpers_spec_1.expectTypeToBe)(returnRef, ClassType_1.ClassType);
+        (0, testHelpers_spec_1.expectTypeToBe)(returnPropRef, IntegerType_1.IntegerType);
+    });
+    describe('toString', () => {
+        it('returns the full name, if resolvable or not', () => {
+            let nsA = new NamespaceType_1.NamespaceType('Alpha');
+            let nsAB = new NamespaceType_1.NamespaceType('Alpha.Beta');
+            let nsABC = new NamespaceType_1.NamespaceType('Alpha.Beta.Charlie');
+            nsA.addMember('Beta', null, nsAB, SymbolTable_2.SymbolTypeFlag.typetime);
+            nsAB.addMember('Charlie', null, nsABC, SymbolTable_2.SymbolTypeFlag.typetime);
+            let myRef = new ReferenceType_1.ReferenceType('MyKlass', 'Alpha.Beta.Charlie.MyKlass', SymbolTable_2.SymbolTypeFlag.typetime, () => nsABC.memberTable);
+            (0, chai_1.expect)(myRef.isResolvable()).to.be.false;
+            (0, chai_1.expect)(myRef.toString()).to.eq('Alpha.Beta.Charlie.MyKlass');
+            let myKlass = new ClassType_1.ClassType('Alpha.Beta.Charlie.MyKlass');
+            nsABC.addMember('MyKlass', null, myKlass, SymbolTable_2.SymbolTypeFlag.typetime);
+            (0, chai_1.expect)(myRef.isResolvable()).to.be.true;
+            (0, chai_1.expect)(myRef.toString()).to.eq('Alpha.Beta.Charlie.MyKlass');
+        });
+    });
+});
+//# sourceMappingURL=ReferenceType.spec.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ReferenceType.spec.js","sourceRoot":"","sources":["../../src/types/ReferenceType.spec.ts"],"names":[],"mappings":";;AAAA,+BAA8B;AAC9B,gDAA6C;AAC7C,gDAAgD;AAChD,0DAAqD;AACrD,+CAA4C;AAC5C,+CAA4C;AAC5C,mDAAwG;AACxG,6CAA0C;AAC1C,2CAAwC;AACxC,2CAAwC;AACxC,uDAAsF;AACtF,2DAAwD;AACxD,mDAAgD;AAChD,mDAAmD;AACnD,kDAA+C;AAC/C,kCAA+B;AAE/B,MAAM,WAAW,GAAG,4BAAc,CAAC,OAAO,CAAC;AAE3C,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACtC,MAAM,KAAK,GAAG,IAAI,yBAAW,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,IAAI,6BAAa,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;QAC9E,IAAA,aAAM,EAAC,IAAA,4BAAe,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IAC5C,CAAC,CAAC,CAAC;IAGH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACtD,IAAA,iCAAc,EAAC,IAAI,6BAAa,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,EAAE,yBAAW,CAAC,CAAC;QAC7F,MAAM,KAAK,GAAG,IAAI,yBAAW,CAAC,WAAW,CAAC,CAAC;QAC3C,IAAA,iCAAc,EAAC,IAAI,6BAAa,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,EAAE,yBAAW,CAAC,CAAC;QACzF,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;QAC9E,IAAA,iCAAc,EAAC,IAAI,6BAAa,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,EAAE,yBAAW,CAAC,CAAC;IAC7F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC3C,MAAM,KAAK,GAAG,IAAI,yBAAW,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,IAAI,6BAAa,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;QAC9E,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;QAC9E,IAAA,iCAAc,EAAC,GAAG,EAAE,uBAAU,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC1D,MAAM,KAAK,GAAG,IAAI,yBAAW,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,IAAI,6BAAa,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;QAC9E,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;QAC/E,IAAA,aAAM,EAAC,GAAG,CAAC,gBAAgB,CAAC,qBAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACpC,MAAM,KAAK,GAAG,IAAI,yBAAW,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,IAAI,6BAAa,CAAC,WAAW,EAAE,WAAW,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;QAClF,KAAK,CAAC,SAAS,CAAC,WAAW,EAAE,IAAI,EAAE,IAAI,qBAAS,CAAC,WAAW,CAAC,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;QACvF,IAAA,aAAM,EAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;QACjC,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACnC,MAAM,KAAK,GAAG,IAAI,yBAAW,CAAC,MAAM,CAAC,CAAC;YACtC,MAAM,GAAG,GAAG,IAAI,6BAAa,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;YAC9E,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;YAC9D,IAAA,iCAAc,EAAC,GAAG,EAAE,yBAAW,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;QAGH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YAClD,MAAM,KAAK,GAAG,IAAI,yBAAW,CAAC,MAAM,CAAC,CAAC;YACtC,MAAM,IAAI,GAAG,IAAI,6BAAa,CAAC,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;YACjF,MAAM,IAAI,GAAG,IAAI,6BAAa,CAAC,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;YACjF,MAAM,IAAI,GAAG,IAAI,6BAAa,CAAC,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;YACjF,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;YAChE,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;YAChE,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;YAChE,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;YAChE,IAAA,iCAAc,EAAC,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,yBAAW,CAAC,CAAC;QAC7F,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC1D,MAAM,KAAK,GAAG,IAAI,yBAAW,CAAC,MAAM,CAAC,CAAC;YACtC,MAAM,GAAG,GAAG,IAAI,6BAAa,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;YAC9E,MAAM,MAAM,GAAG,IAAI,2CAA2B,CAAC,GAAG,EAAE,IAAA,sBAAW,EAAC,qBAAS,CAAC,IAAI,CAAC,EAAE,uBAAU,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC9G,OAAO,WAAI,CAAC,wBAAwB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAClD,CAAC,CAAC,CAAC;YACH,MAAM,OAAO,GAAG,IAAI,2CAA2B,CAAC,GAAG,EAAE,IAAA,sBAAW,EAAC,qBAAS,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;gBAClG,OAAO,WAAI,CAAC,wBAAwB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAClD,CAAC,CAAC,CAAC;YACH,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;YAClE,IAAA,iCAAc,EAAC,KAAK,CAAC,aAAa,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,4BAAc,CAAC,OAAO,EAAE,CAAC,EAAE,yBAAW,CAAC,CAAC;QACnG,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;AAEP,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IAEnC,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACtC,MAAM,IAAI,GAAG,IAAI,qCAAiB,CAAC,uBAAU,CAAC,QAAQ,CAAC,CAAC;QACxD,MAAM,OAAO,GAAG,IAAI,yCAAyB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QAClE,IAAA,aAAM,EAAC,IAAA,wCAA2B,EAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC7C,MAAM,IAAI,GAAG,IAAI,qCAAiB,CAAC,uBAAU,CAAC,QAAQ,CAAC,CAAC;QACxD,MAAM,OAAO,GAAG,IAAI,yCAAyB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QAClE,IAAA,iCAAc,EAAC,OAAO,EAAE,uBAAU,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAGH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACjD,MAAM,KAAK,GAAG,IAAI,yBAAW,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,IAAI,6BAAa,CAAC,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;QAChF,MAAM,OAAO,GAAG,IAAI,yCAAyB,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;QACjE,gFAAgF;QAChF,IAAA,iCAAc,EAAC,OAAO,EAAE,yBAAW,CAAC,CAAC;QACrC,mCAAmC;QACnC,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,IAAI,qCAAiB,CAAC,yBAAW,CAAC,QAAQ,CAAC,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;QACvG,IAAA,iCAAc,EAAC,OAAO,EAAE,yBAAW,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QACzD,MAAM,KAAK,GAAG,IAAI,yBAAW,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,IAAI,6BAAa,CAAC,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;QAClF,MAAM,SAAS,GAAG,IAAI,yCAAyB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QACrE,MAAM,aAAa,GAAG,SAAS,CAAC,aAAa,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,4BAAc,CAAC,OAAO,EAAE,CAAC,CAAC;QAC1F,gFAAgF;QAChF,IAAA,iCAAc,EAAC,aAAa,EAAE,yBAAW,CAAC,CAAC;QAE3C,iEAAiE;QACjE,MAAM,SAAS,GAAG,IAAI,qBAAS,CAAC,OAAO,CAAC,CAAC;QACzC,SAAS,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;QACjF,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,IAAI,qCAAiB,CAAC,SAAS,CAAC,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;QAE5F,mCAAmC;QACnC,IAAA,iCAAc,EAAC,KAAK,EAAE,qCAAiB,CAAC,CAAC;QACzC,IAAA,iCAAc,EAAC,SAAS,EAAE,qBAAS,CAAC,CAAC;QACrC,IAAA,iCAAc,EAAC,aAAa,EAAE,yBAAW,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAGH,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;QAEtB,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACnD,IAAI,GAAG,GAAG,IAAI,6BAAa,CAAC,OAAO,CAAC,CAAC;YACrC,IAAI,IAAI,GAAG,IAAI,6BAAa,CAAC,YAAY,CAAC,CAAC;YAC3C,IAAI,KAAK,GAAG,IAAI,6BAAa,CAAC,oBAAoB,CAAC,CAAC;YACpD,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,4BAAc,CAAC,QAAQ,CAAC,CAAC;YAC3D,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,4BAAc,CAAC,QAAQ,CAAC,CAAC;YAEhE,IAAI,KAAK,GAAG,IAAI,6BAAa,CAAC,SAAS,EAAE,4BAA4B,EAAE,4BAAc,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YACzH,IAAA,aAAM,EAAC,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAEzC,IAAA,aAAM,EAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,4BAA4B,CAAC,CAAC;YAC7D,IAAI,OAAO,GAAG,IAAI,qBAAS,CAAC,4BAA4B,CAAC,CAAC;YAC1D,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,4BAAc,CAAC,QAAQ,CAAC,CAAC;YACnE,IAAA,aAAM,EAAC,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YACxC,IAAA,aAAM,EAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,4BAA4B,CAAC,CAAC;QACjE,CAAC,CAAC,CAAC;IAEP,CAAC,CAAC,CAAC;AAEP,CAAC,CAAC,CAAC"}

package/dist/types/StringType.d.ts

@@ -1,10 +1,16 @@
-import type { BscType } from './BscType';
-export declare class StringType implements BscType {
+import { BscType } from './BscType';
+import { BscTypeKind } from './BscTypeKind';
+import type { TypeCompatibilityData } from '../interfaces';
+export declare class StringType extends BscType {
     typeText?: string;
     constructor(typeText?: string);
-    isAssignableTo(targetType: BscType): boolean;
-    isConvertibleTo(targetType: BscType): boolean;
+    readonly kind = BscTypeKind.StringType;
+    /**
+     * A static instance that can be used to reduce memory and constructor costs, since there's nothing unique about this
+     */
+    static instance: StringType;
+    isTypeCompatible(targetType: BscType, data?: TypeCompatibilityData): any;
     toString(): string;
     toTypeString(): string;
-    equals(targetType: BscType): boolean;
+    isEqual(targetType: BscType): boolean;
 }