brighterscript 1.0.0-alpha.4 → 1.0.0-alpha.40

package/dist/roku-types/index.js

@@ -0,0 +1,11 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.events = exports.interfaces = exports.components = exports.nodes = void 0;
+// eslint-disable-next-line @typescript-eslint/no-require-imports
+const data = require("./data.json");
+//apply any transforms/overrides before exporting
+exports.nodes = data.nodes;
+exports.components = data.components;
+exports.interfaces = data.interfaces;
+exports.events = data.events;
+//# sourceMappingURL=index.js.map

package/dist/roku-types/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/roku-types/index.ts"],"names":[],"mappings":";;;AAAA,iEAAiE;AACjE,oCAAqC;AAErC,iDAAiD;AAEpC,QAAA,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;AACnB,QAAA,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;AAC7B,QAAA,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;AAC7B,QAAA,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC"}

package/dist/types/ArrayType.d.ts

@@ -1,10 +1,14 @@
-import type { BscType } from './BscType';
-export declare class ArrayType implements BscType {
+import type { TypeCompatibilityData } from '../interfaces';
+import { BscType } from './BscType';
+import { BscTypeKind } from './BscTypeKind';
+export declare class ArrayType extends BscType {
     constructor(...innerTypes: BscType[]);
+    readonly kind = BscTypeKind.ArrayType;
     innerTypes: BscType[];
-    isAssignableTo(targetType: BscType): boolean;
-    isConvertibleTo(targetType: BscType): boolean;
+    get defaultType(): BscType;
+    isTypeCompatible(targetType: BscType, data?: TypeCompatibilityData): boolean;
     toString(): string;
     toTypeString(): string;
-    equals(targetType: BscType): boolean;
+    isEqual(targetType: BscType): boolean;
+    addBuiltInInterfaces(): void;
 }

package/dist/types/ArrayType.js

@@ -2,45 +2,94 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.ArrayType = void 0;
 const reflection_1 = require("../astUtils/reflection");
-class ArrayType {
+const BscType_1 = require("./BscType");
+const BscTypeKind_1 = require("./BscTypeKind");
+const BuiltInInterfaceAdder_1 = require("./BuiltInInterfaceAdder");
+const DynamicType_1 = require("./DynamicType");
+const IntegerType_1 = require("./IntegerType");
+const UnionType_1 = require("./UnionType");
+const helpers_1 = require("./helpers");
+class ArrayType extends BscType_1.BscType {
     constructor(...innerTypes) {
+        super();
+        this.kind = BscTypeKind_1.BscTypeKind.ArrayType;
         this.innerTypes = [];
         this.innerTypes = innerTypes;
     }
-    isAssignableTo(targetType) {
-        if (reflection_1.isArrayType(targetType)) {
-            //this array type is assignable to the target IF
-            //1. all of the types in this array are present in the target
-            outer: for (let innerType of this.innerTypes) {
-                //find this inner type in the target
-                // eslint-disable-next-line no-unreachable-loop
-                for (let targetInnerType of targetType.innerTypes) {
-                    //TODO is this loop correct? It ends after 1 iteration but we might need to do more iterations
-                    if (innerType.isAssignableTo(targetInnerType)) {
-                        continue outer;
-                    }
-                    //our array contains a type that the target array does not...so these arrays are different
-                    return false;
-                }
-            }
+    get defaultType() {
+        var _a, _b;
+        if (((_a = this.innerTypes) === null || _a === void 0 ? void 0 : _a.length) === 0) {
+            return DynamicType_1.DynamicType.instance;
+        }
+        else if (((_b = this.innerTypes) === null || _b === void 0 ? void 0 : _b.length) === 1) {
+            return this.innerTypes[0];
+        }
+        return (0, helpers_1.getUniqueType)(this.innerTypes, UnionType_1.unionTypeFactory);
+    }
+    isTypeCompatible(targetType, data) {
+        if ((0, reflection_1.isDynamicType)(targetType)) {
             return true;
         }
-        else if (reflection_1.isDynamicType(targetType)) {
+        else if ((0, reflection_1.isObjectType)(targetType)) {
+            return true;
+        }
+        else if ((0, helpers_1.isUnionTypeCompatible)(this, targetType)) {
+            return true;
+        }
+        else if ((0, reflection_1.isArrayType)(targetType)) {
+            const compatible = this.defaultType.isTypeCompatible(targetType.defaultType, data);
+            if (data) {
+                data.actualType = targetType.defaultType;
+                data.expectedType = this.defaultType;
+            }
+            return compatible;
+        }
+        else if (this.checkCompatibilityBasedOnMembers(targetType, 1 /* SymbolTypeFlag.runtime */, data)) {
             return true;
         }
         return false;
     }
-    isConvertibleTo(targetType) {
-        return this.isAssignableTo(targetType);
-    }
     toString() {
-        return `Array<${this.innerTypes.map((x) => x.toString()).join(' | ')}>`;
+        return `Array<${this.defaultType.toString()}>`;
     }
     toTypeString() {
         return 'object';
     }
-    equals(targetType) {
-        return reflection_1.isArrayType(targetType) && this.isAssignableTo(targetType);
+    isEqual(targetType) {
+        if ((0, reflection_1.isArrayType)(targetType)) {
+            if (targetType.innerTypes.length !== this.innerTypes.length) {
+                return false;
+            }
+            for (let i = 0; i < this.innerTypes.length; i++) {
+                if (!this.innerTypes[i].isEqual(targetType.innerTypes[i])) {
+                    return false;
+                }
+            }
+            return true;
+        }
+        return false;
+    }
+    addBuiltInInterfaces() {
+        if (!this.hasAddedBuiltInInterfaces) {
+            const overrideMap = new Map();
+            const defaultType = this.defaultType;
+            overrideMap
+                // ifArray
+                .set('peek', { returnType: defaultType })
+                .set('pop', { returnType: defaultType })
+                .set('push', { parameterTypes: [defaultType] })
+                .set('shift', { returnType: defaultType })
+                .set('unshift', { parameterTypes: [defaultType] })
+                .set('append', { parameterTypes: [this] })
+                // ifArrayGet
+                .set('get', { returnType: defaultType })
+                // ifArraySet
+                .set('get', { parameterTypes: [IntegerType_1.IntegerType.instance, defaultType] })
+                //ifEnum
+                .set('next', { returnType: defaultType });
+            BuiltInInterfaceAdder_1.BuiltInInterfaceAdder.addBuiltInInterfacesToType(this, overrideMap);
+        }
+        this.hasAddedBuiltInInterfaces = true;
     }
 }
 exports.ArrayType = ArrayType;

package/dist/types/ArrayType.js.map

@@ -1 +1 @@
-{"version":3,"file":"ArrayType.js","sourceRoot":"","sources":["../../src/types/ArrayType.ts"],"names":[],"mappings":";;;AAAA,uDAAoE;AAGpE,MAAa,SAAS;IAClB,YAAY,GAAG,UAAqB;QAG7B,eAAU,GAAc,EAAE,CAAC;QAF9B,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;IACjC,CAAC;IAGM,cAAc,CAAC,UAAmB;QACrC,IAAI,wBAAW,CAAC,UAAU,CAAC,EAAE;YACzB,gDAAgD;YAChD,6DAA6D;YAC7D,KAAK,EAAE,KAAK,IAAI,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE;gBAC1C,oCAAoC;gBACpC,+CAA+C;gBAC/C,KAAK,IAAI,eAAe,IAAI,UAAU,CAAC,UAAU,EAAE;oBAC/C,8FAA8F;oBAE9F,IAAI,SAAS,CAAC,cAAc,CAAC,eAAe,CAAC,EAAE;wBAC3C,SAAS,KAAK,CAAC;qBAClB;oBAED,0FAA0F;oBAC1F,OAAO,KAAK,CAAC;iBAChB;aACJ;YACD,OAAO,IAAI,CAAC;SACf;aAAM,IAAI,0BAAa,CAAC,UAAU,CAAC,EAAE;YAClC,OAAO,IAAI,CAAC;SACf;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAEM,eAAe,CAAC,UAAmB;QACtC,OAAO,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;IAC3C,CAAC;IAEM,QAAQ;QACX,OAAO,SAAS,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;IAC5E,CAAC;IAEM,YAAY;QACf,OAAO,QAAQ,CAAC;IACpB,CAAC;IAEM,MAAM,CAAC,UAAmB;QAC7B,OAAO,wBAAW,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;IACtE,CAAC;CACJ;AA9CD,8BA8CC"}
+{"version":3,"file":"ArrayType.js","sourceRoot":"","sources":["../../src/types/ArrayType.ts"],"names":[],"mappings":";;;AAEA,uDAAkF;AAElF,uCAAoC;AACpC,+CAA4C;AAE5C,mEAAgE;AAChE,+CAA4C;AAC5C,+CAA4C;AAC5C,2CAA+C;AAC/C,uCAAiE;AAEjE,MAAa,SAAU,SAAQ,iBAAO;IAClC,YAAY,GAAG,UAAqB;QAChC,KAAK,EAAE,CAAC;QAII,SAAI,GAAG,yBAAW,CAAC,SAAS,CAAC;QAEtC,eAAU,GAAc,EAAE,CAAC;QAL9B,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;IACjC,CAAC;IAMD,IAAW,WAAW;;QAClB,IAAI,CAAA,MAAA,IAAI,CAAC,UAAU,0CAAE,MAAM,MAAK,CAAC,EAAE;YAC/B,OAAO,yBAAW,CAAC,QAAQ,CAAC;SAC/B;aAAM,IAAI,CAAA,MAAA,IAAI,CAAC,UAAU,0CAAE,MAAM,MAAK,CAAC,EAAE;YACtC,OAAO,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;SAC7B;QACD,OAAO,IAAA,uBAAa,EAAC,IAAI,CAAC,UAAU,EAAE,4BAAgB,CAAC,CAAC;IAC5D,CAAC;IAEM,gBAAgB,CAAC,UAAmB,EAAE,IAA4B;QAErE,IAAI,IAAA,0BAAa,EAAC,UAAU,CAAC,EAAE;YAC3B,OAAO,IAAI,CAAC;SACf;aAAM,IAAI,IAAA,yBAAY,EAAC,UAAU,CAAC,EAAE;YACjC,OAAO,IAAI,CAAC;SACf;aAAM,IAAI,IAAA,+BAAqB,EAAC,IAAI,EAAE,UAAU,CAAC,EAAE;YAChD,OAAO,IAAI,CAAC;SACf;aAAM,IAAI,IAAA,wBAAW,EAAC,UAAU,CAAC,EAAE;YAChC,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAAC,UAAU,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YACnF,IAAI,IAAI,EAAE;gBACN,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC,WAAW,CAAC;gBACzC,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,WAAW,CAAC;aACxC;YACD,OAAO,UAAU,CAAC;SACrB;aAAM,IAAI,IAAI,CAAC,gCAAgC,CAAC,UAAU,kCAA0B,IAAI,CAAC,EAAE;YACxF,OAAO,IAAI,CAAC;SACf;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAEM,QAAQ;QACX,OAAO,SAAS,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,GAAG,CAAC;IACnD,CAAC;IAEM,YAAY;QACf,OAAO,QAAQ,CAAC;IACpB,CAAC;IAEM,OAAO,CAAC,UAAmB;QAC9B,IAAI,IAAA,wBAAW,EAAC,UAAU,CAAC,EAAE;YACzB,IAAI,UAAU,CAAC,UAAU,CAAC,MAAM,KAAK,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE;gBACzD,OAAO,KAAK,CAAC;aAChB;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;gBAC7C,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE;oBACvD,OAAO,KAAK,CAAC;iBAChB;aACJ;YACD,OAAO,IAAI,CAAC;SACf;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,oBAAoB;QAChB,IAAI,CAAC,IAAI,CAAC,yBAAyB,EAAE;YACjC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoC,CAAC;YAChE,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;YACrC,WAAW;gBACP,UAAU;iBACT,GAAG,CAAC,MAAM,EAAE,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC;iBACxC,GAAG,CAAC,KAAK,EAAE,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC;iBACvC,GAAG,CAAC,MAAM,EAAE,EAAE,cAAc,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC;iBAC9C,GAAG,CAAC,OAAO,EAAE,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC;iBACzC,GAAG,CAAC,SAAS,EAAE,EAAE,cAAc,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC;iBACjD,GAAG,CAAC,QAAQ,EAAE,EAAE,cAAc,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC1C,aAAa;iBACZ,GAAG,CAAC,KAAK,EAAE,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC;gBACxC,aAAa;iBACZ,GAAG,CAAC,KAAK,EAAE,EAAE,cAAc,EAAE,CAAC,yBAAW,CAAC,QAAQ,EAAE,WAAW,CAAC,EAAE,CAAC;gBACpE,QAAQ;iBACP,GAAG,CAAC,MAAM,EAAE,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC;YAC9C,6CAAqB,CAAC,0BAA0B,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;SACvE;QACD,IAAI,CAAC,yBAAyB,GAAG,IAAI,CAAC;IAC1C,CAAC;CACJ;AArFD,8BAqFC"}

package/dist/types/ArrayType.spec.js

@@ -1,29 +1,57 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-const chai_1 = require("chai");
+const chai_config_spec_1 = require("../chai-config.spec");
 const ArrayType_1 = require("./ArrayType");
 const DynamicType_1 = require("./DynamicType");
 const BooleanType_1 = require("./BooleanType");
 const StringType_1 = require("./StringType");
+const TypedFunctionType_1 = require("./TypedFunctionType");
+const testHelpers_spec_1 = require("../testHelpers.spec");
+const IntegerType_1 = require("./IntegerType");
 describe('ArrayType', () => {
     it('is equivalent to array types', () => {
-        chai_1.expect(new ArrayType_1.ArrayType().isAssignableTo(new ArrayType_1.ArrayType())).to.be.true;
-        chai_1.expect(new ArrayType_1.ArrayType().isAssignableTo(new DynamicType_1.DynamicType())).to.be.true;
+        (0, chai_config_spec_1.expect)(new ArrayType_1.ArrayType().isTypeCompatible(new ArrayType_1.ArrayType())).to.be.true;
+        (0, chai_config_spec_1.expect)(new ArrayType_1.ArrayType().isTypeCompatible(new DynamicType_1.DynamicType())).to.be.true;
     });
     it('catches arrays containing different inner types', () => {
-        chai_1.expect(new ArrayType_1.ArrayType(new BooleanType_1.BooleanType()).isAssignableTo(new ArrayType_1.ArrayType(new BooleanType_1.BooleanType()))).to.be.true;
-        chai_1.expect(new ArrayType_1.ArrayType(new BooleanType_1.BooleanType()).isAssignableTo(new ArrayType_1.ArrayType(new StringType_1.StringType()))).to.be.false;
+        (0, chai_config_spec_1.expect)(new ArrayType_1.ArrayType(new BooleanType_1.BooleanType()).isTypeCompatible(new ArrayType_1.ArrayType(new BooleanType_1.BooleanType()))).to.be.true;
+        (0, chai_config_spec_1.expect)(new ArrayType_1.ArrayType(new BooleanType_1.BooleanType()).isTypeCompatible(new ArrayType_1.ArrayType(new StringType_1.StringType()))).to.be.false;
     });
     it('is not equivalent to other types', () => {
-        chai_1.expect(new ArrayType_1.ArrayType().isAssignableTo(new BooleanType_1.BooleanType())).to.be.false;
+        (0, chai_config_spec_1.expect)(new ArrayType_1.ArrayType().isEqual(new BooleanType_1.BooleanType())).to.be.false;
     });
-    describe('isConveribleTo', () => {
-        chai_1.expect(new ArrayType_1.ArrayType().isConvertibleTo(new BooleanType_1.BooleanType())).to.be.false;
-        chai_1.expect(new ArrayType_1.ArrayType().isConvertibleTo(new ArrayType_1.ArrayType())).to.be.true;
+    it('isTypeCompatible', () => {
+        (0, chai_config_spec_1.expect)(new ArrayType_1.ArrayType().isTypeCompatible(new BooleanType_1.BooleanType())).to.be.false;
+        (0, chai_config_spec_1.expect)(new ArrayType_1.ArrayType().isTypeCompatible(new ArrayType_1.ArrayType())).to.be.true;
     });
     describe('toString', () => {
-        it('prints inner types', () => {
-            chai_1.expect(new ArrayType_1.ArrayType(new BooleanType_1.BooleanType(), new StringType_1.StringType()).toString()).to.eql('Array<boolean | string>');
+        it('prints default type', () => {
+            (0, chai_config_spec_1.expect)(new ArrayType_1.ArrayType(new BooleanType_1.BooleanType(), new StringType_1.StringType()).toString()).to.eql('Array<boolean or string>');
+        });
+    });
+    describe('built in interfaces', () => {
+        it('adds built in interfaces', () => {
+            const myArray = new ArrayType_1.ArrayType();
+            (0, testHelpers_spec_1.expectTypeToBe)(myArray.getMemberType('push', { flags: 1 /* SymbolTypeFlag.runtime */ }), TypedFunctionType_1.TypedFunctionType);
+            (0, testHelpers_spec_1.expectTypeToBe)(myArray.getMemberType('sort', { flags: 1 /* SymbolTypeFlag.runtime */ }), TypedFunctionType_1.TypedFunctionType);
+            (0, testHelpers_spec_1.expectTypeToBe)(myArray.getMemberType('next', { flags: 1 /* SymbolTypeFlag.runtime */ }), TypedFunctionType_1.TypedFunctionType);
+        });
+        it('correctly sets types for typed array', () => {
+            const myArray = new ArrayType_1.ArrayType(IntegerType_1.IntegerType.instance);
+            const popType = myArray.getMemberType('pop', { flags: 1 /* SymbolTypeFlag.runtime */ });
+            (0, testHelpers_spec_1.expectTypeToBe)(popType.returnType, IntegerType_1.IntegerType);
+            const pushType = myArray.getMemberType('push', { flags: 1 /* SymbolTypeFlag.runtime */ });
+            (0, testHelpers_spec_1.expectTypeToBe)(pushType.params[0].type, IntegerType_1.IntegerType);
+        });
+        it('correctly gets optional params for sorts', () => {
+            const myArray = new ArrayType_1.ArrayType();
+            const sortType = myArray.getMemberType('sort', { flags: 1 /* SymbolTypeFlag.runtime */ });
+            (0, testHelpers_spec_1.expectTypeToBe)(sortType.params[0].type, StringType_1.StringType);
+            (0, chai_config_spec_1.expect)(sortType.params[0].isOptional).to.be.true;
+            const sortByType = myArray.getMemberType('sortBy', { flags: 1 /* SymbolTypeFlag.runtime */ });
+            (0, testHelpers_spec_1.expectTypeToBe)(sortByType.params[0].type, StringType_1.StringType);
+            (0, testHelpers_spec_1.expectTypeToBe)(sortByType.params[1].type, StringType_1.StringType);
+            (0, chai_config_spec_1.expect)(sortByType.params[1].isOptional).to.be.true;
         });
     });
 });

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

@@ -1 +1 @@
-{"version":3,"file":"ArrayType.spec.js","sourceRoot":"","sources":["../../src/types/ArrayType.spec.ts"],"names":[],"mappings":";;AAAA,+BAA8B;AAE9B,2CAAwC;AACxC,+CAA4C;AAC5C,+CAA4C;AAC5C,6CAA0C;AAE1C,QAAQ,CAAC,WAAW,EAAE,GAAG,EAAE;IACvB,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACpC,aAAM,CAAC,IAAI,qBAAS,EAAE,CAAC,cAAc,CAAC,IAAI,qBAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACnE,aAAM,CAAC,IAAI,qBAAS,EAAE,CAAC,cAAc,CAAC,IAAI,yBAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACvD,aAAM,CAAC,IAAI,qBAAS,CAAC,IAAI,yBAAW,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,qBAAS,CAAC,IAAI,yBAAW,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACrG,aAAM,CAAC,IAAI,qBAAS,CAAC,IAAI,yBAAW,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,qBAAS,CAAC,IAAI,uBAAU,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;IACzG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QACxC,aAAM,CAAC,IAAI,qBAAS,EAAE,CAAC,cAAc,CAAC,IAAI,yBAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC5B,aAAM,CAAC,IAAI,qBAAS,EAAE,CAAC,eAAe,CAAC,IAAI,yBAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QACvE,aAAM,CAAC,IAAI,qBAAS,EAAE,CAAC,eAAe,CAAC,IAAI,qBAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;QACtB,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;YAC1B,aAAM,CAAC,IAAI,qBAAS,CAAC,IAAI,yBAAW,EAAE,EAAE,IAAI,uBAAU,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC;QAC5G,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}
+{"version":3,"file":"ArrayType.spec.js","sourceRoot":"","sources":["../../src/types/ArrayType.spec.ts"],"names":[],"mappings":";;AAAA,0DAA6C;AAE7C,2CAAwC;AACxC,+CAA4C;AAC5C,+CAA4C;AAC5C,6CAA0C;AAE1C,2DAAwD;AACxD,0DAAqD;AACrD,+CAA4C;AAE5C,QAAQ,CAAC,WAAW,EAAE,GAAG,EAAE;IACvB,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACpC,IAAA,yBAAM,EAAC,IAAI,qBAAS,EAAE,CAAC,gBAAgB,CAAC,IAAI,qBAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACrE,IAAA,yBAAM,EAAC,IAAI,qBAAS,EAAE,CAAC,gBAAgB,CAAC,IAAI,yBAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACvD,IAAA,yBAAM,EAAC,IAAI,qBAAS,CAAC,IAAI,yBAAW,EAAE,CAAC,CAAC,gBAAgB,CAAC,IAAI,qBAAS,CAAC,IAAI,yBAAW,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACvG,IAAA,yBAAM,EAAC,IAAI,qBAAS,CAAC,IAAI,yBAAW,EAAE,CAAC,CAAC,gBAAgB,CAAC,IAAI,qBAAS,CAAC,IAAI,uBAAU,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;IAC3G,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QACxC,IAAA,yBAAM,EAAC,IAAI,qBAAS,EAAE,CAAC,OAAO,CAAC,IAAI,yBAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;QACxB,IAAA,yBAAM,EAAC,IAAI,qBAAS,EAAE,CAAC,gBAAgB,CAAC,IAAI,yBAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QACxE,IAAA,yBAAM,EAAC,IAAI,qBAAS,EAAE,CAAC,gBAAgB,CAAC,IAAI,qBAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;QACtB,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;YAC3B,IAAA,yBAAM,EAAC,IAAI,qBAAS,CAAC,IAAI,yBAAW,EAAE,EAAE,IAAI,uBAAU,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;QAC7G,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;QACjC,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;YAChC,MAAM,OAAO,GAAG,IAAI,qBAAS,EAAE,CAAC;YAChC,IAAA,iCAAc,EAAC,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,EAAE,KAAK,gCAAwB,EAAE,CAAC,EAAE,qCAAiB,CAAC,CAAC;YACpG,IAAA,iCAAc,EAAC,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,EAAE,KAAK,gCAAwB,EAAE,CAAC,EAAE,qCAAiB,CAAC,CAAC;YACpG,IAAA,iCAAc,EAAC,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,EAAE,KAAK,gCAAwB,EAAE,CAAC,EAAE,qCAAiB,CAAC,CAAC;QACxG,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;YAC5C,MAAM,OAAO,GAAG,IAAI,qBAAS,CAAC,yBAAW,CAAC,QAAQ,CAAC,CAAC;YACpD,MAAM,OAAO,GAAG,OAAO,CAAC,aAAa,CAAC,KAAK,EAAE,EAAE,KAAK,gCAAwB,EAAE,CAAsB,CAAC;YACrG,IAAA,iCAAc,EAAC,OAAO,CAAC,UAAU,EAAE,yBAAW,CAAC,CAAC;YAChD,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,EAAE,KAAK,gCAAwB,EAAE,CAAsB,CAAC;YACvG,IAAA,iCAAc,EAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,yBAAW,CAAC,CAAC;QACzD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;YAChD,MAAM,OAAO,GAAG,IAAI,qBAAS,EAAE,CAAC;YAChC,MAAM,QAAQ,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,EAAE,KAAK,gCAAwB,EAAE,CAAC,CAAC;YAClF,IAAA,iCAAc,EAAE,QAA8B,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,uBAAU,CAAC,CAAC;YAC3E,IAAA,yBAAM,EAAE,QAA8B,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YACxE,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC,QAAQ,EAAE,EAAE,KAAK,gCAAwB,EAAE,CAAC,CAAC;YACtF,IAAA,iCAAc,EAAE,UAAgC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,uBAAU,CAAC,CAAC;YAC7E,IAAA,iCAAc,EAAE,UAAgC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,uBAAU,CAAC,CAAC;YAC7E,IAAA,yBAAM,EAAE,UAAgC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAE9E,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}

package/dist/types/AssociativeArrayType.d.ts

@@ -0,0 +1,14 @@
+import { SymbolTable } from '../SymbolTable';
+import type { GetTypeOptions, TypeCompatibilityData } from '../interfaces';
+import { BscType } from './BscType';
+import { BscTypeKind } from './BscTypeKind';
+export declare class AssociativeArrayType extends BscType {
+    readonly kind = BscTypeKind.AssociativeArrayType;
+    isTypeCompatible(targetType: BscType, data?: TypeCompatibilityData): boolean;
+    toString(): string;
+    toTypeString(): string;
+    getMemberType(name: string, options: GetTypeOptions): BscType;
+    isEqual(otherType: BscType): any;
+    private builtInMemberTable;
+    getBuiltInMemberTable(): SymbolTable;
+}

package/dist/types/AssociativeArrayType.js

@@ -0,0 +1,60 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.AssociativeArrayType = void 0;
+const SymbolTable_1 = require("../SymbolTable");
+const reflection_1 = require("../astUtils/reflection");
+const BscType_1 = require("./BscType");
+const BscTypeKind_1 = require("./BscTypeKind");
+const DynamicType_1 = require("./DynamicType");
+const helpers_1 = require("./helpers");
+class AssociativeArrayType extends BscType_1.BscType {
+    constructor() {
+        super(...arguments);
+        this.kind = BscTypeKind_1.BscTypeKind.AssociativeArrayType;
+    }
+    isTypeCompatible(targetType, data) {
+        if ((0, reflection_1.isDynamicType)(targetType)) {
+            return true;
+        }
+        else if ((0, reflection_1.isObjectType)(targetType)) {
+            return true;
+        }
+        else if ((0, helpers_1.isUnionTypeCompatible)(this, targetType)) {
+            return true;
+        }
+        else if ((0, reflection_1.isAssociativeArrayType)(targetType)) {
+            return true;
+        }
+        else if (this.checkCompatibilityBasedOnMembers(targetType, 1 /* SymbolTypeFlag.runtime */, data)) {
+            return true;
+        }
+        else if ((0, reflection_1.isClassType)(targetType)) {
+            return true;
+        }
+        return false;
+    }
+    toString() {
+        return 'roAssociativeArray';
+    }
+    toTypeString() {
+        return 'object';
+    }
+    getMemberType(name, options) {
+        var _a;
+        // if a member has specifically been added, cool. otherwise, assume dynamic
+        return (_a = super.getMemberType(name, options)) !== null && _a !== void 0 ? _a : DynamicType_1.DynamicType.instance;
+    }
+    isEqual(otherType) {
+        return (0, reflection_1.isAssociativeArrayType)(otherType) && this.checkCompatibilityBasedOnMembers(otherType, 1 /* SymbolTypeFlag.runtime */);
+    }
+    getBuiltInMemberTable() {
+        if (this.builtInMemberTable) {
+            return this.builtInMemberTable;
+        }
+        this.builtInMemberTable = new SymbolTable_1.SymbolTable(`${this.__identifier} Built-in Members`);
+        this.pushMemberProvider(() => this.builtInMemberTable);
+        return this.builtInMemberTable;
+    }
+}
+exports.AssociativeArrayType = AssociativeArrayType;
+//# sourceMappingURL=AssociativeArrayType.js.map

package/dist/types/AssociativeArrayType.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"AssociativeArrayType.js","sourceRoot":"","sources":["../../src/types/AssociativeArrayType.ts"],"names":[],"mappings":";;;AAAA,gDAA6C;AAE7C,uDAA0G;AAE1G,uCAAoC;AACpC,+CAA4C;AAC5C,+CAA4C;AAC5C,uCAAkD;AAElD,MAAa,oBAAqB,SAAQ,iBAAO;IAAjD;;QAGoB,SAAI,GAAG,yBAAW,CAAC,oBAAoB,CAAC;IA+C5D,CAAC;IA7CU,gBAAgB,CAAC,UAAmB,EAAE,IAA4B;QACrE,IAAI,IAAA,0BAAa,EAAC,UAAU,CAAC,EAAE;YAC3B,OAAO,IAAI,CAAC;SACf;aAAM,IAAI,IAAA,yBAAY,EAAC,UAAU,CAAC,EAAE;YACjC,OAAO,IAAI,CAAC;SACf;aAAM,IAAI,IAAA,+BAAqB,EAAC,IAAI,EAAE,UAAU,CAAC,EAAE;YAChD,OAAO,IAAI,CAAC;SACf;aAAM,IAAI,IAAA,mCAAsB,EAAC,UAAU,CAAC,EAAE;YAC3C,OAAO,IAAI,CAAC;SACf;aAAM,IAAI,IAAI,CAAC,gCAAgC,CAAC,UAAU,kCAA0B,IAAI,CAAC,EAAE;YACxF,OAAO,IAAI,CAAC;SACf;aAAM,IAAI,IAAA,wBAAW,EAAC,UAAU,CAAC,EAAE;YAChC,OAAO,IAAI,CAAC;SACf;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAEM,QAAQ;QACX,OAAO,oBAAoB,CAAC;IAChC,CAAC;IAEM,YAAY;QACf,OAAO,QAAQ,CAAC;IACpB,CAAC;IAED,aAAa,CAAC,IAAY,EAAE,OAAuB;;QAC/C,2EAA2E;QAC3E,OAAO,MAAA,KAAK,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,mCAAI,yBAAW,CAAC,QAAQ,CAAC;IACtE,CAAC;IAED,OAAO,CAAC,SAAkB;QACtB,OAAO,IAAA,mCAAsB,EAAC,SAAS,CAAC,IAAI,IAAI,CAAC,gCAAgC,CAAC,SAAS,iCAAyB,CAAC;IACzH,CAAC;IAID,qBAAqB;QACjB,IAAI,IAAI,CAAC,kBAAkB,EAAE;YACzB,OAAO,IAAI,CAAC,kBAAkB,CAAC;SAClC;QACD,IAAI,CAAC,kBAAkB,GAAG,IAAI,yBAAW,CAAC,GAAG,IAAI,CAAC,YAAY,mBAAmB,CAAC,CAAC;QACnF,IAAI,CAAC,kBAAkB,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QACvD,OAAO,IAAI,CAAC,kBAAkB,CAAC;IAEnC,CAAC;CACJ;AAlDD,oDAkDC"}

package/dist/types/BaseFunctionType.d.ts

@@ -0,0 +1,9 @@
+import type { TypeCompatibilityData } from '../interfaces';
+import { BscType } from './BscType';
+export declare abstract class BaseFunctionType extends BscType {
+    returnType: BscType;
+    isTypeCompatible(targetType: BscType, data?: TypeCompatibilityData): boolean;
+    toString(): string;
+    toTypeString(): string;
+    isEqual(targetType: BscType): boolean;
+}

package/dist/types/BaseFunctionType.js

@@ -0,0 +1,25 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.BaseFunctionType = void 0;
+const BscType_1 = require("./BscType");
+const DynamicType_1 = require("./DynamicType");
+class BaseFunctionType extends BscType_1.BscType {
+    constructor() {
+        super(...arguments);
+        this.returnType = DynamicType_1.DynamicType.instance;
+    }
+    isTypeCompatible(targetType, data) {
+        throw new Error('Method not implemented.');
+    }
+    toString() {
+        return this.toTypeString();
+    }
+    toTypeString() {
+        return 'Function';
+    }
+    isEqual(targetType) {
+        throw new Error('Method not implemented.');
+    }
+}
+exports.BaseFunctionType = BaseFunctionType;
+//# sourceMappingURL=BaseFunctionType.js.map

package/dist/types/BaseFunctionType.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"BaseFunctionType.js","sourceRoot":"","sources":["../../src/types/BaseFunctionType.ts"],"names":[],"mappings":";;;AACA,uCAAoC;AACpC,+CAA4C;AAE5C,MAAsB,gBAAiB,SAAQ,iBAAO;IAAtD;;QAEW,eAAU,GAAY,yBAAW,CAAC,QAAQ,CAAC;IAkBtD,CAAC;IAhBU,gBAAgB,CAAC,UAAmB,EAAE,IAA4B;QACrE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IAC/C,CAAC;IAEM,QAAQ;QACX,OAAO,IAAI,CAAC,YAAY,EAAE,CAAC;IAE/B,CAAC;IAEM,YAAY;QACf,OAAO,UAAU,CAAC;IACtB,CAAC;IAED,OAAO,CAAC,UAAmB;QACvB,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IAC/C,CAAC;CACJ;AApBD,4CAoBC"}

package/dist/types/BooleanType.d.ts

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

package/dist/types/BooleanType.js

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

package/dist/types/BooleanType.js.map

@@ -1 +1 @@
-{"version":3,"file":"BooleanType.js","sourceRoot":"","sources":["../../src/types/BooleanType.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":"BooleanType.js","sourceRoot":"","sources":["../../src/types/BooleanType.ts"],"names":[],"mappings":";;;AAAA,uDAAoF;AACpF,uCAAoC;AACpC,+CAA4C;AAC5C,uCAA+E;AAC/E,mEAAgE;AAGhE,MAAa,WAAY,SAAQ,iBAAO;IACpC,YACW,QAAiB;QAExB,KAAK,EAAE,CAAC;QAFD,aAAQ,GAAR,QAAQ,CAAS;QAKZ,SAAI,GAAG,yBAAW,CAAC,WAAW,CAAC;IAF/C,CAAC;IAMM,gBAAgB,CAAC,UAAmB,EAAE,IAA4B;QACrE,OAAO,CACH,IAAA,0BAAa,EAAC,UAAU,CAAC;YACzB,IAAA,0BAAa,EAAC,UAAU,CAAC;YACzB,IAAA,yBAAY,EAAC,UAAU,CAAC;YACxB,IAAA,+BAAqB,EAAC,IAAI,EAAE,UAAU,CAAC;YACvC,IAAA,qCAA2B,EAAC,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,IAAI,CAAC,CACnE,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,0BAAa,EAAC,UAAU,CAAC,CAAC;IACrC,CAAC;;AA/BL,kCAgCC;AAvBiB,oBAAQ,GAAG,IAAI,WAAW,CAAC,SAAS,CAAC,CAAC;AAyBxD,6CAAqB,CAAC,0BAA0B,CAAC,GAAG,CAAC,SAAS,EAAE,WAAW,CAAC,QAAQ,CAAC,CAAC"}

package/dist/types/BooleanType.spec.js

@@ -1,12 +1,18 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-const chai_1 = require("chai");
+const chai_config_spec_1 = require("../chai-config.spec");
 const BooleanType_1 = require("./BooleanType");
 const DynamicType_1 = require("./DynamicType");
+const IntegerType_1 = require("./IntegerType");
 describe('BooleanType', () => {
-    it('is equivalent to boolean types', () => {
-        chai_1.expect(new BooleanType_1.BooleanType().isAssignableTo(new BooleanType_1.BooleanType())).to.be.true;
-        chai_1.expect(new BooleanType_1.BooleanType().isAssignableTo(new DynamicType_1.DynamicType())).to.be.true;
+    it('is equal to boolean type', () => {
+        (0, chai_config_spec_1.expect)(new BooleanType_1.BooleanType().isEqual(new BooleanType_1.BooleanType())).to.be.true;
+        (0, chai_config_spec_1.expect)(new BooleanType_1.BooleanType().isEqual(new DynamicType_1.DynamicType())).to.be.false;
+    });
+    it('is compatible with only correct types', () => {
+        (0, chai_config_spec_1.expect)(new BooleanType_1.BooleanType().isTypeCompatible(new BooleanType_1.BooleanType())).to.be.true;
+        (0, chai_config_spec_1.expect)(new BooleanType_1.BooleanType().isTypeCompatible(new DynamicType_1.DynamicType())).to.be.true;
+        (0, chai_config_spec_1.expect)(new BooleanType_1.BooleanType().isTypeCompatible(IntegerType_1.IntegerType.instance)).to.be.false;
     });
 });
 //# sourceMappingURL=BooleanType.spec.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"BooleanType.spec.js","sourceRoot":"","sources":["../../src/types/BooleanType.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":"BooleanType.spec.js","sourceRoot":"","sources":["../../src/types/BooleanType.spec.ts"],"names":[],"mappings":";;AAAA,0DAA6C;AAE7C,+CAA4C;AAC5C,+CAA4C;AAC5C,+CAA4C;AAE5C,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;IACzB,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAChC,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;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC7C,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;QACzE,IAAA,yBAAM,EAAC,IAAI,yBAAW,EAAE,CAAC,gBAAgB,CAAC,yBAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;IACjF,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}

package/dist/types/BscType.d.ts

@@ -1,7 +1,33 @@
-export interface BscType {
+import type { GetSymbolTypeOptions, SymbolTableProvider } from '../SymbolTable';
+import { SymbolTable } from '../SymbolTable';
+import { SymbolTypeFlag } from '../SymbolTypeFlag';
+import type { ExtraSymbolData, TypeCompatibilityData } from '../interfaces';
+export declare abstract class BscType {
+    readonly memberTable: SymbolTable;
+    protected __identifier: string;
+    protected hasAddedBuiltInInterfaces: boolean;
+    constructor(name?: string);
+    pushMemberProvider(provider: SymbolTableProvider): void;
+    popMemberProvider(): void;
+    getBuiltInMemberTable(): SymbolTable;
+    addMember(name: string, data: ExtraSymbolData, type: BscType, flags: SymbolTypeFlag): void;
+    getMemberType(name: string, options: GetSymbolTypeOptions): BscType;
+    getMemberTable(): SymbolTable;
+    isResolvable(): boolean;
+    /**
+     * Check if this type can be assigned to the target type
+     * @param targetType the type that we're trying to assign this type to
+     * @deprecated
+     */
     isAssignableTo(targetType: BscType): boolean;
-    isConvertibleTo(targetType: BscType): boolean;
+    /**
+     * Check if a different type can be assigned to this type - eg. does the other type convert into this type?
+     * @param _otherType the type to check if it can be used as this type, or can automatically be converted into this type
+     */
+    isTypeCompatible(_otherType: BscType, data?: TypeCompatibilityData): boolean;
     toString(): string;
     toTypeString(): string;
-    equals(targetType: BscType): boolean;
+    isEqual(targetType: BscType, data?: TypeCompatibilityData): boolean;
+    checkCompatibilityBasedOnMembers(targetType: BscType, flags: SymbolTypeFlag, data?: TypeCompatibilityData): boolean;
+    addBuiltInInterfaces(): void;
 }