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

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

@@ -0,0 +1 @@
+{"version":3,"file":"InterfaceType.spec.js","sourceRoot":"","sources":["../../src/types/InterfaceType.spec.ts"],"names":[],"mappings":";;AAAA,0DAA6C;AAC7C,iCAA+B;AAE/B,+CAA4C;AAC5C,+CAA4C;AAC5C,mDAAgD;AAChD,6CAA0C;AAC1C,6CAA0C;AAG1C,iEAA8D;AAC9D,2CAAwC;AACxC,+CAA4C;AAC5C,8DAAiE;AAGjE,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAC3B,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;QACxB,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YAClD,IAAA,yBAAM,EAAE,KAAK,CAAC,EAAE,CAAS,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;YAC7B,IAAA,yBAAM,EAAE,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,uBAAU,EAAE,EAAE,CAAS,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;QAChG,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACpC,IAAA,yBAAM,EACD,KAAK,CAAC;gBACH,IAAI,EAAE,IAAI,uBAAU,EAAE;gBACtB,MAAM,EAAE,KAAK,CAAC;oBACV,GAAG,EAAE,IAAI,yBAAW,EAAE;iBACzB,CAAC;aACL,CACQ,CAAC,UAAU,EAAE,CACzB,CAAC,EAAE,CAAC,GAAG,CAAC,8CAA8C,CAAC,CAAC;QAC7D,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC9B,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE;YACb,gBAAgB,CAAC;gBACb,IAAI,EAAE,IAAI,uBAAU,EAAE;aACzB,EAAE;gBACC,IAAI,EAAE,IAAI,uBAAU,EAAE;aACzB,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;YAC3C,MAAM,KAAK,GAAG,IAAI,6BAAa,CAAC,SAAS,CAAC,CAAC;YAC3C,IAAA,yBAAM,EAAC,KAAK,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YACtD,IAAA,yBAAM,EAAC,KAAK,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QACrD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YACzD,4GAA4G;YAC5G,kEAAkE;YAClE,8EAA8E;YAC9E,yBAAyB,CAAC,IAAI,qBAAS,EAAE,EAAE,IAAI,6BAAa,CAAC,SAAS,CAAC,CAAC,CAAC;YACzE,yBAAyB,CAAC,IAAI,2CAAoB,EAAE,EAAE,IAAI,6BAAa,CAAC,oBAAoB,CAAC,CAAC,CAAC;YAC/F,yBAAyB,CAAC,IAAI,yBAAW,EAAE,EAAE,IAAI,6BAAa,CAAC,WAAW,CAAC,CAAC,CAAC;YAC7E,yBAAyB,CAAC,IAAI,yBAAW,EAAE,EAAE,IAAI,6BAAa,CAAC,OAAO,CAAC,CAAC,CAAC;QAC7E,CAAC,CAAC,CAAC;IAGP,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE;QACpB,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;YAC5B,MAAM,QAAQ,GAAG,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,uBAAU,EAAE,EAAE,CAAC,CAAC;YACnD,IAAA,yBAAM,EAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAClD,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACnD,IAAA,yBAAM,EACF,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,uBAAU,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,uBAAU,EAAE,EAAE,CAAC,CAAC,CAC/E,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAClB,CAAC,CAAC,CAAC;QAGH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;YACtC,IAAA,yBAAM,EACF,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,uBAAU,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,IAAI,yBAAW,EAAE,EAAE,CAAC,CAAC,CAChF,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAClB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;;YACjC,IAAI,aAAa,GAAG,KAAK,CAAC,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,EAAE,EAAE,UAAU,CAAC,CAAC;YACrE,aAAa,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,EAAE,aAAa,iCAAyB,CAAC;YAE3E,IAAI,aAAa,GAAG,KAAK,CAAC,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,EAAE,EAAE,UAAU,CAAC,CAAC;YACrE,aAAa,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,EAAE,aAAa,iCAAyB,CAAC;YAE3E,IAAI,UAAU,GAAG,EAA2B,CAAC;YAC7C,IAAI,aAAa,GAAG,aAAa,CAAC,OAAO,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;YACrE,IAAA,yBAAM,EAAC,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YACjC,IAAA,yBAAM,EAAC,MAAA,UAAU,aAAV,UAAU,uBAAV,UAAU,CAAE,eAAe,mCAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAC1D,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC9B,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;YACxD,IAAA,yBAAM,EACF,KAAK,CAAC;gBACF,IAAI,EAAE,IAAI,uBAAU,EAAE;aACzB,CAAC,CAAC,gBAAgB,CAAC,IAAI,yBAAW,EAAE,CAAC,CACzC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAClB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;YAChC,gBAAgB,CAAC;gBACb,IAAI,EAAE,IAAI,uBAAU,EAAE;aACzB,EAAE;gBACC,IAAI,EAAE,IAAI,uBAAU,EAAE;aACzB,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;YACpF,gBAAgB,CAAC;gBACb,IAAI,EAAE,IAAI,uBAAU,EAAE;aACzB,EAAE;gBACC,IAAI,EAAE,IAAI,uBAAU,EAAE;gBACtB,GAAG,EAAE,IAAI,yBAAW,EAAE;aACzB,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;YACzE,mBAAmB,CAAC;gBAChB,IAAI,EAAE,IAAI,uBAAU,EAAE;gBACtB,GAAG,EAAE,IAAI,yBAAW,EAAE;aACzB,EAAE;gBACC,IAAI,EAAE,IAAI,uBAAU,EAAE;aACzB,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAC9C,MAAM,QAAQ,GAAG,KAAK,CAAC;gBACnB,IAAI,EAAE,IAAI,uBAAU,EAAE;gBACtB,GAAG,EAAE,IAAI,yBAAW,EAAE;aACzB,CAAC,CAAC;YACH,MAAM,QAAQ,GAAG,KAAK,CAAC;gBACnB,GAAG,EAAE,IAAI,yBAAW,EAAE;gBACtB,IAAI,EAAE,IAAI,uBAAU,EAAE;aACzB,CAAC,CAAC;YAEH,IAAA,yBAAM,EAAC,QAAQ,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YACvD,IAAA,yBAAM,EAAC,QAAQ,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YAClD,mBAAmB,CAAC;gBAChB,IAAI,EAAE,IAAI,uBAAU,EAAE;aACzB,EAAE;gBACC,IAAI,EAAE,IAAI,yBAAW,EAAE;aAC1B,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YACzD,mBAAmB,CAAC;gBAChB,MAAM,EAAE,KAAK,CAAC;oBACV,IAAI,EAAE,IAAI,uBAAU,EAAE;iBACzB,CAAC;aACL,EAAE;gBACC,MAAM,EAAE,KAAK,CAAC;oBACV,IAAI,EAAE,IAAI,yBAAW,EAAE;iBAC1B,CAAC;aACL,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC3D,mBAAmB,CAAC;gBAChB,MAAM,EAAE,KAAK,CAAC;oBACV,IAAI,EAAE,IAAI,uBAAU,EAAE;oBACtB,GAAG,EAAE,IAAI,yBAAW,EAAE;iBACzB,CAAC;aACL,EAAE;gBACC,MAAM,EAAE,KAAK,CAAC;oBACV,IAAI,EAAE,IAAI,uBAAU,EAAE;iBACzB,CAAC;aACL,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YACzD,gBAAgB,CAAC;gBACb,MAAM,EAAE,KAAK,CAAC;oBACV,IAAI,EAAE,IAAI,uBAAU,EAAE;oBACtB,GAAG,EAAE,IAAI,yBAAW,EAAE;iBACzB,CAAC;aACL,EAAE;gBACC,MAAM,EAAE,KAAK,CAAC;oBACV,IAAI,EAAE,IAAI,uBAAU,EAAE;oBACtB,GAAG,EAAE,IAAI,yBAAW,EAAE;iBACzB,CAAC;aACL,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC3D,gBAAgB,CAAC;gBACb,MAAM,EAAE,IAAI,yBAAW,EAAE;aAC5B,EAAE;gBACC,MAAM,EAAE,KAAK,CAAC;oBACV,IAAI,EAAE,IAAI,uBAAU,EAAE;oBACtB,GAAG,EAAE,IAAI,yBAAW,EAAE;iBACzB,CAAC;aACL,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC3D,gBAAgB,CAAC;gBACb,MAAM,EAAE,KAAK,CAAC;oBACV,IAAI,EAAE,IAAI,uBAAU,EAAE;oBACtB,GAAG,EAAE,IAAI,yBAAW,EAAE;iBACzB,CAAC;aACL,EAAE;gBACC,MAAM,EAAE,IAAI,yBAAW,EAAE;aAC5B,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC5D,gBAAgB,CAAC;gBACb,MAAM,EAAE,KAAK,CAAC;oBACV,IAAI,EAAE,IAAI,uBAAU,EAAE;oBACtB,GAAG,EAAE,IAAI,yBAAW,EAAE;iBACzB,CAAC;aACL,EAAE;gBACC,MAAM,EAAE,IAAI,uBAAU,EAAE;aAC3B,CAAC,CAAC;QACP,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC;AAEH,IAAI,UAAU,GAAG,CAAC,CAAC;AAEnB,SAAS,KAAK,CAAC,OAAgC,EAAE,IAAa,EAAE,UAA0C;IACtG,IAAI,GAAG,IAAI,aAAJ,IAAI,cAAJ,IAAI,GAAI,WAAW,GAAG,UAAU,CAAC;IACxC,UAAU,EAAE,CAAC;IACb,MAAM,SAAS,GAAG,IAAI,6BAAa,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAEtD,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE;QACvB,SAAS,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,iCAAyB,CAAC;KACxE;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAED,SAAS,gBAAgB,CAAC,aAAsC,EAAE,aAAsC;IACpG,MAAM,WAAW,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC;IACzC,MAAM,WAAW,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC;IACzC,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,WAAW,CAAC,EAAE;QAC5C,cAAM,CAAC,IAAI,CAAC,iBAAkB,WAAmB,CAAC,UAAU,EAAE,6BAA8B,WAAmB,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;KACnI;AACL,CAAC;AAED,SAAS,mBAAmB,CAAC,aAAsC,EAAE,aAAsC;IACvG,MAAM,WAAW,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC;IACzC,MAAM,WAAW,GAAG,KAAK,CAAC,aAAa,CAAC,CAAC;IACzC,IAAI,WAAW,CAAC,gBAAgB,CAAC,WAAW,CAAC,EAAE;QAC3C,cAAM,CAAC,IAAI,CAAC,iBAAkB,WAAmB,CAAC,UAAU,EAAE,iCAAkC,WAAmB,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;KACvI;AACL,CAAC;AAED,SAAS,yBAAyB,CAAC,MAAe,EAAE,MAAe;IAC/D,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE;QACxC,cAAM,CAAC,IAAI,CAAC,IAAA,6CAAwB,EAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,MAAM,CAAC,QAAQ,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;KACrF;IACD,IAAI,GAAG,EAAE,CAAC;IACV,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE;QACxC,cAAM,CAAC,IAAI,CAAC,IAAA,6CAAwB,EAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,MAAM,CAAC,QAAQ,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;KACrF;AACL,CAAC"}

