brighterscript 0.65.1 → 0.66.0-alpha.0

package/dist/types/StringType.js.map

@@ -1 +1 @@
-{"version":3,"file":"StringType.js","sourceRoot":"","sources":["../../src/types/StringType.ts"],"names":[],"mappings":";;;AACA,+CAA4C;AAE5C,MAAa,UAAU;IACnB,YACW,QAAiB;QAAjB,aAAQ,GAAR,QAAQ,CAAS;IACxB,CAAC;IAEE,cAAc,CAAC,UAAmB;QACrC,OAAO,CACH,UAAU,YAAY,UAAU;YAChC,UAAU,YAAY,yBAAW,CACpC,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,QAAQ,CAAC;IACrC,CAAC;IAEM,YAAY;QACf,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC;CACJ;AAvBD,gCAuBC"}
+{"version":3,"file":"StringType.js","sourceRoot":"","sources":["../../src/types/StringType.ts"],"names":[],"mappings":";;;AAAA,uDAAqE;AACrE,uCAAoC;AACpC,+CAA4C;AAE5C,MAAa,UAAW,SAAQ,iBAAO;IACnC,YACW,QAAiB;QAExB,KAAK,EAAE,CAAC;QAFD,aAAQ,GAAR,QAAQ,CAAS;QAKZ,SAAI,GAAG,yBAAW,CAAC,UAAU,CAAC;IAF9C,CAAC;IASM,gBAAgB,CAAC,UAAmB;QACvC,OAAO,CACH,IAAA,yBAAY,EAAC,UAAU,CAAC;YACxB,IAAA,0BAAa,EAAC,UAAU,CAAC,CAC5B,CAAC;IACN,CAAC;IAEM,QAAQ;;QACX,OAAO,MAAA,IAAI,CAAC,QAAQ,mCAAI,QAAQ,CAAC;IACrC,CAAC;IAEM,YAAY;QACf,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC;IAEM,OAAO,CAAC,UAAmB;QAC9B,OAAO,IAAA,yBAAY,EAAC,UAAU,CAAC,CAAC;IACpC,CAAC;;AA/BL,gCAgCC;AAvBG;;GAEG;AACW,mBAAQ,GAAG,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC"}

package/dist/types/StringType.spec.js

@@ -5,8 +5,8 @@ const DynamicType_1 = require("./DynamicType");
 const StringType_1 = require("./StringType");
 describe('StringType', () => {
     it('is equivalent to string types', () => {
-        (0, chai_config_spec_1.expect)(new StringType_1.StringType().isAssignableTo(new StringType_1.StringType())).to.be.true;
-        (0, chai_config_spec_1.expect)(new StringType_1.StringType().isAssignableTo(new DynamicType_1.DynamicType())).to.be.true;
+        (0, chai_config_spec_1.expect)(new StringType_1.StringType().isTypeCompatible(new StringType_1.StringType())).to.be.true;
+        (0, chai_config_spec_1.expect)(new StringType_1.StringType().isTypeCompatible(new DynamicType_1.DynamicType())).to.be.true;
     });
 });
 //# sourceMappingURL=StringType.spec.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"StringType.spec.js","sourceRoot":"","sources":["../../src/types/StringType.spec.ts"],"names":[],"mappings":";;AAAA,0DAA6C;AAE7C,+CAA4C;AAC5C,6CAA0C;AAE1C,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IACxB,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACrC,IAAA,yBAAM,EAAC,IAAI,uBAAU,EAAE,CAAC,cAAc,CAAC,IAAI,uBAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACrE,IAAA,yBAAM,EAAC,IAAI,uBAAU,EAAE,CAAC,cAAc,CAAC,IAAI,yBAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IAC1E,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}
