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

package/dist/types/CallFuncableType.d.ts

@@ -0,0 +1,24 @@
+import { SymbolTypeFlag } from '../SymbolTypeFlag';
+import type { GetSymbolTypeOptions, SymbolTableProvider } from '../SymbolTable';
+import { SymbolTable } from '../SymbolTable';
+import type { BscType } from './BscType';
+import { InheritableType } from './InheritableType';
+import { ReferenceType } from './ReferenceType';
+import type { ExtraSymbolData, TypeCompatibilityData } from '../interfaces';
+import type { BaseFunctionType } from './BaseFunctionType';
+/**
+ * A Type to represent types that support Callfunc syntax for members, eg. `someType@.someCallfunc()`
+ */
+export declare abstract class CallFuncableType extends InheritableType {
+    constructor(name: string, parentType?: CallFuncableType | ReferenceType);
+    readonly callFuncMemberTable: SymbolTable;
+    readonly callFuncAssociatedTypesTable: SymbolTable;
+    isEqual(targetType: BscType, data?: TypeCompatibilityData): boolean;
+    /**
+     * Adds a function to the call func member table
+     * Also adds any associated custom types to its own table, so they can be used through a callfunc
+     */
+    addCallFuncMember(name: string, data: ExtraSymbolData, funcType: BaseFunctionType, flags: SymbolTypeFlag, associatedTypesTableProvider?: SymbolTableProvider): void;
+    getCallFuncTable(): SymbolTable;
+    getCallFuncType(name: string, options: GetSymbolTypeOptions): import("./TypedFunctionType").TypedFunctionType | ReferenceType;
+}

package/dist/types/CallFuncableType.js

@@ -0,0 +1,91 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.CallFuncableType = void 0;
+const SymbolTable_1 = require("../SymbolTable");
+const InheritableType_1 = require("./InheritableType");
+const util_1 = require("../util");
+const ReferenceType_1 = require("./ReferenceType");
+const reflection_1 = require("../astUtils/reflection");
+const helpers_1 = require("./helpers");
+/**
+ * A Type to represent types that support Callfunc syntax for members, eg. `someType@.someCallfunc()`
+ */
+class CallFuncableType extends InheritableType_1.InheritableType {
+    constructor(name, parentType) {
+        super(name, parentType);
+        this.callFuncMemberTable = new SymbolTable_1.SymbolTable(`${this.name}: CallFunc`, () => { var _a; return (_a = this.parentType) === null || _a === void 0 ? void 0 : _a.callFuncMemberTable; });
+        this.callFuncAssociatedTypesTable = new SymbolTable_1.SymbolTable(`${this.name}: CallFuncAssociatedTypes`, () => { var _a; return (_a = this.parentType) === null || _a === void 0 ? void 0 : _a.callFuncAssociatedTypesTable; });
+    }
+    isEqual(targetType, data = {}) {
+        if (this === targetType) {
+            return true;
+        }
+        if ((0, reflection_1.isReferenceType)(targetType)) {
+            return super.isEqual(targetType, data);
+        }
+        if (!(0, reflection_1.isCallFuncableType)(targetType)) {
+            return false;
+        }
+        return super.isEqual(targetType, data) &&
+            this.checkCompatibilityBasedOnMembers(targetType, 1 /* SymbolTypeFlag.runtime */, data, this.callFuncMemberTable, targetType.callFuncMemberTable) &&
+            targetType.checkCompatibilityBasedOnMembers(this, 1 /* SymbolTypeFlag.runtime */, data, targetType.callFuncMemberTable, this.callFuncMemberTable);
+    }
+    /**
+     * Adds a function to the call func member table
+     * Also adds any associated custom types to its own table, so they can be used through a callfunc
+     */
+    addCallFuncMember(name, data, funcType, flags, associatedTypesTableProvider) {
+        var _a, _b;
+        const originalTypesToCheck = new Set();
+        if ((0, reflection_1.isTypedFunctionType)(funcType)) {
+            const paramTypes = ((_a = funcType.params) !== null && _a !== void 0 ? _a : []).map(p => p.type);
+            for (const paramType of paramTypes) {
+                originalTypesToCheck.add(paramType);
+            }
+        }
+        if (funcType.returnType) {
+            originalTypesToCheck.add(funcType.returnType);
+        }
+        const additionalTypesToCheck = new Set();
+        for (const type of originalTypesToCheck) {
+            if (!type.isBuiltIn) {
+                util_1.default.getCustomTypesInSymbolTree(additionalTypesToCheck, type, (subSymbolType) => {
+                    return !originalTypesToCheck.has(subSymbolType);
+                });
+            }
+        }
+        for (const type of [...originalTypesToCheck.values(), ...additionalTypesToCheck.values()]) {
+            if (!(0, reflection_1.isPrimitiveType)(type) && type.isResolvable()) {
+                // This type is a reference type, but was able to be resolved here
+                // add it to the table of associated types, so it can be used through a callfunc
+                const extraData = {};
+                if (associatedTypesTableProvider) {
+                    associatedTypesTableProvider().getSymbolType(type.toString(), { flags: 2 /* SymbolTypeFlag.typetime */, data: extraData });
+                }
+                let targetType = (0, reflection_1.isAnyReferenceType)(type) ? (_b = type.getTarget) === null || _b === void 0 ? void 0 : _b.call(type) : type;
+                this.callFuncAssociatedTypesTable.addSymbol(type.toString(), Object.assign(Object.assign({}, extraData), { isFromCallFunc: true }), targetType, 2 /* SymbolTypeFlag.typetime */);
+            }
+        }
+        // add this function to be available through callfunc
+        this.callFuncMemberTable.addSymbol(name, data, funcType, flags);
+    }
+    getCallFuncTable() {
+        return this.callFuncMemberTable;
+    }
+    getCallFuncType(name, options) {
+        const callFuncType = this.callFuncMemberTable.getSymbolType(name, options);
+        if ((0, reflection_1.isTypedFunctionType)(callFuncType)) {
+            const typesToCheck = [...callFuncType.params.map(p => p.type), callFuncType.returnType];
+            for (const type of typesToCheck) {
+                (0, helpers_1.addAssociatedTypesTableAsSiblingToMemberTable)(type, this.callFuncAssociatedTypesTable, 1 /* SymbolTypeFlag.runtime */);
+            }
+        }
+        else {
+            // return a reference type for potentially finding this in the future
+            return new ReferenceType_1.ReferenceType(name, name, options.flags, () => this.callFuncMemberTable);
+        }
+        return callFuncType;
+    }
+}
+exports.CallFuncableType = CallFuncableType;
+//# sourceMappingURL=CallFuncableType.js.map

