brighterscript 1.0.0-alpha.24 → 1.0.0-alpha.25

package/dist/types/UnionType.js

@@ -0,0 +1,123 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.UnionType = exports.unionTypeFactory = void 0;
+const reflection_1 = require("../astUtils/reflection");
+const BscType_1 = require("./BscType");
+const ReferenceType_1 = require("./ReferenceType");
+const helpers_1 = require("./helpers");
+const BscTypeKind_1 = require("./BscTypeKind");
+const SymbolTable_1 = require("../SymbolTable");
+const BuiltInInterfaceAdder_1 = require("./BuiltInInterfaceAdder");
+function unionTypeFactory(types) {
+    return new UnionType(types);
+}
+exports.unionTypeFactory = unionTypeFactory;
+class UnionType extends BscType_1.BscType {
+    constructor(types) {
+        super(joinTypesString(types));
+        this.types = types;
+        this.kind = BscTypeKind_1.BscTypeKind.UnionType;
+    }
+    addType(type) {
+        this.types.push(type);
+    }
+    isResolvable() {
+        for (const type of this.types) {
+            if (!type.isResolvable()) {
+                return false;
+            }
+        }
+        return true;
+    }
+    getMemberTypeFromInnerTypes(name, options) {
+        return this.types.map((innerType) => innerType === null || innerType === void 0 ? void 0 : innerType.getMemberType(name, options));
+    }
+    getMemberType(name, options) {
+        const innerTypesMemberTypes = this.getMemberTypeFromInnerTypes(name, options);
+        if (!innerTypesMemberTypes) {
+            // We don't have any members of any inner types that match
+            // so instead, create reference type that will
+            return new ReferenceType_1.ReferenceType(name, name, options.flags, () => {
+                return {
+                    name: `UnionType MemberTable: '${this.__identifier}'`,
+                    getSymbolType: (innerName, innerOptions) => {
+                        return (0, helpers_1.getUniqueType)((0, helpers_1.findTypeUnion)(this.getMemberTypeFromInnerTypes(name, options)), unionTypeFactory);
+                    },
+                    setCachedType: (innerName, innerCacheEntry, innerOptions) => {
+                        // TODO: is this even cachable? This is a NO-OP for now, and it shouldn't hurt anything
+                    }
+                };
+            });
+        }
+        return (0, helpers_1.getUniqueType)((0, helpers_1.findTypeUnion)(innerTypesMemberTypes), unionTypeFactory);
+    }
+    isTypeCompatible(targetType, data) {
+        if ((0, reflection_1.isDynamicType)(targetType) || (0, reflection_1.isObjectType)(targetType)) {
+            return true;
+        }
+        if ((0, helpers_1.isEnumTypeCompatible)(this, targetType, data)) {
+            return true;
+        }
+        if ((0, reflection_1.isUnionType)(targetType)) {
+            // check if this set of inner types is a SUPERSET of targetTypes's inner types
+            for (const targetInnerType of targetType.types) {
+                if (!this.isTypeCompatible(targetInnerType, data)) {
+                    return false;
+                }
+            }
+            return true;
+        }
+        for (const innerType of this.types) {
+            const foundCompatibleInnerType = innerType.isTypeCompatible(targetType, data);
+            if (foundCompatibleInnerType) {
+                return true;
+            }
+        }
+        return false;
+    }
+    toString() {
+        return joinTypesString(this.types);
+    }
+    toTypeString() {
+        return 'dynamic';
+    }
+    checkAllMemberTypes(predicate) {
+        return this.types.reduce((acc, type) => {
+            return acc && predicate(type);
+        }, true);
+    }
+    isEqual(targetType) {
+        if (!(0, reflection_1.isUnionType)(targetType)) {
+            return false;
+        }
+        return this.isTypeCompatible(targetType) && targetType.isTypeCompatible(this);
+    }
+    getMemberTable() {
+        const unionTable = new SymbolTable_1.SymbolTable(this.__identifier + ' UnionTable');
+        const firstType = this.types[0];
+        if (!firstType) {
+            return unionTable;
+        }
+        firstType.addBuiltInInterfaces();
+        for (const symbol of firstType.getMemberTable().getAllSymbols(SymbolTable_1.SymbolTypeFlag.runtime)) {
+            const foundType = this.getMemberTypeFromInnerTypes(symbol.name, { flags: SymbolTable_1.SymbolTypeFlag.runtime });
+            const allResolvableTypes = foundType.reduce((acc, curType) => {
+                return acc && curType.isResolvable();
+            }, true);
+            if (!allResolvableTypes) {
+                continue;
+            }
+            const uniqueType = (0, helpers_1.getUniqueType)((0, helpers_1.findTypeUnion)(foundType), unionTypeFactory);
+            unionTable.addSymbol(symbol.name, {}, uniqueType, SymbolTable_1.SymbolTypeFlag.runtime);
+        }
+        return unionTable;
+    }
+}
+exports.UnionType = UnionType;
+function joinTypesString(types) {
+    return types.map(t => t.toString()).join(' or ');
+}
+BuiltInInterfaceAdder_1.BuiltInInterfaceAdder.unionTypeFactory = (types) => {
+    return new UnionType(types);
+};
+//# sourceMappingURL=UnionType.js.map