+{"version":3,"file":"StringType.spec.js","sourceRoot":"","sources":["../../src/types/StringType.spec.ts"],"names":[],"mappings":";;AAAA,0DAA6C;AAE7C,+CAA4C;AAC5C,6CAA0C;AAE1C,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IACxB,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACrC,IAAA,yBAAM,EAAC,IAAI,uBAAU,EAAE,CAAC,gBAAgB,CAAC,IAAI,uBAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACvE,IAAA,yBAAM,EAAC,IAAI,uBAAU,EAAE,CAAC,gBAAgB,CAAC,IAAI,yBAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IAC5E,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}

package/dist/types/UninitializedType.d.ts

@@ -1,7 +1,10 @@
-import type { BscType } from './BscType';
-export declare class UninitializedType implements BscType {
+import { BscType } from './BscType';
+import { BscTypeKind } from './BscTypeKind';
+export declare class UninitializedType extends BscType {
     isAssignableTo(targetType: BscType): boolean;
-    isConvertibleTo(targetType: BscType): boolean;
+    readonly kind = BscTypeKind.UninitializedType;
+    isTypeCompatible(targetType: BscType): boolean;
     toString(): string;
     toTypeString(): string;
+    isEqual(targetType: BscType): boolean;
 }

package/dist/types/UninitializedType.js

@@ -1,14 +1,22 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.UninitializedType = void 0;
+const reflection_1 = require("../astUtils/reflection");
+const BscType_1 = require("./BscType");
+const BscTypeKind_1 = require("./BscTypeKind");
 const DynamicType_1 = require("./DynamicType");
-class UninitializedType {
+class UninitializedType extends BscType_1.BscType {
+    constructor() {
+        super(...arguments);
+        this.kind = BscTypeKind_1.BscTypeKind.UninitializedType;
+    }
     isAssignableTo(targetType) {
         return (targetType instanceof UninitializedType ||
             targetType instanceof DynamicType_1.DynamicType);
     }
-    isConvertibleTo(targetType) {
-        return this.isAssignableTo(targetType);
+    isTypeCompatible(targetType) {
+        return ((0, reflection_1.isUninitializedType)(targetType) ||
+            (0, reflection_1.isDynamicType)(targetType));
     }
     toString() {
         return 'uninitialized';
@@ -16,6 +24,9 @@ class UninitializedType {
     toTypeString() {
         return this.toString();
     }
+    isEqual(targetType) {
+        return (0, reflection_1.isUninitializedType)(targetType);
+    }
 }
 exports.UninitializedType = UninitializedType;
 //# sourceMappingURL=UninitializedType.js.map

package/dist/types/UninitializedType.js.map

@@ -1 +1 @@
-{"version":3,"file":"UninitializedType.js","sourceRoot":"","sources":["../../src/types/UninitializedType.ts"],"names":[],"mappings":";;;AACA,+CAA4C;AAE5C,MAAa,iBAAiB;IACnB,cAAc,CAAC,UAAmB;QACrC,OAAO,CACH,UAAU,YAAY,iBAAiB;YACvC,UAAU,YAAY,yBAAW,CACpC,CAAC;IACN,CAAC;IAEM,eAAe,CAAC,UAAmB;QACtC,OAAO,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;IAC3C,CAAC;IAEM,QAAQ;QACX,OAAO,eAAe,CAAC;IAC3B,CAAC;IAEM,YAAY;QACf,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC;CACJ;AAnBD,8CAmBC"}
+{"version":3,"file":"UninitializedType.js","sourceRoot":"","sources":["../../src/types/UninitializedType.ts"],"names":[],"mappings":";;;AAAA,uDAA4E;AAC5E,uCAAoC;AACpC,+CAA4C;AAC5C,+CAA4C;AAE5C,MAAa,iBAAkB,SAAQ,iBAAO;IAA9C;;QAQoB,SAAI,GAAG,yBAAW,CAAC,iBAAiB,CAAC;IAoBzD,CAAC;IA3BU,cAAc,CAAC,UAAmB;QACrC,OAAO,CACH,UAAU,YAAY,iBAAiB;YACvC,UAAU,YAAY,yBAAW,CACpC,CAAC;IACN,CAAC;IAIM,gBAAgB,CAAC,UAAmB;QACvC,OAAO,CACH,IAAA,gCAAmB,EAAC,UAAU,CAAC;YAC/B,IAAA,0BAAa,EAAC,UAAU,CAAC,CAC5B,CAAC;IACN,CAAC;IAEM,QAAQ;QACX,OAAO,eAAe,CAAC;IAC3B,CAAC;IAEM,YAAY;QACf,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC;IAEM,OAAO,CAAC,UAAmB;QAC9B,OAAO,IAAA,gCAAmB,EAAC,UAAU,CAAC,CAAC;IAC3C,CAAC;CACJ;AA5BD,8CA4BC"}

package/dist/types/UnionType.d.ts

@@ -0,0 +1,18 @@
+import type { GetTypeOptions } from '../interfaces';
+import { BscType } from './BscType';
+import { BscTypeKind } from './BscTypeKind';
+export declare function unionTypeFactory(types: BscType[]): UnionType;
+export declare class UnionType extends BscType {
+    types: BscType[];
+    constructor(types: BscType[]);
+    readonly kind = BscTypeKind.UnionType;
+    addType(type: BscType): void;
+    isResolvable(): boolean;
+    private getMemberTypeFromInnerTypes;
+    getMemberType(name: string, options: GetTypeOptions): BscType;
+    isTypeCompatible(targetType: BscType): boolean;
+    toString(): string;
+    toTypeString(): string;
+    checkAllMemberTypes(predicate: (BscType: any) => boolean): boolean;
+    isEqual(targetType: BscType): boolean;
+}

package/dist/types/UnionType.js

@@ -0,0 +1,91 @@
+"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");
+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 {
+                    getSymbolType: (innerName, innerOptions) => {
+                        return (0, helpers_1.getUniqueType)((0, helpers_1.findTypeUnion)(this.getMemberTypeFromInnerTypes(name, options)), unionTypeFactory);
+                    }
+                };
+            });
+        }
+        return (0, helpers_1.getUniqueType)((0, helpers_1.findTypeUnion)(innerTypesMemberTypes), unionTypeFactory);
+    }
+    isTypeCompatible(targetType) {
+        if ((0, reflection_1.isDynamicType)(targetType)) {
+            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)) {
+                    return false;
+                }
+            }
+            return true;
+        }
+        for (const innerType of this.types) {
+            const foundCompatibleInnerType = innerType.isTypeCompatible(targetType);
+            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);
+    }
+}
+exports.UnionType = UnionType;
+function joinTypesString(types) {
+    return types.map(t => t.toString()).join(' or ');
+}
+//# 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,uDAAoE;AACpE,uCAAoC;AACpC,mDAAgD;AAChD,uCAAyD;AACzD,+CAA4C;AAE5C,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,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;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;QAChC,IAAI,IAAA,0BAAa,EAAC,UAAU,CAAC,EAAE;YAC3B,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,CAAC,EAAE;oBACzC,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,CAAC,CAAC;YACxE,IAAI,wBAAwB,EAAE;gBAC1B,OAAO,IAAI,CAAC;aACf;SACJ;QACD,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;CACJ;AAlFD,8BAkFC;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"}

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

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

