@guardian-network/policy-intermediate-representation 0.3.2

package/README.md

@@ -0,0 +1,36 @@
+# Policy definition IR translator
+Intermediate representation (IR) is needed to create the layer of abstraction between high-level policy constructors and the code that represents the policy onchain.
+IR can be perseived as an interface between human-readable code, GUI constructors - all sorts of tools convenient to humans, and object model of a policy that is used only by onchain code.
+IR is not ment neither to be written by humans nor to be read or debugged by them. It's an unambigous notation for policy-constructing translator.
+
+The notation consists of an instance definitions, each written in a new line.
+The instance definition consists of three clauses, following each other, separated with spaces. Here they are:
+1. **Artifact clause** \
+Defines an address of the target artifact of an instance. Denoted with curvy braces `{}` with a single value inside.
+> `{0xA0b86991c6218b36c1d19D4a2e9Eb0cE3606eB48}`
+
+2. **Execution arguments clause** \
+Declares all the needed data, passed to the artifact's `exec` method.
+All arguments are enclosed into parenthesis `()` and divided with comma `,`. \
+**Constants** are written as is - strings are doublequoted, bytes and addresses must have `0x` prefix. \
+**Variables** are listed by names with mandatory prefix `var`. E.g. `var bool myValue` ↦ `varmyValue`.  \
+Also, postfix `$"<injection>"` is appended to all variables. If the variable is injected, injection attribute is pasted instead of `<injection>`. \
+**Substitutions** are referenced by `nodeId` inside verical bars `||`.
+
+> `(varMyNumber$"", varInjected$"my_attr", 1234, 0xe983fD1798689eee00c0Fb77e79B8f372DF41060, |0x0d68bc8fa0092f4020226d6cf49843553da6de839c908e4220723149ee39a11e|)`
+
+3. **Initialization arguments clause** \
+Optional block. Declares all the needed data, passed to the artifact's `init` method. Can be empty or absent. \
+All arguments are enclosed into parenthesis `<>` and divided with comma `,`. \
+Arguments **must** be constants.
+> `<1234, "init_me", true, 0x31621c02470F4e9e71428e209EfC97c07cdc64A3>`
+
+Overall, valid IR looks like this:
+```
+{0x6768008f6c2Ac94F9D65533D13A974b376495c7b} (1,"lang","here I am") <0,0xdeadbeef,true>
+ {0xB60B02062d1256A79C81A061a9277e84ffbB0Ff7} (|0x7ce384eae0aa9f573819ad8aaa6a4eec71d9079f031feee34d51343934131dfe|,0xD9e88d1d18d8Cf3a17e97af9F017Ef8760dee583,varboolVar$"is_dev",0xdeadbeef,|0x7ce384eae0aa9f573819ad8aaa6a4eec71d9079f031feee34d51343934131dfe|,true) <>
+{0xB60B02062d1256A79C81A061a9277e84ffbB0Ff7} (|0x7ce384eae0aa9f573819ad8aaa6a4eec71d9079f031feee34d51343934131dfe|,|0x5487fd7ba958bc80cdcaf554b244cb54db0a2def3d506dbbaf0b9d6956f3e825|) <"initialize me",0xd00d,0xB60B02062d1256A79C81A061a9277e84ffbB0Ff7>
+{0x4838B106FCe9647Bdf1E7877BF73cE8B0BAD5f97} (|0xcb329f0b2f36e169bcdfee34b756614933b5255d462873e07fe749690e77223a|)
+```
+
+The root node is not passed via IR - it is ment to be set by other means as a separate meta-argument.

package/dist/index.d.ts

@@ -0,0 +1,2 @@
+export { ParserWithValidation, SimplifiedParser, StaticParser, } from './ir-notation/parser';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,gBAAgB,EAChB,YAAY,GACb,MAAM,sBAAsB,CAAC"}

package/dist/index.js

@@ -0,0 +1,8 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.StaticParser = exports.SimplifiedParser = exports.ParserWithValidation = void 0;
+var parser_1 = require("./ir-notation/parser");
+Object.defineProperty(exports, "ParserWithValidation", { enumerable: true, get: function () { return parser_1.ParserWithValidation; } });
+Object.defineProperty(exports, "SimplifiedParser", { enumerable: true, get: function () { return parser_1.SimplifiedParser; } });
+Object.defineProperty(exports, "StaticParser", { enumerable: true, get: function () { return parser_1.StaticParser; } });
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";;;AAAA,+CAI8B;AAH5B,8GAAA,oBAAoB,OAAA;AACpB,0GAAA,gBAAgB,OAAA;AAChB,sGAAA,YAAY,OAAA"}

package/dist/ir-notation/errors/ErrorFactory.d.ts

@@ -0,0 +1,7 @@
+import { ExecTypesDoNotMatchError, InitTypesDoNotMatchError, SubstitutionTypesDoNotMatchError } from './validation-errors';
+export declare class ErrorFactory {
+    static initTypesNotMacth: (value: string, onchainName: string, onchainType: string, offchainType: string) => InitTypesDoNotMatchError;
+    static execTypesNotMacth: (value: string, onchainName: string, onchainType: string, offchainType: string) => ExecTypesDoNotMatchError;
+    static substitutionTypesNotMatch: (selfInstanceId: string, refInstanceId: string, selfExecArgName: string, selfExecArgType: string, refInstanceReturnType: string) => SubstitutionTypesDoNotMatchError;
+}
+//# sourceMappingURL=ErrorFactory.d.ts.map

package/dist/ir-notation/errors/ErrorFactory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ErrorFactory.d.ts","sourceRoot":"","sources":["../../../src/ir-notation/errors/ErrorFactory.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,wBAAwB,EACxB,wBAAwB,EACxB,gCAAgC,EACjC,MAAM,qBAAqB,CAAC;AAE7B,qBAAa,YAAY;IACvB,MAAM,CAAC,iBAAiB,8GAItB;IAEF,MAAM,CAAC,iBAAiB,8GAItB;IAEF,MAAM,CAAC,yBAAyB,uKAI9B;CACH"}

package/dist/ir-notation/errors/ErrorFactory.js