package/dist/types/CallFuncableType.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"CallFuncableType.js","sourceRoot":"","sources":["../../src/types/CallFuncableType.ts"],"names":[],"mappings":";;;AAEA,gDAA6C;AAE7C,uDAAoD;AACpD,kCAA2B;AAC3B,mDAAgD;AAGhD,uDAAuI;AACvI,uCAA0E;AAE1E;;GAEG;AACH,MAAsB,gBAAiB,SAAQ,iCAAe;IAC1D,YAAY,IAAY,EAAE,UAA6C;QACnE,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QACxB,IAAI,CAAC,mBAAmB,GAAG,IAAI,yBAAW,CAAC,GAAG,IAAI,CAAC,IAAI,YAAY,EAAE,GAAG,EAAE,WAAC,OAAA,MAAC,IAAI,CAAC,UAA+B,0CAAE,mBAAmB,CAAA,EAAA,CAAC,CAAC;QACvI,IAAI,CAAC,4BAA4B,GAAG,IAAI,yBAAW,CAAC,GAAG,IAAI,CAAC,IAAI,2BAA2B,EAAE,GAAG,EAAE,WAAC,OAAA,MAAC,IAAI,CAAC,UAA+B,0CAAE,4BAA4B,CAAA,EAAA,CAAC,CAAC;IAC5K,CAAC;IAMD,OAAO,CAAC,UAAmB,EAAE,OAA8B,EAAE;QACzD,IAAI,IAAI,KAAK,UAAU,EAAE;YACrB,OAAO,IAAI,CAAC;SACf;QACD,IAAI,IAAA,4BAAe,EAAC,UAAU,CAAC,EAAE;YAC7B,OAAO,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;SAC1C;QAED,IAAI,CAAC,IAAA,+BAAkB,EAAC,UAAU,CAAC,EAAE;YACjC,OAAO,KAAK,CAAC;SAChB;QACD,OAAO,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC;YAClC,IAAI,CAAC,gCAAgC,CAAC,UAAU,kCAA0B,IAAI,EAAE,IAAI,CAAC,mBAAmB,EAAE,UAAU,CAAC,mBAAmB,CAAC;YACzI,UAAU,CAAC,gCAAgC,CAAC,IAAI,kCAA0B,IAAI,EAAE,UAAU,CAAC,mBAAmB,EAAE,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAClJ,CAAC;IAGD;;;OAGG;IACH,iBAAiB,CAAC,IAAY,EAAE,IAAqB,EAAE,QAA0B,EAAE,KAAqB,EAAE,4BAAkD;;QACxJ,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAW,CAAC;QAChD,IAAI,IAAA,gCAAmB,EAAC,QAAQ,CAAC,EAAE;YAC/B,MAAM,UAAU,GAAG,CAAC,MAAA,QAAQ,CAAC,MAAM,mCAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5D,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE;gBAChC,oBAAoB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;aACvC;SACJ;QACD,IAAI,QAAQ,CAAC,UAAU,EAAE;YACrB,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;SACjD;QACD,MAAM,sBAAsB,GAAG,IAAI,GAAG,EAAW,CAAC;QAElD,KAAK,MAAM,IAAI,IAAI,oBAAoB,EAAE;YACrC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE;gBACjB,cAAI,CAAC,0BAA0B,CAAC,sBAAsB,EAAE,IAAI,EAAE,CAAC,aAAsB,EAAE,EAAE;oBACrF,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;gBACpD,CAAC,CAAC,CAAC;aACN;SACJ;QAED,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,oBAAoB,CAAC,MAAM,EAAE,EAAE,GAAG,sBAAsB,CAAC,MAAM,EAAE,CAAC,EAAE;YACvF,IAAI,CAAC,IAAA,4BAAe,EAAC,IAAI,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,EAAE;gBAC/C,kEAAkE;gBAClE,gFAAgF;gBAChF,MAAM,SAAS,GAAG,EAAE,CAAC;gBACrB,IAAI,4BAA4B,EAAE;oBAC9B,4BAA4B,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,EAAE,KAAK,iCAAyB,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;iBACtH;gBACD,IAAI,UAAU,GAAG,IAAA,+BAAkB,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAA,IAAI,CAAC,SAAS,oDAAI,CAAC,CAAC,CAAC,IAAI,CAAC;gBAEtE,IAAI,CAAC,4BAA4B,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,EAAE,kCAAO,SAAS,KAAE,cAAc,EAAE,IAAI,KAAI,UAAU,kCAA0B,CAAC;aAC7I;SACJ;QAED,qDAAqD;QACrD,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IACpE,CAAC;IAED,gBAAgB;QACZ,OAAO,IAAI,CAAC,mBAAmB,CAAC;IACpC,CAAC;IAED,eAAe,CAAC,IAAY,EAAE,OAA6B;QACvD,MAAM,YAAY,GAAG,IAAI,CAAC,mBAAmB,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAE3E,IAAI,IAAA,gCAAmB,EAAC,YAAY,CAAC,EAAE;YACnC,MAAM,YAAY,GAAG,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,YAAY,CAAC,UAAU,CAAC,CAAC;YAExF,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE;gBAC7B,IAAA,uDAA6C,EAAC,IAAI,EAAE,IAAI,CAAC,4BAA4B,iCAAyB,CAAC;aAClH;SACJ;aAAM;YACH,qEAAqE;YACrE,OAAO,IAAI,6BAAa,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;SACvF;QAED,OAAO,YAAY,CAAC;IACxB,CAAC;CACJ;AA3FD,4CA2FC"}