package/dist/types/IntersectionType.d.ts

@@ -0,0 +1,29 @@
+import type { GetTypeOptions, TypeCompatibilityData } from '../interfaces';
+import { BscType } from './BscType';
+import { BscTypeKind } from './BscTypeKind';
+import { SymbolTable } from '../SymbolTable';
+export declare function intersectionTypeFactory(types: BscType[]): IntersectionType;
+export declare class IntersectionType extends BscType {
+    types: BscType[];
+    constructor(types: BscType[]);
+    readonly kind = BscTypeKind.IntersectionType;
+    readonly callFuncAssociatedTypesTable: SymbolTable;
+    addType(type: BscType): void;
+    isResolvable(): boolean;
+    private getMemberTypeFromInnerTypes;
+    private getCallFuncFromInnerTypes;
+    getMemberType(name: string, options: GetTypeOptions): BscType;
+    getCallFuncType(name: string, options: GetTypeOptions): BscType;
+    get returnType(): BscType;
+    isTypeCompatible(targetType: BscType, data?: TypeCompatibilityData): boolean;
+    toString(): string;
+    /**
+     * Used for transpilation
+     */
+    toTypeString(): string;
+    checkAllMemberTypes(predicate: (BscType: any) => boolean): boolean;
+    isEqual(targetType: BscType): boolean;
+    getMemberTable(): SymbolTable;
+    private _hasMemberTypeWithDefaultDynamicMember;
+    get hasMemberTypeWithDefaultDynamicMember(): boolean;
+}

package/dist/types/IntersectionType.js

