@sravankumar02/sdk-core 1.0.0

package/out/abi/typesystem/typeExpressionParser.js

@@ -0,0 +1,30 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TypeExpressionParser = void 0;
+const typeFormulaParser_1 = require("../../abi/typeFormulaParser");
+const errors_1 = require("../../core/errors");
+const types_1 = require("./types");
+class TypeExpressionParser {
+    constructor() {
+        this.backingTypeFormulaParser = new typeFormulaParser_1.TypeFormulaParser();
+    }
+    parse(expression) {
+        try {
+            return this.doParse(expression);
+        }
+        catch (e) {
+            throw new errors_1.ErrTypingSystem(`Failed to parse type expression: ${expression}. Error: ${e}`);
+        }
+    }
+    doParse(expression) {
+        const typeFormula = this.backingTypeFormulaParser.parseExpression(expression);
+        const type = this.typeFormulaToType(typeFormula);
+        return type;
+    }
+    typeFormulaToType(typeFormula) {
+        const typeParameters = typeFormula.typeParameters.map((typeFormula) => this.typeFormulaToType(typeFormula));
+        return new types_1.Type(typeFormula.name, typeParameters, undefined, typeFormula.metadata);
+    }
+}
+exports.TypeExpressionParser = TypeExpressionParser;
+//# sourceMappingURL=typeExpressionParser.js.map

package/out/abi/typesystem/typeExpressionParser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typeExpressionParser.js","sourceRoot":"","sources":["../../../src/abi/typesystem/typeExpressionParser.ts"],"names":[],"mappings":";;;AACA,mEAAgE;AAChE,8CAAoD;AACpD,mCAA+B;AAE/B,MAAa,oBAAoB;IAG7B;QACI,IAAI,CAAC,wBAAwB,GAAG,IAAI,qCAAiB,EAAE,CAAC;IAC5D,CAAC;IAED,KAAK,CAAC,UAAkB;QACpB,IAAI;YACA,OAAO,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;SACnC;QAAC,OAAO,CAAC,EAAE;YACR,MAAM,IAAI,wBAAe,CAAC,oCAAoC,UAAU,YAAY,CAAC,EAAE,CAAC,CAAC;SAC5F;IACL,CAAC;IAEO,OAAO,CAAC,UAAkB;QAC9B,MAAM,WAAW,GAAG,IAAI,CAAC,wBAAwB,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC;QAC9E,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC;QACjD,OAAO,IAAI,CAAC;IAChB,CAAC;IAEO,iBAAiB,CAAC,WAAwB;QAC9C,MAAM,cAAc,GAAG,WAAW,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC,CAAC;QAC5G,OAAO,IAAI,YAAI,CAAC,WAAW,CAAC,IAAI,EAAE,cAAc,EAAE,SAAS,EAAE,WAAW,CAAC,QAAQ,CAAC,CAAC;IACvF,CAAC;CACJ;AAzBD,oDAyBC"}

package/out/abi/typesystem/typeMapper.d.ts

@@ -0,0 +1,20 @@
+import { CustomType, Type } from "./types";
+export declare class TypeMapper {
+    private readonly openTypesFactories;
+    private readonly closedTypesMap;
+    private readonly learnedTypesMap;
+    constructor(learnedTypes?: CustomType[]);
+    /**
+     * Maps a "raw type" object to a "known (specific) type" object.
+     * In the process, it also learns the new type.
+     * Can only map types if their dependencies were previously learned (through mapping).
+     */
+    mapType(type: Type): Type;
+    private mapTypeRecursively;
+    private learnType;
+    private mapStructType;
+    private mapEnumType;
+    private mapExplicitEnumType;
+    private mappedFields;
+    private mapGenericType;
+}

package/out/abi/typesystem/typeMapper.js