@@ -0,0 +1,17 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ErrorFactory = void 0;
+const validation_errors_1 = require("./validation-errors");
+class ErrorFactory {
+    static initTypesNotMacth = (...params) => {
+        return validation_errors_1.InitTypesDoNotMatchError.create(...params);
+    };
+    static execTypesNotMacth = (...params) => {
+        return validation_errors_1.ExecTypesDoNotMatchError.create(...params);
+    };
+    static substitutionTypesNotMatch = (...params) => {
+        return validation_errors_1.SubstitutionTypesDoNotMatchError.create(...params);
+    };
+}
+exports.ErrorFactory = ErrorFactory;
+//# sourceMappingURL=ErrorFactory.js.map

package/dist/ir-notation/errors/ErrorFactory.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ErrorFactory.js","sourceRoot":"","sources":["../../../src/ir-notation/errors/ErrorFactory.ts"],"names":[],"mappings":";;;AAAA,2DAI6B;AAE7B,MAAa,YAAY;IACvB,MAAM,CAAC,iBAAiB,GAAG,CACzB,GAAG,MAA0D,EAC7D,EAAE;QACF,OAAO,4CAAwB,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC;IACpD,CAAC,CAAC;IAEF,MAAM,CAAC,iBAAiB,GAAG,CACzB,GAAG,MAA0D,EAC7D,EAAE;QACF,OAAO,4CAAwB,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC;IACpD,CAAC,CAAC;IAEF,MAAM,CAAC,yBAAyB,GAAG,CACjC,GAAG,MAAkE,EACrE,EAAE;QACF,OAAO,oDAAgC,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC;IAC5D,CAAC,CAAC;;AAjBJ,oCAkBC"}

package/dist/ir-notation/errors/index.d.ts

@@ -0,0 +1,2 @@
+export * from './ErrorFactory';
+//# sourceMappingURL=index.d.ts.map

package/dist/ir-notation/errors/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ir-notation/errors/index.ts"],"names":[],"mappings":"AAAA,cAAc,gBAAgB,CAAC"}

package/dist/ir-notation/errors/index.js

@@ -0,0 +1,18 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+__exportStar(require("./ErrorFactory"), exports);
+//# sourceMappingURL=index.js.map

package/dist/ir-notation/errors/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/ir-notation/errors/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,iDAA+B"}

package/dist/ir-notation/errors/validation-errors.d.ts

@@ -0,0 +1,11 @@
+import { BaseError } from '@guardian-network/shared';
+export declare class InitTypesDoNotMatchError extends BaseError {
+    static create: (value: string, onchainName: string, onchainType: string, offchainType: string) => InitTypesDoNotMatchError;
+}
+export declare class ExecTypesDoNotMatchError extends BaseError {
+    static create: (value: string, onchainName: string, onchainType: string, offchainType: string) => ExecTypesDoNotMatchError;
+}
+export declare class SubstitutionTypesDoNotMatchError extends BaseError {
+    static create: (selfInstanceId: string, refInstanceId: string, selfExecArgName: string, selfExecArgType: string, refInstanceReturnType: string) => SubstitutionTypesDoNotMatchError;
+}
+//# sourceMappingURL=validation-errors.d.ts.map

package/dist/ir-notation/errors/validation-errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation-errors.d.ts","sourceRoot":"","sources":["../../../src/ir-notation/errors/validation-errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AAErD,qBAAa,wBAAyB,SAAQ,SAAS;IACrD,MAAM,CAAC,MAAM,UACJ,MAAM,eACA,MAAM,eACN,MAAM,gBACL,MAAM,8BAIpB;CACH;AAED,qBAAa,wBAAyB,SAAQ,SAAS;IACrD,MAAM,CAAC,MAAM,UACJ,MAAM,eACA,MAAM,eACN,MAAM,gBACL,MAAM,8BAIpB;CACH;AAED,qBAAa,gCAAiC,SAAQ,SAAS;IAC7D,MAAM,CAAC,MAAM,mBACK,MAAM,iBACP,MAAM,mBACJ,MAAM,mBACN,MAAM,yBACA,MAAM,sCAI7B;CACH"}

package/dist/ir-notation/errors/validation-errors.js

@@ -0,0 +1,26 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SubstitutionTypesDoNotMatchError = exports.ExecTypesDoNotMatchError = exports.InitTypesDoNotMatchError = void 0;
+const shared_1 = require("@guardian-network/shared");
+class InitTypesDoNotMatchError extends shared_1.BaseError {
+    static create = (value, onchainName, onchainType, offchainType) => {
+        const errorMessage = `Initialization value ${value} (onchain name: ${onchainName}) is not matched by type: \r\n Expected onchain: ${onchainType} \r\n Got from DSL: ${offchainType}`;
+        return this.build(errorMessage);
+    };
+}
+exports.InitTypesDoNotMatchError = InitTypesDoNotMatchError;
+class ExecTypesDoNotMatchError extends shared_1.BaseError {
+    static create = (value, onchainName, onchainType, offchainType) => {
+        const errorMessage = `Execution value ${value} (onchain name: ${onchainName}) is not matched by type: \r\n Expected onchain: ${onchainType} \r\n Got from DSL: ${offchainType}`;
+        return this.build(errorMessage);
+    };
+}
+exports.ExecTypesDoNotMatchError = ExecTypesDoNotMatchError;
+class SubstitutionTypesDoNotMatchError extends shared_1.BaseError {
+    static create = (selfInstanceId, refInstanceId, selfExecArgName, selfExecArgType, refInstanceReturnType) => {
+        const errorMessage = `Instance ${selfInstanceId} has exec argument ${selfExecArgName} of type ${selfExecArgType} that is being substituted with instance ${refInstanceId} of type ${refInstanceReturnType}`;
+        return this.build(errorMessage);
+    };
+}
+exports.SubstitutionTypesDoNotMatchError = SubstitutionTypesDoNotMatchError;
+//# sourceMappingURL=validation-errors.js.map