package/dist/types/ClassType.d.ts

@@ -0,0 +1,17 @@
+import { SymbolTable } from '../SymbolTable';
+import type { TypeCompatibilityData } from '../interfaces';
+import type { BscType } from './BscType';
+import { BscTypeKind } from './BscTypeKind';
+import { InheritableType } from './InheritableType';
+import type { ReferenceType } from './ReferenceType';
+export declare class ClassType extends InheritableType {
+    name: string;
+    constructor(name: string, superClass?: ClassType | ReferenceType);
+    readonly kind = BscTypeKind.ClassType;
+    isTypeCompatible(targetType: BscType, data?: TypeCompatibilityData): boolean;
+    isEqual(targetType: BscType, data?: TypeCompatibilityData): boolean;
+    private builtInMemberTable;
+    getBuiltInMemberTable(): SymbolTable;
+    private hasStartedAddingBuiltInInterfaces;
+    addBuiltInInterfaces(): void;
+}

package/dist/types/ClassType.js

@@ -0,0 +1,60 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ClassType = void 0;
+const SymbolTable_1 = require("../SymbolTable");
+const reflection_1 = require("../astUtils/reflection");
+const BscTypeKind_1 = require("./BscTypeKind");
+const BuiltInInterfaceAdder_1 = require("./BuiltInInterfaceAdder");
+const InheritableType_1 = require("./InheritableType");
+const helpers_1 = require("./helpers");
+class ClassType extends InheritableType_1.InheritableType {
+    constructor(name, superClass) {
+        super(name, superClass);
+        this.name = name;
+        this.kind = BscTypeKind_1.BscTypeKind.ClassType;
+        this.hasStartedAddingBuiltInInterfaces = false;
+    }
+    isTypeCompatible(targetType, data) {
+        if (this.isEqual(targetType, data)) {
+            return true;
+        }
+        else if ((0, reflection_1.isInvalidType)(targetType) ||
+            (0, reflection_1.isDynamicType)(targetType) ||
+            (0, reflection_1.isObjectType)(targetType) ||
+            (0, helpers_1.isUnionTypeCompatible)(this, targetType, data)) {
+            return true;
+        }
+        else if ((0, reflection_1.isClassType)(targetType)) {
+            return this.isTypeDescendent(targetType);
+        }
+        return false;
+    }
+    isEqual(targetType, data) {
+        if (targetType === this) {
+            return true;
+        }
+        return (0, reflection_1.isClassType)(targetType) && super.isEqual(targetType, data);
+    }
+    getBuiltInMemberTable() {
+        if (!this.parentType) {
+            if (this.builtInMemberTable) {
+                return this.builtInMemberTable;
+            }
+            this.builtInMemberTable = new SymbolTable_1.SymbolTable(`${this.__identifier} Built-in Members`);
+            this.pushMemberProvider(() => this.builtInMemberTable);
+            return this.builtInMemberTable;
+        }
+    }
+    addBuiltInInterfaces() {
+        if (!this.hasAddedBuiltInInterfaces && !this.hasStartedAddingBuiltInInterfaces) {
+            this.hasStartedAddingBuiltInInterfaces = true;
+            if (this.parentType) {
+                this.parentType.addBuiltInInterfaces();
+            }
+            BuiltInInterfaceAdder_1.BuiltInInterfaceAdder.addBuiltInInterfacesToType(this);
+        }
+        this.hasAddedBuiltInInterfaces = true;
+    }
+}
+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,gDAA6C;AAC7C,uDAAiG;AAGjG,+CAA4C;AAC5C,mEAAgE;AAChE,uDAAoD;AAEpD,uCAAkD;AAElD,MAAa,SAAU,SAAQ,iCAAe;IAE1C,YAAmB,IAAY,EAAE,UAAsC;QACnE,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QADT,SAAI,GAAJ,IAAI,CAAQ;QAIf,SAAI,GAAG,yBAAW,CAAC,SAAS,CAAC;QAsCrC,sCAAiC,GAAG,KAAK,CAAC;IAxClD,CAAC;IAIM,gBAAgB,CAAC,UAAmB,EAAE,IAA4B;QACrE,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE;YAChC,OAAO,IAAI,CAAC;SACf;aAAM,IACH,IAAA,0BAAa,EAAC,UAAU,CAAC;YACzB,IAAA,0BAAa,EAAC,UAAU,CAAC;YACzB,IAAA,yBAAY,EAAC,UAAU,CAAC;YACxB,IAAA,+BAAqB,EAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,EAAE;YAC/C,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,EAAE,IAA4B;QACrD,IAAI,UAAU,KAAK,IAAI,EAAE;YACrB,OAAO,IAAI,CAAC;SACf;QACD,OAAO,IAAA,wBAAW,EAAC,UAAU,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IACtE,CAAC;IAID,qBAAqB;QAEjB,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE;YAClB,IAAI,IAAI,CAAC,kBAAkB,EAAE;gBACzB,OAAO,IAAI,CAAC,kBAAkB,CAAC;aAClC;YACD,IAAI,CAAC,kBAAkB,GAAG,IAAI,yBAAW,CAAC,GAAG,IAAI,CAAC,YAAY,mBAAmB,CAAC,CAAC;YACnF,IAAI,CAAC,kBAAkB,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YACvD,OAAO,IAAI,CAAC,kBAAkB,CAAC;SAClC;IACL,CAAC;IAID,oBAAoB;QAChB,IAAI,CAAC,IAAI,CAAC,yBAAyB,IAAI,CAAC,IAAI,CAAC,iCAAiC,EAAE;YAC5E,IAAI,CAAC,iCAAiC,GAAG,IAAI,CAAC;YAC9C,IAAI,IAAI,CAAC,UAAU,EAAE;gBACjB,IAAI,CAAC,UAAU,CAAC,oBAAoB,EAAE,CAAC;aAC1C;YACD,6CAAqB,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAC;SAC1D;QACD,IAAI,CAAC,yBAAyB,GAAG,IAAI,CAAC;IAC1C,CAAC;CACJ;AAxDD,8BAwDC"}

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

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