@@ -0,0 +1,215 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    Object.defineProperty(o, k2, { enumerable: true, get: function() { return m[k]; } });
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || function (mod) {
+    if (mod && mod.__esModule) return mod;
+    var result = {};
+    if (mod != null) for (var k in mod) if (k !== "default" && Object.prototype.hasOwnProperty.call(mod, k)) __createBinding(result, mod, k);
+    __setModuleDefault(result, mod);
+    return result;
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TypeMapper = void 0;
+const errors = __importStar(require("../../core/errors"));
+const address_1 = require("./address");
+const algebraic_1 = require("./algebraic");
+const boolean_1 = require("./boolean");
+const bytes_1 = require("./bytes");
+const codeMetadata_1 = require("./codeMetadata");
+const composite_1 = require("./composite");
+const enum_1 = require("./enum");
+const explicit_enum_1 = require("./explicit-enum");
+const fields_1 = require("./fields");
+const generic_1 = require("./generic");
+const genericArray_1 = require("./genericArray");
+const h256_1 = require("./h256");
+const managedDecimal_1 = require("./managedDecimal");
+const managedDecimalSigned_1 = require("./managedDecimalSigned");
+const nothing_1 = require("./nothing");
+const numerical_1 = require("./numerical");
+const string_1 = require("./string");
+const struct_1 = require("./struct");
+const tokenIdentifier_1 = require("./tokenIdentifier");
+const tuple_1 = require("./tuple");
+const variadic_1 = require("./variadic");
+class TypeMapper {
+    constructor(learnedTypes = []) {
+        this.openTypesFactories = new Map([
+            ["Option", (...typeParameters) => new generic_1.OptionType(typeParameters[0])],
+            ["List", (...typeParameters) => new generic_1.ListType(typeParameters[0])],
+            // For the following open generics, we use a slightly different typing than the one defined by drt-rs-sdk (temporary workaround).
+            ["VarArgs", (...typeParameters) => new variadic_1.VariadicType(typeParameters[0])],
+            ["MultiResultVec", (...typeParameters) => new variadic_1.VariadicType(typeParameters[0])],
+            ["variadic", (...typeParameters) => new variadic_1.VariadicType(typeParameters[0])],
+            ["counted-variadic", (...typeParameters) => new variadic_1.VariadicType(typeParameters[0], true)],
+            ["OptionalArg", (...typeParameters) => new algebraic_1.OptionalType(typeParameters[0])],
+            ["optional", (...typeParameters) => new algebraic_1.OptionalType(typeParameters[0])],
+            ["OptionalResult", (...typeParameters) => new algebraic_1.OptionalType(typeParameters[0])],
+            ["multi", (...typeParameters) => new composite_1.CompositeType(...typeParameters)],
+            ["MultiArg", (...typeParameters) => new composite_1.CompositeType(...typeParameters)],
+            ["MultiResult", (...typeParameters) => new composite_1.CompositeType(...typeParameters)],
+            ["multi", (...typeParameters) => new composite_1.CompositeType(...typeParameters)],
+            // Perhaps we can adjust the ABI generator to only output "tuple", instead of "tupleN"?
+            ["tuple", (...typeParameters) => new tuple_1.TupleType(...typeParameters)],
+            ["tuple2", (...typeParameters) => new tuple_1.TupleType(...typeParameters)],
+            ["tuple3", (...typeParameters) => new tuple_1.TupleType(...typeParameters)],
+            ["tuple4", (...typeParameters) => new tuple_1.TupleType(...typeParameters)],
+            ["tuple5", (...typeParameters) => new tuple_1.TupleType(...typeParameters)],
+            ["tuple6", (...typeParameters) => new tuple_1.TupleType(...typeParameters)],
+            ["tuple7", (...typeParameters) => new tuple_1.TupleType(...typeParameters)],
+            ["tuple8", (...typeParameters) => new tuple_1.TupleType(...typeParameters)],
+            // Known-length arrays.
+            // TODO: Handle these in typeExpressionParser!
+            ["array2", (...typeParameters) => new genericArray_1.ArrayVecType(2, typeParameters[0])],
+            ["array6", (...typeParameters) => new genericArray_1.ArrayVecType(6, typeParameters[0])],
+            ["array8", (...typeParameters) => new genericArray_1.ArrayVecType(8, typeParameters[0])],
+            ["array16", (...typeParameters) => new genericArray_1.ArrayVecType(16, typeParameters[0])],
+            ["array20", (...typeParameters) => new genericArray_1.ArrayVecType(20, typeParameters[0])],
+            ["array32", (...typeParameters) => new genericArray_1.ArrayVecType(32, typeParameters[0])],
+            ["array46", (...typeParameters) => new genericArray_1.ArrayVecType(46, typeParameters[0])],
+            ["array48", (...typeParameters) => new genericArray_1.ArrayVecType(48, typeParameters[0])],
+            ["array64", (...typeParameters) => new genericArray_1.ArrayVecType(64, typeParameters[0])],
+            ["array128", (...typeParameters) => new genericArray_1.ArrayVecType(128, typeParameters[0])],
+            ["array256", (...typeParameters) => new genericArray_1.ArrayVecType(256, typeParameters[0])],
+            ["ManagedDecimal", (...metadata) => new managedDecimal_1.ManagedDecimalType(metadata)],
+            ["ManagedDecimalSigned", (...metadata) => new managedDecimalSigned_1.ManagedDecimalSignedType(metadata)],
+        ]);
+        // For closed types, we hold actual type instances instead of type constructors / factories (no type parameters needed).
+        this.closedTypesMap = new Map([
+            ["u8", new numerical_1.U8Type()],
+            ["u16", new numerical_1.U16Type()],
+            ["u32", new numerical_1.U32Type()],
+            ["u64", new numerical_1.U64Type()],
+            ["U64", new numerical_1.U64Type()],
+            ["BigUint", new numerical_1.BigUIntType()],
+            ["i8", new numerical_1.I8Type()],
+            ["i16", new numerical_1.I16Type()],
+            ["i32", new numerical_1.I32Type()],
+            ["i64", new numerical_1.I64Type()],
+            ["Bigint", new numerical_1.BigIntType()],
+            ["BigInt", new numerical_1.BigIntType()],
+            ["bool", new boolean_1.BooleanType()],
+            ["bytes", new bytes_1.BytesType()],
+            ["Address", new address_1.AddressType()],
+            ["H256", new h256_1.H256Type()],
+            ["utf-8 string", new string_1.StringType()],
+            ["TokenIdentifier", new tokenIdentifier_1.TokenIdentifierType()],
+            ["RewaOrDcdtTokenIdentifier", new tokenIdentifier_1.TokenIdentifierType()],
+            ["CodeMetadata", new codeMetadata_1.CodeMetadataType()],
+            ["nothing", new nothing_1.NothingType()],
+            ["AsyncCall", new nothing_1.NothingType()],
+        ]);
+        this.learnedTypesMap = new Map();
+        // Boostrap from previously learned types, if any.
+        for (const type of learnedTypes) {
+            if (type.getName() === "ManagedDecimal" || type.getName() === "ManagedDecimalSigned") {
+                this.learnedTypesMap.set(`${type.getName()}_${type.getMetadata()}`, type);
+            }
+            else {
+                this.learnedTypesMap.set(type.getName(), type);
+            }
+        }
+    }
+    /**
+     * Maps a "raw type" object to a "known (specific) type" object.
+     * In the process, it also learns the new type.
+     * Can only map types if their dependencies were previously learned (through mapping).
+     */
+    mapType(type) {
+        let mappedType = this.mapTypeRecursively(type);
+        if (mappedType) {
+            // We do not learn generic types (that also have type parameters),
+            // we only learn closed, non-generic types.
+            // Reason: in the ABI, generic types are unnamed.
+            // E.g.: two occurrences of List<Foobar> aren't recognized as a single type (simplification).
+            if (!mappedType.isGenericType()) {
+                this.learnType(mappedType);
+            }
+            return mappedType;
+        }
+        throw new errors.ErrTypingSystem(`Cannot map the type "${type.getName()}" to a known type`);
+    }
+    mapTypeRecursively(type) {
+        let isGeneric = type.isGenericType();
+        let hasMetadata = type.hasMetadata();
+        let previouslyLearnedType = this.learnedTypesMap.get(type.getName());
+        if (previouslyLearnedType) {
+            return previouslyLearnedType;
+        }
+        let knownClosedType = this.closedTypesMap.get(type.getName());
+        if (knownClosedType) {
+            return knownClosedType;
+        }
+        if (type.hasExactClass(enum_1.EnumType.ClassName)) {
+            // This will call mapType() recursively, for all the enum variant fields.
+            return this.mapEnumType(type);
+        }
+        if (type.hasExactClass(explicit_enum_1.ExplicitEnumType.ClassName)) {
+            // This will call mapType() recursively, for all the explicit enum variant fields.
+            return this.mapExplicitEnumType(type);
+        }
+        if (type.hasExactClass(struct_1.StructType.ClassName)) {
+            // This will call mapType() recursively, for all the struct's fields.
+            return this.mapStructType(type);
+        }
+        if (isGeneric || hasMetadata) {
+            // This will call mapType() recursively, for all the type parameters.
+            return this.mapGenericType(type);
+        }
+        return null;
+    }
+    learnType(type) {
+        if (type.getName() === "ManagedDecimal" || type.getName() === "ManagedDecimalSigned") {
+            const learnedTypeKey = `${type.getName()}_${type.getMetadata()}`;
+            this.learnedTypesMap.delete(learnedTypeKey);
+            this.learnedTypesMap.set(learnedTypeKey, type);
+        }
+        else {
+            const learnedTypeKey = type.getName();
+            this.learnedTypesMap.delete(learnedTypeKey);
+            this.learnedTypesMap.set(learnedTypeKey, type);
+        }
+    }
+    mapStructType(type) {
+        let mappedFields = this.mappedFields(type.getFieldsDefinitions());
+        let mappedStruct = new struct_1.StructType(type.getName(), mappedFields);
+        return mappedStruct;
+    }
+    mapEnumType(type) {
+        let variants = type.variants.map((variant) => new enum_1.EnumVariantDefinition(variant.name, variant.discriminant, this.mappedFields(variant.getFieldsDefinitions())));
+        let mappedEnum = new enum_1.EnumType(type.getName(), variants);
+        return mappedEnum;
+    }
+    mapExplicitEnumType(type) {
+        let variants = type.variants.map((variant) => new explicit_enum_1.ExplicitEnumVariantDefinition(variant.name));
+        let mappedEnum = new explicit_enum_1.ExplicitEnumType(type.getName(), variants);
+        return mappedEnum;
+    }
+    mappedFields(definitions) {
+        return definitions.map((definition) => new fields_1.FieldDefinition(definition.name, definition.description, this.mapType(definition.type)));
+    }
+    mapGenericType(type) {
+        let typeParameters = type.getTypeParameters();
+        let mappedTypeParameters = typeParameters.map((item) => this.mapType(item));
+        let factory = this.openTypesFactories.get(type.getName());
+        if (!factory) {
+            throw new errors.ErrTypingSystem(`Cannot map the generic type "${type.getName()}" to a known type`);
+        }
+        if (type.hasMetadata()) {
+            return factory(type.getMetadata());
+        }
+        return factory(...mappedTypeParameters);
+    }
+}
+exports.TypeMapper = TypeMapper;
+//# sourceMappingURL=typeMapper.js.map

package/out/abi/typesystem/typeMapper.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typeMapper.js","sourceRoot":"","sources":["../../../src/abi/typesystem/typeMapper.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;AAAA,0DAA4C;AAC5C,uCAAwC;AACxC,2CAA2C;AAC3C,uCAAwC;AACxC,mCAAoC;AACpC,iDAAkD;AAClD,2CAA4C;AAC5C,iCAAyD;AACzD,mDAAkF;AAClF,qCAA2C;AAC3C,uCAAiD;AACjD,iDAA8C;AAC9C,iCAAkC;AAClC,qDAAsD;AACtD,iEAAkE;AAClE,uCAAwC;AACxC,2CAWqB;AACrB,qCAAsC;AACtC,qCAAsC;AACtC,uDAAwD;AACxD,mCAAoC;AAEpC,yCAA0C;AAK1C,MAAa,UAAU;IAKnB,YAAY,eAA6B,EAAE;QACvC,IAAI,CAAC,kBAAkB,GAAG,IAAI,GAAG,CAAgD;YAC7E,CAAC,QAAQ,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,oBAAU,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5E,CAAC,MAAM,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,kBAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YACxE,iIAAiI;YACjI,CAAC,SAAS,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,uBAAY,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/E,CAAC,gBAAgB,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,uBAAY,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YACtF,CAAC,UAAU,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,uBAAY,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YAChF,CAAC,kBAAkB,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,uBAAY,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YAC9F,CAAC,aAAa,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,wBAAY,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YACnF,CAAC,UAAU,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,wBAAY,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YAChF,CAAC,gBAAgB,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,wBAAY,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YACtF,CAAC,OAAO,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,yBAAa,CAAC,GAAG,cAAc,CAAC,CAAC;YAC9E,CAAC,UAAU,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,yBAAa,CAAC,GAAG,cAAc,CAAC,CAAC;YACjF,CAAC,aAAa,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,yBAAa,CAAC,GAAG,cAAc,CAAC,CAAC;YACpF,CAAC,OAAO,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,yBAAa,CAAC,GAAG,cAAc,CAAC,CAAC;YAC9E,uFAAuF;YACvF,CAAC,OAAO,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,iBAAS,CAAC,GAAG,cAAc,CAAC,CAAC;YAC1E,CAAC,QAAQ,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,iBAAS,CAAC,GAAG,cAAc,CAAC,CAAC;YAC3E,CAAC,QAAQ,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,iBAAS,CAAC,GAAG,cAAc,CAAC,CAAC;YAC3E,CAAC,QAAQ,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,iBAAS,CAAC,GAAG,cAAc,CAAC,CAAC;YAC3E,CAAC,QAAQ,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,iBAAS,CAAC,GAAG,cAAc,CAAC,CAAC;YAC3E,CAAC,QAAQ,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,iBAAS,CAAC,GAAG,cAAc,CAAC,CAAC;YAC3E,CAAC,QAAQ,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,iBAAS,CAAC,GAAG,cAAc,CAAC,CAAC;YAC3E,CAAC,QAAQ,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,iBAAS,CAAC,GAAG,cAAc,CAAC,CAAC;YAC3E,uBAAuB;YACvB,8CAA8C;YAC9C,CAAC,QAAQ,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,2BAAY,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YACjF,CAAC,QAAQ,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,2BAAY,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YACjF,CAAC,QAAQ,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,2BAAY,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YACjF,CAAC,SAAS,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,2BAAY,CAAC,EAAE,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YACnF,CAAC,SAAS,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,2BAAY,CAAC,EAAE,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YACnF,CAAC,SAAS,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,2BAAY,CAAC,EAAE,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YACnF,CAAC,SAAS,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,2BAAY,CAAC,EAAE,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YACnF,CAAC,SAAS,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,2BAAY,CAAC,EAAE,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YACnF,CAAC,SAAS,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,2BAAY,CAAC,EAAE,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YACnF,CAAC,UAAU,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,2BAAY,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YACrF,CAAC,UAAU,EAAE,CAAC,GAAG,cAAsB,EAAE,EAAE,CAAC,IAAI,2BAAY,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YACrF,CAAC,gBAAgB,EAAE,CAAC,GAAG,QAAa,EAAE,EAAE,CAAC,IAAI,mCAAkB,CAAC,QAAQ,CAAC,CAAC;YAC1E,CAAC,sBAAsB,EAAE,CAAC,GAAG,QAAa,EAAE,EAAE,CAAC,IAAI,+CAAwB,CAAC,QAAQ,CAAC,CAAC;SACzF,CAAC,CAAC;QAEH,wHAAwH;QACxH,IAAI,CAAC,cAAc,GAAG,IAAI,GAAG,CAAe;YACxC,CAAC,IAAI,EAAE,IAAI,kBAAM,EAAE,CAAC;YACpB,CAAC,KAAK,EAAE,IAAI,mBAAO,EAAE,CAAC;YACtB,CAAC,KAAK,EAAE,IAAI,mBAAO,EAAE,CAAC;YACtB,CAAC,KAAK,EAAE,IAAI,mBAAO,EAAE,CAAC;YACtB,CAAC,KAAK,EAAE,IAAI,mBAAO,EAAE,CAAC;YACtB,CAAC,SAAS,EAAE,IAAI,uBAAW,EAAE,CAAC;YAC9B,CAAC,IAAI,EAAE,IAAI,kBAAM,EAAE,CAAC;YACpB,CAAC,KAAK,EAAE,IAAI,mBAAO,EAAE,CAAC;YACtB,CAAC,KAAK,EAAE,IAAI,mBAAO,EAAE,CAAC;YACtB,CAAC,KAAK,EAAE,IAAI,mBAAO,EAAE,CAAC;YACtB,CAAC,QAAQ,EAAE,IAAI,sBAAU,EAAE,CAAC;YAC5B,CAAC,QAAQ,EAAE,IAAI,sBAAU,EAAE,CAAC;YAC5B,CAAC,MAAM,EAAE,IAAI,qBAAW,EAAE,CAAC;YAC3B,CAAC,OAAO,EAAE,IAAI,iBAAS,EAAE,CAAC;YAC1B,CAAC,SAAS,EAAE,IAAI,qBAAW,EAAE,CAAC;YAC9B,CAAC,MAAM,EAAE,IAAI,eAAQ,EAAE,CAAC;YACxB,CAAC,cAAc,EAAE,IAAI,mBAAU,EAAE,CAAC;YAClC,CAAC,iBAAiB,EAAE,IAAI,qCAAmB,EAAE,CAAC;YAC9C,CAAC,2BAA2B,EAAE,IAAI,qCAAmB,EAAE,CAAC;YACxD,CAAC,cAAc,EAAE,IAAI,+BAAgB,EAAE,CAAC;YACxC,CAAC,SAAS,EAAE,IAAI,qBAAW,EAAE,CAAC;YAC9B,CAAC,WAAW,EAAE,IAAI,qBAAW,EAAE,CAAC;SACnC,CAAC,CAAC;QAEH,IAAI,CAAC,eAAe,GAAG,IAAI,GAAG,EAAgB,CAAC;QAE/C,kDAAkD;QAClD,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE;YAC7B,IAAI,IAAI,CAAC,OAAO,EAAE,KAAK,gBAAgB,IAAI,IAAI,CAAC,OAAO,EAAE,KAAK,sBAAsB,EAAE;gBAClF,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,OAAO,EAAE,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;aAC7E;iBAAM;gBACH,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,IAAI,CAAC,CAAC;aAClD;SACJ;IACL,CAAC;IAED;;;;OAIG;IACH,OAAO,CAAC,IAAU;QACd,IAAI,UAAU,GAAG,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;QAC/C,IAAI,UAAU,EAAE;YACZ,kEAAkE;YAClE,2CAA2C;YAC3C,iDAAiD;YACjD,6FAA6F;YAC7F,IAAI,CAAC,UAAU,CAAC,aAAa,EAAE,EAAE;gBAC7B,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;aAC9B;YAED,OAAO,UAAU,CAAC;SACrB;QAED,MAAM,IAAI,MAAM,CAAC,eAAe,CAAC,wBAAwB,IAAI,CAAC,OAAO,EAAE,mBAAmB,CAAC,CAAC;IAChG,CAAC;IAEO,kBAAkB,CAAC,IAAU;QACjC,IAAI,SAAS,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;QACrC,IAAI,WAAW,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QAErC,IAAI,qBAAqB,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QACrE,IAAI,qBAAqB,EAAE;YACvB,OAAO,qBAAqB,CAAC;SAChC;QAED,IAAI,eAAe,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QAC9D,IAAI,eAAe,EAAE;YACjB,OAAO,eAAe,CAAC;SAC1B;QAED,IAAI,IAAI,CAAC,aAAa,CAAC,eAAQ,CAAC,SAAS,CAAC,EAAE;YACxC,yEAAyE;YACzE,OAAO,IAAI,CAAC,WAAW,CAAW,IAAI,CAAC,CAAC;SAC3C;QAED,IAAI,IAAI,CAAC,aAAa,CAAC,gCAAgB,CAAC,SAAS,CAAC,EAAE;YAChD,kFAAkF;YAClF,OAAO,IAAI,CAAC,mBAAmB,CAAmB,IAAI,CAAC,CAAC;SAC3D;QAED,IAAI,IAAI,CAAC,aAAa,CAAC,mBAAU,CAAC,SAAS,CAAC,EAAE;YAC1C,qEAAqE;YACrE,OAAO,IAAI,CAAC,aAAa,CAAa,IAAI,CAAC,CAAC;SAC/C;QAED,IAAI,SAAS,IAAI,WAAW,EAAE;YAC1B,qEAAqE;YACrE,OAAO,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;SACpC;QAED,OAAO,IAAI,CAAC;IAChB,CAAC;IAEO,SAAS,CAAC,IAAU;QACxB,IAAI,IAAI,CAAC,OAAO,EAAE,KAAK,gBAAgB,IAAI,IAAI,CAAC,OAAO,EAAE,KAAK,sBAAsB,EAAE;YAClF,MAAM,cAAc,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;YACjE,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;YAC5C,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC;SAClD;aAAM;YACH,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;YACtC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;YAC5C,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC;SAClD;IACL,CAAC;IAEO,aAAa,CAAC,IAAgB;QAClC,IAAI,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,oBAAoB,EAAE,CAAC,CAAC;QAClE,IAAI,YAAY,GAAG,IAAI,mBAAU,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,YAAY,CAAC,CAAC;QAChE,OAAO,YAAY,CAAC;IACxB,CAAC;IAEO,WAAW,CAAC,IAAc;QAC9B,IAAI,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAC5B,CAAC,OAAO,EAAE,EAAE,CACR,IAAI,4BAAqB,CACrB,OAAO,CAAC,IAAI,EACZ,OAAO,CAAC,YAAY,EACpB,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,oBAAoB,EAAE,CAAC,CACpD,CACR,CAAC;QACF,IAAI,UAAU,GAAG,IAAI,eAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,QAAQ,CAAC,CAAC;QACxD,OAAO,UAAU,CAAC;IACtB,CAAC;IAEO,mBAAmB,CAAC,IAAsB;QAC9C,IAAI,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,6CAA6B,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/F,IAAI,UAAU,GAAG,IAAI,gCAAgB,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,QAAQ,CAAC,CAAC;QAChE,OAAO,UAAU,CAAC;IACtB,CAAC;IAEO,YAAY,CAAC,WAA8B;QAC/C,OAAO,WAAW,CAAC,GAAG,CAClB,CAAC,UAAU,EAAE,EAAE,CAAC,IAAI,wBAAe,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAC9G,CAAC;IACN,CAAC;IAEO,cAAc,CAAC,IAAU;QAC7B,IAAI,cAAc,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAC9C,IAAI,oBAAoB,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAE5E,IAAI,OAAO,GAAG,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QAC1D,IAAI,CAAC,OAAO,EAAE;YACV,MAAM,IAAI,MAAM,CAAC,eAAe,CAAC,gCAAgC,IAAI,CAAC,OAAO,EAAE,mBAAmB,CAAC,CAAC;SACvG;QACD,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE;YACpB,OAAO,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;SACtC;QAED,OAAO,OAAO,CAAC,GAAG,oBAAoB,CAAC,CAAC;IAC5C,CAAC;CACJ;AAzMD,gCAyMC"}

package/out/abi/typesystem/types.d.ts

@@ -0,0 +1,129 @@
+/**
+ * An abstraction that represents a Type. Handles both generic and non-generic types.
+ * Once instantiated as a Type, a generic type is "closed" (as opposed to "open").
+ */
+export declare class Type {
+    static ClassName: string;
+    private readonly name;
+    private readonly typeParameters;
+    private readonly cardinality;
+    protected readonly metadata: any;
+    constructor(name: string, typeParameters?: Type[], cardinality?: TypeCardinality, metadata?: any);
+    getName(): string;
+    getClassName(): string;
+    getClassHierarchy(): string[];
+    /**
+     * Gets the fully qualified name of the type, to allow for better (efficient and non-ambiguous) type comparison within the custom typesystem.
+     */
+    getFullyQualifiedName(): string;
+    private getFullNameForGeneric;
+    hasExactClass(className: string): boolean;
+    hasClassOrSuperclass(className: string): boolean;
+    getTypeParameters(): Type[];
+    getMetadata(): any;
+    isGenericType(): boolean;
+    hasMetadata(): boolean;
+    getFirstTypeParameter(): Type;
+    /**
+     * Generates type expressions similar to drt-rs-sdk.
+     */
+    toString(): string;
+    equals(other: Type): boolean;
+    static equals(a: Type, b: Type): boolean;
+    static equalsMany(a: Type[], b: Type[]): boolean;
+    static isAssignableFromMany(a: Type[], b: Type[]): boolean;
+    differs(other: Type): boolean;
+    valueOf(): string;
+    /**
+     * Inspired from: https://docs.microsoft.com/en-us/dotnet/api/system.type.isassignablefrom
+     * For (most) generics, type invariance is expected (assumed) - neither covariance, nor contravariance are supported yet (will be supported in a next release).
+     *
+     * One exception though: for {@link OptionType}, we simulate covariance for missing (not provided) values.
+     * For example, Option<u32> is assignable from Option<?>.
+     * For more details, see the implementation of {@link OptionType} and @{@link OptionalType}.
+     *
+     * Also see:
+     *  - https://en.wikipedia.org/wiki/Covariance_and_contravariance_(computer_science)
+     *  - https://docs.microsoft.com/en-us/dotnet/standard/generics/covariance-and-contravariance
+     */
+    isAssignableFrom(other: Type): boolean;
+    private static getFullyQualifiedNamesInHierarchy;
+    getNamesOfDependencies(): string[];
+    /**
+     * Converts the account to a pretty, plain JavaScript object.
+     */
+    toJSON(): any;
+    getCardinality(): TypeCardinality;
+    /**
+     * A special marker for types within the custom typesystem.
+     */
+    belongsToTypesystem(): void;
+}
+/**
+ * TODO: Simplify this class, keep only what is needed.
+ *
+ * An abstraction for defining and operating with the cardinality of a (composite or simple) type.
+ *
+ * Simple types (the ones that are directly encodable) have a fixed cardinality: [lower = 1, upper = 1].
+ * Composite types (not directly encodable) do not follow this constraint. For example:
+ *  - VarArgs: [lower = 0, upper = *]
+ *  - OptionalResult: [lower = 0, upper = 1]
+ */
+export declare class TypeCardinality {
+    /**
+     * An arbitrarily chosen, reasonably large number.
+     */
+    private static MaxCardinality;
+    private readonly lowerBound;
+    private readonly upperBound?;
+    private constructor();
+    static fixed(value: number): TypeCardinality;
+    static variable(value?: number): TypeCardinality;
+    isSingular(): boolean;
+    isSingularOrNone(): boolean;
+    isComposite(): boolean;
+    isFixed(): boolean;
+    getLowerBound(): number;
+    getUpperBound(): number;
+}
+export declare class PrimitiveType extends Type {
+    static ClassName: string;
+    constructor(name: string);
+    getClassName(): string;
+}
+export declare abstract class CustomType extends Type {
+    static ClassName: string;
+    getClassName(): string;
+}
+export declare abstract class TypedValue {
+    static ClassName: string;
+    private readonly type;
+    constructor(type: Type);
+    getClassName(): string;
+    getClassHierarchy(): string[];
+    getType(): Type;
+    abstract equals(other: any): boolean;
+    abstract valueOf(): any;
+    hasExactClass(className: string): boolean;
+    hasClassOrSuperclass(className: string): boolean;
+    /**
+     * A special marker for values within the custom typesystem.
+     */
+    belongsToTypesystem(): void;
+}
+export declare abstract class PrimitiveValue extends TypedValue {
+    static ClassName: string;
+    constructor(type: Type);
+    getClassName(): string;
+}
+export declare function isTyped(value: any): boolean;
+export declare class TypePlaceholder extends Type {
+    static ClassName: string;
+    constructor();
+    getClassName(): string;
+}
+export declare class NullType extends Type {
+    static ClassName: string;
+    constructor();
+    getClassName(): string;
+}