package/dist/ir-notation/errors/validation-errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation-errors.js","sourceRoot":"","sources":["../../../src/ir-notation/errors/validation-errors.ts"],"names":[],"mappings":";;;AAAA,qDAAqD;AAErD,MAAa,wBAAyB,SAAQ,kBAAS;IACrD,MAAM,CAAC,MAAM,GAAG,CACd,KAAa,EACb,WAAmB,EACnB,WAAmB,EACnB,YAAoB,EACpB,EAAE;QACF,MAAM,YAAY,GAAG,wBAAwB,KAAK,mBAAmB,WAAW,oDAAoD,WAAW,uBAAuB,YAAY,EAAE,CAAC;QACrL,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAClC,CAAC,CAAC;;AATJ,4DAUC;AAED,MAAa,wBAAyB,SAAQ,kBAAS;IACrD,MAAM,CAAC,MAAM,GAAG,CACd,KAAa,EACb,WAAmB,EACnB,WAAmB,EACnB,YAAoB,EACpB,EAAE;QACF,MAAM,YAAY,GAAG,mBAAmB,KAAK,mBAAmB,WAAW,oDAAoD,WAAW,uBAAuB,YAAY,EAAE,CAAC;QAChL,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAClC,CAAC,CAAC;;AATJ,4DAUC;AAED,MAAa,gCAAiC,SAAQ,kBAAS;IAC7D,MAAM,CAAC,MAAM,GAAG,CACd,cAAsB,EACtB,aAAqB,EACrB,eAAuB,EACvB,eAAuB,EACvB,qBAA6B,EAC7B,EAAE;QACF,MAAM,YAAY,GAAG,YAAY,cAAc,sBAAsB,eAAe,YAAY,eAAe,4CAA4C,aAAa,YAAY,qBAAqB,EAAE,CAAC;QAC5M,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAClC,CAAC,CAAC;;AAVJ,4EAWC"}

package/dist/ir-notation/helpers/formatters.d.ts

@@ -0,0 +1,18 @@
+import { SupportedSolidityType } from '@guardian-network/shared';
+export declare const bytesEncodeArgs: (args: string[], types: SupportedSolidityType[]) => string;
+export declare const indexConstants: (parameters: {
+    value: string;
+    index: number;
+}[], argsTypes: SupportedSolidityType[]) => {
+    value: string;
+    index: number;
+}[];
+export declare function extractComponents(input: string): {
+    addressClause: string;
+    paramsClause: string;
+    initClause: string;
+};
+export declare function extractArguments(input: string): string[];
+export declare function extractInjection(inputString: string): string;
+export declare const DSLTypesToIRTypes: (el: string) => "string" | "bytes" | "bool" | "uint256" | "address";
+//# sourceMappingURL=formatters.d.ts.map

package/dist/ir-notation/helpers/formatters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatters.d.ts","sourceRoot":"","sources":["../../../src/ir-notation/helpers/formatters.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,qBAAqB,EACtB,MAAM,0BAA0B,CAAC;AAIlC,eAAO,MAAM,eAAe,SACpB,MAAM,EAAE,SACP,qBAAqB,EAAE,WAO/B,CAAC;AAEF,eAAO,MAAM,cAAc,eACb;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,EAAE,aACnC,qBAAqB,EAAE;;;GAQ/B,CAAC;AAEN,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM;;;;EAU9C;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,CAMxD;AAED,wBAAgB,gBAAgB,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAK5D;AAED,eAAO,MAAM,iBAAiB,OAAQ,MAAM,wDAI3C,CAAC"}

package/dist/ir-notation/helpers/formatters.js

@@ -0,0 +1,45 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.DSLTypesToIRTypes = exports.indexConstants = exports.bytesEncodeArgs = void 0;
+exports.extractComponents = extractComponents;
+exports.extractArguments = extractArguments;
+exports.extractInjection = extractInjection;
+const shared_1 = require("@guardian-network/shared");
+const _1 = require(".");
+const types_1 = require("../parser/types");
+const bytesEncodeArgs = (args, types) => {
+    const typedArgs = args.map((arg, index) => (0, _1.toTypedWithKnownType)(arg, types[index]));
+    return shared_1.defaultAbiCoder.encode(types, typedArgs);
+};
+exports.bytesEncodeArgs = bytesEncodeArgs;
+const indexConstants = (parameters, argsTypes) => parameters.map((arg, index) => ({
+    value: shared_1.defaultAbiCoder.encode([argsTypes[index]], [(0, _1.toTypedWithKnownType)(arg.value, argsTypes[index])]),
+    index: arg.index,
+}));
+exports.indexConstants = indexConstants;
+function extractComponents(input) {
+    const regex = /\{([^}]+)\}\s*\(([^)]*)\)\s*<([^>]*)>/;
+    const match = input.match(regex);
+    if (match && match.length === 4) {
+        const [, addressClause, paramsClause, initClause] = match;
+        return { addressClause, paramsClause, initClause };
+    }
+    throw new Error('Input string does not match the expected format.');
+}
+function extractArguments(input) {
+    if (input.trim() === '') {
+        return [];
+    }
+    return input.split(',').map((value) => value.trim());
+}
+function extractInjection(inputString) {
+    const matcher = /\$"([^"]*)"$/;
+    const matched = inputString.match(matcher);
+    return matched ? matched[1] : '';
+}
+const DSLTypesToIRTypes = (el) => {
+    const typed = types_1.DSLTypesMapping[el];
+    return typed;
+};
+exports.DSLTypesToIRTypes = DSLTypesToIRTypes;
+//# sourceMappingURL=formatters.js.map

