brighterscript 1.0.0-alpha.3 → 1.0.0-alpha.31

package/dist/types/ReferenceType.spec.js

@@ -0,0 +1,151 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const chai_1 = require("chai");
+const SymbolTable_1 = require("../SymbolTable");
+const testHelpers_spec_1 = require("../testHelpers.spec");
+const DynamicType_1 = require("./DynamicType");
+const IntegerType_1 = require("./IntegerType");
+const ReferenceType_1 = require("./ReferenceType");
+const StringType_1 = require("./StringType");
+const FloatType_1 = require("./FloatType");
+const ClassType_1 = require("./ClassType");
+const reflection_1 = require("../astUtils/reflection");
+const TypedFunctionType_1 = require("./TypedFunctionType");
+const NamespaceType_1 = require("./NamespaceType");
+const creators_1 = require("../astUtils/creators");
+const TokenKind_1 = require("../lexer/TokenKind");
+const util_1 = require("../util");
+const ArrayType_1 = require("./ArrayType");
+const runtimeFlag = 1 /* SymbolTypeFlag.runtime */;
+describe('ReferenceType', () => {
+    it('can be checked with reflection', () => {
+        const table = new SymbolTable_1.SymbolTable('test');
+        const ref = new ReferenceType_1.ReferenceType('someVar', 'someVar', runtimeFlag, () => table);
+        (0, chai_1.expect)((0, reflection_1.isReferenceType)(ref)).to.be.true;
+    });
+    it('defaults to dynamic type if it can not resolve', () => {
+        (0, testHelpers_spec_1.expectTypeToBe)(new ReferenceType_1.ReferenceType('test', 'test', runtimeFlag, () => undefined), DynamicType_1.DynamicType);
+        const table = new SymbolTable_1.SymbolTable('testTable');
+        (0, testHelpers_spec_1.expectTypeToBe)(new ReferenceType_1.ReferenceType('test', 'test', runtimeFlag, () => table), DynamicType_1.DynamicType);
+        table.addSymbol('someVar', null, StringType_1.StringType.instance, 1 /* SymbolTypeFlag.runtime */);
+        (0, testHelpers_spec_1.expectTypeToBe)(new ReferenceType_1.ReferenceType('test', 'test', runtimeFlag, () => table), DynamicType_1.DynamicType);
+    });
+    it('can resolve based on a symbol table', () => {
+        const table = new SymbolTable_1.SymbolTable('test');
+        const ref = new ReferenceType_1.ReferenceType('someVar', 'someVar', runtimeFlag, () => table);
+        table.addSymbol('someVar', null, StringType_1.StringType.instance, 1 /* SymbolTypeFlag.runtime */);
+        (0, testHelpers_spec_1.expectTypeToBe)(ref, StringType_1.StringType);
+    });
+    it('resolves before checking assigning and convertible', () => {
+        const table = new SymbolTable_1.SymbolTable('test');
+        const ref = new ReferenceType_1.ReferenceType('someVar', 'someVar', runtimeFlag, () => table);
+        table.addSymbol('someVar', null, IntegerType_1.IntegerType.instance, 1 /* SymbolTypeFlag.runtime */);
+        (0, chai_1.expect)(ref.isTypeCompatible(FloatType_1.FloatType.instance)).to.be.true;
+    });
+    it('resolves before stringifying', () => {
+        const table = new SymbolTable_1.SymbolTable('test');
+        const ref = new ReferenceType_1.ReferenceType('someKlass', 'someKlass', runtimeFlag, () => table);
+        table.addSymbol('someKlass', null, new ClassType_1.ClassType('SomeKlass'), 1 /* SymbolTypeFlag.runtime */);
+        (0, chai_1.expect)(ref.toString()).to.eq('SomeKlass');
+    });
+    describe('circular references', () => {
+        it('catches circular references', () => {
+            const table = new SymbolTable_1.SymbolTable('test');
+            const ref = new ReferenceType_1.ReferenceType('someVar', 'someVar', runtimeFlag, () => table);
+            table.addSymbol('someVar', null, ref, 1 /* SymbolTypeFlag.runtime */);
+            (0, testHelpers_spec_1.expectTypeToBe)(ref, DynamicType_1.DynamicType);
+        });
+        it('catches circular references of many levels', () => {
+            const table = new SymbolTable_1.SymbolTable('test');
+            const ref1 = new ReferenceType_1.ReferenceType('someVar1', 'someVar1', runtimeFlag, () => table);
+            const ref2 = new ReferenceType_1.ReferenceType('someVar2', 'someVar2', runtimeFlag, () => table);
+            const ref3 = new ReferenceType_1.ReferenceType('someVar3', 'someVar3', runtimeFlag, () => table);
+            table.addSymbol('someVar0', null, ref1, 1 /* SymbolTypeFlag.runtime */);
+            table.addSymbol('someVar1', null, ref2, 1 /* SymbolTypeFlag.runtime */);
+            table.addSymbol('someVar2', null, ref3, 1 /* SymbolTypeFlag.runtime */);
+            table.addSymbol('someVar3', null, ref1, 1 /* SymbolTypeFlag.runtime */);
+            (0, testHelpers_spec_1.expectTypeToBe)(table.getSymbol('someVar0', 1 /* SymbolTypeFlag.runtime */)[0].type, DynamicType_1.DynamicType);
+        });
+        it('catches circular references in a binary expression', () => {
+            const table = new SymbolTable_1.SymbolTable('test');
+            const ref = new ReferenceType_1.ReferenceType('notHere', 'notHere', runtimeFlag, () => table);
+            const binRef = new ReferenceType_1.BinaryOperatorReferenceType(ref, (0, creators_1.createToken)(TokenKind_1.TokenKind.Plus), StringType_1.StringType.instance, (l, o, r) => {
+                return util_1.util.binaryOperatorResultType(l, o, r);
+            });
+            const binRef2 = new ReferenceType_1.BinaryOperatorReferenceType(ref, (0, creators_1.createToken)(TokenKind_1.TokenKind.Plus), binRef, (l, o, r) => {
+                return util_1.util.binaryOperatorResultType(l, o, r);
+            });
+            table.addSymbol('notHere', null, binRef2, 1 /* SymbolTypeFlag.runtime */);
+            (0, testHelpers_spec_1.expectTypeToBe)(table.getSymbolType('notHere', { flags: 1 /* SymbolTypeFlag.runtime */ }), DynamicType_1.DynamicType);
+        });
+    });
+});
+describe('PropertyReferenceType', () => {
+    it('can be checked with reflection', () => {
+        const func = new TypedFunctionType_1.TypedFunctionType(StringType_1.StringType.instance);
+        const propRef = new ReferenceType_1.TypePropertyReferenceType(func, 'returnType');
+        (0, chai_1.expect)((0, reflection_1.isTypePropertyReferenceType)(propRef)).to.be.true;
+    });
+    it('can resolve a FunctionType.returnType', () => {
+        const func = new TypedFunctionType_1.TypedFunctionType(StringType_1.StringType.instance);
+        const propRef = new ReferenceType_1.TypePropertyReferenceType(func, 'returnType');
+        (0, testHelpers_spec_1.expectTypeToBe)(propRef, StringType_1.StringType);
+    });
+    it('can resolve a property on a ReferenceType', () => {
+        const table = new SymbolTable_1.SymbolTable('test');
+        const ref = new ReferenceType_1.ReferenceType('someFunc', 'someFunc', runtimeFlag, () => table);
+        const propRef = new ReferenceType_1.TypePropertyReferenceType(ref, 'returnType');
+        // `ref` will resolve to DynamicType, and its returnType is DynamicType.Instance
+        (0, testHelpers_spec_1.expectTypeToBe)(propRef, DynamicType_1.DynamicType);
+        // Set ref to resolve to a function
+        table.addSymbol('someFunc', null, new TypedFunctionType_1.TypedFunctionType(IntegerType_1.IntegerType.instance), 1 /* SymbolTypeFlag.runtime */);
+        (0, testHelpers_spec_1.expectTypeToBe)(propRef, IntegerType_1.IntegerType);
+    });
+    it('resolves members of a property on a ReferenceType', () => {
+        const table = new SymbolTable_1.SymbolTable('test');
+        const fnRef = new ReferenceType_1.ReferenceType('someFunc', 'someFunc', runtimeFlag, () => table);
+        const returnRef = new ReferenceType_1.TypePropertyReferenceType(fnRef, 'returnType');
+        const returnPropRef = returnRef.getMemberType('myNum', { flags: 1 /* SymbolTypeFlag.runtime */ });
+        // `ref` will resolve to DynamicType, and its returnType is DynamicType.Instance
+        (0, testHelpers_spec_1.expectTypeToBe)(returnPropRef, DynamicType_1.DynamicType);
+        // Set fnRef to resolve to a function that returns a complex type
+        const klassType = new ClassType_1.ClassType('Klass');
+        klassType.addMember('myNum', null, IntegerType_1.IntegerType.instance, 1 /* SymbolTypeFlag.runtime */);
+        table.addSymbol('someFunc', null, new TypedFunctionType_1.TypedFunctionType(klassType), 1 /* SymbolTypeFlag.runtime */);
+        // returnPropRef = someFunc().myNum
+        (0, testHelpers_spec_1.expectTypeToBe)(fnRef, TypedFunctionType_1.TypedFunctionType);
+        (0, testHelpers_spec_1.expectTypeToBe)(returnRef, ClassType_1.ClassType);
+        (0, testHelpers_spec_1.expectTypeToBe)(returnPropRef, IntegerType_1.IntegerType);
+    });
+    describe('toString', () => {
+        it('returns the full name, if resolvable or not', () => {
+            let nsA = new NamespaceType_1.NamespaceType('Alpha');
+            let nsAB = new NamespaceType_1.NamespaceType('Alpha.Beta');
+            let nsABC = new NamespaceType_1.NamespaceType('Alpha.Beta.Charlie');
+            nsA.addMember('Beta', null, nsAB, 2 /* SymbolTypeFlag.typetime */);
+            nsAB.addMember('Charlie', null, nsABC, 2 /* SymbolTypeFlag.typetime */);
+            let myRef = new ReferenceType_1.ReferenceType('MyKlass', 'Alpha.Beta.Charlie.MyKlass', 2 /* SymbolTypeFlag.typetime */, () => nsABC.memberTable);
+            (0, chai_1.expect)(myRef.isResolvable()).to.be.false;
+            (0, chai_1.expect)(myRef.toString()).to.eq('Alpha.Beta.Charlie.MyKlass');
+            let myKlass = new ClassType_1.ClassType('Alpha.Beta.Charlie.MyKlass');
+            nsABC.addMember('MyKlass', null, myKlass, 2 /* SymbolTypeFlag.typetime */);
+            (0, chai_1.expect)(myRef.isResolvable()).to.be.true;
+            (0, chai_1.expect)(myRef.toString()).to.eq('Alpha.Beta.Charlie.MyKlass');
+        });
+    });
+});
+describe('ArrayDefaultTypeReferenceType', () => {
+    it('should resolve the default type of an array, which is defined in the future', () => {
+        const table = new SymbolTable_1.SymbolTable('test');
+        const futureArray = new ReferenceType_1.ReferenceType('futureArray', 'futureArray', runtimeFlag, () => table);
+        const myArrayDefaultType = new ReferenceType_1.ArrayDefaultTypeReferenceType(futureArray);
+        (0, chai_1.expect)(myArrayDefaultType.isResolvable()).to.be.false;
+        (0, chai_1.expect)(myArrayDefaultType.kind).to.equal(DynamicType_1.DynamicType.instance.kind);
+        //Define the symbol
+        table.addSymbol('futureArray', {}, new ArrayType_1.ArrayType(IntegerType_1.IntegerType.instance), runtimeFlag);
+        //myArrayDefaultType is now treated as integer
+        (0, chai_1.expect)(myArrayDefaultType.isResolvable()).to.be.true;
+        (0, chai_1.expect)(myArrayDefaultType.kind).to.equal(IntegerType_1.IntegerType.instance.kind);
+    });
+});
+//# sourceMappingURL=ReferenceType.spec.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ReferenceType.spec.js","sourceRoot":"","sources":["../../src/types/ReferenceType.spec.ts"],"names":[],"mappings":";;AAAA,+BAA8B;AAC9B,gDAA6C;AAE7C,0DAAqD;AACrD,+CAA4C;AAC5C,+CAA4C;AAC5C,mDAAuI;AACvI,6CAA0C;AAC1C,2CAAwC;AACxC,2CAAwC;AACxC,uDAAsF;AACtF,2DAAwD;AACxD,mDAAgD;AAChD,mDAAmD;AACnD,kDAA+C;AAC/C,kCAA+B;AAC/B,2CAAwC;AAExC,MAAM,WAAW,iCAAyB,CAAC;AAE3C,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAC3B,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACtC,MAAM,KAAK,GAAG,IAAI,yBAAW,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,IAAI,6BAAa,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;QAC9E,IAAA,aAAM,EAAC,IAAA,4BAAe,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IAC5C,CAAC,CAAC,CAAC;IAGH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACtD,IAAA,iCAAc,EAAC,IAAI,6BAAa,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,EAAE,yBAAW,CAAC,CAAC;QAC7F,MAAM,KAAK,GAAG,IAAI,yBAAW,CAAC,WAAW,CAAC,CAAC;QAC3C,IAAA,iCAAc,EAAC,IAAI,6BAAa,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,EAAE,yBAAW,CAAC,CAAC;QACzF,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,iCAAyB,CAAC;QAC9E,IAAA,iCAAc,EAAC,IAAI,6BAAa,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,EAAE,yBAAW,CAAC,CAAC;IAC7F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC3C,MAAM,KAAK,GAAG,IAAI,yBAAW,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,IAAI,6BAAa,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;QAC9E,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,uBAAU,CAAC,QAAQ,iCAAyB,CAAC;QAC9E,IAAA,iCAAc,EAAC,GAAG,EAAE,uBAAU,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC1D,MAAM,KAAK,GAAG,IAAI,yBAAW,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,IAAI,6BAAa,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;QAC9E,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,iCAAyB,CAAC;QAC/E,IAAA,aAAM,EAAC,GAAG,CAAC,gBAAgB,CAAC,qBAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACpC,MAAM,KAAK,GAAG,IAAI,yBAAW,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,IAAI,6BAAa,CAAC,WAAW,EAAE,WAAW,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;QAClF,KAAK,CAAC,SAAS,CAAC,WAAW,EAAE,IAAI,EAAE,IAAI,qBAAS,CAAC,WAAW,CAAC,iCAAyB,CAAC;QACvF,IAAA,aAAM,EAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;QACjC,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACnC,MAAM,KAAK,GAAG,IAAI,yBAAW,CAAC,MAAM,CAAC,CAAC;YACtC,MAAM,GAAG,GAAG,IAAI,6BAAa,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;YAC9E,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,GAAG,iCAAyB,CAAC;YAC9D,IAAA,iCAAc,EAAC,GAAG,EAAE,yBAAW,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;QAGH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YAClD,MAAM,KAAK,GAAG,IAAI,yBAAW,CAAC,MAAM,CAAC,CAAC;YACtC,MAAM,IAAI,GAAG,IAAI,6BAAa,CAAC,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;YACjF,MAAM,IAAI,GAAG,IAAI,6BAAa,CAAC,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;YACjF,MAAM,IAAI,GAAG,IAAI,6BAAa,CAAC,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;YACjF,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,IAAI,iCAAyB,CAAC;YAChE,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,IAAI,iCAAyB,CAAC;YAChE,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,IAAI,iCAAyB,CAAC;YAChE,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,IAAI,iCAAyB,CAAC;YAChE,IAAA,iCAAc,EAAC,KAAK,CAAC,SAAS,CAAC,UAAU,iCAAyB,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,yBAAW,CAAC,CAAC;QAC7F,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC1D,MAAM,KAAK,GAAG,IAAI,yBAAW,CAAC,MAAM,CAAC,CAAC;YACtC,MAAM,GAAG,GAAG,IAAI,6BAAa,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;YAC9E,MAAM,MAAM,GAAG,IAAI,2CAA2B,CAAC,GAAG,EAAE,IAAA,sBAAW,EAAC,qBAAS,CAAC,IAAI,CAAC,EAAE,uBAAU,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC9G,OAAO,WAAI,CAAC,wBAAwB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAClD,CAAC,CAAC,CAAC;YACH,MAAM,OAAO,GAAG,IAAI,2CAA2B,CAAC,GAAG,EAAE,IAAA,sBAAW,EAAC,qBAAS,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;gBAClG,OAAO,WAAI,CAAC,wBAAwB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAClD,CAAC,CAAC,CAAC;YACH,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,iCAAyB,CAAC;YAClE,IAAA,iCAAc,EAAC,KAAK,CAAC,aAAa,CAAC,SAAS,EAAE,EAAE,KAAK,gCAAwB,EAAE,CAAC,EAAE,yBAAW,CAAC,CAAC;QACnG,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;AAEP,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IAEnC,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACtC,MAAM,IAAI,GAAG,IAAI,qCAAiB,CAAC,uBAAU,CAAC,QAAQ,CAAC,CAAC;QACxD,MAAM,OAAO,GAAG,IAAI,yCAAyB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QAClE,IAAA,aAAM,EAAC,IAAA,wCAA2B,EAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC7C,MAAM,IAAI,GAAG,IAAI,qCAAiB,CAAC,uBAAU,CAAC,QAAQ,CAAC,CAAC;QACxD,MAAM,OAAO,GAAG,IAAI,yCAAyB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QAClE,IAAA,iCAAc,EAAC,OAAO,EAAE,uBAAU,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAGH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACjD,MAAM,KAAK,GAAG,IAAI,yBAAW,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,IAAI,6BAAa,CAAC,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;QAChF,MAAM,OAAO,GAAG,IAAI,yCAAyB,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;QACjE,gFAAgF;QAChF,IAAA,iCAAc,EAAC,OAAO,EAAE,yBAAW,CAAC,CAAC;QACrC,mCAAmC;QACnC,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,IAAI,qCAAiB,CAAC,yBAAW,CAAC,QAAQ,CAAC,iCAAyB,CAAC;QACvG,IAAA,iCAAc,EAAC,OAAO,EAAE,yBAAW,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QACzD,MAAM,KAAK,GAAG,IAAI,yBAAW,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,IAAI,6BAAa,CAAC,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;QAClF,MAAM,SAAS,GAAG,IAAI,yCAAyB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QACrE,MAAM,aAAa,GAAG,SAAS,CAAC,aAAa,CAAC,OAAO,EAAE,EAAE,KAAK,gCAAwB,EAAE,CAAC,CAAC;QAC1F,gFAAgF;QAChF,IAAA,iCAAc,EAAC,aAAa,EAAE,yBAAW,CAAC,CAAC;QAE3C,iEAAiE;QACjE,MAAM,SAAS,GAAG,IAAI,qBAAS,CAAC,OAAO,CAAC,CAAC;QACzC,SAAS,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,yBAAW,CAAC,QAAQ,iCAAyB,CAAC;QACjF,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,EAAE,IAAI,qCAAiB,CAAC,SAAS,CAAC,iCAAyB,CAAC;QAE5F,mCAAmC;QACnC,IAAA,iCAAc,EAAC,KAAK,EAAE,qCAAiB,CAAC,CAAC;QACzC,IAAA,iCAAc,EAAC,SAAS,EAAE,qBAAS,CAAC,CAAC;QACrC,IAAA,iCAAc,EAAC,aAAa,EAAE,yBAAW,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAGH,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE;QAEtB,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACnD,IAAI,GAAG,GAAG,IAAI,6BAAa,CAAC,OAAO,CAAC,CAAC;YACrC,IAAI,IAAI,GAAG,IAAI,6BAAa,CAAC,YAAY,CAAC,CAAC;YAC3C,IAAI,KAAK,GAAG,IAAI,6BAAa,CAAC,oBAAoB,CAAC,CAAC;YACpD,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,kCAA0B,CAAC;YAC3D,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,kCAA0B,CAAC;YAEhE,IAAI,KAAK,GAAG,IAAI,6BAAa,CAAC,SAAS,EAAE,4BAA4B,mCAA2B,GAAG,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YACzH,IAAA,aAAM,EAAC,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;YAEzC,IAAA,aAAM,EAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,4BAA4B,CAAC,CAAC;YAC7D,IAAI,OAAO,GAAG,IAAI,qBAAS,CAAC,4BAA4B,CAAC,CAAC;YAC1D,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,OAAO,kCAA0B,CAAC;YACnE,IAAA,aAAM,EAAC,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;YACxC,IAAA,aAAM,EAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,4BAA4B,CAAC,CAAC;QACjE,CAAC,CAAC,CAAC;IAEP,CAAC,CAAC,CAAC;AAEP,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAE3C,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACnF,MAAM,KAAK,GAAG,IAAI,yBAAW,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,WAAW,GAAG,IAAI,6BAAa,CAAC,aAAa,EAAE,aAAa,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;QAE9F,MAAM,kBAAkB,GAAG,IAAI,6CAA6B,CAAC,WAAW,CAAC,CAAC;QAC1E,IAAA,aAAM,EAAC,kBAAkB,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QACtD,IAAA,aAAM,EAAE,kBAA0B,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,yBAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAE7E,mBAAmB;QACnB,KAAK,CAAC,SAAS,CAAC,aAAa,EAAE,EAAE,EAAE,IAAI,qBAAS,CAAC,yBAAW,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,CAAC;QACrF,8CAA8C;QAC9C,IAAA,aAAM,EAAC,kBAAkB,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QACrD,IAAA,aAAM,EAAE,kBAA0B,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,yBAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}