@@ -0,0 +1,253 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.IntersectionType = exports.intersectionTypeFactory = 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");
+const util_1 = require("../util");
+const DynamicType_1 = require("./DynamicType");
+function intersectionTypeFactory(types) {
+    return new IntersectionType(types);
+}
+exports.intersectionTypeFactory = intersectionTypeFactory;
+class IntersectionType extends BscType_1.BscType {
+    constructor(types) {
+        super((0, helpers_1.joinTypesString)(types, 'and', BscTypeKind_1.BscTypeKind.IntersectionType));
+        this.types = types;
+        this.kind = BscTypeKind_1.BscTypeKind.IntersectionType;
+        this._hasMemberTypeWithDefaultDynamicMember = undefined;
+        this.callFuncAssociatedTypesTable = new SymbolTable_1.SymbolTable(`Intersection: CallFuncAssociatedTypes`);
+    }
+    addType(type) {
+        this.types.push(type);
+    }
+    isResolvable() {
+        for (const type of this.types) {
+            // resolvable if any inner type is resolvable
+            if (type.isResolvable()) {
+                return true;
+            }
+        }
+        return false;
+    }
+    getMemberTypeFromInnerTypes(name, options) {
+        const typeFromMembers = this.types.map((innerType) => {
+            return innerType === null || innerType === void 0 ? void 0 : innerType.getMemberType(name, Object.assign(Object.assign({}, options), { ignoreDefaultDynamicMembers: true }));
+        });
+        let filteredTypes = (0, helpers_1.reduceTypesForIntersectionType)(typeFromMembers.map(t => t).filter(t => t !== undefined));
+        if (filteredTypes.length === 0 && this.types.some(helpers_1.isTypeWithPotentialDefaultDynamicMember)) {
+            const typesFromMembersWithDynamicAA = this.types.map((innerType) => {
+                return innerType === null || innerType === void 0 ? void 0 : innerType.getMemberType(name, options);
+            });
+            filteredTypes = (0, helpers_1.reduceTypesForIntersectionType)(typesFromMembersWithDynamicAA.map(t => t).filter(t => t !== undefined));
+        }
+        if (filteredTypes.length === 0) {
+            return undefined;
+        }
+        else if (filteredTypes.length === 1) {
+            return filteredTypes[0];
+        }
+        return new IntersectionType(filteredTypes);
+    }
+    getCallFuncFromInnerTypes(name, options) {
+        const typeFromMembers = (0, helpers_1.reduceTypesForIntersectionType)(this.types.map((innerType) => innerType === null || innerType === void 0 ? void 0 : innerType.getCallFuncType(name, options)).filter(t => t !== undefined));
+        if (typeFromMembers.length === 0) {
+            return undefined;
+        }
+        else if (typeFromMembers.length === 1) {
+            return typeFromMembers[0];
+        }
+        return new IntersectionType(typeFromMembers);
+    }
+    getMemberType(name, options) {
+        const innerTypesMemberType = this.getMemberTypeFromInnerTypes(name, options);
+        if (!innerTypesMemberType) {
+            // 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: `IntersectionType MemberTable: '${this.__identifier}'`,
+                    getSymbolType: (innerName, innerOptions) => {
+                        const referenceTypeInnerMemberTypes = this.getMemberTypeFromInnerTypes(name, options);
+                        if (!referenceTypeInnerMemberTypes) {
+                            if (this.hasMemberTypeWithDefaultDynamicMember && !innerOptions.ignoreDefaultDynamicMembers) {
+                                return DynamicType_1.DynamicType.instance;
+                            }
+                            return undefined;
+                        }
+                        return referenceTypeInnerMemberTypes;
+                    },
+                    setCachedType: (innerName, innerCacheEntry, innerOptions) => {
+                        // TODO: is this even cachable? This is a NO-OP for now, and it shouldn't hurt anything
+                    },
+                    addSibling: (symbolTable) => {
+                        // TODO: I don't know what this means in this context?
+                    }
+                };
+            });
+        }
+        if (!(innerTypesMemberType === null || innerTypesMemberType === void 0 ? void 0 : innerTypesMemberType.isResolvable())) {
+            const shouldCreateDynamicAAMember = this.hasMemberTypeWithDefaultDynamicMember && !options.ignoreDefaultDynamicMembers;
+            if (shouldCreateDynamicAAMember) {
+                return new ReferenceType_1.ReferenceTypeWithDefault(innerTypesMemberType, DynamicType_1.DynamicType.instance);
+            }
+        }
+        return innerTypesMemberType;
+    }
+    getCallFuncType(name, options) {
+        const resultCallFuncType = this.getCallFuncFromInnerTypes(name, options);
+        if (!resultCallFuncType) {
+            // 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: `IntersectionType CallFunc MemberTable: '${this.__identifier}'`,
+                    getSymbolType: (innerName, innerOptions) => {
+                        const referenceTypeInnerMemberType = this.getCallFuncFromInnerTypes(name, options);
+                        if (!referenceTypeInnerMemberType) {
+                            if (this.hasMemberTypeWithDefaultDynamicMember && !innerOptions.ignoreDefaultDynamicMembers) {
+                                return DynamicType_1.DynamicType.instance;
+                            }
+                        }
+                        return referenceTypeInnerMemberType;
+                    },
+                    setCachedType: (innerName, innerCacheEntry, innerOptions) => {
+                        // TODO: is this even cachable? This is a NO-OP for now, and it shouldn't hurt anything
+                    },
+                    addSibling: (symbolTable) => {
+                        // TODO: I don't know what this means in this context?
+                    }
+                };
+            });
+        }
+        if (!(resultCallFuncType === null || resultCallFuncType === void 0 ? void 0 : resultCallFuncType.isResolvable())) {
+            const shouldCreateDynamicAAMember = this.hasMemberTypeWithDefaultDynamicMember && !options.ignoreDefaultDynamicMembers;
+            if (shouldCreateDynamicAAMember) {
+                return new ReferenceType_1.ReferenceTypeWithDefault(resultCallFuncType, DynamicType_1.DynamicType.instance);
+            }
+        }
+        if ((0, reflection_1.isTypedFunctionType)(resultCallFuncType)) {
+            const typesToCheck = [...resultCallFuncType.params.map(p => p.type), resultCallFuncType.returnType];
+            for (const type of typesToCheck) {
+                (0, helpers_1.addAssociatedTypesTableAsSiblingToMemberTable)(type, this.callFuncAssociatedTypesTable, 1 /* SymbolTypeFlag.runtime */);
+            }
+        }
+        return resultCallFuncType;
+    }
+    get returnType() {
+        return util_1.util.getReturnTypeOfIntersectionOfFunctions(this);
+    }
+    isTypeCompatible(targetType, data) {
+        if ((0, reflection_1.isDynamicType)(targetType) || (0, reflection_1.isObjectType)(targetType) || this === targetType) {
+            return true;
+        }
+        if ((0, helpers_1.isEnumTypeCompatible)(this, targetType, data)) {
+            return true;
+        }
+        if ((0, reflection_1.isIntersectionType)(targetType)) {
+            // check if this all the types of this type are in the target (eg, target is a super set of this types)
+            let allMembersSatisfied = true;
+            for (const memberType of this.types) {
+                let foundCompatibleInnerType = false;
+                for (const targetInnerType of targetType.types) {
+                    if (memberType.isTypeCompatible(targetInnerType, data)) {
+                        foundCompatibleInnerType = true;
+                        break;
+                    }
+                }
+                if (!foundCompatibleInnerType) {
+                    allMembersSatisfied = false;
+                }
+            }
+            return allMembersSatisfied;
+        }
+        let foundCompatibleInnerType = true;
+        for (const innerType of this.types) {
+            if (!innerType.isTypeCompatible(targetType, data)) {
+                foundCompatibleInnerType = false;
+            }
+        }
+        return foundCompatibleInnerType;
+    }
+    toString() {
+        return (0, helpers_1.joinTypesString)(this.types, 'and', BscTypeKind_1.BscTypeKind.IntersectionType);
+    }
+    /**
+     * Used for transpilation
+     */
+    toTypeString() {
+        const uniqueTypeStrings = new Set((0, helpers_1.getAllTypesFromCompoundType)(this).map(t => t.toTypeString()));
+        if (uniqueTypeStrings.size === 1) {
+            return uniqueTypeStrings.values().next().value;
+        }
+        return 'dynamic';
+    }
+    checkAllMemberTypes(predicate) {
+        return this.types.reduce((acc, type) => {
+            return acc && predicate(type);
+        }, true);
+    }
+    isEqual(targetType) {
+        if (!(0, reflection_1.isIntersectionType)(targetType)) {
+            return false;
+        }
+        if (this === targetType) {
+            return true;
+        }
+        for (const type of this.types) {
+            let foundMatch = false;
+            for (const targetTypeInner of targetType.types) {
+                if (type.isEqual(targetTypeInner)) {
+                    foundMatch = true;
+                    break;
+                }
+            }
+            if (!foundMatch) {
+                return false;
+            }
+        }
+        return true;
+    }
+    getMemberTable() {
+        const intersectionTable = new SymbolTable_1.SymbolTable(this.__identifier + ' IntersectionTable');
+        for (const type of this.types) {
+            type.addBuiltInInterfaces();
+            for (const symbol of type.getMemberTable().getAllSymbols(1 /* SymbolTypeFlag.runtime */)) {
+                const foundType = this.getMemberTypeFromInnerTypes(symbol.name, { flags: 1 /* SymbolTypeFlag.runtime */ });
+                intersectionTable.addSymbol(symbol.name, {}, foundType, 1 /* SymbolTypeFlag.runtime */);
+            }
+        }
+        const firstType = this.types[0];
+        if (!firstType) {
+            return intersectionTable;
+        }
+        firstType.addBuiltInInterfaces();
+        for (const symbol of firstType.getMemberTable().getAllSymbols(1 /* SymbolTypeFlag.runtime */)) {
+            const foundType = this.getMemberTypeFromInnerTypes(symbol.name, { flags: 1 /* SymbolTypeFlag.runtime */ });
+            intersectionTable.addSymbol(symbol.name, {}, foundType, 1 /* SymbolTypeFlag.runtime */);
+        }
+        return intersectionTable;
+    }
+    get hasMemberTypeWithDefaultDynamicMember() {
+        if (this._hasMemberTypeWithDefaultDynamicMember !== undefined) {
+            return this._hasMemberTypeWithDefaultDynamicMember;
+        }
+        this._hasMemberTypeWithDefaultDynamicMember = false;
+        for (const type of this.types) {
+            if ((0, helpers_1.isTypeWithPotentialDefaultDynamicMember)(type)) {
+                this._hasMemberTypeWithDefaultDynamicMember = true;
+                break;
+            }
+        }
+        return this._hasMemberTypeWithDefaultDynamicMember;
+    }
+}
+exports.IntersectionType = IntersectionType;
+BuiltInInterfaceAdder_1.BuiltInInterfaceAdder.intersectionTypeFactory = (types) => {
+    return new IntersectionType(types);
+};
+//# sourceMappingURL=IntersectionType.js.map