package/dist/ir-notation/helpers/formatters.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatters.js","sourceRoot":"","sources":["../../../src/ir-notation/helpers/formatters.ts"],"names":[],"mappings":";;;AA+BA,8CAUC;AAED,4CAMC;AAED,4CAKC;AAxDD,qDAIkC;AAClC,wBAAyC;AACzC,2CAAkD;AAE3C,MAAM,eAAe,GAAG,CAC7B,IAAc,EACd,KAA8B,EAC9B,EAAE;IACF,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CACxC,IAAA,uBAAoB,EAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CACxC,CAAC;IAEF,OAAO,wBAAe,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;AAClD,CAAC,CAAC;AATW,QAAA,eAAe,mBAS1B;AAEK,MAAM,cAAc,GAAG,CAC5B,UAA8C,EAC9C,SAAkC,EAClC,EAAE,CACF,UAAU,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IAC9B,KAAK,EAAE,wBAAe,CAAC,MAAM,CAC3B,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAClB,CAAC,IAAA,uBAAoB,EAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CACpD;IACD,KAAK,EAAE,GAAG,CAAC,KAAK;CACjB,CAAC,CAAC,CAAC;AAVO,QAAA,cAAc,kBAUrB;AAEN,SAAgB,iBAAiB,CAAC,KAAa;IAC7C,MAAM,KAAK,GAAG,uCAAuC,CAAC;IACtD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAEjC,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,MAAM,CAAC,EAAE,aAAa,EAAE,YAAY,EAAE,UAAU,CAAC,GAAG,KAAK,CAAC;QAC1D,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC;IACrD,CAAC;IAED,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;AACtE,CAAC;AAED,SAAgB,gBAAgB,CAAC,KAAa;IAC5C,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACxB,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;AACvD,CAAC;AAED,SAAgB,gBAAgB,CAAC,WAAmB;IAClD,MAAM,OAAO,GAAG,cAAc,CAAC;IAC/B,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAE3C,OAAO,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACnC,CAAC;AAEM,MAAM,iBAAiB,GAAG,CAAC,EAAU,EAAE,EAAE;IAE9C,MAAM,KAAK,GAAG,uBAAe,CAAC,EAAa,CAAC,CAAC;IAC7C,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAJW,QAAA,iBAAiB,qBAI5B"}

package/dist/ir-notation/helpers/index.d.ts

@@ -0,0 +1,5 @@
+export * from './formatters';
+export * from './matchers';
+export * from './morphs';
+export * from './validation';
+//# sourceMappingURL=index.d.ts.map

package/dist/ir-notation/helpers/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ir-notation/helpers/index.ts"],"names":[],"mappings":"AAAA,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC;AAC3B,cAAc,UAAU,CAAC;AACzB,cAAc,cAAc,CAAC"}

package/dist/ir-notation/helpers/index.js

@@ -0,0 +1,21 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+__exportStar(require("./formatters"), exports);
+__exportStar(require("./matchers"), exports);
+__exportStar(require("./morphs"), exports);
+__exportStar(require("./validation"), exports);
+//# sourceMappingURL=index.js.map

package/dist/ir-notation/helpers/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/ir-notation/helpers/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,+CAA6B;AAC7B,6CAA2B;AAC3B,2CAAyB;AACzB,+CAA6B"}

package/dist/ir-notation/helpers/matchers.d.ts

@@ -0,0 +1,4 @@
+export declare const strIsVar: (str: string) => boolean;
+export declare const strIsSubst: (str: string) => boolean;
+export declare const isConstant: (arg: string) => boolean;
+//# sourceMappingURL=matchers.d.ts.map

package/dist/ir-notation/helpers/matchers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"matchers.d.ts","sourceRoot":"","sources":["../../../src/ir-notation/helpers/matchers.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,QAAQ,QAAS,MAAM,KAAG,OAEtC,CAAC;AACF,eAAO,MAAM,UAAU,QAAS,MAAM,KAAG,OAExC,CAAC;AAEF,eAAO,MAAM,UAAU,QAAS,MAAM,KAAG,OAIxC,CAAC"}

package/dist/ir-notation/helpers/matchers.js

@@ -0,0 +1,17 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isConstant = exports.strIsSubst = exports.strIsVar = void 0;
+const strIsVar = (str) => {
+    return /^var/.test(str);
+};
+exports.strIsVar = strIsVar;
+const strIsSubst = (str) => {
+    return str[0] == '|' && str[str.length - 1] == '|';
+};
+exports.strIsSubst = strIsSubst;
+const isConstant = (arg) => {
+    const regex = /^(?!var)(?!\|.*\|$).*/;
+    return regex.test(arg);
+};
+exports.isConstant = isConstant;
+//# sourceMappingURL=matchers.js.map

package/dist/ir-notation/helpers/matchers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"matchers.js","sourceRoot":"","sources":["../../../src/ir-notation/helpers/matchers.ts"],"names":[],"mappings":";;;AAAO,MAAM,QAAQ,GAAG,CAAC,GAAW,EAAW,EAAE;IAC/C,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC1B,CAAC,CAAC;AAFW,QAAA,QAAQ,YAEnB;AACK,MAAM,UAAU,GAAG,CAAC,GAAW,EAAW,EAAE;IACjD,OAAO,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC;AACrD,CAAC,CAAC;AAFW,QAAA,UAAU,cAErB;AAEK,MAAM,UAAU,GAAG,CAAC,GAAW,EAAW,EAAE;IACjD,MAAM,KAAK,GAAG,uBAAuB,CAAC;IAEtC,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC,CAAC;AAJW,QAAA,UAAU,cAIrB"}

package/dist/ir-notation/helpers/morphs.d.ts

@@ -0,0 +1,4 @@
+import { SupportedSolidityType } from '@guardian-network/shared';
+export declare const strToBool: (str: string) => boolean;
+export declare const toTypedWithKnownType: (arg: string, type: SupportedSolidityType) => string | bigint | boolean | Uint8Array;
+//# sourceMappingURL=morphs.d.ts.map

package/dist/ir-notation/helpers/morphs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"morphs.d.ts","sourceRoot":"","sources":["../../../src/ir-notation/helpers/morphs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AAGjE,eAAO,MAAM,SAAS,QAAS,MAAM,KAAG,OAEvC,CAAC;AAEF,eAAO,MAAM,oBAAoB,QAC1B,MAAM,QACL,qBAAqB,2CAgB5B,CAAC"}

package/dist/ir-notation/helpers/morphs.js

@@ -0,0 +1,26 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.toTypedWithKnownType = exports.strToBool = void 0;
+const ethers_1 = require("ethers");
+const strToBool = (str) => {
+    return str == 'true' ? true : false;
+};
+exports.strToBool = strToBool;
+const toTypedWithKnownType = (arg, type) => {
+    switch (type) {
+        case 'address':
+            return (0, ethers_1.getAddress)(arg);
+        case 'bool':
+            return (0, exports.strToBool)(arg);
+        case 'string':
+            return arg.replace(/^"(.*)"$/, '$1');
+        case 'bytes':
+            return (0, ethers_1.getBytes)(arg);
+        case 'uint256':
+            return BigInt(arg);
+        default:
+            throw new Error(`Unsupported constant value type: ${arg}: ${type}`);
+    }
+};
+exports.toTypedWithKnownType = toTypedWithKnownType;
+//# sourceMappingURL=morphs.js.map