package/dist/types/StringType.d.ts

@@ -1,8 +1,16 @@
-import type { BscType } from './BscType';
-export declare class StringType 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 StringType extends BscType {
+    typeText?: string;
+    constructor(typeText?: string);
+    readonly kind = BscTypeKind.StringType;
+    /**
+     * A static instance that can be used to reduce memory and constructor costs, since there's nothing unique about this
+     */
+    static instance: StringType;
+    isTypeCompatible(targetType: BscType, data?: TypeCompatibilityData): boolean;
     toString(): string;
     toTypeString(): string;
-    equals(targetType: BscType): boolean;
+    isEqual(targetType: BscType): boolean;
 }

package/dist/types/StringType.js

@@ -2,23 +2,39 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.StringType = void 0;
 const reflection_1 = require("../astUtils/reflection");
-class StringType {
-    isAssignableTo(targetType) {
-        return (reflection_1.isStringType(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 StringType extends BscType_1.BscType {
+    constructor(typeText) {
+        super();
+        this.typeText = typeText;
+        this.kind = BscTypeKind_1.BscTypeKind.StringType;
     }
-    isConvertibleTo(targetType) {
-        return this.isAssignableTo(targetType);
+    isTypeCompatible(targetType, data) {
+        return ((0, reflection_1.isStringType)(targetType) ||
+            (0, reflection_1.isDynamicType)(targetType) ||
+            (0, reflection_1.isObjectType)(targetType) ||
+            (0, helpers_1.isUnionTypeCompatible)(this, targetType, data) ||
+            (0, helpers_1.isEnumTypeCompatible)(this, targetType, data) ||
+            (0, helpers_1.isNativeInterfaceCompatible)(this, targetType, 'rostring', data));
     }
     toString() {
-        return 'string';
+        var _a;
+        return (_a = this.typeText) !== null && _a !== void 0 ? _a : 'string';
     }
     toTypeString() {
         return this.toString();
     }
-    equals(targetType) {
-        return reflection_1.isStringType(targetType);
+    isEqual(targetType) {
+        return (0, reflection_1.isStringType)(targetType);
     }
 }
 exports.StringType = StringType;
+/**
+ * A static instance that can be used to reduce memory and constructor costs, since there's nothing unique about this
+ */
+StringType.instance = new StringType('string');
+BuiltInInterfaceAdder_1.BuiltInInterfaceAdder.primitiveTypeInstanceCache.set('string', StringType.instance);
 //# sourceMappingURL=StringType.js.map

package/dist/types/StringType.js.map

@@ -1 +1 @@
-{"version":3,"file":"StringType.js","sourceRoot":"","sources":["../../src/types/StringType.ts"],"names":[],"mappings":";;;AAAA,uDAAqE;AAGrE,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,OAAO,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;IAC3C,CAAC;IAEM,QAAQ;QACX,OAAO,QAAQ,CAAC;IACpB,CAAC;IAEM,YAAY;QACf,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC;IAEM,MAAM,CAAC,UAAmB;QAC7B,OAAO,yBAAY,CAAC,UAAU,CAAC,CAAC;IACpC,CAAC;CACJ;AAvBD,gCAuBC"}
+{"version":3,"file":"StringType.js","sourceRoot":"","sources":["../../src/types/StringType.ts"],"names":[],"mappings":";;;AAAA,uDAAmF;AACnF,uCAAoC;AACpC,+CAA4C;AAC5C,uCAAqG;AACrG,mEAAgE;AAGhE,MAAa,UAAW,SAAQ,iBAAO;IACnC,YACW,QAAiB;QAExB,KAAK,EAAE,CAAC;QAFD,aAAQ,GAAR,QAAQ,CAAS;QAKZ,SAAI,GAAG,yBAAW,CAAC,UAAU,CAAC;IAF9C,CAAC;IASM,gBAAgB,CAAC,UAAmB,EAAE,IAA4B;QACrE,OAAO,CACH,IAAA,yBAAY,EAAC,UAAU,CAAC;YACxB,IAAA,0BAAa,EAAC,UAAU,CAAC;YACzB,IAAA,yBAAY,EAAC,UAAU,CAAC;YACxB,IAAA,+BAAqB,EAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC;YAC7C,IAAA,8BAAoB,EAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC;YAC5C,IAAA,qCAA2B,EAAC,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,CAAC,CAClE,CAAC;IACN,CAAC;IAEM,QAAQ;;QACX,OAAO,MAAA,IAAI,CAAC,QAAQ,mCAAI,QAAQ,CAAC;IACrC,CAAC;IAEM,YAAY;QACf,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC;IAEM,OAAO,CAAC,UAAmB;QAC9B,OAAO,IAAA,yBAAY,EAAC,UAAU,CAAC,CAAC;IACpC,CAAC;;AAnCL,gCAoCC;AA3BG;;GAEG;AACW,mBAAQ,GAAG,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC;AA0BtD,6CAAqB,CAAC,0BAA0B,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC"}

package/dist/types/StringType.spec.js

@@ -1,12 +1,12 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-const chai_1 = require("chai");
+const chai_config_spec_1 = require("../chai-config.spec");
 const DynamicType_1 = require("./DynamicType");
 const StringType_1 = require("./StringType");
 describe('StringType', () => {
     it('is equivalent to string types', () => {
-        chai_1.expect(new StringType_1.StringType().isAssignableTo(new StringType_1.StringType())).to.be.true;
-        chai_1.expect(new StringType_1.StringType().isAssignableTo(new DynamicType_1.DynamicType())).to.be.true;
+        (0, chai_config_spec_1.expect)(new StringType_1.StringType().isTypeCompatible(new StringType_1.StringType())).to.be.true;
+        (0, chai_config_spec_1.expect)(new StringType_1.StringType().isTypeCompatible(new DynamicType_1.DynamicType())).to.be.true;
     });
 });
 //# sourceMappingURL=StringType.spec.js.map

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

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

package/dist/types/TypedFunctionType.d.ts

@@ -0,0 +1,33 @@
+import { BaseFunctionType } from './BaseFunctionType';
+import type { BscType } from './BscType';
+import { BscTypeKind } from './BscTypeKind';
+import type { TypeCompatibilityData } from '../interfaces';
+export declare class TypedFunctionType extends BaseFunctionType {
+    returnType: BscType;
+    constructor(returnType: BscType);
+    readonly kind = BscTypeKind.TypedFunctionType;
+    /**
+     * The name of the function for this type. Can be null
+     */
+    name: string;
+    /**
+     * Determines if this is a sub or not
+     */
+    isSub: boolean;
+    /**
+     * Does this function accept more args than just those in this.params
+     */
+    isVariadic: boolean;
+    params: {
+        name: string;
+        type: BscType;
+        isOptional: boolean;
+    }[];
+    setName(name: string): this;
+    addParameter(name: string, type: BscType, isOptional: boolean): this;
+    isTypeCompatible(targetType: BscType, data?: TypeCompatibilityData): boolean;
+    toString(): string;
+    toTypeString(): string;
+    isEqual(targetType: BscType): boolean;
+    private checkParamsAndReturnValue;
+}

package/dist/types/TypedFunctionType.js

@@ -0,0 +1,106 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TypedFunctionType = void 0;
+const reflection_1 = require("../astUtils/reflection");
+const BaseFunctionType_1 = require("./BaseFunctionType");
+const BscTypeKind_1 = require("./BscTypeKind");
+const helpers_1 = require("./helpers");
+const BuiltInInterfaceAdder_1 = require("./BuiltInInterfaceAdder");
+class TypedFunctionType extends BaseFunctionType_1.BaseFunctionType {
+    constructor(returnType) {
+        super();
+        this.returnType = returnType;
+        this.kind = BscTypeKind_1.BscTypeKind.TypedFunctionType;
+        /**
+         * Determines if this is a sub or not
+         */
+        this.isSub = false;
+        /**
+         * Does this function accept more args than just those in this.params
+         */
+        this.isVariadic = false;
+        this.params = [];
+    }
+    setName(name) {
+        this.name = name;
+        return this;
+    }
+    addParameter(name, type, isOptional) {
+        this.params.push({
+            name: name,
+            type: type,
+            isOptional: isOptional === true ? true : false
+        });
+        return this;
+    }
+    isTypeCompatible(targetType, data = {}) {
+        if ((0, reflection_1.isDynamicType)(targetType) ||
+            (0, reflection_1.isObjectType)(targetType) ||
+            (0, helpers_1.isUnionTypeCompatible)(this, targetType, data)) {
+            return true;
+        }
+        if ((0, reflection_1.isTypedFunctionType)(targetType)) {
+            return this.checkParamsAndReturnValue(targetType, true, (t1, t2, d) => t1.isTypeCompatible(t2, d), data);
+        }
+        return false;
+    }
+    toString() {
+        var _a;
+        let paramTexts = [];
+        for (let param of this.params) {
+            paramTexts.push(`${param.name}${param.isOptional ? '?' : ''} as ${param.type.toString()}`);
+        }
+        let variadicText = '';
+        if (this.isVariadic) {
+            if (paramTexts.length > 0) {
+                variadicText += ', ';
+            }
+            variadicText += '...';
+        }
+        return `${this.isSub ? 'sub' : 'function'} ${(_a = this.name) !== null && _a !== void 0 ? _a : ''}(${paramTexts.join(', ')}${variadicText}) as ${this.returnType.toString()}`;
+    }
+    toTypeString() {
+        return 'Function';
+    }
+    isEqual(targetType) {
+        if ((0, reflection_1.isTypedFunctionType)(targetType)) {
+            return this.checkParamsAndReturnValue(targetType, false, (t1, t2) => t1.isEqual(t2));
+        }
+        return false;
+    }
+    checkParamsAndReturnValue(targetType, allowOptionalParamDifferences, predicate, data) {
+        //compare all parameters
+        let len = Math.max(this.params.length, targetType.params.length);
+        for (let i = 0; i < len; i++) {
+            let myParam = this.params[i];
+            let targetParam = targetType.params[i];
+            if (allowOptionalParamDifferences && !myParam && targetParam.isOptional) {
+                // target func has MORE (optional) params... that's ok
+                break;
+            }
+            if (!myParam || !targetParam || !predicate(targetParam.type, myParam.type, data)) {
+                return false;
+            }
+            if (!allowOptionalParamDifferences && myParam.isOptional !== targetParam.isOptional) {
+                return false;
+            }
+            else if (!myParam.isOptional && targetParam.isOptional) {
+                return false;
+            }
+        }
+        //compare return type
+        if (!this.returnType || !targetType.returnType || !predicate(this.returnType, targetType.returnType, data)) {
+            return false;
+        }
+        if (this.isVariadic !== targetType.isVariadic) {
+            return false;
+        }
+        //made it here, all params and return type  pass predicate
+        return true;
+    }
+}
+exports.TypedFunctionType = TypedFunctionType;
+BuiltInInterfaceAdder_1.BuiltInInterfaceAdder.typedFunctionFactory = (returnType) => {
+    return new TypedFunctionType(returnType);
+};
+//# sourceMappingURL=TypedFunctionType.js.map

package/dist/types/TypedFunctionType.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TypedFunctionType.js","sourceRoot":"","sources":["../../src/types/TypedFunctionType.ts"],"names":[],"mappings":";;;AAAA,uDAA0F;AAC1F,yDAAsD;AAEtD,+CAA4C;AAC5C,uCAAkD;AAClD,mEAAgE;AAGhE,MAAa,iBAAkB,SAAQ,mCAAgB;IACnD,YACW,UAAmB;QAE1B,KAAK,EAAE,CAAC;QAFD,eAAU,GAAV,UAAU,CAAS;QAKd,SAAI,GAAG,yBAAW,CAAC,iBAAiB,CAAC;QAOrD;;WAEG;QACI,UAAK,GAAG,KAAK,CAAC;QAErB;;WAEG;QACI,eAAU,GAAG,KAAK,CAAC;QAEnB,WAAM,GAAG,EAAiE,CAAC;IAnBlF,CAAC;IAqBM,OAAO,CAAC,IAAY;QACvB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,OAAO,IAAI,CAAC;IAChB,CAAC;IAEM,YAAY,CAAC,IAAY,EAAE,IAAa,EAAE,UAAmB;QAChE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YACb,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,IAAI;YACV,UAAU,EAAE,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK;SACjD,CAAC,CAAC;QACH,OAAO,IAAI,CAAC;IAChB,CAAC;IAEM,gBAAgB,CAAC,UAAmB,EAAE,OAA8B,EAAE;QACzE,IACI,IAAA,0BAAa,EAAC,UAAU,CAAC;YACzB,IAAA,yBAAY,EAAC,UAAU,CAAC;YACxB,IAAA,+BAAqB,EAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,EAC/C;YACE,OAAO,IAAI,CAAC;SACf;QACD,IAAI,IAAA,gCAAmB,EAAC,UAAU,CAAC,EAAE;YACjC,OAAO,IAAI,CAAC,yBAAyB,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,gBAAgB,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;SAC5G;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAEM,QAAQ;;QACX,IAAI,UAAU,GAAG,EAAE,CAAC;QACpB,KAAK,IAAI,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE;YAC3B,UAAU,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,OAAO,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;SAC9F;QACD,IAAI,YAAY,GAAG,EAAE,CAAC;QACtB,IAAI,IAAI,CAAC,UAAU,EAAE;YACjB,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE;gBACvB,YAAY,IAAI,IAAI,CAAC;aACxB;YACD,YAAY,IAAI,KAAK,CAAC;SACzB;QACD,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,IAAI,MAAA,IAAI,CAAC,IAAI,mCAAI,EAAE,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,YAAY,QAAQ,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,EAAE,CAAC;IAC7I,CAAC;IAEM,YAAY;QACf,OAAO,UAAU,CAAC;IACtB,CAAC;IAED,OAAO,CAAC,UAAmB;QACvB,IAAI,IAAA,gCAAmB,EAAC,UAAU,CAAC,EAAE;YACjC,OAAO,IAAI,CAAC,yBAAyB,CAAC,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;SACxF;QACD,OAAO,KAAK,CAAC;IACjB,CAAC;IAEO,yBAAyB,CAAC,UAA6B,EAAE,6BAAsC,EAAE,SAAmF,EAAE,IAA4B;QACtN,wBAAwB;QACxB,IAAI,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACjE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE;YAC1B,IAAI,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACvC,IAAI,6BAA6B,IAAI,CAAC,OAAO,IAAI,WAAW,CAAC,UAAU,EAAE;gBACrE,sDAAsD;gBACtD,MAAM;aACT;YAED,IAAI,CAAC,OAAO,IAAI,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE;gBAC9E,OAAO,KAAK,CAAC;aAChB;YACD,IAAI,CAAC,6BAA6B,IAAI,OAAO,CAAC,UAAU,KAAK,WAAW,CAAC,UAAU,EAAE;gBACjF,OAAO,KAAK,CAAC;aAChB;iBAAM,IAAI,CAAC,OAAO,CAAC,UAAU,IAAI,WAAW,CAAC,UAAU,EAAE;gBACtD,OAAO,KAAK,CAAC;aAChB;SACJ;QACD,qBAAqB;QACrB,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE;YACxG,OAAO,KAAK,CAAC;SAChB;QACD,IAAI,IAAI,CAAC,UAAU,KAAK,UAAU,CAAC,UAAU,EAAE;YAC3C,OAAO,KAAK,CAAC;SAChB;QACD,0DAA0D;QAC1D,OAAO,IAAI,CAAC;IAChB,CAAC;CACJ;AA9GD,8CA8GC;AAED,6CAAqB,CAAC,oBAAoB,GAAG,CAAC,UAAmB,EAAE,EAAE;IACjE,OAAO,IAAI,iBAAiB,CAAC,UAAU,CAAC,CAAC;AAC7C,CAAC,CAAC"}

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

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

package/dist/types/TypedFunctionType.spec.js

@@ -0,0 +1,122 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const chai_config_spec_1 = require("../chai-config.spec");
+const DynamicType_1 = require("./DynamicType");
+const TypedFunctionType_1 = require("./TypedFunctionType");
+const IntegerType_1 = require("./IntegerType");
+const StringType_1 = require("./StringType");
+const VoidType_1 = require("./VoidType");
+const FloatType_1 = require("./FloatType");
+describe('TypedFunctionType', () => {
+    it('is equivalent to dynamic type', () => {
+        (0, chai_config_spec_1.expect)(new TypedFunctionType_1.TypedFunctionType(new VoidType_1.VoidType()).isTypeCompatible(new DynamicType_1.DynamicType())).to.be.true;
+    });
+    it('validates using param and return types', () => {
+        (0, chai_config_spec_1.expect)(new TypedFunctionType_1.TypedFunctionType(new VoidType_1.VoidType()).isTypeCompatible(new TypedFunctionType_1.TypedFunctionType(new VoidType_1.VoidType()))).to.be.true;
+        //different parameter count
+        (0, chai_config_spec_1.expect)(new TypedFunctionType_1.TypedFunctionType(new VoidType_1.VoidType()).addParameter('a', new IntegerType_1.IntegerType(), false).isTypeCompatible(new TypedFunctionType_1.TypedFunctionType(new VoidType_1.VoidType()))).to.be.false;
+        //different parameter types
+        (0, chai_config_spec_1.expect)(new TypedFunctionType_1.TypedFunctionType(new VoidType_1.VoidType()).addParameter('a', new IntegerType_1.IntegerType(), false).isTypeCompatible(new TypedFunctionType_1.TypedFunctionType(new VoidType_1.VoidType()).addParameter('a', new StringType_1.StringType(), false))).to.be.false;
+        //different return type
+        (0, chai_config_spec_1.expect)(new TypedFunctionType_1.TypedFunctionType(new VoidType_1.VoidType()).isTypeCompatible(new TypedFunctionType_1.TypedFunctionType(new IntegerType_1.IntegerType()))).to.be.false;
+    });
+    it('checks equality', () => {
+        (0, chai_config_spec_1.expect)(new TypedFunctionType_1.TypedFunctionType(new VoidType_1.VoidType()).isEqual(new TypedFunctionType_1.TypedFunctionType(new VoidType_1.VoidType()))).to.be.true;
+        let func1 = new TypedFunctionType_1.TypedFunctionType(StringType_1.StringType.instance);
+        func1.addParameter('a', StringType_1.StringType.instance, false);
+        func1.addParameter('b', IntegerType_1.IntegerType.instance, false);
+        let func2 = new TypedFunctionType_1.TypedFunctionType(StringType_1.StringType.instance);
+        func2.addParameter('alpha', StringType_1.StringType.instance, false);
+        func2.addParameter('beta', IntegerType_1.IntegerType.instance, false);
+        (0, chai_config_spec_1.expect)(func1.isEqual(func2)).to.be.true;
+        // different return type
+        let func3 = new TypedFunctionType_1.TypedFunctionType(DynamicType_1.DynamicType.instance);
+        func3.addParameter('alpha', StringType_1.StringType.instance, false);
+        func3.addParameter('beta', IntegerType_1.IntegerType.instance, false);
+        (0, chai_config_spec_1.expect)(func1.isEqual(func3)).to.be.false;
+        // different parameter type
+        let func4 = new TypedFunctionType_1.TypedFunctionType(StringType_1.StringType.instance);
+        func4.addParameter('alpha', StringType_1.StringType.instance, false);
+        func4.addParameter('beta', FloatType_1.FloatType.instance, false);
+        (0, chai_config_spec_1.expect)(func1.isEqual(func4)).to.be.false;
+        // different optional param
+        let func5 = new TypedFunctionType_1.TypedFunctionType(StringType_1.StringType.instance);
+        func5.addParameter('alpha', StringType_1.StringType.instance, false);
+        func5.addParameter('beta', IntegerType_1.IntegerType.instance, true);
+        (0, chai_config_spec_1.expect)(func1.isEqual(func5)).to.be.false;
+        // additional optional param
+        let func6 = new TypedFunctionType_1.TypedFunctionType(StringType_1.StringType.instance);
+        func6.addParameter('alpha', StringType_1.StringType.instance, false);
+        func6.addParameter('beta', IntegerType_1.IntegerType.instance, false);
+        func6.addParameter('charlie', IntegerType_1.IntegerType.instance, true);
+        (0, chai_config_spec_1.expect)(func1.isEqual(func6)).to.be.false;
+        // other is variadic
+        let func7 = new TypedFunctionType_1.TypedFunctionType(StringType_1.StringType.instance);
+        func7.addParameter('alpha', StringType_1.StringType.instance, false);
+        func7.addParameter('beta', IntegerType_1.IntegerType.instance, false);
+        func7.isVariadic = true;
+        (0, chai_config_spec_1.expect)(func1.isEqual(func7)).to.be.false;
+        // both Variadic
+        let variFunc1 = new TypedFunctionType_1.TypedFunctionType(DynamicType_1.DynamicType.instance);
+        variFunc1.isVariadic = true;
+        // both Variadic
+        let variFunc2 = new TypedFunctionType_1.TypedFunctionType(DynamicType_1.DynamicType.instance);
+        variFunc2.isVariadic = true;
+        (0, chai_config_spec_1.expect)(variFunc1.isEqual(variFunc2)).to.be.true;
+    });
+    it('checks compatibility', () => {
+        (0, chai_config_spec_1.expect)(new TypedFunctionType_1.TypedFunctionType(new VoidType_1.VoidType()).isTypeCompatible(new TypedFunctionType_1.TypedFunctionType(new VoidType_1.VoidType()))).to.be.true;
+        let func1 = new TypedFunctionType_1.TypedFunctionType(FloatType_1.FloatType.instance);
+        func1.addParameter('a', StringType_1.StringType.instance, false);
+        func1.addParameter('b', IntegerType_1.IntegerType.instance, false);
+        let func2 = new TypedFunctionType_1.TypedFunctionType(FloatType_1.FloatType.instance);
+        func2.addParameter('alpha', StringType_1.StringType.instance, false);
+        func2.addParameter('beta', IntegerType_1.IntegerType.instance, false);
+        (0, chai_config_spec_1.expect)(func1.isTypeCompatible(func2)).to.be.true;
+        // different return type, but return type is compatible with target type
+        let func3 = new TypedFunctionType_1.TypedFunctionType(IntegerType_1.IntegerType.instance);
+        func3.addParameter('alpha', StringType_1.StringType.instance, false);
+        func3.addParameter('beta', IntegerType_1.IntegerType.instance, false);
+        (0, chai_config_spec_1.expect)(func1.isTypeCompatible(func3)).to.be.true;
+        // different return type, but return type is NOT compatible with target type
+        func3 = new TypedFunctionType_1.TypedFunctionType(StringType_1.StringType.instance);
+        func3.addParameter('alpha', StringType_1.StringType.instance, false);
+        func3.addParameter('beta', IntegerType_1.IntegerType.instance, false);
+        (0, chai_config_spec_1.expect)(func1.isTypeCompatible(func3)).to.be.false;
+        // different parameter type
+        let func4 = new TypedFunctionType_1.TypedFunctionType(FloatType_1.FloatType.instance);
+        func4.addParameter('alpha', StringType_1.StringType.instance, false);
+        func4.addParameter('beta', StringType_1.StringType.instance, false);
+        (0, chai_config_spec_1.expect)(func1.isTypeCompatible(func4)).to.be.false;
+        // different parameter type but types are compatible
+        func4 = new TypedFunctionType_1.TypedFunctionType(FloatType_1.FloatType.instance);
+        func4.addParameter('alpha', StringType_1.StringType.instance, false);
+        func4.addParameter('beta', FloatType_1.FloatType.instance, false);
+        (0, chai_config_spec_1.expect)(func1.isTypeCompatible(func4)).to.be.true;
+        // different optional param
+        let func5 = new TypedFunctionType_1.TypedFunctionType(FloatType_1.FloatType.instance);
+        func5.addParameter('alpha', StringType_1.StringType.instance, false);
+        func5.addParameter('beta', IntegerType_1.IntegerType.instance, true);
+        (0, chai_config_spec_1.expect)(func1.isTypeCompatible(func5)).to.be.false;
+        // additional optional param
+        let func6 = new TypedFunctionType_1.TypedFunctionType(FloatType_1.FloatType.instance);
+        func6.addParameter('alpha', StringType_1.StringType.instance, false);
+        func6.addParameter('beta', IntegerType_1.IntegerType.instance, false);
+        func6.addParameter('charlie', IntegerType_1.IntegerType.instance, true);
+        (0, chai_config_spec_1.expect)(func1.isTypeCompatible(func6)).to.be.true;
+        // other is variadic
+        let func7 = new TypedFunctionType_1.TypedFunctionType(StringType_1.StringType.instance);
+        func7.addParameter('alpha', StringType_1.StringType.instance, false);
+        func7.addParameter('beta', IntegerType_1.IntegerType.instance, false);
+        func7.isVariadic = true;
+        (0, chai_config_spec_1.expect)(func1.isTypeCompatible(func7)).to.be.false;
+        // both Variadic
+        let variFunc1 = new TypedFunctionType_1.TypedFunctionType(DynamicType_1.DynamicType.instance);
+        variFunc1.isVariadic = true;
+        // both Variadic
+        let variFunc2 = new TypedFunctionType_1.TypedFunctionType(DynamicType_1.DynamicType.instance);
+        variFunc2.isVariadic = true;
+        (0, chai_config_spec_1.expect)(variFunc1.isTypeCompatible(variFunc2)).to.be.true;
+    });
+});
+//# sourceMappingURL=TypedFunctionType.spec.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"TypedFunctionType.spec.js","sourceRoot":"","sources":["../../src/types/TypedFunctionType.spec.ts"],"names":[],"mappings":";;AAAA,0DAA6C;AAE7C,+CAA4C;AAC5C,2DAAwD;AACxD,+CAA4C;AAC5C,6CAA0C;AAC1C,yCAAsC;AACtC,2CAAwC;AAExC,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IAC/B,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACrC,IAAA,yBAAM,EAAC,IAAI,qCAAiB,CAAC,IAAI,mBAAQ,EAAE,CAAC,CAAC,gBAAgB,CAAC,IAAI,yBAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IACjG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAC9C,IAAA,yBAAM,EAAC,IAAI,qCAAiB,CAAC,IAAI,mBAAQ,EAAE,CAAC,CAAC,gBAAgB,CAAC,IAAI,qCAAiB,CAAC,IAAI,mBAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAEjH,2BAA2B;QAC3B,IAAA,yBAAM,EACF,IAAI,qCAAiB,CAAC,IAAI,mBAAQ,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,EAAE,IAAI,yBAAW,EAAE,EAAE,KAAK,CAAC,CAAC,gBAAgB,CAC9F,IAAI,qCAAiB,CAAC,IAAI,mBAAQ,EAAE,CAAC,CACxC,CACJ,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAEd,2BAA2B;QAC3B,IAAA,yBAAM,EACF,IAAI,qCAAiB,CAAC,IAAI,mBAAQ,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,EAAE,IAAI,yBAAW,EAAE,EAAE,KAAK,CAAC,CAAC,gBAAgB,CAC9F,IAAI,qCAAiB,CAAC,IAAI,mBAAQ,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,EAAE,IAAI,uBAAU,EAAE,EAAE,KAAK,CAAC,CACnF,CACJ,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAEd,uBAAuB;QACvB,IAAA,yBAAM,EACF,IAAI,qCAAiB,CAAC,IAAI,mBAAQ,EAAE,CAAC,CAAC,gBAAgB,CAClD,IAAI,qCAAiB,CAAC,IAAI,yBAAW,EAAE,CAAC,CAC3C,CACJ,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;IAClB,CAAC,CAAC,CAAC;IAGH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;QACvB,IAAA,yBAAM,EAAC,IAAI,qCAAiB,CAAC,IAAI,mBAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,qCAAiB,CAAC,IAAI,mBAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAExG,IAAI,KAAK,GAAG,IAAI,qCAAiB,CAAC,uBAAU,CAAC,QAAQ,CAAC,CAAC;QACvD,KAAK,CAAC,YAAY,CAAC,GAAG,EAAE,uBAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACpD,KAAK,CAAC,YAAY,CAAC,GAAG,EAAE,yBAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAErD,IAAI,KAAK,GAAG,IAAI,qCAAiB,CAAC,uBAAU,CAAC,QAAQ,CAAC,CAAC;QACvD,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,uBAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACxD,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,yBAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACxD,IAAA,yBAAM,EAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAExC,wBAAwB;QACxB,IAAI,KAAK,GAAG,IAAI,qCAAiB,CAAC,yBAAW,CAAC,QAAQ,CAAC,CAAC;QACxD,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,uBAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACxD,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,yBAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACxD,IAAA,yBAAM,EAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAEzC,2BAA2B;QAC3B,IAAI,KAAK,GAAG,IAAI,qCAAiB,CAAC,uBAAU,CAAC,QAAQ,CAAC,CAAC;QACvD,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,uBAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACxD,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,qBAAS,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACtD,IAAA,yBAAM,EAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAEzC,2BAA2B;QAC3B,IAAI,KAAK,GAAG,IAAI,qCAAiB,CAAC,uBAAU,CAAC,QAAQ,CAAC,CAAC;QACvD,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,uBAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACxD,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,yBAAW,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QACvD,IAAA,yBAAM,EAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAEzC,4BAA4B;QAC5B,IAAI,KAAK,GAAG,IAAI,qCAAiB,CAAC,uBAAU,CAAC,QAAQ,CAAC,CAAC;QACvD,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,uBAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACxD,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,yBAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACxD,KAAK,CAAC,YAAY,CAAC,SAAS,EAAE,yBAAW,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC1D,IAAA,yBAAM,EAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAEzC,oBAAoB;QACpB,IAAI,KAAK,GAAG,IAAI,qCAAiB,CAAC,uBAAU,CAAC,QAAQ,CAAC,CAAC;QACvD,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,uBAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACxD,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,yBAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACxD,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC;QACxB,IAAA,yBAAM,EAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAEzC,gBAAgB;QAChB,IAAI,SAAS,GAAG,IAAI,qCAAiB,CAAC,yBAAW,CAAC,QAAQ,CAAC,CAAC;QAC5D,SAAS,CAAC,UAAU,GAAG,IAAI,CAAC;QAC5B,gBAAgB;QAChB,IAAI,SAAS,GAAG,IAAI,qCAAiB,CAAC,yBAAW,CAAC,QAAQ,CAAC,CAAC;QAC5D,SAAS,CAAC,UAAU,GAAG,IAAI,CAAC;QAC5B,IAAA,yBAAM,EAAC,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAC5B,IAAA,yBAAM,EAAC,IAAI,qCAAiB,CAAC,IAAI,mBAAQ,EAAE,CAAC,CAAC,gBAAgB,CAAC,IAAI,qCAAiB,CAAC,IAAI,mBAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAEjH,IAAI,KAAK,GAAG,IAAI,qCAAiB,CAAC,qBAAS,CAAC,QAAQ,CAAC,CAAC;QACtD,KAAK,CAAC,YAAY,CAAC,GAAG,EAAE,uBAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACpD,KAAK,CAAC,YAAY,CAAC,GAAG,EAAE,yBAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAErD,IAAI,KAAK,GAAG,IAAI,qCAAiB,CAAC,qBAAS,CAAC,QAAQ,CAAC,CAAC;QACtD,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,uBAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACxD,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,yBAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACxD,IAAA,yBAAM,EAAC,KAAK,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAEjD,wEAAwE;QACxE,IAAI,KAAK,GAAG,IAAI,qCAAiB,CAAC,yBAAW,CAAC,QAAQ,CAAC,CAAC;QACxD,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,uBAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACxD,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,yBAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACxD,IAAA,yBAAM,EAAC,KAAK,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAEjD,4EAA4E;QAC5E,KAAK,GAAG,IAAI,qCAAiB,CAAC,uBAAU,CAAC,QAAQ,CAAC,CAAC;QACnD,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,uBAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACxD,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,yBAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACxD,IAAA,yBAAM,EAAC,KAAK,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAElD,2BAA2B;QAC3B,IAAI,KAAK,GAAG,IAAI,qCAAiB,CAAC,qBAAS,CAAC,QAAQ,CAAC,CAAC;QACtD,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,uBAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACxD,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,uBAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACvD,IAAA,yBAAM,EAAC,KAAK,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAElD,oDAAoD;QACpD,KAAK,GAAG,IAAI,qCAAiB,CAAC,qBAAS,CAAC,QAAQ,CAAC,CAAC;QAClD,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,uBAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACxD,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,qBAAS,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACtD,IAAA,yBAAM,EAAC,KAAK,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAEjD,2BAA2B;QAC3B,IAAI,KAAK,GAAG,IAAI,qCAAiB,CAAC,qBAAS,CAAC,QAAQ,CAAC,CAAC;QACtD,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,uBAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACxD,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,yBAAW,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QACvD,IAAA,yBAAM,EAAC,KAAK,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAElD,4BAA4B;QAC5B,IAAI,KAAK,GAAG,IAAI,qCAAiB,CAAC,qBAAS,CAAC,QAAQ,CAAC,CAAC;QACtD,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,uBAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACxD,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,yBAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACxD,KAAK,CAAC,YAAY,CAAC,SAAS,EAAE,yBAAW,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC1D,IAAA,yBAAM,EAAC,KAAK,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;QAEjD,oBAAoB;QACpB,IAAI,KAAK,GAAG,IAAI,qCAAiB,CAAC,uBAAU,CAAC,QAAQ,CAAC,CAAC;QACvD,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,uBAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACxD,KAAK,CAAC,YAAY,CAAC,MAAM,EAAE,yBAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACxD,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC;QACxB,IAAA,yBAAM,EAAC,KAAK,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC;QAElD,gBAAgB;QAChB,IAAI,SAAS,GAAG,IAAI,qCAAiB,CAAC,yBAAW,CAAC,QAAQ,CAAC,CAAC;QAC5D,SAAS,CAAC,UAAU,GAAG,IAAI,CAAC;QAC5B,gBAAgB;QAChB,IAAI,SAAS,GAAG,IAAI,qCAAiB,CAAC,yBAAW,CAAC,QAAQ,CAAC,CAAC;QAC5D,SAAS,CAAC,UAAU,GAAG,IAAI,CAAC;QAC5B,IAAA,yBAAM,EAAC,SAAS,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC;IAC7D,CAAC,CAAC,CAAC;AACP,CAAC,CAAC,CAAC"}

package/dist/types/UninitializedType.d.ts

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

package/dist/types/UninitializedType.js

@@ -2,15 +2,21 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.UninitializedType = void 0;
 const reflection_1 = require("../astUtils/reflection");
-class UninitializedType {
-    // eslint-disable-next-line @typescript-eslint/no-useless-constructor
-    constructor() { }
+const BscType_1 = require("./BscType");
+const BscTypeKind_1 = require("./BscTypeKind");
+const DynamicType_1 = require("./DynamicType");
+class UninitializedType extends BscType_1.BscType {
+    constructor() {
+        super(...arguments);
+        this.kind = BscTypeKind_1.BscTypeKind.UninitializedType;
+    }
     isAssignableTo(targetType) {
-        return (reflection_1.isUninitializedType(targetType) ||
-            reflection_1.isDynamicType(targetType));
+        return (targetType instanceof UninitializedType ||
+            targetType instanceof DynamicType_1.DynamicType);
     }
-    isConvertibleTo(targetType) {
-        return this.isAssignableTo(targetType);
+    isTypeCompatible(targetType, data) {
+        return ((0, reflection_1.isUninitializedType)(targetType) ||
+            (0, reflection_1.isDynamicType)(targetType));
     }
     toString() {
         return 'uninitialized';
@@ -18,8 +24,8 @@ class UninitializedType {
     toTypeString() {
         return this.toString();
     }
-    equals(targetType) {
-        return reflection_1.isUninitializedType(targetType);
+    isEqual(targetType) {
+        return (0, reflection_1.isUninitializedType)(targetType);
     }
 }
 exports.UninitializedType = UninitializedType;