package/dist/types/IntersectionType.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"IntersectionType.js","sourceRoot":"","sources":["../../src/types/IntersectionType.ts"],"names":[],"mappings":";;;AACA,uDAA8G;AAC9G,uCAAoC;AACpC,mDAA0E;AAC1E,uCAAuN;AACvN,+CAA4C;AAE5C,gDAA6C;AAE7C,mEAAgE;AAChE,kCAA+B;AAC/B,+CAA4C;AAE5C,SAAgB,uBAAuB,CAAC,KAAgB;IACpD,OAAO,IAAI,gBAAgB,CAAC,KAAK,CAAC,CAAC;AACvC,CAAC;AAFD,0DAEC;AAED,MAAa,gBAAiB,SAAQ,iBAAO;IACzC,YACW,KAAgB;QAEvB,KAAK,CAAC,IAAA,yBAAe,EAAC,KAAK,EAAE,KAAK,EAAE,yBAAW,CAAC,gBAAgB,CAAC,CAAC,CAAC;QAF5D,UAAK,GAAL,KAAK,CAAW;QAMX,SAAI,GAAG,yBAAW,CAAC,gBAAgB,CAAC;QA0O5C,2CAAsC,GAAY,SAAS,CAAC;QA7OhE,IAAI,CAAC,4BAA4B,GAAG,IAAI,yBAAW,CAAC,uCAAuC,CAAC,CAAC;IACjG,CAAC;IAMM,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,6CAA6C;YAC7C,IAAI,IAAI,CAAC,YAAY,EAAE,EAAE;gBACrB,OAAO,IAAI,CAAC;aACf;SACJ;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAEO,2BAA2B,CAAC,IAAY,EAAE,OAAuB;QACrE,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;YACjD,OAAO,SAAS,aAAT,SAAS,uBAAT,SAAS,CAAE,aAAa,CAAC,IAAI,kCAAO,OAAO,KAAE,2BAA2B,EAAE,IAAI,IAAG,CAAC;QAC7F,CAAC,CAAC,CAAC;QACH,IAAI,aAAa,GAAG,IAAA,wCAA8B,EAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC;QAE7G,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,iDAAuC,CAAC,EAAE;YACxF,MAAM,6BAA6B,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;gBAC/D,OAAO,SAAS,aAAT,SAAS,uBAAT,SAAS,CAAE,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACnD,CAAC,CAAC,CAAC;YACH,aAAa,GAAG,IAAA,wCAA8B,EAAC,6BAA6B,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC;SAC1H;QACD,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE;YAC5B,OAAO,SAAS,CAAC;SACpB;aAAM,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE;YACnC,OAAO,aAAa,CAAC,CAAC,CAAC,CAAC;SAC3B;QACD,OAAO,IAAI,gBAAgB,CAAC,aAAa,CAAC,CAAC;IAC/C,CAAC;IAEO,yBAAyB,CAAC,IAAY,EAAE,OAAuB;QACnE,MAAM,eAAe,GAAG,IAAA,wCAA8B,EAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,aAAT,SAAS,uBAAT,SAAS,CAAE,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC;QAE9J,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE;YAC9B,OAAO,SAAS,CAAC;SACpB;aAAM,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE;YACrC,OAAO,eAAe,CAAC,CAAC,CAAC,CAAC;SAC7B;QACD,OAAO,IAAI,gBAAgB,CAAC,eAAe,CAAC,CAAC;IACjD,CAAC;IAED,aAAa,CAAC,IAAY,EAAE,OAAuB;QAC/C,MAAM,oBAAoB,GAAG,IAAI,CAAC,2BAA2B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC7E,IAAI,CAAC,oBAAoB,EAAE;YACvB,0DAA0D;YAC1D,8CAA8C;YAC9C,OAAO,IAAI,6BAAa,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE;gBACrD,OAAO;oBACH,IAAI,EAAE,kCAAkC,IAAI,CAAC,YAAY,GAAG;oBAC5D,aAAa,EAAE,CAAC,SAAiB,EAAE,YAA4B,EAAE,EAAE;wBAC/D,MAAM,6BAA6B,GAAG,IAAI,CAAC,2BAA2B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;wBACtF,IAAI,CAAC,6BAA6B,EAAE;4BAChC,IAAI,IAAI,CAAC,qCAAqC,IAAI,CAAC,YAAY,CAAC,2BAA2B,EAAE;gCACzF,OAAO,yBAAW,CAAC,QAAQ,CAAC;6BAC/B;4BACD,OAAO,SAAS,CAAC;yBACpB;wBACD,OAAO,6BAA6B,CAAC;oBACzC,CAAC;oBACD,aAAa,EAAE,CAAC,SAAiB,EAAE,eAA+B,EAAE,YAA4B,EAAE,EAAE;wBAChG,uFAAuF;oBAC3F,CAAC;oBACD,UAAU,EAAE,CAAC,WAAwB,EAAE,EAAE;wBACrC,sDAAsD;oBAC1D,CAAC;iBACJ,CAAC;YACN,CAAC,CAAC,CAAC;SACN;QACD,IAAI,CAAC,CAAA,oBAAoB,aAApB,oBAAoB,uBAApB,oBAAoB,CAAE,YAAY,EAAE,CAAA,EAAE;YACvC,MAAM,2BAA2B,GAAG,IAAI,CAAC,qCAAqC,IAAI,CAAC,OAAO,CAAC,2BAA2B,CAAC;YACvH,IAAI,2BAA2B,EAAE;gBAC7B,OAAO,IAAI,wCAAwB,CAAC,oBAAoB,EAAE,yBAAW,CAAC,QAAQ,CAAC,CAAC;aACnF;SACJ;QACD,OAAO,oBAAoB,CAAC;IAChC,CAAC;IAED,eAAe,CAAC,IAAY,EAAE,OAAuB;QACjD,MAAM,kBAAkB,GAAG,IAAI,CAAC,yBAAyB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACzE,IAAI,CAAC,kBAAkB,EAAE;YACrB,0DAA0D;YAC1D,8CAA8C;YAC9C,OAAO,IAAI,6BAAa,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE;gBACrD,OAAO;oBACH,IAAI,EAAE,2CAA2C,IAAI,CAAC,YAAY,GAAG;oBACrE,aAAa,EAAE,CAAC,SAAiB,EAAE,YAA4B,EAAE,EAAE;wBAC/D,MAAM,4BAA4B,GAAG,IAAI,CAAC,yBAAyB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;wBACnF,IAAI,CAAC,4BAA4B,EAAE;4BAC/B,IAAI,IAAI,CAAC,qCAAqC,IAAI,CAAC,YAAY,CAAC,2BAA2B,EAAE;gCACzF,OAAO,yBAAW,CAAC,QAAQ,CAAC;6BAC/B;yBACJ;wBACD,OAAO,4BAA4B,CAAC;oBACxC,CAAC;oBACD,aAAa,EAAE,CAAC,SAAiB,EAAE,eAA+B,EAAE,YAA4B,EAAE,EAAE;wBAChG,uFAAuF;oBAC3F,CAAC;oBACD,UAAU,EAAE,CAAC,WAAwB,EAAE,EAAE;wBACrC,sDAAsD;oBAC1D,CAAC;iBACJ,CAAC;YACN,CAAC,CAAC,CAAC;SACN;QAED,IAAI,CAAC,CAAA,kBAAkB,aAAlB,kBAAkB,uBAAlB,kBAAkB,CAAE,YAAY,EAAE,CAAA,EAAE;YACrC,MAAM,2BAA2B,GAAG,IAAI,CAAC,qCAAqC,IAAI,CAAC,OAAO,CAAC,2BAA2B,CAAC;YACvH,IAAI,2BAA2B,EAAE;gBAC7B,OAAO,IAAI,wCAAwB,CAAC,kBAAkB,EAAE,yBAAW,CAAC,QAAQ,CAAC,CAAC;aACjF;SACJ;QAED,IAAI,IAAA,gCAAmB,EAAC,kBAAkB,CAAC,EAAE;YACzC,MAAM,YAAY,GAAG,CAAC,GAAG,kBAAkB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,kBAAkB,CAAC,UAAU,CAAC,CAAC;YAEpG,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE;gBAC7B,IAAA,uDAA6C,EAAC,IAAI,EAAE,IAAI,CAAC,4BAA4B,iCAAyB,CAAC;aAClH;SACJ;QACD,OAAO,kBAAkB,CAAC;IAC9B,CAAC;IAED,IAAI,UAAU;QACV,OAAO,WAAI,CAAC,sCAAsC,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC;IAGD,gBAAgB,CAAC,UAAmB,EAAE,IAA4B;QAC9D,IAAI,IAAA,0BAAa,EAAC,UAAU,CAAC,IAAI,IAAA,yBAAY,EAAC,UAAU,CAAC,IAAI,IAAI,KAAK,UAAU,EAAE;YAC9E,OAAO,IAAI,CAAC;SACf;QACD,IAAI,IAAA,8BAAoB,EAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,EAAE;YAC9C,OAAO,IAAI,CAAC;SACf;QACD,IAAI,IAAA,+BAAkB,EAAC,UAAU,CAAC,EAAE;YAChC,uGAAuG;YACvG,IAAI,mBAAmB,GAAG,IAAI,CAAC;YAC/B,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,KAAK,EAAE;gBACjC,IAAI,wBAAwB,GAAG,KAAK,CAAC;gBACrC,KAAK,MAAM,eAAe,IAAI,UAAU,CAAC,KAAK,EAAE;oBAC5C,IAAI,UAAU,CAAC,gBAAgB,CAAC,eAAe,EAAE,IAAI,CAAC,EAAE;wBACpD,wBAAwB,GAAG,IAAI,CAAC;wBAChC,MAAM;qBACT;iBACJ;gBACD,IAAI,CAAC,wBAAwB,EAAE;oBAC3B,mBAAmB,GAAG,KAAK,CAAC;iBAC/B;aACJ;YACD,OAAO,mBAAmB,CAAC;SAC9B;QACD,IAAI,wBAAwB,GAAG,IAAI,CAAC;QACpC,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,KAAK,EAAE;YAChC,IAAI,CAAC,SAAS,CAAC,gBAAgB,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE;gBAC/C,wBAAwB,GAAG,KAAK,CAAC;aACpC;SACJ;QAED,OAAO,wBAAwB,CAAC;IACpC,CAAC;IACD,QAAQ;QACJ,OAAO,IAAA,yBAAe,EAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,yBAAW,CAAC,gBAAgB,CAAC,CAAC;IAC5E,CAAC;IAED;;OAEG;IACH,YAAY;QACR,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAS,IAAA,qCAA2B,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC;QAExG,IAAI,iBAAiB,CAAC,IAAI,KAAK,CAAC,EAAE;YAC9B,OAAO,iBAAiB,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC;SAClD;QACD,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,+BAAkB,EAAC,UAAU,CAAC,EAAE;YACjC,OAAO,KAAK,CAAC;SAChB;QACD,IAAI,IAAI,KAAK,UAAU,EAAE;YACrB,OAAO,IAAI,CAAC;SACf;QACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE;YAC3B,IAAI,UAAU,GAAG,KAAK,CAAC;YACvB,KAAK,MAAM,eAAe,IAAI,UAAU,CAAC,KAAK,EAAE;gBAC5C,IAAI,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE;oBAC/B,UAAU,GAAG,IAAI,CAAC;oBAClB,MAAM;iBACT;aACJ;YACD,IAAI,CAAC,UAAU,EAAE;gBACb,OAAO,KAAK,CAAC;aAChB;SACJ;QACD,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,cAAc;QACV,MAAM,iBAAiB,GAAG,IAAI,yBAAW,CAAC,IAAI,CAAC,YAAY,GAAG,oBAAoB,CAAC,CAAC;QAEpF,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE;YAC3B,IAAI,CAAC,oBAAoB,EAAE,CAAC;YAC5B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC,aAAa,gCAAwB,EAAE;gBAC9E,MAAM,SAAS,GAAG,IAAI,CAAC,2BAA2B,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,KAAK,gCAAwB,EAAE,CAAC,CAAC;gBACnG,iBAAiB,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,EAAE,SAAS,iCAAyB,CAAC;aACnF;SACJ;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,CAAC,SAAS,EAAE;YACZ,OAAO,iBAAiB,CAAC;SAC5B;QACD,SAAS,CAAC,oBAAoB,EAAE,CAAC;QACjC,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,cAAc,EAAE,CAAC,aAAa,gCAAwB,EAAE;YACnF,MAAM,SAAS,GAAG,IAAI,CAAC,2BAA2B,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,KAAK,gCAAwB,EAAE,CAAC,CAAC;YACnG,iBAAiB,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,EAAE,SAAS,iCAAyB,CAAC;SACnF;QACD,OAAO,iBAAiB,CAAC;IAC7B,CAAC;IAID,IAAI,qCAAqC;QACrC,IAAI,IAAI,CAAC,sCAAsC,KAAK,SAAS,EAAE;YAC3D,OAAO,IAAI,CAAC,sCAAsC,CAAC;SACtD;QACD,IAAI,CAAC,sCAAsC,GAAG,KAAK,CAAC;QAEpD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE;YAC3B,IAAI,IAAA,iDAAuC,EAAC,IAAI,CAAC,EAAE;gBAC/C,IAAI,CAAC,sCAAsC,GAAG,IAAI,CAAC;gBACnD,MAAM;aACT;SACJ;QACD,OAAO,IAAI,CAAC,sCAAsC,CAAC;IACvD,CAAC;CACJ;AAjQD,4CAiQC;AAED,6CAAqB,CAAC,uBAAuB,GAAG,CAAC,KAAgB,EAAE,EAAE;IACjE,OAAO,IAAI,gBAAgB,CAAC,KAAK,CAAC,CAAC;AACvC,CAAC,CAAC"}

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

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