package/dist/ir-notation/helpers/morphs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"morphs.js","sourceRoot":"","sources":["../../../src/ir-notation/helpers/morphs.ts"],"names":[],"mappings":";;;AACA,mCAA8C;AAEvC,MAAM,SAAS,GAAG,CAAC,GAAW,EAAW,EAAE;IAChD,OAAO,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;AACtC,CAAC,CAAC;AAFW,QAAA,SAAS,aAEpB;AAEK,MAAM,oBAAoB,GAAG,CAClC,GAAW,EACX,IAA2B,EAC3B,EAAE;IACF,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,SAAS;YACZ,OAAO,IAAA,mBAAU,EAAC,GAAG,CAAC,CAAC;QACzB,KAAK,MAAM;YACT,OAAO,IAAA,iBAAS,EAAC,GAAG,CAAC,CAAC;QACxB,KAAK,QAAQ;YACX,OAAO,GAAG,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QACvC,KAAK,OAAO;YACV,OAAO,IAAA,iBAAQ,EAAC,GAAG,CAAC,CAAC;QACvB,KAAK,SAAS;YACZ,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;QACrB;YACE,MAAM,IAAI,KAAK,CAAC,oCAAoC,GAAG,KAAK,IAAI,EAAE,CAAC,CAAC;IACxE,CAAC;AACH,CAAC,CAAC;AAlBW,QAAA,oBAAoB,wBAkB/B"}

package/dist/ir-notation/helpers/validation/index.d.ts

@@ -0,0 +1,2 @@
+export * from './typing.validation';
+//# sourceMappingURL=index.d.ts.map

package/dist/ir-notation/helpers/validation/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/ir-notation/helpers/validation/index.ts"],"names":[],"mappings":"AAAA,cAAc,qBAAqB,CAAC"}

package/dist/ir-notation/helpers/validation/index.js

@@ -0,0 +1,18 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+__exportStar(require("./typing.validation"), exports);
+//# sourceMappingURL=index.js.map

package/dist/ir-notation/helpers/validation/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/ir-notation/helpers/validation/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,sDAAoC"}

package/dist/ir-notation/helpers/validation/typing.validation.d.ts

@@ -0,0 +1,10 @@
+import { MinTypedValue, NodeTreeInitData as ParsingResult } from '@guardian-network/shared';
+import { ContractRunner } from 'ethers';
+type InitExecArgumentsConfig = {
+    execArguments: Array<MinTypedValue>;
+    initArguments: Array<MinTypedValue>;
+};
+export declare const dslTypesToOnchainTypesParamsValidation: (provider: ContractRunner) => (artifactAddress: string, initExecArgumentsConfig: InitExecArgumentsConfig) => Promise<void>;
+export declare const onchainSubstitutionToReturnTypesValidation: (provider: ContractRunner) => (output: ParsingResult[]) => Promise<void>;
+export {};
+//# sourceMappingURL=typing.validation.d.ts.map

package/dist/ir-notation/helpers/validation/typing.validation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"typing.validation.d.ts","sourceRoot":"","sources":["../../../../src/ir-notation/helpers/validation/typing.validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,aAAa,EACb,gBAAgB,IAAI,aAAa,EAClC,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,cAAc,EAAE,MAAM,QAAQ,CAAC;AAIxC,KAAK,uBAAuB,GAAG;IAC7B,aAAa,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;IACpC,aAAa,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;CACrC,CAAC;AAEF,eAAO,MAAM,sCAAsC,aACtC,cAAc,uBAEN,MAAM,2BACE,uBAAuB,kBAqCjD,CAAC;AAEJ,eAAO,MAAM,0CAA0C,aAC1C,cAAc,cAAoB,aAAa,EAAE,kBA8B3D,CAAC"}

package/dist/ir-notation/helpers/validation/typing.validation.js

@@ -0,0 +1,41 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.onchainSubstitutionToReturnTypesValidation = exports.dslTypesToOnchainTypesParamsValidation = void 0;
+const shared_1 = require("@guardian-network/shared");
+const errors_1 = require("../../errors");
+const formatters_1 = require("../formatters");
+const dslTypesToOnchainTypesParamsValidation = (provider) => async (artifactAddress, initExecArgumentsConfig) => {
+    const instance = shared_1.MinArbitraryDataArtifactFactory.connect(artifactAddress, provider);
+    const { argsNames, argsTypes } = await instance.getExecDescriptor();
+    const { argsNames: initArgsNames, argsTypes: initArgsTypes } = await instance.getInitDescriptor();
+    for (let i = 0; i < initArgsNames.length; i++) {
+        const mirroredDslParameter = initExecArgumentsConfig.initArguments[i];
+        const parsedType = (0, formatters_1.DSLTypesToIRTypes)(mirroredDslParameter.type);
+        if (initArgsTypes[i] !== parsedType) {
+            throw errors_1.ErrorFactory.initTypesNotMacth(mirroredDslParameter.value, initArgsNames[i], initArgsTypes[i], parsedType);
+        }
+    }
+    for (let i = 0; i < argsNames.length; i++) {
+        const mirroredDslParameter = initExecArgumentsConfig.execArguments[i];
+        const parsedType = (0, formatters_1.DSLTypesToIRTypes)(mirroredDslParameter.type);
+        if (argsTypes[i] !== parsedType) {
+            throw errors_1.ErrorFactory.execTypesNotMacth(mirroredDslParameter.value, argsNames[i], argsTypes[i], parsedType);
+        }
+    }
+};
+exports.dslTypesToOnchainTypesParamsValidation = dslTypesToOnchainTypesParamsValidation;
+const onchainSubstitutionToReturnTypesValidation = (provider) => async (output) => {
+    for (const instance of output) {
+        const currentInstance = shared_1.MinArbitraryDataArtifactFactory.connect(instance.artifactAddress, provider);
+        for (const refNode of instance.substitutedExecArgs) {
+            const refDeclaration = output.find((el) => el.id == refNode.supplierNodeId);
+            const refArtifactInstance = shared_1.MinArbitraryDataArtifactFactory.connect(refDeclaration?.artifactAddress, provider);
+            const { returnType } = await refArtifactInstance.getExecDescriptor();
+            const { argsTypes, argsNames } = await currentInstance.getExecDescriptor();
+            if (!(argsTypes[Number(refNode.index)] == returnType))
+                throw errors_1.ErrorFactory.substitutionTypesNotMatch(instance.id, argsNames[Number(refNode.index)], argsTypes[Number(refNode.index)], refNode.supplierNodeId, returnType);
+        }
+    }
+};
+exports.onchainSubstitutionToReturnTypesValidation = onchainSubstitutionToReturnTypesValidation;
+//# sourceMappingURL=typing.validation.js.map