package/dist/types/UnionType.spec.js

@@ -0,0 +1,103 @@
+"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.false;
+        (0, chai_1.expect)(otheriFaceWithSameMembers.isTypeCompatible(myUnion)).to.be.true;
+    });
+    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);
+        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.typetime);
+        iFace1.addMember('name', null, StringType_1.StringType.instance, SymbolTable_1.SymbolTypeFlag.typetime);
+        iFace1.addMember('height', null, FloatType_1.FloatType.instance, SymbolTable_1.SymbolTypeFlag.typetime);
+        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.typetime);
+            iFace1.addMember('name', null, StringType_1.StringType.instance, SymbolTable_1.SymbolTypeFlag.typetime);
+            iFace1.addMember('height', null, FloatType_1.FloatType.instance, SymbolTable_1.SymbolTypeFlag.typetime);
+            const iFace2 = new InterfaceType_1.InterfaceType('iFace2');
+            iFace2.addMember('age', null, IntegerType_1.IntegerType.instance, SymbolTable_1.SymbolTypeFlag.typetime);
+            iFace2.addMember('name', null, StringType_1.StringType.instance, SymbolTable_1.SymbolTypeFlag.typetime);
+            iFace2.addMember('height', null, StringType_1.StringType.instance, SymbolTable_1.SymbolTypeFlag.typetime);
+            const myUnion = new UnionType_1.UnionType([iFace1, iFace2]);
+            const options = { flags: SymbolTable_1.SymbolTypeFlag.typetime };
+            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.typetime);
+            iFace1.addMember('name', null, StringType_1.StringType.instance, SymbolTable_1.SymbolTypeFlag.typetime);
+            iFace1.addMember('height', null, FloatType_1.FloatType.instance, SymbolTable_1.SymbolTypeFlag.typetime);
+            const iFace2 = new InterfaceType_1.InterfaceType('iFace2');
+            iFace2.addMember('age', null, IntegerType_1.IntegerType.instance, SymbolTable_1.SymbolTypeFlag.typetime);
+            iFace2.addMember('name', null, StringType_1.StringType.instance, SymbolTable_1.SymbolTypeFlag.typetime);
+            const myUnion = new UnionType_1.UnionType([iFace1, iFace2]);
+            const options = { flags: SymbolTable_1.SymbolTypeFlag.typetime };
+            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.typetime);
+            const heightType2 = myUnion.getMemberType('height', options);
+            (0, testHelpers_spec_1.expectTypeToBe)(heightType2, FloatType_1.FloatType);
+        });
+    });
+});
+//# 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,KAAK,CAAC;QACxE,IAAA,aAAM,EAAC,yBAAyB,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IAC3E,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;QAE/F,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,QAAQ,CAAC,CAAC;QAC7E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,EAAE,4BAAc,CAAC,QAAQ,CAAC,CAAC;QAC7E,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,qBAAS,CAAC,QAAQ,EAAE,4BAAc,CAAC,QAAQ,CAAC,CAAC;QAC9E,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,QAAQ,CAAC,CAAC;YAC7E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,EAAE,4BAAc,CAAC,QAAQ,CAAC,CAAC;YAC7E,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,qBAAS,CAAC,QAAQ,EAAE,4BAAc,CAAC,QAAQ,CAAC,CAAC;YAE9E,MAAM,MAAM,GAAG,IAAI,6BAAa,CAAC,QAAQ,CAAC,CAAC;YAC3C,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,EAAE,4BAAc,CAAC,QAAQ,CAAC,CAAC;YAC7E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,EAAE,4BAAc,CAAC,QAAQ,CAAC,CAAC;YAC7E,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,EAAE,4BAAc,CAAC,QAAQ,CAAC,CAAC;YAE/E,MAAM,OAAO,GAAG,IAAI,qBAAS,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;YAEhD,MAAM,OAAO,GAAG,EAAE,KAAK,EAAE,4BAAc,CAAC,QAAQ,EAAE,CAAC;YACnD,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,QAAQ,CAAC,CAAC;YAC7E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,EAAE,4BAAc,CAAC,QAAQ,CAAC,CAAC;YAC7E,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,qBAAS,CAAC,QAAQ,EAAE,4BAAc,CAAC,QAAQ,CAAC,CAAC;YAE9E,MAAM,MAAM,GAAG,IAAI,6BAAa,CAAC,QAAQ,CAAC,CAAC;YAC3C,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,EAAE,4BAAc,CAAC,QAAQ,CAAC,CAAC;YAC7E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,EAAE,4BAAc,CAAC,QAAQ,CAAC,CAAC;YAE7E,MAAM,OAAO,GAAG,IAAI,qBAAS,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;YAChD,MAAM,OAAO,GAAG,EAAE,KAAK,EAAE,4BAAc,CAAC,QAAQ,EAAE,CAAC;YACnD,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,QAAQ,CAAC,CAAC;YAC9E,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;AACP,CAAC,CAAC,CAAC"}