package/dist/types/IntersectionType.spec.js

@@ -0,0 +1,150 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const chai_1 = require("chai");
+const StringType_1 = require("./StringType");
+const IntegerType_1 = require("./IntegerType");
+const IntersectionType_1 = require("./IntersectionType");
+const FloatType_1 = require("./FloatType");
+const InterfaceType_1 = require("./InterfaceType");
+const BooleanType_1 = require("./BooleanType");
+const testHelpers_spec_1 = require("../testHelpers.spec");
+const SymbolTable_1 = require("../SymbolTable");
+const ReferenceType_1 = require("./ReferenceType");
+describe('IntersectionType', () => {
+    it('has all the members of all types', () => {
+        const iFace = new InterfaceType_1.InterfaceType('Iface');
+        iFace.addMember('age', null, IntegerType_1.IntegerType.instance, 1 /* SymbolTypeFlag.runtime */);
+        iFace.addMember('name', null, StringType_1.StringType.instance, 1 /* SymbolTypeFlag.runtime */);
+        const iFace2 = new InterfaceType_1.InterfaceType('Iface2');
+        iFace2.addMember('age', null, FloatType_1.FloatType.instance, 1 /* SymbolTypeFlag.runtime */);
+        const addressInterfaceType = new InterfaceType_1.InterfaceType('address');
+        iFace2.addMember('address', null, addressInterfaceType, 1 /* SymbolTypeFlag.runtime */);
+        iFace2.addMember('name', null, StringType_1.StringType.instance, 1 /* SymbolTypeFlag.runtime */);
+        const myIntersection = new IntersectionType_1.IntersectionType([iFace, iFace2]);
+        const ageType = myIntersection.getMemberType('age', { flags: 1 /* SymbolTypeFlag.runtime */ });
+        const addressType = myIntersection.getMemberType('address', { flags: 1 /* SymbolTypeFlag.runtime */ });
+        const nameType = myIntersection.getMemberType('name', { flags: 1 /* SymbolTypeFlag.runtime */ });
+        (0, testHelpers_spec_1.expectTypeToBe)(nameType, StringType_1.StringType);
+        (0, testHelpers_spec_1.expectTypeToBe)(addressType, InterfaceType_1.InterfaceType);
+        (0, chai_1.expect)(addressType).to.equal(addressInterfaceType);
+        (0, testHelpers_spec_1.expectTypeToBe)(ageType, IntersectionType_1.IntersectionType);
+        (0, chai_1.expect)(ageType.types.length).to.eq(2);
+        (0, chai_1.expect)(ageType.types).to.include(FloatType_1.FloatType.instance);
+        (0, chai_1.expect)(ageType.types).to.include(IntegerType_1.IntegerType.instance);
+    });
+    it('can assign to a more specific Intersection', () => {
+        const myInter = new IntersectionType_1.IntersectionType([StringType_1.StringType.instance, FloatType_1.FloatType.instance]);
+        const otherInter = new IntersectionType_1.IntersectionType([FloatType_1.FloatType.instance, StringType_1.StringType.instance, BooleanType_1.BooleanType.instance]);
+        (0, chai_1.expect)(myInter.isTypeCompatible(otherInter)).to.be.true;
+        (0, chai_1.expect)(otherInter.isTypeCompatible(myInter)).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, 1 /* SymbolTypeFlag.runtime */);
+        iFace1.addMember('name', null, StringType_1.StringType.instance, 1 /* SymbolTypeFlag.runtime */);
+        iFace1.addMember('height', null, FloatType_1.FloatType.instance, 1 /* SymbolTypeFlag.runtime */);
+        const myInter = new IntersectionType_1.IntersectionType([FloatType_1.FloatType.instance, StringType_1.StringType.instance, BooleanType_1.BooleanType.instance, iFace1]);
+        (0, chai_1.expect)(myInter.toString()).to.eq('float and string and boolean and SomeIface');
+    });
+    it('isResolvable if any inner type is resolvable', () => {
+        const refTable = new SymbolTable_1.SymbolTable('test');
+        const refType = new ReferenceType_1.ReferenceType('SomeType', 'SomeType', 2 /* SymbolTypeFlag.typetime */, () => refTable);
+        const myInter1 = new IntersectionType_1.IntersectionType([refType, StringType_1.StringType.instance]);
+        (0, chai_1.expect)(myInter1.isResolvable()).to.be.true;
+        const myInter2 = new IntersectionType_1.IntersectionType([refType]);
+        (0, chai_1.expect)(myInter2.isResolvable()).to.be.false;
+    });
+    it('inner type order does not affect equality', () => {
+        const inter1 = new IntersectionType_1.IntersectionType([StringType_1.StringType.instance, IntegerType_1.IntegerType.instance, FloatType_1.FloatType.instance]);
+        const inter2 = new IntersectionType_1.IntersectionType([FloatType_1.FloatType.instance, StringType_1.StringType.instance, IntegerType_1.IntegerType.instance]);
+        (0, chai_1.expect)(inter1.isEqual(inter2)).to.be.true;
+    });
+    it('more specific intersections are compatible with less specific ones', () => {
+        const inter1 = new IntersectionType_1.IntersectionType([StringType_1.StringType.instance, BooleanType_1.BooleanType.instance, FloatType_1.FloatType.instance]);
+        const inter2 = new IntersectionType_1.IntersectionType([FloatType_1.FloatType.instance, BooleanType_1.BooleanType.instance]);
+        (0, chai_1.expect)(inter1.isTypeCompatible(inter2)).to.be.false;
+        (0, chai_1.expect)(inter2.isTypeCompatible(inter1)).to.be.true;
+    });
+    it('more specific member interface is compatible with less specific ones', () => {
+        const iFace1 = new InterfaceType_1.InterfaceType('iFace1');
+        iFace1.addMember('age', null, IntegerType_1.IntegerType.instance, 1 /* SymbolTypeFlag.runtime */);
+        iFace1.addMember('name', null, StringType_1.StringType.instance, 1 /* SymbolTypeFlag.runtime */);
+        const iFace2 = new InterfaceType_1.InterfaceType('iFace2');
+        iFace2.addMember('age', null, IntegerType_1.IntegerType.instance, 1 /* SymbolTypeFlag.runtime */);
+        iFace2.addMember('name', null, StringType_1.StringType.instance, 1 /* SymbolTypeFlag.runtime */);
+        iFace2.addMember('height', null, FloatType_1.FloatType.instance, 1 /* SymbolTypeFlag.runtime */);
+        const inter1 = new IntersectionType_1.IntersectionType([iFace1, StringType_1.StringType.instance]);
+        const inter2 = new IntersectionType_1.IntersectionType([iFace2, StringType_1.StringType.instance]);
+        (0, chai_1.expect)(inter2.isTypeCompatible(inter1)).to.be.false;
+        (0, chai_1.expect)(inter1.isTypeCompatible(inter2)).to.be.true;
+    });
+    it('interface is compatible with intersection with common members and vice versa', () => {
+        const iFace1 = new InterfaceType_1.InterfaceType('iFace1');
+        iFace1.addMember('age', null, IntegerType_1.IntegerType.instance, 1 /* SymbolTypeFlag.runtime */);
+        iFace1.addMember('name', null, StringType_1.StringType.instance, 1 /* SymbolTypeFlag.runtime */);
+        const iFace2 = new InterfaceType_1.InterfaceType('iFace2');
+        iFace2.addMember('age', null, IntegerType_1.IntegerType.instance, 1 /* SymbolTypeFlag.runtime */);
+        const iFace3 = new InterfaceType_1.InterfaceType('iFace3');
+        iFace3.addMember('name', null, StringType_1.StringType.instance, 1 /* SymbolTypeFlag.runtime */);
+        const inter = new IntersectionType_1.IntersectionType([iFace2, iFace3]);
+        (0, chai_1.expect)(iFace1.isTypeCompatible(inter)).to.be.true;
+        (0, chai_1.expect)(inter.isTypeCompatible(iFace1)).to.be.true;
+    });
+    it('is not compatible when it must satisfy conflicting member types', () => {
+        const iFace1 = new InterfaceType_1.InterfaceType('iFace1');
+        iFace1.addMember('age', null, IntegerType_1.IntegerType.instance, 1 /* SymbolTypeFlag.runtime */);
+        const iFace2 = new InterfaceType_1.InterfaceType('iFace2');
+        iFace2.addMember('name', null, StringType_1.StringType.instance, 1 /* SymbolTypeFlag.runtime */);
+        const inter = new IntersectionType_1.IntersectionType([iFace1, iFace2]);
+        const iFace3 = new InterfaceType_1.InterfaceType('iFace3');
+        iFace3.addMember('age', null, BooleanType_1.BooleanType.instance, 1 /* SymbolTypeFlag.runtime */);
+        iFace3.addMember('name', null, StringType_1.StringType.instance, 1 /* SymbolTypeFlag.runtime */);
+        (0, chai_1.expect)(inter.isTypeCompatible(iFace3)).to.be.false;
+        (0, chai_1.expect)(iFace3.isTypeCompatible(inter)).to.be.false;
+    });
+    describe('getMemberType', () => {
+        it('will find the intersection of inner types', () => {
+            const iFace1 = new InterfaceType_1.InterfaceType('iFace1');
+            iFace1.addMember('age', null, IntegerType_1.IntegerType.instance, 1 /* SymbolTypeFlag.runtime */);
+            iFace1.addMember('name', null, StringType_1.StringType.instance, 1 /* SymbolTypeFlag.runtime */);
+            iFace1.addMember('height', null, FloatType_1.FloatType.instance, 1 /* SymbolTypeFlag.runtime */);
+            const iFace2 = new InterfaceType_1.InterfaceType('iFace2');
+            iFace2.addMember('age', null, IntegerType_1.IntegerType.instance, 1 /* SymbolTypeFlag.runtime */);
+            iFace2.addMember('name', null, StringType_1.StringType.instance, 1 /* SymbolTypeFlag.runtime */);
+            iFace2.addMember('height', null, StringType_1.StringType.instance, 1 /* SymbolTypeFlag.runtime */);
+            const myInter = new IntersectionType_1.IntersectionType([iFace1, iFace2]);
+            const options = { flags: 1 /* SymbolTypeFlag.runtime */ };
+            const ageType = myInter.getMemberType('age', options);
+            (0, testHelpers_spec_1.expectTypeToBe)(ageType, IntegerType_1.IntegerType);
+            const nameType = myInter.getMemberType('name', options);
+            (0, testHelpers_spec_1.expectTypeToBe)(nameType, StringType_1.StringType);
+            const heightType = myInter.getMemberType('height', options);
+            (0, testHelpers_spec_1.expectTypeToBe)(heightType, IntersectionType_1.IntersectionType);
+            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 not return reference types if at least one inner type includes the member', () => {
+            const iFace1 = new InterfaceType_1.InterfaceType('iFace1');
+            iFace1.addMember('age', null, IntegerType_1.IntegerType.instance, 1 /* SymbolTypeFlag.runtime */);
+            iFace1.addMember('name', null, StringType_1.StringType.instance, 1 /* SymbolTypeFlag.runtime */);
+            iFace1.addMember('height', null, FloatType_1.FloatType.instance, 1 /* SymbolTypeFlag.runtime */);
+            const iFace2 = new InterfaceType_1.InterfaceType('iFace2');
+            iFace2.addMember('age', null, IntegerType_1.IntegerType.instance, 1 /* SymbolTypeFlag.runtime */);
+            iFace2.addMember('name', null, StringType_1.StringType.instance, 1 /* SymbolTypeFlag.runtime */);
+            const myInter = new IntersectionType_1.IntersectionType([iFace1, iFace2]);
+            const options = { flags: 1 /* SymbolTypeFlag.runtime */ };
+            const heightType1 = myInter.getMemberType('height', options);
+            (0, testHelpers_spec_1.expectTypeToBe)(heightType1, FloatType_1.FloatType);
+            // adding new member to iFace2, result will be intersection
+            iFace2.addMember('height', null, BooleanType_1.BooleanType.instance, 1 /* SymbolTypeFlag.runtime */);
+            const heightType2 = myInter.getMemberType('height', options);
+            (0, testHelpers_spec_1.expectTypeToBe)(heightType2, IntersectionType_1.IntersectionType);
+            const heightTypes2 = heightType2.types;
+            (0, chai_1.expect)(heightTypes2.length).to.eq(2);
+            (0, testHelpers_spec_1.expectTypeToBe)(heightTypes2[0], FloatType_1.FloatType);
+            (0, testHelpers_spec_1.expectTypeToBe)(heightTypes2[1], BooleanType_1.BooleanType);
+        });
+    });
+});
+//# sourceMappingURL=IntersectionType.spec.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"IntersectionType.spec.js","sourceRoot":"","sources":["../../src/types/IntersectionType.spec.ts"],"names":[],"mappings":";;AAAA,+BAA8B;AAC9B,6CAA0C;AAC1C,+CAA4C;AAC5C,yDAAsD;AACtD,2CAAwC;AACxC,mDAAgD;AAEhD,+CAA4C;AAC5C,0DAAqD;AACrD,gDAA6C;AAC7C,mDAAgD;AAGhD,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAE9B,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QACxC,MAAM,KAAK,GAAG,IAAI,6BAAa,CAAC,OAAO,CAAC,CAAC;QACzC,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,iCAAyB,CAAC;QAC3E,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,iCAAyB,CAAC;QAC3E,MAAM,MAAM,GAAG,IAAI,6BAAa,CAAC,QAAQ,CAAC,CAAC;QAC3C,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,qBAAS,CAAC,QAAQ,iCAAyB,CAAC;QAC1E,MAAM,oBAAoB,GAAG,IAAI,6BAAa,CAAC,SAAS,CAAC,CAAC;QAC1D,MAAM,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,oBAAoB,iCAAyB,CAAC;QAChF,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,iCAAyB,CAAC;QAE5E,MAAM,cAAc,GAAG,IAAI,mCAAgB,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;QAC7D,MAAM,OAAO,GAAG,cAAc,CAAC,aAAa,CAAC,KAAK,EAAE,EAAE,KAAK,gCAAwB,EAAE,CAAC,CAAC;QACvF,MAAM,WAAW,GAAG,cAAc,CAAC,aAAa,CAAC,SAAS,EAAE,EAAE,KAAK,gCAAwB,EAAE,CAAC,CAAC;QAC/F,MAAM,QAAQ,GAAG,cAAc,CAAC,aAAa,CAAC,MAAM,EAAE,EAAE,KAAK,gCAAwB,EAAE,CAAC,CAAC;QAEzF,IAAA,iCAAc,EAAC,QAAQ,EAAE,uBAAU,CAAC,CAAC;QAErC,IAAA,iCAAc,EAAC,WAAW,EAAE,6BAAa,CAAC,CAAC;QAC3C,IAAA,aAAM,EAAC,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;QAEnD,IAAA,iCAAc,EAAC,OAAO,EAAE,mCAAgB,CAAC,CAAC;QAC1C,IAAA,aAAM,EAAE,OAA4B,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5D,IAAA,aAAM,EAAE,OAA4B,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,qBAAS,CAAC,QAAQ,CAAC,CAAC;QAC3E,IAAA,aAAM,EAAE,OAA4B,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,yBAAW,CAAC,QAAQ,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QAClD,MAAM,OAAO,GAAG,IAAI,mCAAgB,CAAC,CAAC,uBAAU,CAAC,QAAQ,EAAE,qBAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;QAChF,MAAM,UAAU,GAAG,IAAI,mCAAgB,CAAC,CAAC,qBAAS,CAAC,QAAQ,EAAE,uBAAU,CAAC,QAAQ,EAAE,yBAAW,CAAC,QAAQ,CAAC,CAAC,CAAC;QAEzG,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;IAGH,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,iCAAyB,CAAC;QAC5E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,iCAAyB,CAAC;QAC5E,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,qBAAS,CAAC,QAAQ,iCAAyB,CAAC;QAC7E,MAAM,OAAO,GAAG,IAAI,mCAAgB,CAAC,CAAC,qBAAS,CAAC,QAAQ,EAAE,uBAAU,CAAC,QAAQ,EAAE,yBAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;QAE9G,IAAA,aAAM,EAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,4CAA4C,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACpD,MAAM,QAAQ,GAAG,IAAI,yBAAW,CAAC,MAAM,CAAC,CAAC;QACzC,MAAM,OAAO,GAAG,IAAI,6BAAa,CAAC,UAAU,EAAE,UAAU,mCAA2B,GAAG,EAAE,CAAC,QAAQ,CAAC,CAAC;QACnG,MAAM,QAAQ,GAAG,IAAI,mCAAgB,CAAC,CAAC,OAAO,EAAE,uBAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;QACtE,IAAA,aAAM,EAAC,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAE3C,MAAM,QAAQ,GAAG,IAAI,mCAAgB,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QACjD,IAAA,aAAM,EAAC,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACjD,MAAM,MAAM,GAAG,IAAI,mCAAgB,CAAC,CAAC,uBAAU,CAAC,QAAQ,EAAE,yBAAW,CAAC,QAAQ,EAAE,qBAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;QACrG,MAAM,MAAM,GAAG,IAAI,mCAAgB,CAAC,CAAC,qBAAS,CAAC,QAAQ,EAAE,uBAAU,CAAC,QAAQ,EAAE,yBAAW,CAAC,QAAQ,CAAC,CAAC,CAAC;QACrG,IAAA,aAAM,EAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC1E,MAAM,MAAM,GAAG,IAAI,mCAAgB,CAAC,CAAC,uBAAU,CAAC,QAAQ,EAAE,yBAAW,CAAC,QAAQ,EAAE,qBAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;QACrG,MAAM,MAAM,GAAG,IAAI,mCAAgB,CAAC,CAAC,qBAAS,CAAC,QAAQ,EAAE,yBAAW,CAAC,QAAQ,CAAC,CAAC,CAAC;QAChF,IAAA,aAAM,EAAC,MAAM,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QACpD,IAAA,aAAM,EAAC,MAAM,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IACvD,CAAC,CAAC,CAAC;IAGH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC5E,MAAM,MAAM,GAAG,IAAI,6BAAa,CAAC,QAAQ,CAAC,CAAC;QAC3C,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,iCAAyB,CAAC;QAC5E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,iCAAyB,CAAC;QAE5E,MAAM,MAAM,GAAG,IAAI,6BAAa,CAAC,QAAQ,CAAC,CAAC;QAC3C,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,iCAAyB,CAAC;QAC5E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,iCAAyB,CAAC;QAC5E,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,qBAAS,CAAC,QAAQ,iCAAyB,CAAC;QAE7E,MAAM,MAAM,GAAG,IAAI,mCAAgB,CAAC,CAAC,MAAM,EAAE,uBAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;QACnE,MAAM,MAAM,GAAG,IAAI,mCAAgB,CAAC,CAAC,MAAM,EAAE,uBAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;QACnE,IAAA,aAAM,EAAC,MAAM,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QACpD,IAAA,aAAM,EAAC,MAAM,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IACvD,CAAC,CAAC,CAAC;IAGH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACpF,MAAM,MAAM,GAAG,IAAI,6BAAa,CAAC,QAAQ,CAAC,CAAC;QAC3C,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,iCAAyB,CAAC;QAC5E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,iCAAyB,CAAC;QAE5E,MAAM,MAAM,GAAG,IAAI,6BAAa,CAAC,QAAQ,CAAC,CAAC;QAC3C,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,iCAAyB,CAAC;QAE5E,MAAM,MAAM,GAAG,IAAI,6BAAa,CAAC,QAAQ,CAAC,CAAC;QAC3C,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,iCAAyB,CAAC;QAE5E,MAAM,KAAK,GAAG,IAAI,mCAAgB,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QACrD,IAAA,aAAM,EAAC,MAAM,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAClD,IAAA,aAAM,EAAC,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACvE,MAAM,MAAM,GAAG,IAAI,6BAAa,CAAC,QAAQ,CAAC,CAAC;QAC3C,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,iCAAyB,CAAC;QAE5E,MAAM,MAAM,GAAG,IAAI,6BAAa,CAAC,QAAQ,CAAC,CAAC;QAC3C,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,iCAAyB,CAAC;QAE5E,MAAM,KAAK,GAAG,IAAI,mCAAgB,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QAErD,MAAM,MAAM,GAAG,IAAI,6BAAa,CAAC,QAAQ,CAAC,CAAC;QAC3C,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,iCAAyB,CAAC;QAC5E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,iCAAyB,CAAC;QAE5E,IAAA,aAAM,EAAC,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QACnD,IAAA,aAAM,EAAC,MAAM,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;IACvD,CAAC,CAAC,CAAC;IAGH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;QAC3B,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACjD,MAAM,MAAM,GAAG,IAAI,6BAAa,CAAC,QAAQ,CAAC,CAAC;YAC3C,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,iCAAyB,CAAC;YAC5E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,iCAAyB,CAAC;YAC5E,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,qBAAS,CAAC,QAAQ,iCAAyB,CAAC;YAE7E,MAAM,MAAM,GAAG,IAAI,6BAAa,CAAC,QAAQ,CAAC,CAAC;YAC3C,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,iCAAyB,CAAC;YAC5E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,iCAAyB,CAAC;YAC5E,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,iCAAyB,CAAC;YAE9E,MAAM,OAAO,GAAG,IAAI,mCAAgB,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;YAEvD,MAAM,OAAO,GAAG,EAAE,KAAK,gCAAwB,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,mCAAgB,CAAC,CAAC;YAC7C,MAAM,WAAW,GAAI,UAA+B,CAAC,KAAK,CAAC;YAC3D,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,gFAAgF,EAAE,GAAG,EAAE;YACtF,MAAM,MAAM,GAAG,IAAI,6BAAa,CAAC,QAAQ,CAAC,CAAC;YAC3C,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,iCAAyB,CAAC;YAC5E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,iCAAyB,CAAC;YAC5E,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,qBAAS,CAAC,QAAQ,iCAAyB,CAAC;YAE7E,MAAM,MAAM,GAAG,IAAI,6BAAa,CAAC,QAAQ,CAAC,CAAC;YAC3C,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,iCAAyB,CAAC;YAC5E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,iCAAyB,CAAC;YAE5E,MAAM,OAAO,GAAG,IAAI,mCAAgB,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;YACvD,MAAM,OAAO,GAAG,EAAE,KAAK,gCAAwB,EAAE,CAAC;YAClD,MAAM,WAAW,GAAG,OAAO,CAAC,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YAC7D,IAAA,iCAAc,EAAC,WAAW,EAAE,qBAAS,CAAC,CAAC;YAEvC,2DAA2D;YAC3D,MAAM,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,iCAAyB,CAAC;YAC/E,MAAM,WAAW,GAAG,OAAO,CAAC,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YAC7D,IAAA,iCAAc,EAAC,WAAW,EAAE,mCAAgB,CAAC,CAAC;YAC9C,MAAM,YAAY,GAAI,WAAgC,CAAC,KAAK,CAAC;YAC7D,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,iCAAc,EAAC,YAAY,CAAC,CAAC,CAAC,EAAE,yBAAW,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;AAEP,CAAC,CAAC,CAAC"}