package/dist/ir-notation/helpers/validation/typing.validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typing.validation.js","sourceRoot":"","sources":["../../../../src/ir-notation/helpers/validation/typing.validation.ts"],"names":[],"mappings":";;;AAAA,qDAIkC;AAElC,yCAA4C;AAC5C,8CAAkD;AAO3C,MAAM,sCAAsC,GACjD,CAAC,QAAwB,EAAE,EAAE,CAC7B,KAAK,EACH,eAAuB,EACvB,uBAAgD,EAChD,EAAE;IACF,MAAM,QAAQ,GAAG,wCAA+B,CAAC,OAAO,CACtD,eAAe,EACf,QAAQ,CACT,CAAC;IAEF,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,MAAM,QAAQ,CAAC,iBAAiB,EAAE,CAAC;IAEpE,MAAM,EAAE,SAAS,EAAE,aAAa,EAAE,SAAS,EAAE,aAAa,EAAE,GAC1D,MAAM,QAAQ,CAAC,iBAAiB,EAAE,CAAC;IAErC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9C,MAAM,oBAAoB,GAAG,uBAAuB,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QACtE,MAAM,UAAU,GAAG,IAAA,8BAAiB,EAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;QAChE,IAAI,aAAa,CAAC,CAAC,CAAC,KAAK,UAAU,EAAE,CAAC;YACpC,MAAM,qBAAY,CAAC,iBAAiB,CAClC,oBAAoB,CAAC,KAAK,EAC1B,aAAa,CAAC,CAAC,CAAC,EAChB,aAAa,CAAC,CAAC,CAAC,EAChB,UAAU,CACX,CAAC;QACJ,CAAC;IACH,CAAC;IAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,oBAAoB,GAAG,uBAAuB,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QACtE,MAAM,UAAU,GAAG,IAAA,8BAAiB,EAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC;QAChE,IAAI,SAAS,CAAC,CAAC,CAAC,KAAK,UAAU,EAAE,CAAC;YAChC,MAAM,qBAAY,CAAC,iBAAiB,CAClC,oBAAoB,CAAC,KAAK,EAC1B,SAAS,CAAC,CAAC,CAAC,EACZ,SAAS,CAAC,CAAC,CAAC,EACZ,UAAU,CACX,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAzCS,QAAA,sCAAsC,0CAyC/C;AAEG,MAAM,0CAA0C,GACrD,CAAC,QAAwB,EAAE,EAAE,CAAC,KAAK,EAAE,MAAuB,EAAE,EAAE;IAC9D,KAAK,MAAM,QAAQ,IAAI,MAAM,EAAE,CAAC;QAC9B,MAAM,eAAe,GAAG,wCAA+B,CAAC,OAAO,CACrD,QAAQ,CAAC,eAAe,EAChC,QAAQ,CACT,CAAC;QAEF,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,mBAAmB,EAAE,CAAC;YACnD,MAAM,cAAc,GAAG,MAAM,CAAC,IAAI,CAChC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,OAAO,CAAC,cAAc,CACvC,CAAC;YACH,MAAM,mBAAmB,GAAG,wCAA+B,CAAC,OAAO,CACzD,cAAc,EAAE,eAAe,EACvC,QAAQ,CACT,CAAC;YAEF,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,mBAAmB,CAAC,iBAAiB,EAAE,CAAC;YACrE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,GAC5B,MAAM,eAAe,CAAC,iBAAiB,EAAE,CAAC;YAE5C,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,UAAU,CAAC;gBACnD,MAAM,qBAAY,CAAC,yBAAyB,CAClC,QAAQ,CAAC,EAAE,EACnB,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAChC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EACxB,OAAO,CAAC,cAAc,EAC9B,UAAU,CACX,CAAC;QACN,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AA/BS,QAAA,0CAA0C,8CA+BnD"}

package/dist/ir-notation/parser/index.d.ts

@@ -0,0 +1,4 @@
+export { ParserWithValidation, SimplifiedParser, StaticParser, } from './parser-contracts';
+export { parseIRByDSLTypesWithInterceptor, parseIRByOnchainTypesWithInterceptor, } from './parser.unvalidated';
+export { getIRParser, getIRParserUnvalidate } from './parser.validated';
+//# sourceMappingURL=index.d.ts.map

package/dist/ir-notation/parser/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/ir-notation/parser/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,gBAAgB,EAChB,YAAY,GACb,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EACL,gCAAgC,EAChC,oCAAoC,GACrC,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,WAAW,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC"}

package/dist/ir-notation/parser/index.js