package/dist/types/ClassType.spec.js

@@ -0,0 +1,76 @@
+"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");
+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.parentType).to.exist;
+        (0, chai_1.expect)(subKlass.parentType.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, 1 /* SymbolTypeFlag.runtime */);
+        const subKlass = new ClassType_1.ClassType('SubKlass', superKlass);
+        (0, testHelpers_spec_1.expectTypeToBe)(subKlass.getMemberType('title', { flags: 1 /* SymbolTypeFlag.runtime */ }), StringType_1.StringType);
+    });
+    it('allow ReferenceTypes as super classes', () => {
+        var _a;
+        const myTable = new SymbolTable_1.SymbolTable('test');
+        const futureSuperKlass = new ReferenceType_1.ReferenceType('SuperKlass', 'SuperKlass', 2 /* SymbolTypeFlag.typetime */, () => myTable);
+        const subKlass = new ClassType_1.ClassType('SubKlass', futureSuperKlass);
+        (0, chai_1.expect)(subKlass.isResolvable()).to.be.true;
+        (0, chai_1.expect)((_a = subKlass.parentType) === null || _a === void 0 ? void 0 : _a.isResolvable()).to.be.false;
+        const superKlass = new ClassType_1.ClassType('SuperKlass');
+        myTable.addSymbol('SuperKlass', null, superKlass, 2 /* SymbolTypeFlag.typetime */);
+        (0, chai_1.expect)(subKlass.parentType.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', 2 /* SymbolTypeFlag.typetime */, () => myTable);
+        const subKlass = new ClassType_1.ClassType('SubKlass', futureSuperKlass);
+        (0, chai_1.expect)(subKlass.parentType.isResolvable()).to.be.false;
+        const futureTitleType = subKlass.getMemberType('title', { flags: 1 /* 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, 1 /* SymbolTypeFlag.runtime */);
+        // eslint-disable-next-line no-bitwise
+        myTable.addSymbol('SuperKlass', null, superKlass, 2 /* SymbolTypeFlag.typetime */ | 1 /* 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, 1 /* SymbolTypeFlag.runtime */);
+            superKlass.addMember('age', null, IntegerType_1.IntegerType.instance, 1 /* 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;AAG5C,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,iCAAyB,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,gCAAwB,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,mCAA2B,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,IAAI,CAAC;QAC3C,IAAA,aAAM,EAAC,MAAA,QAAQ,CAAC,UAAU,0CAAE,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QACxD,MAAM,UAAU,GAAG,IAAI,qBAAS,CAAC,YAAY,CAAC,CAAC;QAC/C,OAAO,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,EAAE,UAAU,kCAA0B,CAAC;QAC3E,IAAA,aAAM,EAAC,QAAQ,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IAC1D,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,mCAA2B,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,UAAU,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QACvD,MAAM,eAAe,GAAG,QAAQ,CAAC,aAAa,CAAC,OAAO,EAAE,EAAE,KAAK,gCAAwB,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,iCAAyB,CAAC;QACjF,sCAAsC;QACtC,OAAO,CAAC,SAAS,CAAC,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,gEAAgD,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,iCAAyB,CAAC;YAChF,UAAU,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,iCAAyB,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/ComponentType.d.ts

@@ -0,0 +1,22 @@
+import { SymbolTable } from '../SymbolTable';
+import type { TypeCompatibilityData } from '../interfaces';
+import type { BscType } from './BscType';
+import { BscTypeKind } from './BscTypeKind';
+import { CallFuncableType } from './CallFuncableType';
+export declare class ComponentType extends CallFuncableType {
+    name: string;
+    constructor(name: string, superComponent?: ComponentType);
+    readonly kind = BscTypeKind.ComponentType;
+    get parentComponent(): ComponentType;
+    isTypeCompatible(targetType: BscType, data?: TypeCompatibilityData): boolean;
+    static instance: ComponentType;
+    isEqual(targetType: BscType, data?: TypeCompatibilityData): boolean;
+    toString(): string;
+    private builtInMemberTable;
+    getBuiltInMemberTable(): SymbolTable;
+    private hasStartedAddingBuiltInInterfaces;
+    addBuiltInInterfaces(): void;
+    private hasAddedBuiltInFields;
+    private hasStartedAddingBuiltInFields;
+    addBuiltInFields(): void;
+}

package/dist/types/ComponentType.js

@@ -0,0 +1,107 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ComponentType = void 0;
+const SymbolTable_1 = require("../SymbolTable");
+const reflection_1 = require("../astUtils/reflection");
+const BscTypeKind_1 = require("./BscTypeKind");
+const BuiltInInterfaceAdder_1 = require("./BuiltInInterfaceAdder");
+const helpers_1 = require("./helpers");
+const util_1 = require("../util");
+const CallFuncableType_1 = require("./CallFuncableType");
+class ComponentType extends CallFuncableType_1.CallFuncableType {
+    constructor(name, superComponent) {
+        super(name, superComponent);
+        this.name = name;
+        this.kind = BscTypeKind_1.BscTypeKind.ComponentType;
+        this.hasStartedAddingBuiltInInterfaces = false;
+        this.hasAddedBuiltInFields = false;
+        this.hasStartedAddingBuiltInFields = false;
+    }
+    get parentComponent() {
+        return this.parentType;
+    }
+    isTypeCompatible(targetType, data) {
+        if (this.isEqual(targetType)) {
+            return true;
+        }
+        else if ((0, reflection_1.isInvalidType)(targetType) ||
+            (0, reflection_1.isDynamicType)(targetType) ||
+            (0, reflection_1.isObjectType)(targetType) ||
+            (0, helpers_1.isUnionTypeCompatible)(this, targetType, data)) {
+            return true;
+        }
+        else if ((0, reflection_1.isComponentType)(targetType)) {
+            return this.isTypeDescendent(targetType);
+        }
+        return false;
+    }
+    isEqual(targetType, data = {}) {
+        var _a, _b;
+        if ((0, reflection_1.isReferenceType)(targetType) && targetType.isResolvable()) {
+            targetType = (_b = (_a = targetType.getTarget) === null || _a === void 0 ? void 0 : _a.call(targetType)) !== null && _b !== void 0 ? _b : targetType;
+        }
+        if (this === targetType) {
+            return true;
+        }
+        if (!(0, reflection_1.isComponentType)(targetType)) {
+            return false;
+        }
+        const thisNameLower = this.name.toLowerCase();
+        const targetNameLower = targetType.name.toLowerCase();
+        if (thisNameLower !== targetNameLower) {
+            return false;
+        }
+        if (this.isBuiltIn && targetType.isBuiltIn) {
+            return true;
+        }
+        if (!this.isParentTypeEqual(targetType, data)) {
+            return false;
+        }
+        if (!this.checkCompatibilityBasedOnMembers(targetType, 1 /* SymbolTypeFlag.runtime */, data) ||
+            !targetType.checkCompatibilityBasedOnMembers(this, 1 /* SymbolTypeFlag.runtime */, data)) {
+            return false;
+        }
+        if (!this.checkCompatibilityBasedOnMembers(targetType, 1 /* SymbolTypeFlag.runtime */, data, this.callFuncMemberTable, targetType.callFuncMemberTable) ||
+            !targetType.checkCompatibilityBasedOnMembers(this, 1 /* SymbolTypeFlag.runtime */, data, targetType.callFuncMemberTable, this.callFuncMemberTable)) {
+            return false;
+        }
+        return true;
+    }
+    toString() {
+        return util_1.default.getSgNodeTypeName(this.name);
+    }
+    getBuiltInMemberTable() {
+        if (!this.parentType) {
+            if (this.builtInMemberTable) {
+                return this.builtInMemberTable;
+            }
+            this.builtInMemberTable = new SymbolTable_1.SymbolTable(`${this.__identifier} Built-in Members`);
+            this.pushMemberProvider(() => this.builtInMemberTable);
+            return this.builtInMemberTable;
+        }
+    }
+    addBuiltInInterfaces() {
+        if (!this.hasAddedBuiltInInterfaces && !this.hasStartedAddingBuiltInInterfaces) {
+            this.hasStartedAddingBuiltInInterfaces = true;
+            if (this.parentType) {
+                this.parentType.addBuiltInInterfaces();
+            }
+            BuiltInInterfaceAdder_1.BuiltInInterfaceAdder.addBuiltInInterfacesToType(this);
+        }
+        this.hasAddedBuiltInInterfaces = true;
+        this.addBuiltInFields();
+    }
+    addBuiltInFields() {
+        if (!this.hasAddedBuiltInFields && !this.hasStartedAddingBuiltInFields) {
+            this.hasStartedAddingBuiltInFields = true;
+            if ((0, reflection_1.isComponentType)(this.parentType)) {
+                this.parentType.addBuiltInFields();
+            }
+            BuiltInInterfaceAdder_1.BuiltInInterfaceAdder.addBuiltInFieldsToNodeType(this);
+        }
+        this.hasAddedBuiltInFields = true;
+    }
+}
+exports.ComponentType = ComponentType;
+ComponentType.instance = new ComponentType('Node');
+//# sourceMappingURL=ComponentType.js.map

package/dist/types/ComponentType.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ComponentType.js","sourceRoot":"","sources":["../../src/types/ComponentType.ts"],"names":[],"mappings":";;;AACA,gDAA6C;AAC7C,uDAAsH;AAGtH,+CAA4C;AAC5C,mEAAgE;AAChE,uCAAkD;AAClD,kCAA2B;AAC3B,yDAAsD;AAEtD,MAAa,aAAc,SAAQ,mCAAgB;IAE/C,YAAmB,IAAY,EAAE,cAA8B;QAC3D,KAAK,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;QADb,SAAI,GAAJ,IAAI,CAAQ;QAIf,SAAI,GAAG,yBAAW,CAAC,aAAa,CAAC;QA0EzC,sCAAiC,GAAG,KAAK,CAAC;QAc1C,0BAAqB,GAAG,KAAK,CAAC;QAC9B,kCAA6B,GAAG,KAAK,CAAC;IA3F9C,CAAC;IAID,IAAW,eAAe;QACtB,OAAO,IAAI,CAAC,UAA2B,CAAC;IAC5C,CAAC;IAEM,gBAAgB,CAAC,UAAmB,EAAE,IAA4B;QACrE,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE;YAC1B,OAAO,IAAI,CAAC;SACf;aAAM,IAAI,IAAA,0BAAa,EAAC,UAAU,CAAC;YAChC,IAAA,0BAAa,EAAC,UAAU,CAAC;YACzB,IAAA,yBAAY,EAAC,UAAU,CAAC;YACxB,IAAA,+BAAqB,EAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,EAAE;YAC/C,OAAO,IAAI,CAAC;SACf;aAAM,IAAI,IAAA,4BAAe,EAAC,UAAU,CAAC,EAAE;YACpC,OAAO,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC;SAC5C;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAID,OAAO,CAAC,UAAmB,EAAE,OAA8B,EAAE;;QACzD,IAAI,IAAA,4BAAe,EAAC,UAAU,CAAC,IAAI,UAAU,CAAC,YAAY,EAAE,EAAE;YAC1D,UAAU,GAAG,MAAA,MAAA,UAAU,CAAC,SAAS,0DAAI,mCAAI,UAAU,CAAC;SACvD;QACD,IAAI,IAAI,KAAK,UAAU,EAAE;YACrB,OAAO,IAAI,CAAC;SACf;QACD,IAAI,CAAC,IAAA,4BAAe,EAAC,UAAU,CAAC,EAAE;YAC9B,OAAO,KAAK,CAAC;SAChB;QAED,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QAC9C,MAAM,eAAe,GAAG,UAAU,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACtD,IAAI,aAAa,KAAK,eAAe,EAAE;YACnC,OAAO,KAAK,CAAC;SAChB;QACD,IAAI,IAAI,CAAC,SAAS,IAAI,UAAU,CAAC,SAAS,EAAE;YACxC,OAAO,IAAI,CAAC;SACf;QAED,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE;YAC3C,OAAO,KAAK,CAAC;SAChB;QACD,IAAI,CAAC,IAAI,CAAC,gCAAgC,CAAC,UAAU,kCAA0B,IAAI,CAAC;YAChF,CAAC,UAAU,CAAC,gCAAgC,CAAC,IAAI,kCAA0B,IAAI,CAAC,EAAE;YAClF,OAAO,KAAK,CAAC;SAChB;QACD,IAAI,CAAC,IAAI,CAAC,gCAAgC,CAAC,UAAU,kCAA0B,IAAI,EAAE,IAAI,CAAC,mBAAmB,EAAE,UAAU,CAAC,mBAAmB,CAAC;YAC1I,CAAC,UAAU,CAAC,gCAAgC,CAAC,IAAI,kCAA0B,IAAI,EAAE,UAAU,CAAC,mBAAmB,EAAE,IAAI,CAAC,mBAAmB,CAAC,EAAE;YAC5I,OAAO,KAAK,CAAC;SAChB;QAED,OAAO,IAAI,CAAC;IAChB,CAAC;IAEM,QAAQ;QACX,OAAO,cAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC;IAID,qBAAqB;QACjB,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE;YAClB,IAAI,IAAI,CAAC,kBAAkB,EAAE;gBACzB,OAAO,IAAI,CAAC,kBAAkB,CAAC;aAClC;YACD,IAAI,CAAC,kBAAkB,GAAG,IAAI,yBAAW,CAAC,GAAG,IAAI,CAAC,YAAY,mBAAmB,CAAC,CAAC;YACnF,IAAI,CAAC,kBAAkB,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YACvD,OAAO,IAAI,CAAC,kBAAkB,CAAC;SAClC;IACL,CAAC;IAID,oBAAoB;QAChB,IAAI,CAAC,IAAI,CAAC,yBAAyB,IAAI,CAAC,IAAI,CAAC,iCAAiC,EAAE;YAC5E,IAAI,CAAC,iCAAiC,GAAG,IAAI,CAAC;YAC9C,IAAI,IAAI,CAAC,UAAU,EAAE;gBACjB,IAAI,CAAC,UAAU,CAAC,oBAAoB,EAAE,CAAC;aAC1C;YACD,6CAAqB,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAC;SAC1D;QACD,IAAI,CAAC,yBAAyB,GAAG,IAAI,CAAC;QACtC,IAAI,CAAC,gBAAgB,EAAE,CAAC;IAC5B,CAAC;IAMD,gBAAgB;QACZ,IAAI,CAAC,IAAI,CAAC,qBAAqB,IAAI,CAAC,IAAI,CAAC,6BAA6B,EAAE;YACpE,IAAI,CAAC,6BAA6B,GAAG,IAAI,CAAC;YAC1C,IAAI,IAAA,4BAAe,EAAC,IAAI,CAAC,UAAU,CAAC,EAAE;gBAClC,IAAI,CAAC,UAAU,CAAC,gBAAgB,EAAE,CAAC;aACtC;YACD,6CAAqB,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAC;SAC1D;QACD,IAAI,CAAC,qBAAqB,GAAG,IAAI,CAAC;IACtC,CAAC;;AA3GL,sCA4GC;AAlFiB,sBAAQ,GAAG,IAAI,aAAa,CAAC,MAAM,CAAC,CAAC"}

package/dist/types/DoubleType.d.ts

@@ -1,8 +1,13 @@
-import type { BscType } from './BscType';
-export declare class DoubleType 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 DoubleType extends BscType {
+    readonly kind = BscTypeKind.DoubleType;
+    static instance: DoubleType;
+    isBuiltIn: boolean;
+    isTypeCompatible(targetType: BscType, data?: TypeCompatibilityData): boolean;
     toString(): string;
     toTypeString(): string;
-    equals(targetType: BscType): boolean;
+    isEqual(targetType: BscType): boolean;
+    readonly binaryOpPriorityLevel = 1;
 }

package/dist/types/DoubleType.js

@@ -2,22 +2,24 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.DoubleType = void 0;
 const reflection_1 = require("../astUtils/reflection");
-class DoubleType {
-    isAssignableTo(targetType) {
-        return (reflection_1.isDoubleType(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 DoubleType extends BscType_1.BscType {
+    constructor() {
+        super(...arguments);
+        this.kind = BscTypeKind_1.BscTypeKind.DoubleType;
+        this.isBuiltIn = true;
+        this.binaryOpPriorityLevel = 1;
     }
-    isConvertibleTo(targetType) {
-        if (reflection_1.isDynamicType(targetType) ||
-            reflection_1.isIntegerType(targetType) ||
-            reflection_1.isFloatType(targetType) ||
-            reflection_1.isDoubleType(targetType) ||
-            reflection_1.isLongIntegerType(targetType)) {
-            return true;
-        }
-        else {
-            return false;
-        }
+    isTypeCompatible(targetType, data) {
+        return ((0, reflection_1.isDynamicType)(targetType) ||
+            (0, reflection_1.isObjectType)(targetType) ||
+            (0, reflection_1.isNumberTypeLike)(targetType) ||
+            (0, helpers_1.isUnionTypeCompatible)(this, targetType, data) ||
+            (0, helpers_1.isEnumTypeCompatible)(this, targetType, data) ||
+            (0, helpers_1.isNativeInterfaceCompatibleNumber)(this, targetType, data));
     }
     toString() {
         return 'double';
@@ -25,9 +27,11 @@ class DoubleType {
     toTypeString() {
         return this.toString();
     }
-    equals(targetType) {
-        return this.toString() === targetType.toString();
+    isEqual(targetType) {
+        return (0, reflection_1.isDoubleTypeLike)(targetType);
     }
 }
 exports.DoubleType = DoubleType;
+DoubleType.instance = new DoubleType();
+BuiltInInterfaceAdder_1.BuiltInInterfaceAdder.primitiveTypeInstanceCache.set('double', DoubleType.instance);
 //# 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":";;;AAAA,uDAAoH;AAGpH,MAAa,UAAU;IACZ,cAAc,CAAC,UAAmB;QACrC,OAAO,CACH,yBAAY,CAAC,UAAU,CAAC;YACxB,0BAAa,CAAC,UAAU,CAAC,CAC5B,CAAC;IACN,CAAC;IAEM,eAAe,CAAC,UAAmB;QACtC,IACI,0BAAa,CAAC,UAAU,CAAC;YACzB,0BAAa,CAAC,UAAU,CAAC;YACzB,wBAAW,CAAC,UAAU,CAAC;YACvB,yBAAY,CAAC,UAAU,CAAC;YACxB,8BAAiB,CAAC,UAAU,CAAC,EAC/B;YACE,OAAO,IAAI,CAAC;SACf;aAAM;YACH,OAAO,KAAK,CAAC;SAChB;IACL,CAAC;IACM,QAAQ;QACX,OAAO,QAAQ,CAAC;IACpB,CAAC;IAEM,YAAY;QACf,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC;IAEM,MAAM,CAAC,UAAmB;QAC7B,OAAO,IAAI,CAAC,QAAQ,EAAE,KAAK,UAAU,CAAC,QAAQ,EAAE,CAAC;IACrD,CAAC;CACJ;AAhCD,gCAgCC"}
+{"version":3,"file":"DoubleType.js","sourceRoot":"","sources":["../../src/types/DoubleType.ts"],"names":[],"mappings":";;;AAAA,uDAAyG;AACzG,uCAAoC;AACpC,+CAA4C;AAC5C,uCAA2G;AAE3G,mEAAgE;AAGhE,MAAa,UAAW,SAAQ,iBAAO;IAAvC;;QACoB,SAAI,GAAG,yBAAW,CAAC,UAAU,CAAC;QAIvC,cAAS,GAAG,IAAI,CAAC;QAwBf,0BAAqB,GAAG,CAAC,CAAC;IACvC,CAAC;IAvBU,gBAAgB,CAAC,UAAmB,EAAE,IAA4B;QACrE,OAAO,CACH,IAAA,0BAAa,EAAC,UAAU,CAAC;YACzB,IAAA,yBAAY,EAAC,UAAU,CAAC;YACxB,IAAA,6BAAgB,EAAC,UAAU,CAAC;YAC5B,IAAA,+BAAqB,EAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC;YAC7C,IAAA,8BAAoB,EAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC;YAC5C,IAAA,2CAAiC,EAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,CAC5D,CAAC;IACN,CAAC;IACM,QAAQ;QACX,OAAO,QAAQ,CAAC;IACpB,CAAC;IAEM,YAAY;QACf,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC;IAEM,OAAO,CAAC,UAAmB;QAC9B,OAAO,IAAA,6BAAgB,EAAC,UAAU,CAAC,CAAC;IACxC,CAAC;;AA3BL,gCA8BC;AA3BiB,mBAAQ,GAAG,IAAI,UAAU,EAAE,CAAC;AA6B9C,6CAAqB,CAAC,0BAA0B,CAAC,GAAG,CAAC,QAAQ,EAAE,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_1 = require("chai");
+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', () => {
-        chai_1.expect(new DoubleType_1.DoubleType().isAssignableTo(new DoubleType_1.DoubleType())).to.be.true;
-        chai_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,+BAA8B;AAE9B,6CAA0C;AAC1C,+CAA4C;AAE5C,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IACxB,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACrC,aAAM,CAAC,IAAI,uBAAU,EAAE,CAAC,cAAc,CAAC,IAAI,uBAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACrE,aAAM,CAAC,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,12 +1,20 @@
-import type { BscType } from './BscType';
-export declare class DynamicType implements BscType {
+import type { TypeCompatibilityData } from '../interfaces';
+import { BscType } from './BscType';
+import { BscTypeKind } from './BscTypeKind';
+import type { GetSymbolTypeOptions } from '../SymbolTable';
+export declare class DynamicType extends BscType {
+    readonly kind = BscTypeKind.DynamicType;
+    static readonly instance: DynamicType;
+    isBuiltIn: boolean;
+    get returnType(): DynamicType;
     isAssignableTo(targetType: BscType): boolean;
     /**
      * The dynamic type is convertible to everything.
-     * @param targetType
      */
-    isConvertibleTo(targetType: BscType): boolean;
+    isTypeCompatible(targetType: BscType, data?: TypeCompatibilityData): boolean;
     toString(): string;
     toTypeString(): string;
-    equals(targetType: BscType): boolean;
+    isEqual(targetType: BscType): boolean;
+    getMemberType(memberName: string, options: GetSymbolTypeOptions): DynamicType;
+    getCallFuncType(name: string, options: GetSymbolTypeOptions): DynamicType;
 }

package/dist/types/DynamicType.js

@@ -2,17 +2,30 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.DynamicType = void 0;
 const reflection_1 = require("../astUtils/reflection");
-class DynamicType {
+const BscType_1 = require("./BscType");
+const BscTypeKind_1 = require("./BscTypeKind");
+const BuiltInInterfaceAdder_1 = require("./BuiltInInterfaceAdder");
+class DynamicType extends BscType_1.BscType {
+    constructor() {
+        super(...arguments);
+        this.kind = BscTypeKind_1.BscTypeKind.DynamicType;
+        this.isBuiltIn = true;
+    }
+    get returnType() {
+        return DynamicType.instance;
+    }
     isAssignableTo(targetType) {
         //everything can be dynamic, so as long as a type is provided, this is true
         return !!targetType;
     }
     /**
      * The dynamic type is convertible to everything.
-     * @param targetType
      */
-    isConvertibleTo(targetType) {
+    isTypeCompatible(targetType, data) {
         //everything can be dynamic, so as long as a type is provided, this is true
+        if ((0, reflection_1.isVoidType)(targetType) || (0, reflection_1.isUninitializedType)(targetType)) {
+            return false;
+        }
         return !!targetType;
     }
     toString() {
@@ -21,9 +34,17 @@ class DynamicType {
     toTypeString() {
         return this.toString();
     }
-    equals(targetType) {
-        return reflection_1.isDynamicType(targetType);
+    isEqual(targetType) {
+        return (0, reflection_1.isDynamicType)(targetType);
+    }
+    getMemberType(memberName, options) {
+        return DynamicType.instance;
+    }
+    getCallFuncType(name, options) {
+        return DynamicType.instance;
     }
 }
 exports.DynamicType = DynamicType;
+DynamicType.instance = new DynamicType();
+BuiltInInterfaceAdder_1.BuiltInInterfaceAdder.primitiveTypeInstanceCache.set('dynamic', DynamicType.instance);
 //# sourceMappingURL=DynamicType.js.map