package/dist/types/UnionType.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"UnionType.js","sourceRoot":"","sources":["../../src/types/UnionType.ts"],"names":[],"mappings":";;;AACA,uDAAkF;AAClF,uCAAoC;AACpC,mDAAgD;AAChD,uCAA+E;AAC/E,+CAA4C;AAE5C,gDAA6D;AAC7D,mEAAgE;AAEhE,SAAgB,gBAAgB,CAAC,KAAgB;IAC7C,OAAO,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC;AAFD,4CAEC;AAED,MAAa,SAAU,SAAQ,iBAAO;IAClC,YACW,KAAgB;QAEvB,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC;QAFvB,UAAK,GAAL,KAAK,CAAW;QAKX,SAAI,GAAG,yBAAW,CAAC,SAAS,CAAC;IAF7C,CAAC;IAIM,OAAO,CAAC,IAAa;QACxB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,YAAY;QACR,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE;YAC3B,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,EAAE;gBACtB,OAAO,KAAK,CAAC;aAChB;SACJ;QACD,OAAO,IAAI,CAAC;IAChB,CAAC;IAEO,2BAA2B,CAAC,IAAY,EAAE,OAAuB;QACrE,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,aAAT,SAAS,uBAAT,SAAS,CAAE,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IAClF,CAAC;IAED,aAAa,CAAC,IAAY,EAAE,OAAuB;QAC/C,MAAM,qBAAqB,GAAG,IAAI,CAAC,2BAA2B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC9E,IAAI,CAAC,qBAAqB,EAAE;YACxB,0DAA0D;YAC1D,8CAA8C;YAC9C,OAAO,IAAI,6BAAa,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE;gBACrD,OAAO;oBACH,IAAI,EAAE,2BAA2B,IAAI,CAAC,YAAY,GAAG;oBACrD,aAAa,EAAE,CAAC,SAAiB,EAAE,YAA4B,EAAE,EAAE;wBAC/D,OAAO,IAAA,uBAAa,EAAC,IAAA,uBAAa,EAAC,IAAI,CAAC,2BAA2B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC;oBAC3G,CAAC;oBACD,aAAa,EAAE,CAAC,SAAiB,EAAE,eAA+B,EAAE,YAA4B,EAAE,EAAE;wBAChG,uFAAuF;oBAC3F,CAAC;iBACJ,CAAC;YACN,CAAC,CAAC,CAAC;SACN;QACD,OAAO,IAAA,uBAAa,EAAC,IAAA,uBAAa,EAAC,qBAAqB,CAAC,EAAE,gBAAgB,CAAC,CAAC;IACjF,CAAC;IAED,gBAAgB,CAAC,UAAmB,EAAE,IAA4B;QAC9D,IAAI,IAAA,0BAAa,EAAC,UAAU,CAAC,IAAI,IAAA,yBAAY,EAAC,UAAU,CAAC,EAAE;YACvD,OAAO,IAAI,CAAC;SACf;QACD,IAAI,IAAA,8BAAoB,EAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,EAAE;YAC9C,OAAO,IAAI,CAAC;SACf;QACD,IAAI,IAAA,wBAAW,EAAC,UAAU,CAAC,EAAE;YACzB,8EAA8E;YAC9E,KAAK,MAAM,eAAe,IAAI,UAAU,CAAC,KAAK,EAAE;gBAC5C,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,eAAe,EAAE,IAAI,CAAC,EAAE;oBAC/C,OAAO,KAAK,CAAC;iBAChB;aACJ;YACD,OAAO,IAAI,CAAC;SACf;QACD,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,KAAK,EAAE;YAChC,MAAM,wBAAwB,GAAG,SAAS,CAAC,gBAAgB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;YAC9E,IAAI,wBAAwB,EAAE;gBAC1B,OAAO,IAAI,CAAC;aACf;SACJ;QAGD,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,QAAQ;QACJ,OAAO,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC;IACD,YAAY;QACR,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,mBAAmB,CAAC,SAA+B;QAC/C,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE;YACnC,OAAO,GAAG,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC,EAAE,IAAI,CAAC,CAAC;IACb,CAAC;IAED,OAAO,CAAC,UAAmB;QACvB,IAAI,CAAC,IAAA,wBAAW,EAAC,UAAU,CAAC,EAAE;YAC1B,OAAO,KAAK,CAAC;SAChB;QACD,OAAO,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAClF,CAAC;IAED,cAAc;QACV,MAAM,UAAU,GAAG,IAAI,yBAAW,CAAC,IAAI,CAAC,YAAY,GAAG,aAAa,CAAC,CAAC;QACtE,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,CAAC,SAAS,EAAE;YACZ,OAAO,UAAU,CAAC;SACrB;QACD,SAAS,CAAC,oBAAoB,EAAE,CAAC;QACjC,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,cAAc,EAAE,CAAC,aAAa,CAAC,4BAAc,CAAC,OAAO,CAAC,EAAE;YACnF,MAAM,SAAS,GAAG,IAAI,CAAC,2BAA2B,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,4BAAc,CAAC,OAAO,EAAE,CAAC,CAAC;YACnG,MAAM,kBAAkB,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE;gBACzD,OAAO,GAAG,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;YACzC,CAAC,EAAE,IAAI,CAAC,CAAC;YAET,IAAI,CAAC,kBAAkB,EAAE;gBACrB,SAAS;aACZ;YACD,MAAM,UAAU,GAAG,IAAA,uBAAa,EAAC,IAAA,uBAAa,EAAC,SAAS,CAAC,EAAE,gBAAgB,CAAC,CAAC;YAC7E,UAAU,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;SAC7E;QACD,OAAO,UAAU,CAAC;IACtB,CAAC;CACJ;AAjHD,8BAiHC;AAGD,SAAS,eAAe,CAAC,KAAgB;IACrC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACrD,CAAC;AAED,6CAAqB,CAAC,gBAAgB,GAAG,CAAC,KAAgB,EAAE,EAAE;IAC1D,OAAO,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC,CAAC"}

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

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

package/dist/types/UnionType.spec.js