@@ -0,0 +1,14 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.getIRParserUnvalidate = exports.getIRParser = exports.parseIRByOnchainTypesWithInterceptor = exports.parseIRByDSLTypesWithInterceptor = exports.StaticParser = exports.SimplifiedParser = exports.ParserWithValidation = void 0;
+var parser_contracts_1 = require("./parser-contracts");
+Object.defineProperty(exports, "ParserWithValidation", { enumerable: true, get: function () { return parser_contracts_1.ParserWithValidation; } });
+Object.defineProperty(exports, "SimplifiedParser", { enumerable: true, get: function () { return parser_contracts_1.SimplifiedParser; } });
+Object.defineProperty(exports, "StaticParser", { enumerable: true, get: function () { return parser_contracts_1.StaticParser; } });
+var parser_unvalidated_1 = require("./parser.unvalidated");
+Object.defineProperty(exports, "parseIRByDSLTypesWithInterceptor", { enumerable: true, get: function () { return parser_unvalidated_1.parseIRByDSLTypesWithInterceptor; } });
+Object.defineProperty(exports, "parseIRByOnchainTypesWithInterceptor", { enumerable: true, get: function () { return parser_unvalidated_1.parseIRByOnchainTypesWithInterceptor; } });
+var parser_validated_1 = require("./parser.validated");
+Object.defineProperty(exports, "getIRParser", { enumerable: true, get: function () { return parser_validated_1.getIRParser; } });
+Object.defineProperty(exports, "getIRParserUnvalidate", { enumerable: true, get: function () { return parser_validated_1.getIRParserUnvalidate; } });
+//# sourceMappingURL=index.js.map

package/dist/ir-notation/parser/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/ir-notation/parser/index.ts"],"names":[],"mappings":";;;AAAA,uDAI4B;AAH1B,wHAAA,oBAAoB,OAAA;AACpB,oHAAA,gBAAgB,OAAA;AAChB,gHAAA,YAAY,OAAA;AAEd,2DAG8B;AAF5B,sIAAA,gCAAgC,OAAA;AAChC,0IAAA,oCAAoC,OAAA;AAEtC,uDAAwE;AAA/D,+GAAA,WAAW,OAAA;AAAE,yHAAA,qBAAqB,OAAA"}

package/dist/ir-notation/parser/parser-contracts/ParserWithValidation.d.ts

@@ -0,0 +1,14 @@
+import { LacLangCompilerOptions as CompilerConfiguration, InstanceConfig, TranspilerOutput } from '@guardian-network/shared';
+import { ContractRunner } from 'ethers';
+import { ValidationMiddlware } from '../types';
+import { SimplifiedParser } from './SimplifiedParser';
+import { GetTypesValues } from './types';
+export declare class ParserWithValidation extends SimplifiedParser {
+    private middleware?;
+    static fromOnchainSource: (intermediatePresentation: string, provider: ContractRunner) => ParserWithValidation;
+    static fromDSLBasedConfig: (intermediatePresentation: string, artifactConfigsList: Array<InstanceConfig>, provider?: ContractRunner) => ParserWithValidation;
+    static fromCompilerConfiguration: (config: CompilerConfiguration, { ir: intermediatePresentation, typings: artifactConfigsList, }: Pick<TranspilerOutput, "ir" | "typings">) => ParserWithValidation;
+    static create: (intermediatePresentation: string, getTypesSource: GetTypesValues, middleware?: ValidationMiddlware) => ParserWithValidation;
+    constructor(getTypesSource: GetTypesValues, intermediatePresentation: string, middleware?: ValidationMiddlware | undefined);
+}
+//# sourceMappingURL=ParserWithValidation.d.ts.map

package/dist/ir-notation/parser/parser-contracts/ParserWithValidation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ParserWithValidation.d.ts","sourceRoot":"","sources":["../../../../src/ir-notation/parser/parser-contracts/ParserWithValidation.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,sBAAsB,IAAI,qBAAqB,EAC/C,cAAc,EACd,gBAAgB,EACjB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,cAAc,EAAE,MAAM,QAAQ,CAAC;AAExC,OAAO,EAAE,mBAAmB,EAAE,MAAM,UAAU,CAAC;AAC/C,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAEtD,OAAO,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AAEzC,qBAAa,oBAAqB,SAAQ,gBAAgB;IAkFtD,OAAO,CAAC,UAAU,CAAC;IAjFrB,MAAM,CAAC,iBAAiB,6BACI,MAAM,YACtB,cAAc,KACvB,oBAAoB,CAMrB;IAEF,MAAM,CAAC,kBAAkB,6BACG,MAAM,uBACX,KAAK,CAAC,cAAc,CAAC,aAC/B,cAAc,0BAczB;IAEF,MAAM,CAAC,yBAAyB,WACtB,qBAAqB,mEAI1B,IAAI,CAAC,gBAAgB,EAAE,IAAI,GAAG,SAAS,CAAC,KAC1C,oBAAoB,CA0BrB;IAEF,MAAM,CAAC,MAAM,6BACe,MAAM,kBAChB,cAAc,eACjB,mBAAmB,KAC/B,oBAAoB,CAMrB;gBAKA,cAAc,EAAE,cAAc,EAC9B,wBAAwB,EAAE,MAAM,EACxB,UAAU,CAAC,EAAE,mBAAmB,YAAA;CAI3C"}

package/dist/ir-notation/parser/parser-contracts/ParserWithValidation.js

@@ -0,0 +1,44 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ParserWithValidation = void 0;
+const parser_validated_1 = require("../parser.validated");
+const SimplifiedParser_1 = require("./SimplifiedParser");
+const tools_1 = require("./tools");
+class ParserWithValidation extends SimplifiedParser_1.SimplifiedParser {
+    middleware;
+    static fromOnchainSource = (intermediatePresentation, provider) => {
+        const middleware = (0, parser_validated_1.TypingsValidator)(provider);
+        const getTypesSource = (0, tools_1.createOrInferTypesSource)(provider);
+        return this.create(intermediatePresentation, getTypesSource, middleware);
+    };
+    static fromDSLBasedConfig = (intermediatePresentation, artifactConfigsList, provider) => {
+        let middleware;
+        if (!!provider) {
+            middleware = (0, parser_validated_1.TypingsValidator)(provider);
+        }
+        const getTypesSource = tools_1.DSLConfigArgsTypesSource.build(artifactConfigsList);
+        return this.create(intermediatePresentation, getTypesSource.getTypes, middleware);
+    };
+    static fromCompilerConfiguration = (config, { ir: intermediatePresentation, typings: artifactConfigsList, }) => {
+        const { checkTypesAgainstDslDeclarations, checkTypesAgainstOnchainDescriptors, provider, } = config;
+        const isProvider = !!provider;
+        if (!!checkTypesAgainstDslDeclarations) {
+            return this.fromDSLBasedConfig(intermediatePresentation, artifactConfigsList, provider);
+        }
+        if (!!checkTypesAgainstOnchainDescriptors) {
+            if (!isProvider)
+                throw new Error(`Parser: provider not supplied`);
+            return this.fromOnchainSource(intermediatePresentation, provider);
+        }
+        return this.fromDSLBasedConfig(intermediatePresentation, artifactConfigsList);
+    };
+    static create = (intermediatePresentation, getTypesSource, middleware) => {
+        return new ParserWithValidation(getTypesSource, intermediatePresentation, middleware);
+    };
+    constructor(getTypesSource, intermediatePresentation, middleware) {
+        super(getTypesSource, intermediatePresentation);
+        this.middleware = middleware;
+    }
+}
+exports.ParserWithValidation = ParserWithValidation;
+//# sourceMappingURL=ParserWithValidation.js.map