package/dist/types/VoidType.d.ts

@@ -1,9 +1,12 @@
-import type { BscType } from './BscType';
-export declare class VoidType implements BscType {
+import { BscType } from './BscType';
+import { BscTypeKind } from './BscTypeKind';
+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): boolean;
     toString(): string;
     toTypeString(): string;
+    isEqual(targetType: BscType): boolean;
 }

package/dist/types/VoidType.js

@@ -1,17 +1,18 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.VoidType = void 0;
-const DynamicType_1 = require("./DynamicType");
-class VoidType {
+const reflection_1 = require("../astUtils/reflection");
+const BscType_1 = require("./BscType");
+const BscTypeKind_1 = require("./BscTypeKind");
+class VoidType extends BscType_1.BscType {
     constructor(typeText) {
+        super();
         this.typeText = typeText;
+        this.kind = BscTypeKind_1.BscTypeKind.VoidType;
     }
-    isAssignableTo(targetType) {
-        return (targetType instanceof VoidType ||
-            targetType instanceof DynamicType_1.DynamicType);
-    }
-    isConvertibleTo(targetType) {
-        return this.isAssignableTo(targetType);
+    isTypeCompatible(targetType) {
+        return ((0, reflection_1.isVoidType)(targetType) ||
+            (0, reflection_1.isDynamicType)(targetType));
     }
     toString() {
         var _a;
@@ -20,6 +21,10 @@ class VoidType {
     toTypeString() {
         return this.toString();
     }
+    isEqual(targetType) {
+        return (0, reflection_1.isVoidType)(targetType);
+    }
 }
 exports.VoidType = VoidType;
+VoidType.instance = new VoidType('void');
 //# 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":";;;AACA,+CAA4C;AAE5C,MAAa,QAAQ;IACjB,YACW,QAAiB;QAAjB,aAAQ,GAAR,QAAQ,CAAS;IACxB,CAAC;IAEE,cAAc,CAAC,UAAmB;QACrC,OAAO,CACH,UAAU,YAAY,QAAQ;YAC9B,UAAU,YAAY,yBAAW,CACpC,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;CACJ;AAvBD,4BAuBC"}
+{"version":3,"file":"VoidType.js","sourceRoot":"","sources":["../../src/types/VoidType.ts"],"names":[],"mappings":";;;AAAA,uDAAmE;AACnE,uCAAoC;AACpC,+CAA4C;AAE5C,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;QACvC,OAAO,CACH,IAAA,uBAAU,EAAC,UAAU,CAAC;YACtB,IAAA,0BAAa,EAAC,UAAU,CAAC,CAC5B,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;;AA5BL,4BA6BC;AApBiB,iBAAQ,GAAG,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC"}

package/dist/types/VoidType.spec.js

@@ -5,8 +5,8 @@ const DynamicType_1 = require("./DynamicType");
 const VoidType_1 = require("./VoidType");
 describe('VoidType', () => {
     it('is equivalent to dynamic types', () => {
-        (0, chai_config_spec_1.expect)(new VoidType_1.VoidType().isAssignableTo(new VoidType_1.VoidType())).to.be.true;
-        (0, chai_config_spec_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,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,cAAc,CAAC,IAAI,mBAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACjE,IAAA,yBAAM,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,130 @@
+"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");
+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');
+        }
+    });
+});
+//# 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;AAG5C,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"}

package/dist/types/helpers.d.ts

@@ -0,0 +1,19 @@
+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[];
+/**
+ * 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 reduceTypesToMostGeneric(types: BscType[]): BscType[];
+/**
+ * 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 getUniqueType(types: BscType[], unionTypeFactory: (types: BscType[]) => BscType): BscType;