brighterscript 0.65.1 → 0.66.0-alpha.1

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,0DAA6C;AAE7C,2CAAwC;AACxC,+CAA4C;AAC5C,+CAA4C;AAC5C,6CAA0C;AAE1C,QAAQ,CAAC,WAAW,EAAE,GAAG,EAAE;IACvB,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACpC,IAAA,yBAAM,EAAC,IAAI,qBAAS,EAAE,CAAC,cAAc,CAAC,IAAI,qBAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACnE,IAAA,yBAAM,EAAC,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,IAAA,yBAAM,EAAC,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,IAAA,yBAAM,EAAC,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,IAAA,yBAAM,EAAC,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,IAAA,yBAAM,EAAC,IAAI,qBAAS,EAAE,CAAC,eAAe,CAAC,IAAI,yBAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QACvE,IAAA,yBAAM,EAAC,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,IAAA,yBAAM,EAAC,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,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,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC9B,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,oBAAoB,EAAE,GAAG,EAAE;YAC1B,IAAA,yBAAM,EAAC,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"}

package/dist/types/BooleanType.d.ts

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

package/dist/types/BooleanType.js

@@ -1,17 +1,18 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.BooleanType = void 0;
-const DynamicType_1 = require("./DynamicType");
-class BooleanType {
+const reflection_1 = require("../astUtils/reflection");
+const BscType_1 = require("./BscType");
+const BscTypeKind_1 = require("./BscTypeKind");
+class BooleanType extends BscType_1.BscType {
     constructor(typeText) {
+        super();
         this.typeText = typeText;
+        this.kind = BscTypeKind_1.BscTypeKind.BooleanType;
     }
-    isAssignableTo(targetType) {
-        return (targetType instanceof BooleanType ||
-            targetType instanceof DynamicType_1.DynamicType);
-    }
-    isConvertibleTo(targetType) {
-        return this.isAssignableTo(targetType);
+    isTypeCompatible(targetType) {
+        return ((0, reflection_1.isBooleanType)(targetType) ||
+            (0, reflection_1.isDynamicType)(targetType));
     }
     toString() {
         var _a;
@@ -20,6 +21,10 @@ class BooleanType {
     toTypeString() {
         return this.toString();
     }
+    isEqual(targetType) {
+        return (0, reflection_1.isBooleanType)(targetType);
+    }
 }
 exports.BooleanType = BooleanType;
+BooleanType.instance = new BooleanType('boolean');
 //# 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":";;;AACA,+CAA4C;AAE5C,MAAa,WAAW;IACpB,YACW,QAAiB;QAAjB,aAAQ,GAAR,QAAQ,CAAS;IACxB,CAAC;IAEE,cAAc,CAAC,UAAmB;QACrC,OAAO,CACH,UAAU,YAAY,WAAW;YACjC,UAAU,YAAY,yBAAW,CACpC,CAAC;IACN,CAAC;IAEM,eAAe,CAAC,UAAmB;QACtC,OAAO,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;IAC3C,CAAC;IAEM,QAAQ;;QACX,OAAO,MAAA,IAAI,CAAC,QAAQ,mCAAI,SAAS,CAAC;IACtC,CAAC;IAEM,YAAY;QACf,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC;CACJ;AAvBD,kCAuBC"}
+{"version":3,"file":"BooleanType.js","sourceRoot":"","sources":["../../src/types/BooleanType.ts"],"names":[],"mappings":";;;AAAA,uDAAsE;AACtE,uCAAoC;AACpC,+CAA4C;AAE5C,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;QACvC,OAAO,CACH,IAAA,0BAAa,EAAC,UAAU,CAAC;YACzB,IAAA,0BAAa,EAAC,UAAU,CAAC,CAC5B,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;;AA5BL,kCA6BC;AApBiB,oBAAQ,GAAG,IAAI,WAAW,CAAC,SAAS,CAAC,CAAC"}

package/dist/types/BooleanType.spec.js

@@ -3,10 +3,16 @@ Object.defineProperty(exports, "__esModule", { value: true });
 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', () => {
-        (0, chai_config_spec_1.expect)(new BooleanType_1.BooleanType().isAssignableTo(new BooleanType_1.BooleanType())).to.be.true;
-        (0, chai_config_spec_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,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,cAAc,CAAC,IAAI,yBAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACvE,IAAA,yBAAM,EAAC,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,6 +1,29 @@
-export interface BscType {
+import type { GetSymbolTypeOptions, SymbolTableProvider } from '../SymbolTable';
+import type { Range } from 'vscode-languageserver';
+import type { SymbolTypeFlag } from '../SymbolTable';
+import { SymbolTable } from '../SymbolTable';
+export declare abstract class BscType {
+    readonly memberTable: SymbolTable;
+    protected __identifier: string;
+    constructor(name?: string);
+    pushMemberProvider(provider: SymbolTableProvider): void;
+    popMemberProvider(): void;
+    addMember(name: string, range: Range, type: BscType, flags: SymbolTypeFlag): void;
+    getMemberType(name: string, options: GetSymbolTypeOptions): BscType;
+    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): boolean;
     toString(): string;
     toTypeString(): string;
+    isEqual(targetType: BscType): boolean;
+    checkCompatibilityBasedOnMembers(targetType: BscType, flags: SymbolTypeFlag): boolean;
 }

package/dist/types/BscType.js

@@ -1,3 +1,67 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
+exports.BscType = void 0;
+const SymbolTable_1 = require("../SymbolTable");
+class BscType {
+    constructor(name = '') {
+        this.__identifier = `${this.constructor.name}${name ? ': ' + name : ''}`;
+        this.memberTable = new SymbolTable_1.SymbolTable(this.__identifier);
+    }
+    pushMemberProvider(provider) {
+        this.memberTable.pushParentProvider(provider);
+    }
+    popMemberProvider() {
+        this.memberTable.popParentProvider();
+    }
+    addMember(name, range, type, flags) {
+        this.memberTable.addSymbol(name, range, type, flags);
+    }
+    getMemberType(name, options) {
+        return this.memberTable.getSymbolType(name, options);
+    }
+    isResolvable() {
+        return true;
+    }
+    /**
+     * 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) {
+        return targetType.isTypeCompatible(this);
+    }
+    /**
+     * 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) {
+        throw new Error('Method not implemented.');
+    }
+    toString() {
+        throw new Error('Method not implemented.');
+    }
+    toTypeString() {
+        throw new Error('Method not implemented.');
+    }
+    isEqual(targetType) {
+        throw new Error('Method not implemented.');
+    }
+    checkCompatibilityBasedOnMembers(targetType, flags) {
+        var _a;
+        let isSuperSet = true;
+        const targetSymbols = (_a = targetType.memberTable) === null || _a === void 0 ? void 0 : _a.getAllSymbols(flags);
+        for (const targetSymbol of targetSymbols) {
+            const myTypesOfTargetSymbol = this.memberTable.getSymbolTypes(targetSymbol.name, flags);
+            isSuperSet = isSuperSet && myTypesOfTargetSymbol && myTypesOfTargetSymbol.length > 0 &&
+                myTypesOfTargetSymbol.reduce((acc, myTypeOfTarget) => {
+                    return acc && myTypeOfTarget.isTypeCompatible(targetSymbol.type);
+                }, true);
+            if (!isSuperSet) {
+                return false;
+            }
+        }
+        return isSuperSet;
+    }
+}
+exports.BscType = BscType;
 //# sourceMappingURL=BscType.js.map

package/dist/types/BscType.js.map

@@ -1 +1 @@
-{"version":3,"file":"BscType.js","sourceRoot":"","sources":["../../src/types/BscType.ts"],"names":[],"mappings":""}
+{"version":3,"file":"BscType.js","sourceRoot":"","sources":["../../src/types/BscType.ts"],"names":[],"mappings":";;;AAGA,gDAA6C;AAE7C,MAAsB,OAAO;IAKzB,YAAY,IAAI,GAAG,EAAE;QACjB,IAAI,CAAC,YAAY,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACzE,IAAI,CAAC,WAAW,GAAG,IAAI,yBAAW,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAC1D,CAAC;IAED,kBAAkB,CAAC,QAA6B;QAC5C,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAClD,CAAC;IAED,iBAAiB;QACb,IAAI,CAAC,WAAW,CAAC,iBAAiB,EAAE,CAAC;IACzC,CAAC;IAED,SAAS,CAAC,IAAY,EAAE,KAAY,EAAE,IAAa,EAAE,KAAqB;QACtE,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IACzD,CAAC;IAED,aAAa,CAAC,IAAY,EAAE,OAA6B;QACrD,OAAO,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACzD,CAAC;IAED,YAAY;QACR,OAAO,IAAI,CAAC;IAChB,CAAC;IAED;;;;OAIG;IACH,cAAc,CAAC,UAAmB;QAC9B,OAAO,UAAU,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC;IAED;;;OAGG;IACH,gBAAgB,CAAC,UAAmB;QAChC,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IAC/C,CAAC;IACD,QAAQ;QACJ,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IAC/C,CAAC;IACD,YAAY;QACR,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IAC/C,CAAC;IAED,OAAO,CAAC,UAAmB;QACvB,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IAC/C,CAAC;IAGD,gCAAgC,CAAC,UAAmB,EAAE,KAAqB;;QACvE,IAAI,UAAU,GAAG,IAAI,CAAC;QACtB,MAAM,aAAa,GAAG,MAAA,UAAU,CAAC,WAAW,0CAAE,aAAa,CAAC,KAAK,CAAC,CAAC;QACnE,KAAK,MAAM,YAAY,IAAI,aAAa,EAAE;YACtC,MAAM,qBAAqB,GAAG,IAAI,CAAC,WAAW,CAAC,cAAc,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACxF,UAAU,GAAG,UAAU,IAAI,qBAAqB,IAAI,qBAAqB,CAAC,MAAM,GAAG,CAAC;gBAChF,qBAAqB,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,cAAc,EAAE,EAAE;oBACjD,OAAO,GAAG,IAAI,cAAc,CAAC,gBAAgB,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;gBACrE,CAAC,EAAE,IAAI,CAAC,CAAC;YACb,IAAI,CAAC,UAAU,EAAE;gBACb,OAAO,KAAK,CAAC;aAChB;SACJ;QACD,OAAO,UAAU,CAAC;IACtB,CAAC;CACJ;AAzED,0BAyEC"}

package/dist/types/BscTypeKind.d.ts

@@ -0,0 +1,22 @@
+export declare enum BscTypeKind {
+    ArrayType = "ArrayType",
+    BooleanType = "BooleanType",
+    ClassType = "ClassType",
+    DoubleType = "DoubleType",
+    DynamicType = "DynamicType",
+    EnumType = "EnumType",
+    EnumMemberType = "EnumMemberType",
+    FloatType = "FloatType",
+    FunctionType = "FunctionType",
+    IntegerType = "IntegerType",
+    InterfaceType = "InterfaceType",
+    InvalidType = "InvalidType",
+    LongIntegerType = "LongIntegerType",
+    NamespaceType = "NamespaceType",
+    ObjectType = "ObjectType",
+    ReferenceType = "ReferenceType",
+    StringType = "StringType",
+    UninitializedType = "UninitializedType",
+    UnionType = "UnionType",
+    VoidType = "VoidType"
+}

package/dist/types/BscTypeKind.js

@@ -0,0 +1,27 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.BscTypeKind = void 0;
+var BscTypeKind;
+(function (BscTypeKind) {
+    BscTypeKind["ArrayType"] = "ArrayType";
+    BscTypeKind["BooleanType"] = "BooleanType";
+    BscTypeKind["ClassType"] = "ClassType";
+    BscTypeKind["DoubleType"] = "DoubleType";
+    BscTypeKind["DynamicType"] = "DynamicType";
+    BscTypeKind["EnumType"] = "EnumType";
+    BscTypeKind["EnumMemberType"] = "EnumMemberType";
+    BscTypeKind["FloatType"] = "FloatType";
+    BscTypeKind["FunctionType"] = "FunctionType";
+    BscTypeKind["IntegerType"] = "IntegerType";
+    BscTypeKind["InterfaceType"] = "InterfaceType";
+    BscTypeKind["InvalidType"] = "InvalidType";
+    BscTypeKind["LongIntegerType"] = "LongIntegerType";
+    BscTypeKind["NamespaceType"] = "NamespaceType";
+    BscTypeKind["ObjectType"] = "ObjectType";
+    BscTypeKind["ReferenceType"] = "ReferenceType";
+    BscTypeKind["StringType"] = "StringType";
+    BscTypeKind["UninitializedType"] = "UninitializedType";
+    BscTypeKind["UnionType"] = "UnionType";
+    BscTypeKind["VoidType"] = "VoidType";
+})(BscTypeKind = exports.BscTypeKind || (exports.BscTypeKind = {}));
+//# sourceMappingURL=BscTypeKind.js.map

package/dist/types/BscTypeKind.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"BscTypeKind.js","sourceRoot":"","sources":["../../src/types/BscTypeKind.ts"],"names":[],"mappings":";;;AAAA,IAAY,WAqBX;AArBD,WAAY,WAAW;IACnB,sCAAuB,CAAA;IACvB,0CAA2B,CAAA;IAC3B,sCAAuB,CAAA;IACvB,wCAAyB,CAAA;IACzB,0CAA2B,CAAA;IAC3B,oCAAqB,CAAA;IACrB,gDAAiC,CAAA;IACjC,sCAAuB,CAAA;IACvB,4CAA6B,CAAA;IAC7B,0CAA2B,CAAA;IAC3B,8CAA+B,CAAA;IAC/B,0CAA2B,CAAA;IAC3B,kDAAmC,CAAA;IACnC,8CAA+B,CAAA;IAC/B,wCAAyB,CAAA;IACzB,8CAA+B,CAAA;IAC/B,wCAAyB,CAAA;IACzB,sDAAuC,CAAA;IACvC,sCAAuB,CAAA;IACvB,oCAAqB,CAAA;AACzB,CAAC,EArBW,WAAW,GAAX,mBAAW,KAAX,mBAAW,QAqBtB"}

package/dist/types/ClassType.d.ts

@@ -0,0 +1,11 @@
+import type { BscType } from './BscType';
+import { BscTypeKind } from './BscTypeKind';
+import { InheritableType } from './InheritableType';
+export declare class ClassType extends InheritableType {
+    name: string;
+    readonly superClass?: BscType;
+    constructor(name: string, superClass?: BscType);
+    readonly kind = BscTypeKind.ClassType;
+    isTypeCompatible(targetType: BscType): any;
+    isEqual(targetType: BscType): boolean;
+}

package/dist/types/ClassType.js

@@ -0,0 +1,31 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ClassType = void 0;
+const reflection_1 = require("../astUtils/reflection");
+const BscTypeKind_1 = require("./BscTypeKind");
+const InheritableType_1 = require("./InheritableType");
+class ClassType extends InheritableType_1.InheritableType {
+    constructor(name, superClass) {
+        super(name, superClass);
+        this.name = name;
+        this.superClass = superClass;
+        this.kind = BscTypeKind_1.BscTypeKind.ClassType;
+    }
+    isTypeCompatible(targetType) {
+        if (this.isEqual(targetType)) {
+            return true;
+        }
+        else if ((0, reflection_1.isDynamicType)(targetType)) {
+            return true;
+        }
+        else if ((0, reflection_1.isClassType)(targetType)) {
+            return this.isTypeDescendent(targetType);
+        }
+        return false;
+    }
+    isEqual(targetType) {
+        return (0, reflection_1.isClassType)(targetType) && this.name.toLowerCase() === targetType.name.toLowerCase();
+    }
+}
+exports.ClassType = ClassType;
+//# sourceMappingURL=ClassType.js.map

package/dist/types/ClassType.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ClassType.js","sourceRoot":"","sources":["../../src/types/ClassType.ts"],"names":[],"mappings":";;;AAAA,uDAAoE;AAEpE,+CAA4C;AAC5C,uDAAoD;AAEpD,MAAa,SAAU,SAAQ,iCAAe;IAE1C,YAAmB,IAAY,EAAkB,UAAoB;QACjE,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QADT,SAAI,GAAJ,IAAI,CAAQ;QAAkB,eAAU,GAAV,UAAU,CAAU;QAIrD,SAAI,GAAG,yBAAW,CAAC,SAAS,CAAC;IAF7C,CAAC;IAIM,gBAAgB,CAAC,UAAmB;QACvC,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE;YAC1B,OAAO,IAAI,CAAC;SACf;aAAM,IAAI,IAAA,0BAAa,EAAC,UAAU,CAAC,EAAE;YAClC,OAAO,IAAI,CAAC;SACf;aAAM,IAAI,IAAA,wBAAW,EAAC,UAAU,CAAC,EAAE;YAChC,OAAO,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC;SAC5C;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,OAAO,CAAC,UAAmB;QACvB,OAAO,IAAA,wBAAW,EAAC,UAAU,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;IAChG,CAAC;CACJ;AAtBD,8BAsBC"}

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

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

package/dist/types/ClassType.spec.js

@@ -0,0 +1,75 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const chai_1 = require("chai");
+const ClassType_1 = require("./ClassType");
+const StringType_1 = require("./StringType");
+const SymbolTable_1 = require("../SymbolTable");
+const testHelpers_spec_1 = require("../testHelpers.spec");
+const ReferenceType_1 = require("./ReferenceType");
+const reflection_1 = require("../astUtils/reflection");
+const IntegerType_1 = require("./IntegerType");
+const SymbolTable_2 = require("../SymbolTable");
+describe('ClassType', () => {
+    it('can have a super class', () => {
+        const superKlass = new ClassType_1.ClassType('SuperKlass');
+        const subKlass = new ClassType_1.ClassType('SubKlass', superKlass);
+        (0, chai_1.expect)(subKlass.superClass).to.exist;
+        (0, chai_1.expect)(subKlass.superClass.toString()).to.equal('SuperKlass');
+    });
+    it('should be assignable to a super klass, or higher ancestor', () => {
+        const grandSuperKlass = new ClassType_1.ClassType('GrandSuperKlass');
+        const superKlass = new ClassType_1.ClassType('SuperKlass', grandSuperKlass);
+        const subKlass = new ClassType_1.ClassType('SubKlass', superKlass);
+        (0, chai_1.expect)(subKlass.isTypeCompatible(subKlass)).to.be.true;
+        (0, chai_1.expect)(superKlass.isTypeCompatible(subKlass)).to.be.true;
+        (0, chai_1.expect)(grandSuperKlass.isTypeCompatible(superKlass)).to.be.true;
+    });
+    it('should not be assignable to a class that is not an ancestor', () => {
+        const otherKlass = new ClassType_1.ClassType('OtherKlass');
+        const superKlass = new ClassType_1.ClassType('SuperKlass');
+        const subKlass = new ClassType_1.ClassType('SubKlass', superKlass);
+        (0, chai_1.expect)(superKlass.isTypeCompatible(subKlass)).to.be.true;
+        (0, chai_1.expect)(otherKlass.isTypeCompatible(subKlass)).to.be.false;
+    });
+    it('will look in super classes for members', () => {
+        const superKlass = new ClassType_1.ClassType('SuperKlass');
+        superKlass.addMember('title', null, StringType_1.StringType.instance, SymbolTable_2.SymbolTypeFlag.runtime);
+        const subKlass = new ClassType_1.ClassType('SubKlass', superKlass);
+        (0, testHelpers_spec_1.expectTypeToBe)(subKlass.getMemberType('title', { flags: SymbolTable_2.SymbolTypeFlag.runtime }), StringType_1.StringType);
+    });
+    it('allow ReferenceTypes as super classes', () => {
+        const myTable = new SymbolTable_1.SymbolTable('test');
+        const futureSuperKlass = new ReferenceType_1.ReferenceType('SuperKlass', 'SuperKlass', SymbolTable_2.SymbolTypeFlag.typetime, () => myTable);
+        const subKlass = new ClassType_1.ClassType('SubKlass', futureSuperKlass);
+        (0, chai_1.expect)(subKlass.isResolvable()).to.be.false;
+        const superKlass = new ClassType_1.ClassType('SuperKlass');
+        myTable.addSymbol('SuperKlass', null, superKlass, SymbolTable_2.SymbolTypeFlag.typetime);
+        (0, chai_1.expect)(subKlass.isResolvable()).to.be.true;
+    });
+    it('allows members of future super classes to be resolved', () => {
+        const myTable = new SymbolTable_1.SymbolTable('test');
+        const futureSuperKlass = new ReferenceType_1.ReferenceType('SuperKlass', 'SuperKlass', SymbolTable_2.SymbolTypeFlag.typetime, () => myTable);
+        const subKlass = new ClassType_1.ClassType('SubKlass', futureSuperKlass);
+        (0, chai_1.expect)(subKlass.isResolvable()).to.be.false;
+        const futureTitleType = subKlass.getMemberType('title', { flags: SymbolTable_2.SymbolTypeFlag.runtime });
+        (0, chai_1.expect)((0, reflection_1.isReferenceType)(futureTitleType)).to.be.true;
+        (0, chai_1.expect)(futureTitleType.isResolvable()).to.be.false;
+        const superKlass = new ClassType_1.ClassType('SuperKlass');
+        superKlass.addMember('title', null, StringType_1.StringType.instance, SymbolTable_2.SymbolTypeFlag.runtime);
+        // eslint-disable-next-line no-bitwise
+        myTable.addSymbol('SuperKlass', null, superKlass, SymbolTable_2.SymbolTypeFlag.typetime | SymbolTable_2.SymbolTypeFlag.runtime);
+        (0, chai_1.expect)(futureTitleType.isResolvable()).to.be.true;
+        (0, testHelpers_spec_1.expectTypeToBe)(futureTitleType, StringType_1.StringType);
+    });
+    describe('toJSString', () => {
+        it('includes superclass members', () => {
+            const superKlass = new ClassType_1.ClassType('SuperKlass');
+            const subKlass = new ClassType_1.ClassType('SubKlass', superKlass);
+            superKlass.addMember('name', null, StringType_1.StringType.instance, SymbolTable_2.SymbolTypeFlag.runtime);
+            superKlass.addMember('age', null, IntegerType_1.IntegerType.instance, SymbolTable_2.SymbolTypeFlag.runtime);
+            (0, chai_1.expect)(subKlass.toJSString).to.exist;
+            (0, chai_1.expect)(subKlass.toJSString()).to.equal('{ age: integer; name: string; }');
+        });
+    });
+});
+//# sourceMappingURL=ClassType.spec.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ClassType.spec.js","sourceRoot":"","sources":["../../src/types/ClassType.spec.ts"],"names":[],"mappings":";;AAAA,+BAA8B;AAC9B,2CAAwC;AACxC,6CAA0C;AAC1C,gDAA6C;AAC7C,0DAAqD;AACrD,mDAAgD;AAChD,uDAAyD;AACzD,+CAA4C;AAC5C,gDAAgD;AAEhD,QAAQ,CAAC,WAAW,EAAE,GAAG,EAAE;IAEvB,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAC9B,MAAM,UAAU,GAAG,IAAI,qBAAS,CAAC,YAAY,CAAC,CAAC;QAC/C,MAAM,QAAQ,GAAG,IAAI,qBAAS,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;QAEvD,IAAA,aAAM,EAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC;QACrC,IAAA,aAAM,EAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACjE,MAAM,eAAe,GAAG,IAAI,qBAAS,CAAC,iBAAiB,CAAC,CAAC;QACzD,MAAM,UAAU,GAAG,IAAI,qBAAS,CAAC,YAAY,EAAE,eAAe,CAAC,CAAC;QAChE,MAAM,QAAQ,GAAG,IAAI,qBAAS,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;QAEvD,IAAA,aAAM,EAAC,QAAQ,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACvD,IAAA,aAAM,EAAC,UAAU,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACzD,IAAA,aAAM,EAAC,eAAe,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACnE,MAAM,UAAU,GAAG,IAAI,qBAAS,CAAC,YAAY,CAAC,CAAC;QAE/C,MAAM,UAAU,GAAG,IAAI,qBAAS,CAAC,YAAY,CAAC,CAAC;QAC/C,MAAM,QAAQ,GAAG,IAAI,qBAAS,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;QAEvD,IAAA,aAAM,EAAC,UAAU,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACzD,IAAA,aAAM,EAAC,UAAU,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAC9C,MAAM,UAAU,GAAG,IAAI,qBAAS,CAAC,YAAY,CAAC,CAAC;QAC/C,UAAU,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;QACjF,MAAM,QAAQ,GAAG,IAAI,qBAAS,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;QACvD,IAAA,iCAAc,EAAC,QAAQ,CAAC,aAAa,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,4BAAc,CAAC,OAAO,EAAE,CAAC,EAAE,uBAAU,CAAC,CAAC;IACnG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC7C,MAAM,OAAO,GAAG,IAAI,yBAAW,CAAC,MAAM,CAAC,CAAC;QACxC,MAAM,gBAAgB,GAAG,IAAI,6BAAa,CAAC,YAAY,EAAE,YAAY,EAAE,4BAAc,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC;QAC/G,MAAM,QAAQ,GAAG,IAAI,qBAAS,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAC;QAC7D,IAAA,aAAM,EAAC,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAC5C,MAAM,UAAU,GAAG,IAAI,qBAAS,CAAC,YAAY,CAAC,CAAC;QAC/C,OAAO,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,4BAAc,CAAC,QAAQ,CAAC,CAAC;QAC3E,IAAA,aAAM,EAAC,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC7D,MAAM,OAAO,GAAG,IAAI,yBAAW,CAAC,MAAM,CAAC,CAAC;QACxC,MAAM,gBAAgB,GAAG,IAAI,6BAAa,CAAC,YAAY,EAAE,YAAY,EAAE,4BAAc,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC;QAC/G,MAAM,QAAQ,GAAG,IAAI,qBAAS,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAC;QAC7D,IAAA,aAAM,EAAC,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAC5C,MAAM,eAAe,GAAG,QAAQ,CAAC,aAAa,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,4BAAc,CAAC,OAAO,EAAE,CAAC,CAAC;QAC3F,IAAA,aAAM,EAAC,IAAA,4BAAe,EAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACpD,IAAA,aAAM,EAAC,eAAe,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QACnD,MAAM,UAAU,GAAG,IAAI,qBAAS,CAAC,YAAY,CAAC,CAAC;QAC/C,UAAU,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;QACjF,sCAAsC;QACtC,OAAO,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,4BAAc,CAAC,QAAQ,GAAG,4BAAc,CAAC,OAAO,CAAC,CAAC;QACpG,IAAA,aAAM,EAAC,eAAe,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAClD,IAAA,iCAAc,EAAC,eAAe,EAAE,uBAAU,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;QACxB,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACnC,MAAM,UAAU,GAAG,IAAI,qBAAS,CAAC,YAAY,CAAC,CAAC;YAC/C,MAAM,QAAQ,GAAG,IAAI,qBAAS,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;YACvD,UAAU,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;YAChF,UAAU,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,EAAE,4BAAc,CAAC,OAAO,CAAC,CAAC;YAEhF,IAAA,aAAM,EAAE,QAAgB,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC;YAC9C,IAAA,aAAM,EAAE,QAAgB,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,iCAAiC,CAAC,CAAC;QACvF,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;AAEP,CAAC,CAAC,CAAC"}

package/dist/types/DoubleType.d.ts

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

package/dist/types/DoubleType.js

@@ -1,29 +1,21 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.DoubleType = void 0;
-const DynamicType_1 = require("./DynamicType");
-const FloatType_1 = require("./FloatType");
-const IntegerType_1 = require("./IntegerType");
-const LongIntegerType_1 = require("./LongIntegerType");
-class DoubleType {
+const reflection_1 = require("../astUtils/reflection");
+const BscType_1 = require("./BscType");
+const BscTypeKind_1 = require("./BscTypeKind");
+class DoubleType extends BscType_1.BscType {
     constructor(typeText) {
+        super();
         this.typeText = typeText;
+        this.kind = BscTypeKind_1.BscTypeKind.DoubleType;
     }
-    isAssignableTo(targetType) {
-        return (targetType instanceof DoubleType ||
-            targetType instanceof DynamicType_1.DynamicType);
-    }
-    isConvertibleTo(targetType) {
-        if (targetType instanceof DynamicType_1.DynamicType ||
-            targetType instanceof IntegerType_1.IntegerType ||
-            targetType instanceof FloatType_1.FloatType ||
-            targetType instanceof DoubleType ||
-            targetType instanceof LongIntegerType_1.LongIntegerType) {
-            return true;
-        }
-        else {
-            return false;
-        }
+    isTypeCompatible(targetType) {
+        return ((0, reflection_1.isDynamicType)(targetType) ||
+            (0, reflection_1.isIntegerType)(targetType) ||
+            (0, reflection_1.isFloatType)(targetType) ||
+            (0, reflection_1.isDoubleType)(targetType) ||
+            (0, reflection_1.isLongIntegerType)(targetType));
     }
     toString() {
         var _a;
@@ -32,6 +24,10 @@ class DoubleType {
     toTypeString() {
         return this.toString();
     }
+    isEqual(targetType) {
+        return (0, reflection_1.isDoubleType)(targetType);
+    }
 }
 exports.DoubleType = DoubleType;
+DoubleType.instance = new DoubleType('double');
 //# sourceMappingURL=DoubleType.js.map

package/dist/types/DoubleType.js.map

@@ -1 +1 @@
-{"version":3,"file":"DoubleType.js","sourceRoot":"","sources":["../../src/types/DoubleType.ts"],"names":[],"mappings":";;;AACA,+CAA4C;AAC5C,2CAAwC;AACxC,+CAA4C;AAC5C,uDAAoD;AAEpD,MAAa,UAAU;IACnB,YACW,QAAiB;QAAjB,aAAQ,GAAR,QAAQ,CAAS;IACxB,CAAC;IAEE,cAAc,CAAC,UAAmB;QACrC,OAAO,CACH,UAAU,YAAY,UAAU;YAChC,UAAU,YAAY,yBAAW,CACpC,CAAC;IACN,CAAC;IAEM,eAAe,CAAC,UAAmB;QACtC,IACI,UAAU,YAAY,yBAAW;YACjC,UAAU,YAAY,yBAAW;YACjC,UAAU,YAAY,qBAAS;YAC/B,UAAU,YAAY,UAAU;YAChC,UAAU,YAAY,iCAAe,EACvC;YACE,OAAO,IAAI,CAAC;SACf;aAAM;YACH,OAAO,KAAK,CAAC;SAChB;IACL,CAAC;IACM,QAAQ;;QACX,OAAO,MAAA,IAAI,CAAC,QAAQ,mCAAI,QAAQ,CAAC;IACrC,CAAC;IAEM,YAAY;QACf,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC;CACJ;AAhCD,gCAgCC"}
+{"version":3,"file":"DoubleType.js","sourceRoot":"","sources":["../../src/types/DoubleType.ts"],"names":[],"mappings":";;;AAAA,uDAAoH;AACpH,uCAAoC;AACpC,+CAA4C;AAG5C,MAAa,UAAW,SAAQ,iBAAO;IACnC,YACW,QAAiB;QAExB,KAAK,EAAE,CAAC;QAFD,aAAQ,GAAR,QAAQ,CAAS;QAKZ,SAAI,GAAG,yBAAW,CAAC,UAAU,CAAC;IAF9C,CAAC;IAMM,gBAAgB,CAAC,UAAmB;QACvC,OAAO,CACH,IAAA,0BAAa,EAAC,UAAU,CAAC;YACzB,IAAA,0BAAa,EAAC,UAAU,CAAC;YACzB,IAAA,wBAAW,EAAC,UAAU,CAAC;YACvB,IAAA,yBAAY,EAAC,UAAU,CAAC;YACxB,IAAA,8BAAiB,EAAC,UAAU,CAAC,CAChC,CAAC;IACN,CAAC;IACM,QAAQ;;QACX,OAAO,MAAA,IAAI,CAAC,QAAQ,mCAAI,QAAQ,CAAC;IACrC,CAAC;IAEM,YAAY;QACf,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC;IAEM,OAAO,CAAC,UAAmB;QAC9B,OAAO,IAAA,yBAAY,EAAC,UAAU,CAAC,CAAC;IACpC,CAAC;;AA9BL,gCA+BC;AAtBiB,mBAAQ,GAAG,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC"}

package/dist/types/DoubleType.spec.js

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

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

@@ -1 +1 @@
-{"version":3,"file":"DoubleType.spec.js","sourceRoot":"","sources":["../../src/types/DoubleType.spec.ts"],"names":[],"mappings":";;AAAA,0DAA6C;AAE7C,6CAA0C;AAC1C,+CAA4C;AAE5C,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IACxB,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACrC,IAAA,yBAAM,EAAC,IAAI,uBAAU,EAAE,CAAC,cAAc,CAAC,IAAI,uBAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACrE,IAAA,yBAAM,EAAC,IAAI,uBAAU,EAAE,CAAC,cAAc,CAAC,IAAI,yBAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IAC1E,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}
+{"version":3,"file":"DoubleType.spec.js","sourceRoot":"","sources":["../../src/types/DoubleType.spec.ts"],"names":[],"mappings":";;AAAA,0DAA6C;AAC7C,+CAA4C;AAE5C,6CAA0C;AAC1C,+CAA4C;AAC5C,+CAA4C;AAE5C,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAExB,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;QAC/B,IAAA,yBAAM,EAAC,IAAI,uBAAU,EAAE,CAAC,OAAO,CAAC,IAAI,uBAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC9D,IAAA,yBAAM,EAAC,IAAI,uBAAU,EAAE,CAAC,OAAO,CAAC,IAAI,yBAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC7C,IAAA,yBAAM,EAAC,IAAI,uBAAU,EAAE,CAAC,gBAAgB,CAAC,IAAI,uBAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACvE,IAAA,yBAAM,EAAC,IAAI,uBAAU,EAAE,CAAC,gBAAgB,CAAC,IAAI,yBAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACxE,IAAA,yBAAM,EAAC,IAAI,uBAAU,EAAE,CAAC,gBAAgB,CAAC,yBAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAC3E,IAAA,yBAAM,EAAC,IAAI,uBAAU,EAAE,CAAC,gBAAgB,CAAC,yBAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;IAChF,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}

package/dist/types/DynamicType.d.ts

@@ -1,13 +1,19 @@
-import type { BscType } from './BscType';
-export declare class DynamicType implements BscType {
+import type { GetTypeOptions } from '../interfaces';
+import { BscType } from './BscType';
+import { BscTypeKind } from './BscTypeKind';
+export declare class DynamicType extends BscType {
     typeText?: string;
     constructor(typeText?: string);
+    readonly kind = BscTypeKind.DynamicType;
     static readonly instance: DynamicType;
+    get returnType(): DynamicType;
     isAssignableTo(targetType: BscType): boolean;
     /**
      * The dynamic type is convertible to everything.
      */
-    isConvertibleTo(targetType: BscType): boolean;
+    isTypeCompatible(targetType: BscType): boolean;
     toString(): string;
     toTypeString(): string;
+    isEqual(targetType: BscType): boolean;
+    getMemberType(memberName: string, options: GetTypeOptions): DynamicType;
 }

package/dist/types/DynamicType.js

@@ -1,9 +1,17 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.DynamicType = void 0;
-class DynamicType {
+const reflection_1 = require("../astUtils/reflection");
+const BscType_1 = require("./BscType");
+const BscTypeKind_1 = require("./BscTypeKind");
+class DynamicType extends BscType_1.BscType {
     constructor(typeText) {
+        super();
         this.typeText = typeText;
+        this.kind = BscTypeKind_1.BscTypeKind.DynamicType;
+    }
+    get returnType() {
+        return DynamicType.instance;
     }
     isAssignableTo(targetType) {
         //everything can be dynamic, so as long as a type is provided, this is true
@@ -12,7 +20,7 @@ class DynamicType {
     /**
      * The dynamic type is convertible to everything.
      */
-    isConvertibleTo(targetType) {
+    isTypeCompatible(targetType) {
         //everything can be dynamic, so as long as a type is provided, this is true
         return !!targetType;
     }
@@ -23,6 +31,12 @@ class DynamicType {
     toTypeString() {
         return this.toString();
     }
+    isEqual(targetType) {
+        return (0, reflection_1.isDynamicType)(targetType);
+    }
+    getMemberType(memberName, options) {
+        return DynamicType.instance;
+    }
 }
 exports.DynamicType = DynamicType;
 DynamicType.instance = new DynamicType();

package/dist/types/DynamicType.js.map

@@ -1 +1 @@
-{"version":3,"file":"DynamicType.js","sourceRoot":"","sources":["../../src/types/DynamicType.ts"],"names":[],"mappings":";;;AAEA,MAAa,WAAW;IACpB,YACW,QAAiB;QAAjB,aAAQ,GAAR,QAAQ,CAAS;IACxB,CAAC;IAIE,cAAc,CAAC,UAAmB;QACrC,2EAA2E;QAC3E,OAAO,CAAC,CAAC,UAAU,CAAC;IACxB,CAAC;IAED;;OAEG;IACI,eAAe,CAAC,UAAmB;QACtC,2EAA2E;QAC3E,OAAO,CAAC,CAAC,UAAU,CAAC;IACxB,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;;AA1BL,kCA2BC;AAtB0B,oBAAQ,GAAG,IAAI,WAAW,EAAE,CAAC"}
+{"version":3,"file":"DynamicType.js","sourceRoot":"","sources":["../../src/types/DynamicType.ts"],"names":[],"mappings":";;;AACA,uDAAuD;AACvD,uCAAoC;AACpC,+CAA4C;AAE5C,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;IAMD,IAAI,UAAU;QACV,OAAO,WAAW,CAAC,QAAQ,CAAC;IAChC,CAAC;IAEM,cAAc,CAAC,UAAmB;QACrC,2EAA2E;QAC3E,OAAO,CAAC,CAAC,UAAU,CAAC;IACxB,CAAC;IAED;;OAEG;IACI,gBAAgB,CAAC,UAAmB;QACvC,2EAA2E;QAC3E,OAAO,CAAC,CAAC,UAAU,CAAC;IACxB,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;IAEM,OAAO,CAAC,UAAmB;QAC9B,OAAO,IAAA,0BAAa,EAAC,UAAU,CAAC,CAAC;IACrC,CAAC;IAED,aAAa,CAAC,UAAkB,EAAE,OAAuB;QACrD,OAAO,WAAW,CAAC,QAAQ,CAAC;IAChC,CAAC;;AA1CL,kCA2CC;AAlC0B,oBAAQ,GAAG,IAAI,WAAW,EAAE,CAAC"}

package/dist/types/DynamicType.spec.js

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