package/dist/ir-notation/parser/parser-contracts/ParserWithValidation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ParserWithValidation.js","sourceRoot":"","sources":["../../../../src/ir-notation/parser/parser-contracts/ParserWithValidation.ts"],"names":[],"mappings":";;;AAMA,0DAAuD;AAEvD,yDAAsD;AACtD,mCAA6E;AAG7E,MAAa,oBAAqB,SAAQ,mCAAgB;IAkF9C;IAjFV,MAAM,CAAC,iBAAiB,GAAG,CACzB,wBAAgC,EAChC,QAAwB,EACF,EAAE;QACxB,MAAM,UAAU,GAAG,IAAA,mCAAgB,EAAC,QAAQ,CAAC,CAAC;QAE9C,MAAM,cAAc,GAAG,IAAA,gCAAwB,EAAC,QAAQ,CAAC,CAAC;QAE1D,OAAO,IAAI,CAAC,MAAM,CAAC,wBAAwB,EAAE,cAAc,EAAE,UAAU,CAAC,CAAC;IAC3E,CAAC,CAAC;IAEF,MAAM,CAAC,kBAAkB,GAAG,CAC1B,wBAAgC,EAChC,mBAA0C,EAC1C,QAAyB,EACzB,EAAE;QACF,IAAI,UAA2C,CAAC;QAChD,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YACf,UAAU,GAAG,IAAA,mCAAgB,EAAC,QAAQ,CAAC,CAAC;QAC1C,CAAC;QAED,MAAM,cAAc,GAAG,gCAAwB,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;QAE3E,OAAO,IAAI,CAAC,MAAM,CAChB,wBAAwB,EACxB,cAAc,CAAC,QAAQ,EACvB,UAAU,CACX,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,CAAC,yBAAyB,GAAG,CACjC,MAA6B,EAC7B,EACE,EAAE,EAAE,wBAAwB,EAC5B,OAAO,EAAE,mBAAmB,GACa,EACrB,EAAE;QACxB,MAAM,EACJ,gCAAgC,EAChC,mCAAmC,EACnC,QAAQ,GACT,GAAG,MAAM,CAAC;QACX,MAAM,UAAU,GAAG,CAAC,CAAC,QAAQ,CAAC;QAE9B,IAAI,CAAC,CAAC,gCAAgC,EAAE,CAAC;YACvC,OAAO,IAAI,CAAC,kBAAkB,CAC5B,wBAAwB,EACxB,mBAAmB,EACnB,QAAQ,CACT,CAAC;QACJ,CAAC;QAED,IAAI,CAAC,CAAC,mCAAmC,EAAE,CAAC;YAC1C,IAAI,CAAC,UAAU;gBAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;YAElE,OAAO,IAAI,CAAC,iBAAiB,CAAC,wBAAwB,EAAE,QAAQ,CAAC,CAAC;QACpE,CAAC;QAED,OAAO,IAAI,CAAC,kBAAkB,CAC5B,wBAAwB,EACxB,mBAAmB,CACpB,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,CAAC,MAAM,GAAG,CACd,wBAAgC,EAChC,cAA8B,EAC9B,UAAgC,EACV,EAAE;QACxB,OAAO,IAAI,oBAAoB,CAC7B,cAAc,EACd,wBAAwB,EACxB,UAAU,CACX,CAAC;IACJ,CAAC,CAAC;IAIF,YACE,cAA8B,EAC9B,wBAAgC,EACxB,UAAgC;QAExC,KAAK,CAAC,cAAc,EAAE,wBAAwB,CAAC,CAAC;QAFxC,eAAU,GAAV,UAAU,CAAsB;IAG1C,CAAC;;AArFH,oDAsFC"}

package/dist/ir-notation/parser/parser-contracts/SimplifiedParser.d.ts

@@ -0,0 +1,12 @@
+import { ContractRunner } from 'ethers';
+import { ParsingResult } from '../types';
+import { GetTypesValues, IArgsTypesSource } from './types';
+export declare class SimplifiedParser {
+    protected getTypesSource: GetTypesValues;
+    protected intermediatePresentation: string;
+    static build: (intermediatePresentation: string, providerOrSource: ContractRunner | IArgsTypesSource) => SimplifiedParser;
+    constructor(getTypesSource: GetTypesValues, intermediatePresentation: string);
+    protected get unprocessedArtifacts(): Array<string>;
+    process: () => Promise<Array<ParsingResult>>;
+}
+//# sourceMappingURL=SimplifiedParser.d.ts.map

package/dist/ir-notation/parser/parser-contracts/SimplifiedParser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"SimplifiedParser.d.ts","sourceRoot":"","sources":["../../../../src/ir-notation/parser/parser-contracts/SimplifiedParser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,QAAQ,CAAC;AACxC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAGzC,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,SAAS,CAAC;AAE3D,qBAAa,gBAAgB;IAazB,SAAS,CAAC,cAAc,EAAE,cAAc;IACxC,SAAS,CAAC,wBAAwB,EAAE,MAAM;IAb5C,MAAM,CAAC,KAAK,6BACgB,MAAM,oBACd,cAAc,GAAG,gBAAgB,KAClD,gBAAgB,CAIjB;gBAKU,cAAc,EAAE,cAAc,EAC9B,wBAAwB,EAAE,MAAM;IAG5C,SAAS,KAAK,oBAAoB,IAAI,KAAK,CAAC,MAAM,CAAC,CAElD;IAOD,OAAO,QAAa,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAO/C;CACH"}