@@ -0,0 +1,130 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const chai_1 = require("chai");
+const StringType_1 = require("./StringType");
+const IntegerType_1 = require("./IntegerType");
+const UnionType_1 = require("./UnionType");
+const FloatType_1 = require("./FloatType");
+const InterfaceType_1 = require("./InterfaceType");
+const SymbolTable_1 = require("../SymbolTable");
+const BooleanType_1 = require("./BooleanType");
+const testHelpers_spec_1 = require("../testHelpers.spec");
+const reflection_1 = require("../astUtils/reflection");
+describe('UnionType', () => {
+    it('can be assigned to by anything that can be assigned to an included type', () => {
+        const parentIFace = new InterfaceType_1.InterfaceType('IfaceParent');
+        parentIFace.addMember('name', null, StringType_1.StringType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+        const iFace = new InterfaceType_1.InterfaceType('IfaceChild', parentIFace);
+        iFace.addMember('age', null, IntegerType_1.IntegerType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+        const otheriFaceWithSameMembers = new InterfaceType_1.InterfaceType('OtherIface');
+        otheriFaceWithSameMembers.addMember('name', null, StringType_1.StringType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+        otheriFaceWithSameMembers.addMember('age', null, IntegerType_1.IntegerType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+        otheriFaceWithSameMembers.addMember('height', null, FloatType_1.FloatType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+        const myUnion = new UnionType_1.UnionType([FloatType_1.FloatType.instance, iFace, StringType_1.StringType.instance]);
+        (0, chai_1.expect)(myUnion.isTypeCompatible(FloatType_1.FloatType.instance)).to.be.true;
+        (0, chai_1.expect)(myUnion.isTypeCompatible(StringType_1.StringType.instance)).to.be.true;
+        (0, chai_1.expect)(myUnion.isTypeCompatible(otheriFaceWithSameMembers)).to.be.true;
+        (0, chai_1.expect)(otheriFaceWithSameMembers.isTypeCompatible(myUnion)).to.be.false;
+    });
+    it('can assign to a more general Union', () => {
+        const myUnion = new UnionType_1.UnionType([StringType_1.StringType.instance, FloatType_1.FloatType.instance]);
+        const otherUnion = new UnionType_1.UnionType([FloatType_1.FloatType.instance, StringType_1.StringType.instance, BooleanType_1.BooleanType.instance]);
+        (0, chai_1.expect)(myUnion.isTypeCompatible(otherUnion)).to.be.false;
+        (0, chai_1.expect)(otherUnion.isTypeCompatible(myUnion)).to.be.true;
+    });
+    it('can assign to a more general Union with interfaces', () => {
+        const parentIFace = new InterfaceType_1.InterfaceType('IfaceParent');
+        parentIFace.addMember('name', null, StringType_1.StringType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+        const iFace = new InterfaceType_1.InterfaceType('IfaceChild', parentIFace);
+        iFace.addMember('age', null, IntegerType_1.IntegerType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+        iFace.addMember('height', null, FloatType_1.FloatType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+        const myUnion = new UnionType_1.UnionType([FloatType_1.FloatType.instance, iFace, StringType_1.StringType.instance, BooleanType_1.BooleanType.instance]);
+        const otheriFaceWithSameMembers = new InterfaceType_1.InterfaceType('OtherIface');
+        otheriFaceWithSameMembers.addMember('name', null, StringType_1.StringType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+        otheriFaceWithSameMembers.addMember('age', null, IntegerType_1.IntegerType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+        otheriFaceWithSameMembers.addMember('height', null, FloatType_1.FloatType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+        const otherUnion = new UnionType_1.UnionType([FloatType_1.FloatType.instance, otheriFaceWithSameMembers, StringType_1.StringType.instance]);
+        (0, chai_1.expect)(myUnion.isTypeCompatible(otherUnion)).to.be.true;
+        (0, chai_1.expect)(otherUnion.isTypeCompatible(myUnion)).to.be.false;
+    });
+    it('will get a string representation in order given', () => {
+        const iFace1 = new InterfaceType_1.InterfaceType('SomeIface');
+        iFace1.addMember('age', null, IntegerType_1.IntegerType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+        iFace1.addMember('name', null, StringType_1.StringType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+        iFace1.addMember('height', null, FloatType_1.FloatType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+        const myUnion = new UnionType_1.UnionType([FloatType_1.FloatType.instance, StringType_1.StringType.instance, BooleanType_1.BooleanType.instance, iFace1]);
+        (0, chai_1.expect)(myUnion.toString()).to.eq('float or string or boolean or SomeIface');
+    });
+    describe('getMemberType', () => {
+        it('will find the union of inner types', () => {
+            const iFace1 = new InterfaceType_1.InterfaceType('iFace1');
+            iFace1.addMember('age', null, IntegerType_1.IntegerType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+            iFace1.addMember('name', null, StringType_1.StringType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+            iFace1.addMember('height', null, FloatType_1.FloatType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+            const iFace2 = new InterfaceType_1.InterfaceType('iFace2');
+            iFace2.addMember('age', null, IntegerType_1.IntegerType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+            iFace2.addMember('name', null, StringType_1.StringType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+            iFace2.addMember('height', null, StringType_1.StringType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+            const myUnion = new UnionType_1.UnionType([iFace1, iFace2]);
+            const options = { flags: SymbolTable_1.SymbolTypeFlag.runtime };
+            const ageType = myUnion.getMemberType('age', options);
+            (0, testHelpers_spec_1.expectTypeToBe)(ageType, IntegerType_1.IntegerType);
+            const nameType = myUnion.getMemberType('name', options);
+            (0, testHelpers_spec_1.expectTypeToBe)(nameType, StringType_1.StringType);
+            const heightType = myUnion.getMemberType('height', options);
+            (0, testHelpers_spec_1.expectTypeToBe)(heightType, UnionType_1.UnionType);
+            const heightTypes = heightType.types;
+            (0, chai_1.expect)(heightTypes).to.include(FloatType_1.FloatType.instance);
+            (0, chai_1.expect)(heightTypes).to.include(StringType_1.StringType.instance);
+        });
+        it('will return reference types if any inner type does not include the member', () => {
+            const iFace1 = new InterfaceType_1.InterfaceType('iFace1');
+            iFace1.addMember('age', null, IntegerType_1.IntegerType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+            iFace1.addMember('name', null, StringType_1.StringType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+            iFace1.addMember('height', null, FloatType_1.FloatType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+            const iFace2 = new InterfaceType_1.InterfaceType('iFace2');
+            iFace2.addMember('age', null, IntegerType_1.IntegerType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+            iFace2.addMember('name', null, StringType_1.StringType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+            const myUnion = new UnionType_1.UnionType([iFace1, iFace2]);
+            const options = { flags: SymbolTable_1.SymbolTypeFlag.runtime };
+            const heightType1 = myUnion.getMemberType('height', options);
+            (0, testHelpers_spec_1.expectTypeToBe)(heightType1, UnionType_1.UnionType);
+            const heightTypes1 = heightType1.types;
+            (0, chai_1.expect)(heightTypes1.length).to.eq(2);
+            (0, testHelpers_spec_1.expectTypeToBe)(heightTypes1[0], FloatType_1.FloatType);
+            // height does not exist in iFace2
+            (0, chai_1.expect)((0, reflection_1.isReferenceType)(heightTypes1[1])).to.be.true;
+            (0, chai_1.expect)(heightTypes1[1].isResolvable()).to.be.false;
+            iFace2.addMember('height', null, FloatType_1.FloatType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+            const heightType2 = myUnion.getMemberType('height', options);
+            (0, testHelpers_spec_1.expectTypeToBe)(heightType2, FloatType_1.FloatType);
+        });
+    });
+    describe('getMemberTable', () => {
+        it('get an intersection of all member types', () => {
+            const iFace1 = new InterfaceType_1.InterfaceType('iFace1');
+            iFace1.addMember('age', null, IntegerType_1.IntegerType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+            iFace1.addMember('name', null, StringType_1.StringType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+            iFace1.addMember('height', null, FloatType_1.FloatType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+            iFace1.addMember('weight', null, FloatType_1.FloatType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+            const iFace2 = new InterfaceType_1.InterfaceType('iFace2');
+            iFace2.addMember('age', null, IntegerType_1.IntegerType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+            iFace2.addMember('name', null, StringType_1.StringType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+            iFace2.addMember('height', null, StringType_1.StringType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+            iFace2.addMember('address', null, StringType_1.StringType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+            const myUnion = new UnionType_1.UnionType([iFace1, iFace2]);
+            const unionMemberTable = myUnion.getMemberTable();
+            const options = { flags: SymbolTable_1.SymbolTypeFlag.runtime };
+            (0, testHelpers_spec_1.expectTypeToBe)(unionMemberTable.getSymbolType('age', options), IntegerType_1.IntegerType);
+            (0, testHelpers_spec_1.expectTypeToBe)(unionMemberTable.getSymbolType('name', options), StringType_1.StringType);
+            const heightType1 = unionMemberTable.getSymbolType('height', options);
+            (0, testHelpers_spec_1.expectTypeToBe)(heightType1, UnionType_1.UnionType);
+            const heightTypes1 = heightType1.types;
+            (0, chai_1.expect)(heightTypes1.length).to.eq(2);
+            (0, testHelpers_spec_1.expectTypeToBe)(heightTypes1[0], FloatType_1.FloatType);
+            (0, chai_1.expect)(unionMemberTable.getSymbolType('weight', options)).to.be.undefined;
+            (0, chai_1.expect)(unionMemberTable.getSymbolType('address', options)).to.be.undefined;
+        });
+    });
+});
+//# sourceMappingURL=UnionType.spec.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"UnionType.spec.js","sourceRoot":"","sources":["../../src/types/UnionType.spec.ts"],"names":[],"mappings":";;AAAA,+BAA8B;AAC9B,6CAA0C;AAC1C,+CAA4C;AAC5C,2CAAwC;AACxC,2CAAwC;AACxC,mDAAgD;AAChD,gDAAgD;AAChD,+CAA4C;AAC5C,0DAAqD;AACrD,uDAAyD;AAGzD,QAAQ,CAAC,WAAW,EAAE,GAAG,EAAE;IACvB,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QAC/E,MAAM,WAAW,GAAG,IAAI,6BAAa,CAAC,aAAa,CAAC,CAAC;QACrD,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;QACjF,MAAM,KAAK,GAAG,IAAI,6BAAa,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;QAC3D,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;QAE3E,MAAM,yBAAyB,GAAG,IAAI,6BAAa,CAAC,YAAY,CAAC,CAAC;QAClE,yBAAyB,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;QAC/F,yBAAyB,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;QAC/F,yBAAyB,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,qBAAS,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;QAEhG,MAAM,OAAO,GAAG,IAAI,qBAAS,CAAC,CAAC,qBAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,uBAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;QAEhF,IAAA,aAAM,EAAC,OAAO,CAAC,gBAAgB,CAAC,qBAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAChE,IAAA,aAAM,EAAC,OAAO,CAAC,gBAAgB,CAAC,uBAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACjE,IAAA,aAAM,EAAC,OAAO,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACvE,IAAA,aAAM,EAAC,yBAAyB,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC1C,MAAM,OAAO,GAAG,IAAI,qBAAS,CAAC,CAAC,uBAAU,CAAC,QAAQ,EAAE,qBAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;QACzE,MAAM,UAAU,GAAG,IAAI,qBAAS,CAAC,CAAC,qBAAS,CAAC,QAAQ,EAAE,uBAAU,CAAC,QAAQ,EAAE,yBAAW,CAAC,QAAQ,CAAC,CAAC,CAAC;QAElG,IAAA,aAAM,EAAC,OAAO,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QACzD,IAAA,aAAM,EAAC,UAAU,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC1D,MAAM,WAAW,GAAG,IAAI,6BAAa,CAAC,aAAa,CAAC,CAAC;QACrD,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;QACjF,MAAM,KAAK,GAAG,IAAI,6BAAa,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;QAC3D,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;QAC3E,KAAK,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,qBAAS,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;QAC5E,MAAM,OAAO,GAAG,IAAI,qBAAS,CAAC,CAAC,qBAAS,CAAC,QAAQ,EAAE,KAAK,EAAE,uBAAU,CAAC,QAAQ,EAAE,yBAAW,CAAC,QAAQ,CAAC,CAAC,CAAC;QAEtG,MAAM,yBAAyB,GAAG,IAAI,6BAAa,CAAC,YAAY,CAAC,CAAC;QAClE,yBAAyB,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;QAC/F,yBAAyB,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;QAC/F,yBAAyB,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,qBAAS,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;QAEhG,MAAM,UAAU,GAAG,IAAI,qBAAS,CAAC,CAAC,qBAAS,CAAC,QAAQ,EAAE,yBAAyB,EAAE,uBAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;QAEvG,IAAA,aAAM,EAAC,OAAO,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACxD,IAAA,aAAM,EAAC,UAAU,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACvD,MAAM,MAAM,GAAG,IAAI,6BAAa,CAAC,WAAW,CAAC,CAAC;QAC9C,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;QAC5E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;QAC5E,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,qBAAS,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;QAC7E,MAAM,OAAO,GAAG,IAAI,qBAAS,CAAC,CAAC,qBAAS,CAAC,QAAQ,EAAE,uBAAU,CAAC,QAAQ,EAAE,yBAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;QAEvG,IAAA,aAAM,EAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,yCAAyC,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;QAC3B,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;YAC1C,MAAM,MAAM,GAAG,IAAI,6BAAa,CAAC,QAAQ,CAAC,CAAC;YAC3C,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;YAC5E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;YAC5E,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,qBAAS,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;YAE7E,MAAM,MAAM,GAAG,IAAI,6BAAa,CAAC,QAAQ,CAAC,CAAC;YAC3C,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;YAC5E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;YAC5E,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;YAE9E,MAAM,OAAO,GAAG,IAAI,qBAAS,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;YAEhD,MAAM,OAAO,GAAG,EAAE,KAAK,EAAE,4BAAc,CAAC,OAAO,EAAE,CAAC;YAClD,MAAM,OAAO,GAAG,OAAO,CAAC,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YACtD,IAAA,iCAAc,EAAC,OAAO,EAAE,yBAAW,CAAC,CAAC;YACrC,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YACxD,IAAA,iCAAc,EAAC,QAAQ,EAAE,uBAAU,CAAC,CAAC;YACrC,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YAC5D,IAAA,iCAAc,EAAC,UAAU,EAAE,qBAAS,CAAC,CAAC;YACtC,MAAM,WAAW,GAAI,UAAwB,CAAC,KAAK,CAAC;YACpD,IAAA,aAAM,EAAC,WAAW,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,qBAAS,CAAC,QAAQ,CAAC,CAAC;YACnD,IAAA,aAAM,EAAC,WAAW,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,uBAAU,CAAC,QAAQ,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAGH,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;YACjF,MAAM,MAAM,GAAG,IAAI,6BAAa,CAAC,QAAQ,CAAC,CAAC;YAC3C,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;YAC5E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;YAC5E,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,qBAAS,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;YAE7E,MAAM,MAAM,GAAG,IAAI,6BAAa,CAAC,QAAQ,CAAC,CAAC;YAC3C,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;YAC5E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;YAE5E,MAAM,OAAO,GAAG,IAAI,qBAAS,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;YAChD,MAAM,OAAO,GAAG,EAAE,KAAK,EAAE,4BAAc,CAAC,OAAO,EAAE,CAAC;YAClD,MAAM,WAAW,GAAG,OAAO,CAAC,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YAC7D,IAAA,iCAAc,EAAC,WAAW,EAAE,qBAAS,CAAC,CAAC;YACvC,MAAM,YAAY,GAAI,WAAyB,CAAC,KAAK,CAAC;YACtD,IAAA,aAAM,EAAC,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACrC,IAAA,iCAAc,EAAC,YAAY,CAAC,CAAC,CAAC,EAAE,qBAAS,CAAC,CAAC;YAC3C,kCAAkC;YAClC,IAAA,aAAM,EAAC,IAAA,4BAAe,EAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YACpD,IAAA,aAAM,EAAC,YAAY,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAEnD,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,qBAAS,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;YAC7E,MAAM,WAAW,GAAG,OAAO,CAAC,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YAC7D,IAAA,iCAAc,EAAC,WAAW,EAAE,qBAAS,CAAC,CAAC;QAC3C,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC5B,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YAC/C,MAAM,MAAM,GAAG,IAAI,6BAAa,CAAC,QAAQ,CAAC,CAAC;YAC3C,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;YAC5E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;YAC5E,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,qBAAS,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;YAC7E,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,qBAAS,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;YAE7E,MAAM,MAAM,GAAG,IAAI,6BAAa,CAAC,QAAQ,CAAC,CAAC;YAC3C,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;YAC5E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;YAC5E,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;YAC9E,MAAM,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;YAE/E,MAAM,OAAO,GAAG,IAAI,qBAAS,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;YAEhD,MAAM,gBAAgB,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;YAClD,MAAM,OAAO,GAAG,EAAE,KAAK,EAAE,4BAAc,CAAC,OAAO,EAAE,CAAC;YAElD,IAAA,iCAAc,EAAC,gBAAgB,CAAC,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,yBAAW,CAAC,CAAC;YAC5E,IAAA,iCAAc,EAAC,gBAAgB,CAAC,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,uBAAU,CAAC,CAAC;YAC5E,MAAM,WAAW,GAAG,gBAAgB,CAAC,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YACtE,IAAA,iCAAc,EAAC,WAAW,EAAE,qBAAS,CAAC,CAAC;YACvC,MAAM,YAAY,GAAI,WAAyB,CAAC,KAAK,CAAC;YACtD,IAAA,aAAM,EAAC,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACrC,IAAA,iCAAc,EAAC,YAAY,CAAC,CAAC,CAAC,EAAE,qBAAS,CAAC,CAAC;YAC3C,IAAA,aAAM,EAAC,gBAAgB,CAAC,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC;YAC1E,IAAA,aAAM,EAAC,gBAAgB,CAAC,aAAa,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,CAAC;QAE/E,CAAC,CAAC,CAAC;IAEP,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}

package/dist/types/VoidType.d.ts

@@ -1,10 +1,13 @@
-import type { BscType } from './BscType';
-export declare class VoidType implements BscType {
+import { BscType } from './BscType';
+import { BscTypeKind } from './BscTypeKind';
+import type { TypeCompatibilityData } from '../interfaces';
+export declare class VoidType extends BscType {
     typeText?: string;
     constructor(typeText?: string);
-    isAssignableTo(targetType: BscType): boolean;
-    isConvertibleTo(targetType: BscType): boolean;
+    readonly kind = BscTypeKind.VoidType;
+    static instance: VoidType;
+    isTypeCompatible(targetType: BscType, data?: TypeCompatibilityData): any;
     toString(): string;
     toTypeString(): string;
-    equals(targetType: BscType): boolean;
+    isEqual(targetType: BscType): boolean;
 }

package/dist/types/VoidType.js

@@ -2,16 +2,21 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.VoidType = void 0;
 const reflection_1 = require("../astUtils/reflection");
-class VoidType {
+const BscType_1 = require("./BscType");
+const BscTypeKind_1 = require("./BscTypeKind");
+const helpers_1 = require("./helpers");
+const BuiltInInterfaceAdder_1 = require("./BuiltInInterfaceAdder");
+class VoidType extends BscType_1.BscType {
     constructor(typeText) {
+        super();
         this.typeText = typeText;
+        this.kind = BscTypeKind_1.BscTypeKind.VoidType;
     }
-    isAssignableTo(targetType) {
+    isTypeCompatible(targetType, data) {
         return ((0, reflection_1.isVoidType)(targetType) ||
-            (0, reflection_1.isDynamicType)(targetType));
-    }
-    isConvertibleTo(targetType) {
-        return this.isAssignableTo(targetType);
+            (0, reflection_1.isDynamicType)(targetType) ||
+            (0, reflection_1.isObjectType)(targetType) ||
+            (0, helpers_1.isUnionTypeCompatible)(this, targetType, data));
     }
     toString() {
         var _a;
@@ -20,9 +25,11 @@ class VoidType {
     toTypeString() {
         return this.toString();
     }
-    equals(targetType) {
+    isEqual(targetType) {
         return (0, reflection_1.isVoidType)(targetType);
     }
 }
 exports.VoidType = VoidType;
+VoidType.instance = new VoidType('void');
+BuiltInInterfaceAdder_1.BuiltInInterfaceAdder.primitiveTypeInstanceCache.set('void', VoidType.instance);
 //# sourceMappingURL=VoidType.js.map

package/dist/types/VoidType.js.map

@@ -1 +1 @@
-{"version":3,"file":"VoidType.js","sourceRoot":"","sources":["../../src/types/VoidType.ts"],"names":[],"mappings":";;;AAAA,uDAAmE;AAGnE,MAAa,QAAQ;IACjB,YACW,QAAiB;QAAjB,aAAQ,GAAR,QAAQ,CAAS;IACxB,CAAC;IAEE,cAAc,CAAC,UAAmB;QACrC,OAAO,CACH,IAAA,uBAAU,EAAC,UAAU,CAAC;YACtB,IAAA,0BAAa,EAAC,UAAU,CAAC,CAC5B,CAAC;IACN,CAAC;IAEM,eAAe,CAAC,UAAmB;QACtC,OAAO,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;IAC3C,CAAC;IAEM,QAAQ;;QACX,OAAO,MAAA,IAAI,CAAC,QAAQ,mCAAI,MAAM,CAAC;IACnC,CAAC;IAEM,YAAY;QACf,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC;IAEM,MAAM,CAAC,UAAmB;QAC7B,OAAO,IAAA,uBAAU,EAAC,UAAU,CAAC,CAAC;IAClC,CAAC;CACJ;AA3BD,4BA2BC"}
+{"version":3,"file":"VoidType.js","sourceRoot":"","sources":["../../src/types/VoidType.ts"],"names":[],"mappings":";;;AAAA,uDAAiF;AACjF,uCAAoC;AACpC,+CAA4C;AAC5C,uCAAkD;AAClD,mEAAgE;AAGhE,MAAa,QAAS,SAAQ,iBAAO;IACjC,YACW,QAAiB;QAExB,KAAK,EAAE,CAAC;QAFD,aAAQ,GAAR,QAAQ,CAAS;QAKZ,SAAI,GAAG,yBAAW,CAAC,QAAQ,CAAC;IAF5C,CAAC;IAMM,gBAAgB,CAAC,UAAmB,EAAE,IAA4B;QACrE,OAAO,CACH,IAAA,uBAAU,EAAC,UAAU,CAAC;YACtB,IAAA,0BAAa,EAAC,UAAU,CAAC;YACzB,IAAA,yBAAY,EAAC,UAAU,CAAC;YACxB,IAAA,+BAAqB,EAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,CAChD,CAAC;IACN,CAAC;IAEM,QAAQ;;QACX,OAAO,MAAA,IAAI,CAAC,QAAQ,mCAAI,MAAM,CAAC;IACnC,CAAC;IAEM,YAAY;QACf,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC;IAEM,OAAO,CAAC,UAAmB;QAC9B,OAAO,IAAA,uBAAU,EAAC,UAAU,CAAC,CAAC;IAClC,CAAC;;AA9BL,4BA+BC;AAtBiB,iBAAQ,GAAG,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC;AAwBlD,6CAAqB,CAAC,0BAA0B,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC"}

package/dist/types/VoidType.spec.js

@@ -1,12 +1,12 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-const chai_1 = require("chai");
+const chai_config_spec_1 = require("../chai-config.spec");
 const DynamicType_1 = require("./DynamicType");
 const VoidType_1 = require("./VoidType");
 describe('VoidType', () => {
     it('is equivalent to dynamic types', () => {
-        (0, chai_1.expect)(new VoidType_1.VoidType().isAssignableTo(new VoidType_1.VoidType())).to.be.true;
-        (0, chai_1.expect)(new VoidType_1.VoidType().isAssignableTo(new DynamicType_1.DynamicType())).to.be.true;
+        (0, chai_config_spec_1.expect)(new VoidType_1.VoidType().isTypeCompatible(new VoidType_1.VoidType())).to.be.true;
+        (0, chai_config_spec_1.expect)(new VoidType_1.VoidType().isTypeCompatible(new DynamicType_1.DynamicType())).to.be.true;
     });
 });
 //# sourceMappingURL=VoidType.spec.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"VoidType.spec.js","sourceRoot":"","sources":["../../src/types/VoidType.spec.ts"],"names":[],"mappings":";;AAAA,+BAA8B;AAE9B,+CAA4C;AAC5C,yCAAsC;AAEtC,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;IACtB,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACtC,IAAA,aAAM,EAAC,IAAI,mBAAQ,EAAE,CAAC,cAAc,CAAC,IAAI,mBAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACjE,IAAA,aAAM,EAAC,IAAI,mBAAQ,EAAE,CAAC,cAAc,CAAC,IAAI,yBAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IACxE,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}
+{"version":3,"file":"VoidType.spec.js","sourceRoot":"","sources":["../../src/types/VoidType.spec.ts"],"names":[],"mappings":";;AAAA,0DAA6C;AAE7C,+CAA4C;AAC5C,yCAAsC;AAEtC,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;IACtB,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACtC,IAAA,yBAAM,EAAC,IAAI,mBAAQ,EAAE,CAAC,gBAAgB,CAAC,IAAI,mBAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACnE,IAAA,yBAAM,EAAC,IAAI,mBAAQ,EAAE,CAAC,gBAAgB,CAAC,IAAI,yBAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IAC1E,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}

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

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

package/dist/types/helper.spec.js

@@ -0,0 +1,145 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const chai_1 = require("chai");
+const reflection_1 = require("../astUtils/reflection");
+const testHelpers_spec_1 = require("../testHelpers.spec");
+const ClassType_1 = require("./ClassType");
+const DynamicType_1 = require("./DynamicType");
+const FloatType_1 = require("./FloatType");
+const IntegerType_1 = require("./IntegerType");
+const StringType_1 = require("./StringType");
+const UnionType_1 = require("./UnionType");
+const helpers_1 = require("./helpers");
+const InterfaceType_1 = require("./InterfaceType");
+const SymbolTable_1 = require("../SymbolTable");
+const DoubleType_1 = require("./DoubleType");
+const BooleanType_1 = require("./BooleanType");
+const EnumType_1 = require("./EnumType");
+describe('findTypeIntersection', () => {
+    it('should return the intersection if the arrays have one element', () => {
+        const intersection = (0, helpers_1.findTypeIntersection)([IntegerType_1.IntegerType.instance], [IntegerType_1.IntegerType.instance]);
+        (0, chai_1.expect)(intersection.length).to.eq(1);
+        (0, chai_1.expect)(intersection).to.include(IntegerType_1.IntegerType.instance);
+    });
+    it('should return empty array if no common types', () => {
+        let intersection = (0, helpers_1.findTypeIntersection)([IntegerType_1.IntegerType.instance], [StringType_1.StringType.instance]);
+        (0, chai_1.expect)(intersection.length).to.eq(0);
+        intersection = (0, helpers_1.findTypeIntersection)([IntegerType_1.IntegerType.instance, DoubleType_1.DoubleType.instance], [FloatType_1.FloatType.instance, StringType_1.StringType.instance]);
+        (0, chai_1.expect)(intersection.length).to.eq(0);
+    });
+    it('should return minimum intersection', () => {
+        let intersection = (0, helpers_1.findTypeIntersection)([DoubleType_1.DoubleType.instance, IntegerType_1.IntegerType.instance, BooleanType_1.BooleanType.instance], [BooleanType_1.BooleanType.instance, FloatType_1.FloatType.instance, IntegerType_1.IntegerType.instance, StringType_1.StringType.instance]);
+        (0, chai_1.expect)(intersection.length).to.eq(2);
+        (0, chai_1.expect)(intersection).to.include(IntegerType_1.IntegerType.instance);
+        (0, chai_1.expect)(intersection).to.include(BooleanType_1.BooleanType.instance);
+    });
+});
+describe('findTypeUnion', () => {
+    it('should return the intersection if the arrays have one element', () => {
+        const union = (0, helpers_1.findTypeUnion)([IntegerType_1.IntegerType.instance], [IntegerType_1.IntegerType.instance]);
+        (0, chai_1.expect)(union.length).to.eq(1);
+        (0, chai_1.expect)(union).to.include(IntegerType_1.IntegerType.instance);
+    });
+    it('should not have duplicates', () => {
+        let union = (0, helpers_1.findTypeUnion)([IntegerType_1.IntegerType.instance, StringType_1.StringType.instance], [StringType_1.StringType.instance, IntegerType_1.IntegerType.instance, FloatType_1.FloatType.instance]);
+        (0, chai_1.expect)(union.length).to.eq(3);
+    });
+    it('should return array of all types', () => {
+        let union = (0, helpers_1.findTypeUnion)([IntegerType_1.IntegerType.instance], [StringType_1.StringType.instance]);
+        (0, chai_1.expect)(union.length).to.eq(2);
+        union = (0, helpers_1.findTypeUnion)([IntegerType_1.IntegerType.instance, DoubleType_1.DoubleType.instance], [FloatType_1.FloatType.instance, StringType_1.StringType.instance]);
+        (0, chai_1.expect)(union.length).to.eq(4);
+    });
+});
+describe('getUniqueTypesFromArray', () => {
+    it('should return the single type from arrays have one element', () => {
+        let intersection = (0, helpers_1.getUniqueTypesFromArray)([IntegerType_1.IntegerType.instance]);
+        (0, chai_1.expect)(intersection.length).to.eq(1);
+        (0, chai_1.expect)(intersection).to.include(IntegerType_1.IntegerType.instance);
+        (0, helpers_1.getUniqueTypesFromArray)([IntegerType_1.IntegerType.instance, IntegerType_1.IntegerType.instance, IntegerType_1.IntegerType.instance, IntegerType_1.IntegerType.instance]);
+        (0, chai_1.expect)(intersection.length).to.eq(1);
+        (0, chai_1.expect)(intersection).to.include(IntegerType_1.IntegerType.instance);
+    });
+    it('should return an array with no duplicates', () => {
+        let intersection = (0, helpers_1.getUniqueTypesFromArray)([IntegerType_1.IntegerType.instance, StringType_1.StringType.instance, IntegerType_1.IntegerType.instance, StringType_1.StringType.instance, IntegerType_1.IntegerType.instance, StringType_1.StringType.instance]);
+        (0, chai_1.expect)(intersection.length).to.eq(2);
+        (0, chai_1.expect)(intersection).to.include(IntegerType_1.IntegerType.instance);
+        (0, chai_1.expect)(intersection).to.include(StringType_1.StringType.instance);
+    });
+    it('should not worry about inheritance ', () => {
+        let klass = new ClassType_1.ClassType('Klass');
+        let subklass = new ClassType_1.ClassType('Subklass', klass);
+        let intersection = (0, helpers_1.getUniqueTypesFromArray)([klass, subklass, subklass, klass, klass]);
+        (0, chai_1.expect)(intersection.length).to.eq(2);
+        (0, chai_1.expect)(intersection).to.include(klass);
+        (0, chai_1.expect)(intersection).to.include(subklass);
+    });
+});
+describe('getUniqueType', () => {
+    it('should return a single type if only one is given', () => {
+        (0, testHelpers_spec_1.expectTypeToBe)((0, helpers_1.getUniqueType)([IntegerType_1.IntegerType.instance], UnionType_1.unionTypeFactory), IntegerType_1.IntegerType);
+    });
+    it('should return a single type if all types are the same', () => {
+        (0, testHelpers_spec_1.expectTypeToBe)((0, helpers_1.getUniqueType)([IntegerType_1.IntegerType.instance, IntegerType_1.IntegerType.instance, IntegerType_1.IntegerType.instance], UnionType_1.unionTypeFactory), IntegerType_1.IntegerType);
+    });
+    it('should return dynamic if dynamic is included', () => {
+        (0, testHelpers_spec_1.expectTypeToBe)((0, helpers_1.getUniqueType)([IntegerType_1.IntegerType.instance, DynamicType_1.DynamicType.instance, StringType_1.StringType.instance], UnionType_1.unionTypeFactory), DynamicType_1.DynamicType);
+    });
+    it('should return the most general type of all types inputed', () => {
+        const superKlassType = new ClassType_1.ClassType('Super');
+        const subKlassType = new ClassType_1.ClassType('Sub', superKlassType);
+        (0, chai_1.expect)((0, helpers_1.getUniqueType)([subKlassType, superKlassType], UnionType_1.unionTypeFactory).toString()).to.eq('Super');
+        (0, chai_1.expect)((0, helpers_1.getUniqueType)([subKlassType, subKlassType], UnionType_1.unionTypeFactory).toString()).to.eq('Sub');
+        (0, chai_1.expect)((0, helpers_1.getUniqueType)([superKlassType, subKlassType], UnionType_1.unionTypeFactory).toString()).to.eq('Super');
+        (0, chai_1.expect)((0, helpers_1.getUniqueType)([subKlassType, superKlassType, subKlassType], UnionType_1.unionTypeFactory).toString()).to.eq('Super');
+    });
+    it('should return a union type of unique types', () => {
+        const resultType = (0, helpers_1.getUniqueType)([IntegerType_1.IntegerType.instance, StringType_1.StringType.instance, IntegerType_1.IntegerType.instance, FloatType_1.FloatType.instance], UnionType_1.unionTypeFactory);
+        (0, testHelpers_spec_1.expectTypeToBe)(resultType, UnionType_1.UnionType);
+        if ((0, reflection_1.isUnionType)(resultType)) {
+            (0, chai_1.expect)(resultType.types.length).to.eq(3);
+            (0, chai_1.expect)(resultType.types).to.include(IntegerType_1.IntegerType.instance);
+            (0, chai_1.expect)(resultType.types).to.include(StringType_1.StringType.instance);
+            (0, chai_1.expect)(resultType.types).to.include(FloatType_1.FloatType.instance);
+        }
+        else {
+            chai_1.assert.fail('Should be UnionType');
+        }
+    });
+    it('should return a a union type of two compatible interfaces', () => {
+        const iface1 = new InterfaceType_1.InterfaceType('iface1');
+        iface1.addMember('name', null, StringType_1.StringType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+        iface1.addMember('age', null, IntegerType_1.IntegerType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+        const iface2 = new InterfaceType_1.InterfaceType('iface2');
+        iface2.addMember('name', null, StringType_1.StringType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+        iface2.addMember('age', null, IntegerType_1.IntegerType.instance, SymbolTable_1.SymbolTypeFlag.runtime);
+        (0, chai_1.expect)(iface1.isTypeCompatible(iface2)).to.be.true;
+        (0, chai_1.expect)(iface2.isTypeCompatible(iface1)).to.be.true;
+        (0, chai_1.expect)(iface1.isEqual(iface2)).to.be.false;
+        const resultType = (0, helpers_1.getUniqueType)([iface1, iface2], UnionType_1.unionTypeFactory);
+        (0, testHelpers_spec_1.expectTypeToBe)(resultType, UnionType_1.UnionType);
+        if ((0, reflection_1.isUnionType)(resultType)) {
+            (0, chai_1.expect)(resultType.types.length).to.eq(2);
+            (0, chai_1.expect)(resultType.types).to.include(iface1);
+            (0, chai_1.expect)(resultType.types).to.include(iface2);
+        }
+        else {
+            chai_1.assert.fail('Should be UnionType');
+        }
+    });
+});
+describe('isEnumTypeCompatible', () => {
+    it('should be true when an enum that is an int is passed to a number type', () => {
+        const myEnum = new EnumType_1.EnumType('test', IntegerType_1.IntegerType.instance);
+        const myEnumMember = new EnumType_1.EnumMemberType('test', 'val1', IntegerType_1.IntegerType.instance);
+        (0, chai_1.expect)(IntegerType_1.IntegerType.instance.isTypeCompatible(myEnum)).to.be.true;
+        (0, chai_1.expect)(FloatType_1.FloatType.instance.isTypeCompatible(myEnum)).to.be.true;
+        (0, chai_1.expect)(DoubleType_1.DoubleType.instance.isTypeCompatible(myEnum)).to.be.true;
+        (0, chai_1.expect)(IntegerType_1.IntegerType.instance.isTypeCompatible(myEnumMember)).to.be.true;
+        (0, chai_1.expect)(FloatType_1.FloatType.instance.isTypeCompatible(myEnumMember)).to.be.true;
+        (0, chai_1.expect)(DoubleType_1.DoubleType.instance.isTypeCompatible(myEnumMember)).to.be.true;
+        (0, chai_1.expect)(StringType_1.StringType.instance.isTypeCompatible(myEnum)).to.be.false;
+        (0, chai_1.expect)(StringType_1.StringType.instance.isTypeCompatible(myEnumMember)).to.be.false;
+    });
+});
+//# sourceMappingURL=helper.spec.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"helper.spec.js","sourceRoot":"","sources":["../../src/types/helper.spec.ts"],"names":[],"mappings":";;AAAA,+BAAsC;AACtC,uDAAqD;AACrD,0DAAqD;AACrD,2CAAwC;AACxC,+CAA4C;AAC5C,2CAAwC;AACxC,+CAA4C;AAC5C,6CAA0C;AAC1C,2CAA0D;AAC1D,uCAAwG;AACxG,mDAAgD;AAChD,gDAAgD;AAChD,6CAA0C;AAC1C,+CAA4C;AAC5C,yCAAsD;AAGtD,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IAElC,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACrE,MAAM,YAAY,GAAG,IAAA,8BAAoB,EAAC,CAAC,yBAAW,CAAC,QAAQ,CAAC,EAAE,CAAC,yBAAW,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC1F,IAAA,aAAM,EAAC,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,aAAM,EAAC,YAAY,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,yBAAW,CAAC,QAAQ,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACpD,IAAI,YAAY,GAAG,IAAA,8BAAoB,EAAC,CAAC,yBAAW,CAAC,QAAQ,CAAC,EAAE,CAAC,uBAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;QACvF,IAAA,aAAM,EAAC,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,YAAY,GAAG,IAAA,8BAAoB,EAAC,CAAC,yBAAW,CAAC,QAAQ,EAAE,uBAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,qBAAS,CAAC,QAAQ,EAAE,uBAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC5H,IAAA,aAAM,EAAC,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC1C,IAAI,YAAY,GAAG,IAAA,8BAAoB,EAAC,CAAC,uBAAU,CAAC,QAAQ,EAAE,yBAAW,CAAC,QAAQ,EAAE,yBAAW,CAAC,QAAQ,CAAC,EAAE,CAAC,yBAAW,CAAC,QAAQ,EAAE,qBAAS,CAAC,QAAQ,EAAE,yBAAW,CAAC,QAAQ,EAAE,uBAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;QAClM,IAAA,aAAM,EAAC,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,aAAM,EAAC,YAAY,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,yBAAW,CAAC,QAAQ,CAAC,CAAC;QACtD,IAAA,aAAM,EAAC,YAAY,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,yBAAW,CAAC,QAAQ,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC;AAGH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAE3B,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACrE,MAAM,KAAK,GAAG,IAAA,uBAAa,EAAC,CAAC,yBAAW,CAAC,QAAQ,CAAC,EAAE,CAAC,yBAAW,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC5E,IAAA,aAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,aAAM,EAAC,KAAK,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,yBAAW,CAAC,QAAQ,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QAClC,IAAI,KAAK,GAAG,IAAA,uBAAa,EAAC,CAAC,yBAAW,CAAC,QAAQ,EAAE,uBAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,uBAAU,CAAC,QAAQ,EAAE,yBAAW,CAAC,QAAQ,EAAE,qBAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;QACxI,IAAA,aAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QACxC,IAAI,KAAK,GAAG,IAAA,uBAAa,EAAC,CAAC,yBAAW,CAAC,QAAQ,CAAC,EAAE,CAAC,uBAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;QACzE,IAAA,aAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9B,KAAK,GAAG,IAAA,uBAAa,EAAC,CAAC,yBAAW,CAAC,QAAQ,EAAE,uBAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,qBAAS,CAAC,QAAQ,EAAE,uBAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC9G,IAAA,aAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC;AAGH,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IAErC,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QAClE,IAAI,YAAY,GAAG,IAAA,iCAAuB,EAAC,CAAC,yBAAW,CAAC,QAAQ,CAAC,CAAC,CAAC;QACnE,IAAA,aAAM,EAAC,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,aAAM,EAAC,YAAY,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,yBAAW,CAAC,QAAQ,CAAC,CAAC;QACtD,IAAA,iCAAuB,EAAC,CAAC,yBAAW,CAAC,QAAQ,EAAE,yBAAW,CAAC,QAAQ,EAAE,yBAAW,CAAC,QAAQ,EAAE,yBAAW,CAAC,QAAQ,CAAC,CAAC,CAAC;QAClH,IAAA,aAAM,EAAC,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,aAAM,EAAC,YAAY,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,yBAAW,CAAC,QAAQ,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACjD,IAAI,YAAY,GAAG,IAAA,iCAAuB,EAAC,CAAC,yBAAW,CAAC,QAAQ,EAAE,uBAAU,CAAC,QAAQ,EAAE,yBAAW,CAAC,QAAQ,EAAE,uBAAU,CAAC,QAAQ,EAAE,yBAAW,CAAC,QAAQ,EAAE,uBAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC9K,IAAA,aAAM,EAAC,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,aAAM,EAAC,YAAY,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,yBAAW,CAAC,QAAQ,CAAC,CAAC;QACtD,IAAA,aAAM,EAAC,YAAY,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,uBAAU,CAAC,QAAQ,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC3C,IAAI,KAAK,GAAG,IAAI,qBAAS,CAAC,OAAO,CAAC,CAAC;QACnC,IAAI,QAAQ,GAAG,IAAI,qBAAS,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QAChD,IAAI,YAAY,GAAG,IAAA,iCAAuB,EAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;QACtF,IAAA,aAAM,EAAC,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,aAAM,EAAC,YAAY,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACvC,IAAA,aAAM,EAAC,YAAY,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC;AAGH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAE3B,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QACxD,IAAA,iCAAc,EAAC,IAAA,uBAAa,EAAC,CAAC,yBAAW,CAAC,QAAQ,CAAC,EAAE,4BAAgB,CAAC,EAAE,yBAAW,CAAC,CAAC;IACzF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC7D,IAAA,iCAAc,EAAC,IAAA,uBAAa,EAAC,CAAC,yBAAW,CAAC,QAAQ,EAAE,yBAAW,CAAC,QAAQ,EAAE,yBAAW,CAAC,QAAQ,CAAC,EAAE,4BAAgB,CAAC,EAAE,yBAAW,CAAC,CAAC;IACrI,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACpD,IAAA,iCAAc,EAAC,IAAA,uBAAa,EAAC,CAAC,yBAAW,CAAC,QAAQ,EAAE,yBAAW,CAAC,QAAQ,EAAE,uBAAU,CAAC,QAAQ,CAAC,EAAE,4BAAgB,CAAC,EAAE,yBAAW,CAAC,CAAC;IACpI,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAChE,MAAM,cAAc,GAAG,IAAI,qBAAS,CAAC,OAAO,CAAC,CAAC;QAC9C,MAAM,YAAY,GAAG,IAAI,qBAAS,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;QAC1D,IAAA,aAAM,EAAC,IAAA,uBAAa,EAAC,CAAC,YAAY,EAAE,cAAc,CAAC,EAAE,4BAAgB,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;QAClG,IAAA,aAAM,EAAC,IAAA,uBAAa,EAAC,CAAC,YAAY,EAAE,YAAY,CAAC,EAAE,4BAAgB,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QAC9F,IAAA,aAAM,EAAC,IAAA,uBAAa,EAAC,CAAC,cAAc,EAAE,YAAY,CAAC,EAAE,4BAAgB,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;QAClG,IAAA,aAAM,EAAC,IAAA,uBAAa,EAAC,CAAC,YAAY,EAAE,cAAc,EAAE,YAAY,CAAC,EAAE,4BAAgB,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;IACpH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QAClD,MAAM,UAAU,GAAG,IAAA,uBAAa,EAAC,CAAC,yBAAW,CAAC,QAAQ,EAAE,uBAAU,CAAC,QAAQ,EAAE,yBAAW,CAAC,QAAQ,EAAE,qBAAS,CAAC,QAAQ,CAAC,EAAE,4BAAgB,CAAC,CAAC;QAC1I,IAAA,iCAAc,EAAC,UAAU,EAAE,qBAAS,CAAC,CAAC;QACtC,IAAI,IAAA,wBAAW,EAAC,UAAU,CAAC,EAAE;YACzB,IAAA,aAAM,EAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACzC,IAAA,aAAM,EAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,yBAAW,CAAC,QAAQ,CAAC,CAAC;YAC1D,IAAA,aAAM,EAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,uBAAU,CAAC,QAAQ,CAAC,CAAC;YACzD,IAAA,aAAM,EAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,qBAAS,CAAC,QAAQ,CAAC,CAAC;SAE3D;aAAM;YACH,aAAM,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;SACtC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACjE,MAAM,MAAM,GAAG,IAAI,6BAAa,CAAC,QAAQ,CAAC,CAAC;QAC3C,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;QAC5E,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;QAE5E,MAAM,MAAM,GAAG,IAAI,6BAAa,CAAC,QAAQ,CAAC,CAAC;QAC3C,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;QAC5E,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;QAE5E,IAAA,aAAM,EAAC,MAAM,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACnD,IAAA,aAAM,EAAC,MAAM,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACnD,IAAA,aAAM,EAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAE3C,MAAM,UAAU,GAAG,IAAA,uBAAa,EAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,4BAAgB,CAAC,CAAC;QACrE,IAAA,iCAAc,EAAC,UAAU,EAAE,qBAAS,CAAC,CAAC;QACtC,IAAI,IAAA,wBAAW,EAAC,UAAU,CAAC,EAAE;YACzB,IAAA,aAAM,EAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACzC,IAAA,aAAM,EAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC5C,IAAA,aAAM,EAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;SAE/C;aAAM;YACH,aAAM,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;SACtC;IACL,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC7E,MAAM,MAAM,GAAG,IAAI,mBAAQ,CAAC,MAAM,EAAE,yBAAW,CAAC,QAAQ,CAAC,CAAC;QAC1D,MAAM,YAAY,GAAG,IAAI,yBAAc,CAAC,MAAM,EAAE,MAAM,EAAE,yBAAW,CAAC,QAAQ,CAAC,CAAC;QAE9E,IAAA,aAAM,EAAC,yBAAW,CAAC,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACjE,IAAA,aAAM,EAAC,qBAAS,CAAC,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC/D,IAAA,aAAM,EAAC,uBAAU,CAAC,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAEhE,IAAA,aAAM,EAAC,yBAAW,CAAC,QAAQ,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACvE,IAAA,aAAM,EAAC,qBAAS,CAAC,QAAQ,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACrE,IAAA,aAAM,EAAC,uBAAU,CAAC,QAAQ,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAEtE,IAAA,aAAM,EAAC,uBAAU,CAAC,QAAQ,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QACjE,IAAA,aAAM,EAAC,uBAAU,CAAC,QAAQ,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;IAC3E,CAAC,CAAC,CAAC;AAGP,CAAC,CAAC,CAAC"}

package/dist/types/helpers.d.ts

@@ -1,42 +1,24 @@
-import type { CallExpression, DottedGetExpression, FunctionExpression, NewExpression, VariableExpression } from '../parser/Expression';
+import type { TypeCompatibilityData } from '../interfaces';
 import type { BscType } from './BscType';
+export declare function findTypeIntersection(typesArr1: BscType[], typesArr2: BscType[]): BscType[];
+export declare function findTypeUnion(...typesArr: BscType[][]): BscType[];
+export declare function getUniqueTypesFromArray(types: BscType[]): BscType[];
 /**
- * Gets the return type of a function, taking into account that the function may not have been declared yet
- * If the callee already exists in symbol table, use that return type
- * otherwise, make a lazy type which will not compute its type until the file is done parsing
- *
- * @param call the Expression to process
- * @param functionExpression the wrapping function expression
- * @return the best guess type of that expression
+ * 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
  */
-export declare function getTypeFromCallExpression(call: CallExpression, functionExpression: FunctionExpression): BscType;
+export declare function reduceTypesToMostGeneric(types: BscType[]): BscType[];
 /**
- * Gets the type of a variable
- * if it already exists in symbol table, use that type
- * otherwise defer the type until first read, which will allow us to derive types from variables defined after this one (like from a loop perhaps)
- *
- * @param variable the Expression to process
- * @param functionExpression the wrapping function expression
- * @return the best guess type of that expression
+ * 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
  */
-export declare function getTypeFromVariableExpression(variable: VariableExpression, functionExpression: FunctionExpression): BscType;
-/**
- * Gets the type of a variable
- * if it already exists in symbol table, use that type
- * otherwise defer the type until first read, which will allow us to derive types from variables defined after this one (like from a loop perhaps)
- *
- * @param newExp the Expression to process
- * @param functionExpression the wrapping function expression
- * @return the best guess type of that expression
- */
-export declare function getTypeFromNewExpression(newExp: NewExpression, functionExpression: FunctionExpression): BscType;
-/**
- * Gets the type of a variable
- * if it already exists in symbol table, use that type
- * otherwise defer the type until first read, which will allow us to derive types from variables defined after this one (like from a loop perhaps)
- *
- * @param variable the Expression to process
- * @param functionExpression the wrapping function expression
- * @return the best guess type of that expression
- */
-export declare function getTypeFromDottedGetExpression(expr: DottedGetExpression, functionExpression: FunctionExpression): BscType;
+export declare function getUniqueType(types: BscType[], unionTypeFactory: (types: BscType[]) => BscType): BscType;
+export declare function isUnionTypeCompatible(thisType: BscType, maybeUnionType: BscType, data?: TypeCompatibilityData): boolean;
+export declare function isEnumTypeCompatible(thisType: BscType, maybeEnumType: BscType, data?: TypeCompatibilityData): boolean;
+export declare function isNativeInterfaceCompatible(thisType: BscType, otherType: BscType, allowedType: string, data?: TypeCompatibilityData): boolean;
+export declare function isNativeInterfaceCompatibleNumber(thisType: BscType, otherType: BscType, data?: TypeCompatibilityData): boolean;