package/dist/types/InvalidType.d.ts

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

package/dist/types/InvalidType.js

@@ -2,23 +2,35 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.InvalidType = void 0;
 const reflection_1 = require("../astUtils/reflection");
-class InvalidType {
-    isAssignableTo(targetType) {
-        return (reflection_1.isInvalidType(targetType) ||
-            reflection_1.isDynamicType(targetType));
+const BscType_1 = require("./BscType");
+const BscTypeKind_1 = require("./BscTypeKind");
+const helpers_1 = require("./helpers");
+const BuiltInInterfaceAdder_1 = require("./BuiltInInterfaceAdder");
+class InvalidType extends BscType_1.BscType {
+    constructor(typeText) {
+        super();
+        this.typeText = typeText;
+        this.kind = BscTypeKind_1.BscTypeKind.InvalidType;
+        this.isBuiltIn = true;
     }
-    isConvertibleTo(targetType) {
-        return this.isAssignableTo(targetType);
+    isTypeCompatible(targetType) {
+        return ((0, reflection_1.isInvalidTypeLike)(targetType) ||
+            (0, reflection_1.isDynamicType)(targetType) ||
+            (0, reflection_1.isObjectType)(targetType) ||
+            (0, helpers_1.isUnionTypeCompatible)(this, targetType));
     }
     toString() {
-        return 'invalid';
+        var _a;
+        return (_a = this.typeText) !== null && _a !== void 0 ? _a : 'invalid';
     }
     toTypeString() {
         return this.toString();
     }
-    equals(targetType) {
-        return reflection_1.isInvalidType(targetType);
+    isEqual(targetType) {
+        return (0, reflection_1.isInvalidTypeLike)(targetType);
     }
 }
 exports.InvalidType = InvalidType;
+InvalidType.instance = new InvalidType('invalid');
+BuiltInInterfaceAdder_1.BuiltInInterfaceAdder.primitiveTypeInstanceCache.set('invalid', InvalidType.instance);
 //# sourceMappingURL=InvalidType.js.map

package/dist/types/InvalidType.js.map

@@ -1 +1 @@
-{"version":3,"file":"InvalidType.js","sourceRoot":"","sources":["../../src/types/InvalidType.ts"],"names":[],"mappings":";;;AAAA,uDAAsE;AAGtE,MAAa,WAAW;IACb,cAAc,CAAC,UAAmB;QACrC,OAAO,CACH,0BAAa,CAAC,UAAU,CAAC;YACzB,0BAAa,CAAC,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,SAAS,CAAC;IACrB,CAAC;IAEM,YAAY;QACf,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC;IAEM,MAAM,CAAC,UAAmB;QAC7B,OAAO,0BAAa,CAAC,UAAU,CAAC,CAAC;IACrC,CAAC;CACJ;AAvBD,kCAuBC"}
+{"version":3,"file":"InvalidType.js","sourceRoot":"","sources":["../../src/types/InvalidType.ts"],"names":[],"mappings":";;;AAAA,uDAAwF;AACxF,uCAAoC;AACpC,+CAA4C;AAC5C,uCAAkD;AAClD,mEAAgE;AAEhE,MAAa,WAAY,SAAQ,iBAAO;IACpC,YACW,QAAiB;QAExB,KAAK,EAAE,CAAC;QAFD,aAAQ,GAAR,QAAQ,CAAS;QAKZ,SAAI,GAAG,yBAAW,CAAC,WAAW,CAAC;QAIxC,cAAS,GAAG,IAAI,CAAC;IANxB,CAAC;IAQM,gBAAgB,CAAC,UAAmB;QACvC,OAAO,CACH,IAAA,8BAAiB,EAAC,UAAU,CAAC;YAC7B,IAAA,0BAAa,EAAC,UAAU,CAAC;YACzB,IAAA,yBAAY,EAAC,UAAU,CAAC;YACxB,IAAA,+BAAqB,EAAC,IAAI,EAAE,UAAU,CAAC,CAC1C,CAAC;IACN,CAAC;IAEM,QAAQ;;QACX,OAAO,MAAA,IAAI,CAAC,QAAQ,mCAAI,SAAS,CAAC;IACtC,CAAC;IAEM,YAAY;QACf,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC;IAED,OAAO,CAAC,UAAmB;QACvB,OAAO,IAAA,8BAAiB,EAAC,UAAU,CAAC,CAAC;IACzC,CAAC;;AAhCL,kCAiCC;AAxBiB,oBAAQ,GAAG,IAAI,WAAW,CAAC,SAAS,CAAC,CAAC;AA0BxD,6CAAqB,CAAC,0BAA0B,CAAC,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC,QAAQ,CAAC,CAAC"}

package/dist/types/InvalidType.spec.js

@@ -1,12 +1,16 @@
 "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 InvalidType_1 = require("./InvalidType");
 describe('InvalidType', () => {
-    it('is equivalent to invalid types', () => {
-        chai_1.expect(new InvalidType_1.InvalidType().isAssignableTo(new InvalidType_1.InvalidType())).to.be.true;
-        chai_1.expect(new InvalidType_1.InvalidType().isAssignableTo(new DynamicType_1.DynamicType())).to.be.true;
+    it('is compatible to invalid types', () => {
+        (0, chai_config_spec_1.expect)(new InvalidType_1.InvalidType().isTypeCompatible(new InvalidType_1.InvalidType())).to.be.true;
+        (0, chai_config_spec_1.expect)(new InvalidType_1.InvalidType().isTypeCompatible(new DynamicType_1.DynamicType())).to.be.true;
+    });
+    it('is equal to invalid types', () => {
+        (0, chai_config_spec_1.expect)(new InvalidType_1.InvalidType().isEqual(new InvalidType_1.InvalidType())).to.be.true;
+        (0, chai_config_spec_1.expect)(new InvalidType_1.InvalidType().isEqual(new DynamicType_1.DynamicType())).to.be.false;
     });
 });
 //# sourceMappingURL=InvalidType.spec.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"InvalidType.spec.js","sourceRoot":"","sources":["../../src/types/InvalidType.spec.ts"],"names":[],"mappings":";;AAAA,+BAA8B;AAE9B,+CAA4C;AAC5C,+CAA4C;AAE5C,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IACzB,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACtC,aAAM,CAAC,IAAI,yBAAW,EAAE,CAAC,cAAc,CAAC,IAAI,yBAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACvE,aAAM,CAAC,IAAI,yBAAW,EAAE,CAAC,cAAc,CAAC,IAAI,yBAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IAC3E,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}
+{"version":3,"file":"InvalidType.spec.js","sourceRoot":"","sources":["../../src/types/InvalidType.spec.ts"],"names":[],"mappings":";;AAAA,0DAA6C;AAE7C,+CAA4C;AAC5C,+CAA4C;AAE5C,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IACzB,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACtC,IAAA,yBAAM,EAAC,IAAI,yBAAW,EAAE,CAAC,gBAAgB,CAAC,IAAI,yBAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACzE,IAAA,yBAAM,EAAC,IAAI,yBAAW,EAAE,CAAC,gBAAgB,CAAC,IAAI,yBAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACjC,IAAA,yBAAM,EAAC,IAAI,yBAAW,EAAE,CAAC,OAAO,CAAC,IAAI,yBAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAChE,IAAA,yBAAM,EAAC,IAAI,yBAAW,EAAE,CAAC,OAAO,CAAC,IAAI,yBAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;IACrE,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}

package/dist/types/LongIntegerType.d.ts

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