@guardian-network/policy-compiler 0.3.2

package/README.md

@@ -0,0 +1,34 @@
+# Policy definition DSL (LacLang) compiler
+The package exposes programmatical compiler of LacLang sources.
+The resulting object can be used directely to initialize policy onchain.
+
+`LacLangCompiler` class, exported from the `src` directory, represents the LacLang compiler.
+The instance of the compiler can be constructed both from file (path provided) or from sources (string provided).
+```javascript
+const compiler = await LacLangCompiler.fromFile(lacSourcePath);
+```
+```javascript
+const compiler = await LacLangCompiler.fromSources(lacSources);
+```
+
+Also, compiler options can be provided.
+Compiler options are setting the type checking mode - whether it will be onchain or DSL declarations.
+If any of the type checking modes are selected, the JSON-RPC provider also must be defined. If neither were selected, types are not checked and the code is immediately translated.
+```javascript
+interface LacLangCompilerOptions {
+  checkTypesAgainstOnchainDescriptors?: boolean;
+  checkTypesAgainstDslDeclarations?: boolean;
+  provider?: ContractRunner;
+}
+```
+
+The compilation results are obtained after invoking `compile` method on the preconfigured compiler:
+```javascript
+const compilationResult = await compiler.compile();
+```
+The resulting object can be immediately passed directely to the onchain policy handler.
+```javascript
+await policyHandler.set(compilationResult);
+```
+
+The compiler sequentially translates the DSL into IR, and then IR into final representation. FR is natively compatible with onchain policy handler.

package/dist/LacLangCompiler.d.ts

@@ -0,0 +1,15 @@
+import { ICompiler, LacLangCompilerOptions, OnchainPresentation, NodeTreeInitData as ParsingResult, TranspilerOutput } from '@guardian-network/shared';
+export declare class LacLangCompiler implements ICompiler {
+    protected sources: string;
+    protected readonly options: LacLangCompilerOptions;
+    protected readonly _cwd: string;
+    protected static build<R>(this: new (sources: string, options: LacLangCompilerOptions, _cwd: string) => R, sources: string, options?: LacLangCompilerOptions): R;
+    static fromFile<R>(this: new (sources: string, options: LacLangCompilerOptions, _cwd: string) => R, sourcesPath: string, options?: LacLangCompilerOptions): Promise<R>;
+    static fromSources<R>(this: new (sources: string, options: LacLangCompilerOptions, _cwd: string) => R, sources: string, options?: LacLangCompilerOptions): R;
+    constructor(sources: string, options: LacLangCompilerOptions, _cwd: string);
+    compile(): Promise<OnchainPresentation>;
+    protected compileSources: () => Promise<OnchainPresentation>;
+    protected transpileDSL(cwd: string): Promise<TranspilerOutput>;
+    protected parseIntermediateRepresentation(transpilerOutput: TranspilerOutput): Promise<Array<ParsingResult>>;
+}
+//# sourceMappingURL=LacLangCompiler.d.ts.map

package/dist/LacLangCompiler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"LacLangCompiler.d.ts","sourceRoot":"","sources":["../src/LacLangCompiler.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,SAAS,EACT,sBAAsB,EACtB,mBAAmB,EACnB,gBAAgB,IAAI,aAAa,EACjC,gBAAgB,EACjB,MAAM,0BAA0B,CAAC;AAelC,qBAAa,eAAgB,YAAW,SAAS;IAuC7C,SAAS,CAAC,OAAO,EAAE,MAAM;IACzB,SAAS,CAAC,QAAQ,CAAC,OAAO,EAAE,sBAAsB;IAClD,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM;IAxCjC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EACtB,IAAI,EAAE,KACJ,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,sBAAsB,EAC/B,IAAI,EAAE,MAAM,KACT,CAAC,EACN,OAAO,EAAE,MAAM,EACf,OAAO,GAAE,sBAA2B,GACnC,CAAC;WAIS,QAAQ,CAAC,CAAC,EACrB,IAAI,EAAE,KACJ,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,sBAAsB,EAC/B,IAAI,EAAE,MAAM,KACT,CAAC,EACN,WAAW,EAAE,MAAM,EACnB,OAAO,GAAE,sBAA2B,GACnC,OAAO,CAAC,CAAC,CAAC;IAKb,MAAM,CAAC,WAAW,CAAC,CAAC,EAClB,IAAI,EAAE,KACJ,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,sBAAsB,EAC/B,IAAI,EAAE,MAAM,KACT,CAAC,EACN,OAAO,EAAE,MAAM,EACf,OAAO,GAAE,sBAA2B,GACnC,CAAC;gBAKQ,OAAO,EAAE,MAAM,EACN,OAAO,EAAE,sBAAsB,EAC/B,IAAI,EAAE,MAAM;IAM3B,OAAO,IAAI,OAAO,CAAC,mBAAmB,CAAC;IAI7C,SAAS,CAAC,cAAc,QAAa,OAAO,CAAC,mBAAmB,CAAC,CAa/D;cAGc,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC;cAYpD,+BAA+B,CAC7C,gBAAgB,EAAE,gBAAgB,GACjC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;CASjC"}

package/dist/LacLangCompiler.js

@@ -0,0 +1,87 @@
+"use strict";
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+var __metadata = (this && this.__metadata) || function (k, v) {
+    if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.LacLangCompiler = void 0;
+const policy_dsl_1 = require("@guardian-network/policy-dsl");
+const policy_intermediate_representation_1 = require("@guardian-network/policy-intermediate-representation");
+const path_1 = require("path");
+const process_1 = require("process");
+const decorators_1 = require("./decorators");
+const utils_helper_1 = require("./utils.helper");
+const validations_helper_1 = require("./validations.helper");
+class LacLangCompiler {
+    sources;
+    options;
+    _cwd;
+    static build(sources, options = {}) {
+        return new this(sources, options, (0, process_1.cwd)());
+    }
+    static async fromFile(sourcesPath, options = {}) {
+        const sources = await (0, utils_helper_1.readFromFile)(sourcesPath);
+        return new this(sources, options, (0, path_1.dirname)(sourcesPath));
+    }
+    static fromSources(sources, options = {}) {
+        return new this(sources, options, (0, process_1.cwd)());
+    }
+    constructor(sources, options, _cwd) {
+        this.sources = sources;
+        this.options = options;
+        this._cwd = _cwd;
+        (0, validations_helper_1.validateProviderIsSupplied)(this.options);
+    }
+    async compile() {
+        return this.compileSources();
+    }
+    compileSources = async () => {
+        const transpilerOutput = await this.transpileDSL(this._cwd);
+        const parserOutput = await this.parseIntermediateRepresentation(transpilerOutput);
+        const finalRepresentation = {
+            rootNode: transpilerOutput.rootNode,
+            nodes: parserOutput,
+        };
+        (0, validations_helper_1.validateFinalRepresentation)(finalRepresentation);
+        return finalRepresentation;
+    };
+    async transpileDSL(cwd) {
+        const transpilerOutput = policy_dsl_1.Transpiler.create(this.sources, {
+            partialSources: false,
+            sourcesDir: cwd,
+        })
+            .transpile()
+            .toIntermediateRepresentation();
+        return Promise.resolve(transpilerOutput);
+    }
+    async parseIntermediateRepresentation(transpilerOutput) {
+        const parser = policy_intermediate_representation_1.ParserWithValidation.fromCompilerConfiguration(this.options, transpilerOutput);
+        const parserOutput = await parser.process();
+        return parserOutput;
+    }
+}
+exports.LacLangCompiler = LacLangCompiler;
+__decorate([
+    (0, decorators_1.propagateWithAnnotation)(decorators_1.COMPILE_ANNOTATION),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", []),
+    __metadata("design:returntype", Promise)
+], LacLangCompiler.prototype, "compile", null);
+__decorate([
+    (0, decorators_1.propagateWithAnnotation)(decorators_1.TRANSPILE_ANNOTATION),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [String]),
+    __metadata("design:returntype", Promise)
+], LacLangCompiler.prototype, "transpileDSL", null);
+__decorate([
+    (0, decorators_1.propagateWithAnnotation)(decorators_1.PARSING_ANNOTATION),
+    __metadata("design:type", Function),
+    __metadata("design:paramtypes", [Object]),
+    __metadata("design:returntype", Promise)
+], LacLangCompiler.prototype, "parseIntermediateRepresentation", null);
+//# sourceMappingURL=LacLangCompiler.js.map

package/dist/LacLangCompiler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"LacLangCompiler.js","sourceRoot":"","sources":["../src/LacLangCompiler.ts"],"names":[],"mappings":";;;;;;;;;;;;AAAA,6DAA0D;AAC1D,6GAA4F;AAQ5F,+BAA+B;AAC/B,qCAA8B;AAC9B,6CAKsB;AACtB,iDAA8C;AAC9C,6DAG8B;AAE9B,MAAa,eAAe;IAuCd;IACS;IACA;IAxCX,MAAM,CAAC,KAAK,CAMpB,OAAe,EACf,UAAkC,EAAE;QAEpC,OAAO,IAAI,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,IAAA,aAAG,GAAE,CAAC,CAAC;IAC3C,CAAC;IAED,MAAM,CAAC,KAAK,CAAC,QAAQ,CAMnB,WAAmB,EACnB,UAAkC,EAAE;QAEpC,MAAM,OAAO,GAAG,MAAM,IAAA,2BAAY,EAAC,WAAW,CAAC,CAAC;QAChD,OAAO,IAAI,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,IAAA,cAAO,EAAC,WAAW,CAAC,CAAC,CAAC;IAC1D,CAAC;IAED,MAAM,CAAC,WAAW,CAMhB,OAAe,EACf,UAAkC,EAAE;QAEpC,OAAO,IAAI,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,IAAA,aAAG,GAAE,CAAC,CAAC;IAC3C,CAAC;IAED,YACY,OAAe,EACN,OAA+B,EAC/B,IAAY;QAFrB,YAAO,GAAP,OAAO,CAAQ;QACN,YAAO,GAAP,OAAO,CAAwB;QAC/B,SAAI,GAAJ,IAAI,CAAQ;QAE/B,IAAA,+CAA0B,EAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3C,CAAC;IAGK,AAAN,KAAK,CAAC,OAAO;QACX,OAAO,IAAI,CAAC,cAAc,EAAE,CAAC;IAC/B,CAAC;IAES,cAAc,GAAG,KAAK,IAAkC,EAAE;QAClE,MAAM,gBAAgB,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,MAAM,YAAY,GAChB,MAAM,IAAI,CAAC,+BAA+B,CAAC,gBAAgB,CAAC,CAAC;QAG/D,MAAM,mBAAmB,GAAwB;YAC/C,QAAQ,EAAE,gBAAgB,CAAC,QAAQ;YACnC,KAAK,EAAE,YAAY;SACpB,CAAC;QAEF,IAAA,gDAA2B,EAAC,mBAAmB,CAAC,CAAC;QACjD,OAAO,mBAAmB,CAAC;IAC7B,CAAC,CAAC;IAGc,AAAN,KAAK,CAAC,YAAY,CAAC,GAAW;QACtC,MAAM,gBAAgB,GAAG,uBAAU,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE;YACvD,cAAc,EAAE,KAAK;YACrB,UAAU,EAAE,GAAG;SAChB,CAAC;aACC,SAAS,EAAE;aACX,4BAA4B,EAAE,CAAC;QAElC,OAAO,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC3C,CAAC;IAGe,AAAN,KAAK,CAAC,+BAA+B,CAC7C,gBAAkC;QAElC,MAAM,MAAM,GAAG,yDAAoB,CAAC,yBAAyB,CAC3D,IAAI,CAAC,OAAO,EACZ,gBAAgB,CACjB,CAAC;QAEF,MAAM,YAAY,GAAG,MAAM,MAAM,CAAC,OAAO,EAAE,CAAC;QAC5C,OAAO,YAAY,CAAC;IACtB,CAAC;CACF;AA1FD,0CA0FC;AA3CO;IADL,IAAA,oCAAuB,EAAC,+BAAkB,CAAC;;;;8CAG3C;AAkBe;IADf,IAAA,oCAAuB,EAAC,iCAAoB,CAAC;;;;mDAU7C;AAGe;IADf,IAAA,oCAAuB,EAAC,+BAAkB,CAAC;;;;sEAW3C"}

package/dist/decorators/constants/error-annotations.constant.d.ts

@@ -0,0 +1,4 @@
+export declare const COMPILE_ANNOTATION = "Compile result (final-representation) validation error";
+export declare const TRANSPILE_ANNOTATION = "DSL transpiler error during compilation";
+export declare const PARSING_ANNOTATION = "Inermedtiate-representation parser error during compilation";
+//# sourceMappingURL=error-annotations.constant.d.ts.map

package/dist/decorators/constants/error-annotations.constant.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"error-annotations.constant.d.ts","sourceRoot":"","sources":["../../../src/decorators/constants/error-annotations.constant.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,kBAAkB,2DAC2B,CAAC;AAC3D,eAAO,MAAM,oBAAoB,4CAA4C,CAAC;AAC9E,eAAO,MAAM,kBAAkB,gEACgC,CAAC"}

package/dist/decorators/constants/error-annotations.constant.js

@@ -0,0 +1,7 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.PARSING_ANNOTATION = exports.TRANSPILE_ANNOTATION = exports.COMPILE_ANNOTATION = void 0;
+exports.COMPILE_ANNOTATION = 'Compile result (final-representation) validation error';
+exports.TRANSPILE_ANNOTATION = 'DSL transpiler error during compilation';
+exports.PARSING_ANNOTATION = 'Inermedtiate-representation parser error during compilation';
+//# sourceMappingURL=error-annotations.constant.js.map

package/dist/decorators/constants/error-annotations.constant.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"error-annotations.constant.js","sourceRoot":"","sources":["../../../src/decorators/constants/error-annotations.constant.ts"],"names":[],"mappings":";;;AAAa,QAAA,kBAAkB,GAC7B,wDAAwD,CAAC;AAC9C,QAAA,oBAAoB,GAAG,yCAAyC,CAAC;AACjE,QAAA,kBAAkB,GAC7B,6DAA6D,CAAC"}

package/dist/decorators/decorators-factory.d.ts

@@ -0,0 +1,2 @@
+export declare const propagateWithAnnotation: (annotation: string) => (target: Object, methodName: string, descriptor: PropertyDescriptor) => PropertyDescriptor;
+//# sourceMappingURL=decorators-factory.d.ts.map

package/dist/decorators/decorators-factory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"decorators-factory.d.ts","sourceRoot":"","sources":["../../src/decorators/decorators-factory.ts"],"names":[],"mappings":"AAEA,eAAO,MAAM,uBAAuB,eAAgB,MAAM,cAE9C,MAAM,cACF,MAAM,cACN,kBAAkB,KAC7B,kBAcJ,CAAC"}

package/dist/decorators/decorators-factory.js

@@ -0,0 +1,16 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.propagateWithAnnotation = void 0;
+const utils_helper_1 = require("./utils.helper");
+const propagateWithAnnotation = (annotation) => {
+    const decorator = (target, methodName, descriptor) => {
+        const originalMethod = descriptor.value;
+        descriptor.value = function (...args) {
+            return (0, utils_helper_1.execOrPropagate)(() => originalMethod.apply(this, args), annotation);
+        };
+        return descriptor;
+    };
+    return decorator;
+};
+exports.propagateWithAnnotation = propagateWithAnnotation;
+//# sourceMappingURL=decorators-factory.js.map

package/dist/decorators/decorators-factory.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"decorators-factory.js","sourceRoot":"","sources":["../../src/decorators/decorators-factory.ts"],"names":[],"mappings":";;;AAAA,iDAAiD;AAE1C,MAAM,uBAAuB,GAAG,CAAC,UAAkB,EAAE,EAAE;IAC5D,MAAM,SAAS,GAAG,CAChB,MAAc,EACd,UAAkB,EAClB,UAA8B,EACV,EAAE;QACtB,MAAM,cAAc,GAAG,UAAU,CAAC,KAAK,CAAC;QAExC,UAAU,CAAC,KAAK,GAAG,UAAU,GAAG,IAAW;YACzC,OAAO,IAAA,8BAAe,EACpB,GAAG,EAAE,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,EACtC,UAAU,CACX,CAAC;QACJ,CAAC,CAAC;QAEF,OAAO,UAAU,CAAC;IACpB,CAAC,CAAC;IAEF,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAnBW,QAAA,uBAAuB,2BAmBlC"}

package/dist/decorators/index.d.ts

@@ -0,0 +1,3 @@
+export * from './constants/error-annotations.constant';
+export { propagateWithAnnotation } from './decorators-factory';
+//# sourceMappingURL=index.d.ts.map

package/dist/decorators/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/decorators/index.ts"],"names":[],"mappings":"AAAA,cAAc,wCAAwC,CAAC;AACvD,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC"}

package/dist/decorators/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 });
+exports.propagateWithAnnotation = void 0;
+__exportStar(require("./constants/error-annotations.constant"), exports);
+var decorators_factory_1 = require("./decorators-factory");
+Object.defineProperty(exports, "propagateWithAnnotation", { enumerable: true, get: function () { return decorators_factory_1.propagateWithAnnotation; } });
+//# sourceMappingURL=index.js.map

package/dist/decorators/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/decorators/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;AAAA,yEAAuD;AACvD,2DAA+D;AAAtD,6HAAA,uBAAuB,OAAA"}

package/dist/decorators/utils.helper.d.ts

@@ -0,0 +1,2 @@
+export declare const execOrPropagate: <K>(method: () => K | Promise<K>, annotation: string) => Promise<Awaited<K>>;
+//# sourceMappingURL=utils.helper.d.ts.map

package/dist/decorators/utils.helper.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.helper.d.ts","sourceRoot":"","sources":["../../src/decorators/utils.helper.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,eAAe,GAAU,CAAC,UAC7B,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,cAChB,MAAM,KACjB,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAQpB,CAAC"}

package/dist/decorators/utils.helper.js

@@ -0,0 +1,15 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.execOrPropagate = void 0;
+const execOrPropagate = async (method, annotation) => {
+    try {
+        const result = await method();
+        return result;
+    }
+    catch (e) {
+        console.error(annotation);
+        throw e;
+    }
+};
+exports.execOrPropagate = execOrPropagate;
+//# sourceMappingURL=utils.helper.js.map

package/dist/decorators/utils.helper.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.helper.js","sourceRoot":"","sources":["../../src/decorators/utils.helper.ts"],"names":[],"mappings":";;;AAAO,MAAM,eAAe,GAAG,KAAK,EAClC,MAA4B,EAC5B,UAAkB,EACG,EAAE;IACvB,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,MAAM,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC;IAChB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC1B,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC,CAAC;AAXW,QAAA,eAAe,mBAW1B"}

package/dist/errors/ErrorFactory.d.ts

@@ -0,0 +1,7 @@
+import { CyclicReferenceError, NoProviderError, SelfReferenceError } from './validation-errors';
+export declare class ErrorFactory {
+    static selfReference: (selfNode: string) => SelfReferenceError;
+    static cyclicfReference: (referencedNode: string, selfNode: string) => CyclicReferenceError;
+    static noProvider: () => NoProviderError;
+}
+//# sourceMappingURL=ErrorFactory.d.ts.map

package/dist/errors/ErrorFactory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ErrorFactory.d.ts","sourceRoot":"","sources":["../../src/errors/ErrorFactory.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,eAAe,EACf,kBAAkB,EACnB,MAAM,qBAAqB,CAAC;AAE7B,qBAAa,YAAY;IACvB,MAAM,CAAC,aAAa,2CAIlB;IAEF,MAAM,CAAC,gBAAgB,qEAIrB;IAEF,MAAM,CAAC,UAAU,wBAIf;CACH"}

package/dist/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 selfReference = (...params) => {
+        return validation_errors_1.SelfReferenceError.create(...params);
+    };
+    static cyclicfReference = (...params) => {
+        return validation_errors_1.CyclicReferenceError.create(...params);
+    };
+    static noProvider = (...params) => {
+        return validation_errors_1.NoProviderError.create(...params);
+    };
+}
+exports.ErrorFactory = ErrorFactory;
+//# sourceMappingURL=ErrorFactory.js.map

package/dist/errors/ErrorFactory.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ErrorFactory.js","sourceRoot":"","sources":["../../src/errors/ErrorFactory.ts"],"names":[],"mappings":";;;AAAA,2DAI6B;AAE7B,MAAa,YAAY;IACvB,MAAM,CAAC,aAAa,GAAG,CACrB,GAAG,MAAoD,EACvD,EAAE;QACF,OAAO,sCAAkB,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC;IAC9C,CAAC,CAAC;IAEF,MAAM,CAAC,gBAAgB,GAAG,CACxB,GAAG,MAAsD,EACzD,EAAE;QACF,OAAO,wCAAoB,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC;IAChD,CAAC,CAAC;IAEF,MAAM,CAAC,UAAU,GAAG,CAClB,GAAG,MAAiD,EACpD,EAAE;QACF,OAAO,mCAAe,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC;IAC3C,CAAC,CAAC;;AAjBJ,oCAkBC"}

package/dist/errors/index.d.ts

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

package/dist/errors/index.d.ts.map

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

package/dist/errors/index.js

@@ -0,0 +1,6 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ErrorFactory = void 0;
+var ErrorFactory_1 = require("./ErrorFactory");
+Object.defineProperty(exports, "ErrorFactory", { enumerable: true, get: function () { return ErrorFactory_1.ErrorFactory; } });
+//# sourceMappingURL=index.js.map

package/dist/errors/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/errors/index.ts"],"names":[],"mappings":";;;AAAA,+CAA8C;AAArC,4GAAA,YAAY,OAAA"}

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

@@ -0,0 +1,11 @@
+import { BaseError } from '@guardian-network/shared';
+export declare class CyclicReferenceError extends BaseError {
+    static create: (referencedNode: string, selfNode: string) => CyclicReferenceError;
+}
+export declare class SelfReferenceError extends BaseError {
+    static create: (selfNode: string) => SelfReferenceError;
+}
+export declare class NoProviderError extends BaseError {
+    static create: () => NoProviderError;
+}
+//# sourceMappingURL=validation-errors.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"validation-errors.d.ts","sourceRoot":"","sources":["../../src/errors/validation-errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,0BAA0B,CAAC;AAErD,qBAAa,oBAAqB,SAAQ,SAAS;IACjD,MAAM,CAAC,MAAM,mBAAoB,MAAM,YAAY,MAAM,0BAGvD;CACH;AAED,qBAAa,kBAAmB,SAAQ,SAAS;IAC/C,MAAM,CAAC,MAAM,aAAc,MAAM,wBAG/B;CACH;AAED,qBAAa,eAAgB,SAAQ,SAAS;IAC5C,MAAM,CAAC,MAAM,wBAGX;CACH"}

package/dist/errors/validation-errors.js

@@ -0,0 +1,26 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.NoProviderError = exports.SelfReferenceError = exports.CyclicReferenceError = void 0;
+const shared_1 = require("@guardian-network/shared");
+class CyclicReferenceError extends shared_1.BaseError {
+    static create = (referencedNode, selfNode) => {
+        const errorMessage = `Node ${selfNode} cyclically references ${referencedNode}`;
+        return this.build(errorMessage);
+    };
+}
+exports.CyclicReferenceError = CyclicReferenceError;
+class SelfReferenceError extends shared_1.BaseError {
+    static create = (selfNode) => {
+        const errorMessage = `Node ${selfNode} cyclically references itself`;
+        return this.build(errorMessage);
+    };
+}
+exports.SelfReferenceError = SelfReferenceError;
+class NoProviderError extends shared_1.BaseError {
+    static create = () => {
+        const errorMessage = 'Provider needed if typing checks enabled';
+        return this.build(errorMessage);
+    };
+}
+exports.NoProviderError = NoProviderError;
+//# sourceMappingURL=validation-errors.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"validation-errors.js","sourceRoot":"","sources":["../../src/errors/validation-errors.ts"],"names":[],"mappings":";;;AAAA,qDAAqD;AAErD,MAAa,oBAAqB,SAAQ,kBAAS;IACjD,MAAM,CAAC,MAAM,GAAG,CAAC,cAAsB,EAAE,QAAgB,EAAE,EAAE;QAC3D,MAAM,YAAY,GAAG,QAAQ,QAAQ,0BAA0B,cAAc,EAAE,CAAC;QAChF,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAClC,CAAC,CAAC;;AAJJ,oDAKC;AAED,MAAa,kBAAmB,SAAQ,kBAAS;IAC/C,MAAM,CAAC,MAAM,GAAG,CAAC,QAAgB,EAAE,EAAE;QACnC,MAAM,YAAY,GAAG,QAAQ,QAAQ,+BAA+B,CAAC;QACrE,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAClC,CAAC,CAAC;;AAJJ,gDAKC;AAED,MAAa,eAAgB,SAAQ,kBAAS;IAC5C,MAAM,CAAC,MAAM,GAAG,GAAG,EAAE;QACnB,MAAM,YAAY,GAAG,0CAA0C,CAAC;QAChE,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IAClC,CAAC,CAAC;;AAJJ,0CAKC"}

package/dist/index.d.ts

@@ -0,0 +1,2 @@
+export { LacLangCompiler } from './LacLangCompiler';
+//# 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,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC"}

package/dist/index.js

@@ -0,0 +1,6 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.LacLangCompiler = void 0;
+var LacLangCompiler_1 = require("./LacLangCompiler");
+Object.defineProperty(exports, "LacLangCompiler", { enumerable: true, get: function () { return LacLangCompiler_1.LacLangCompiler; } });
+//# 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,qDAAoD;AAA3C,kHAAA,eAAe,OAAA"}

package/dist/utils.helper.d.ts

@@ -0,0 +1,2 @@
+export declare const readFromFile: (filePath: string) => Promise<string>;
+//# sourceMappingURL=utils.helper.d.ts.map

package/dist/utils.helper.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.helper.d.ts","sourceRoot":"","sources":["../src/utils.helper.ts"],"names":[],"mappings":"AAIA,eAAO,MAAM,YAAY,aAAoB,MAAM,KAAG,OAAO,CAAC,MAAM,CASnE,CAAC"}

package/dist/utils.helper.js

@@ -0,0 +1,16 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.readFromFile = void 0;
+const promises_1 = require("node:fs/promises");
+const DEFAULT_ENCODING = 'utf-8';
+const readFromFile = async (filePath) => {
+    try {
+        const conent = await (0, promises_1.readFile)(filePath, DEFAULT_ENCODING);
+        return conent;
+    }
+    catch (error) {
+        throw new Error(`Error reading file at ${filePath} with description ${error.message}`);
+    }
+};
+exports.readFromFile = readFromFile;
+//# sourceMappingURL=utils.helper.js.map

package/dist/utils.helper.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.helper.js","sourceRoot":"","sources":["../src/utils.helper.ts"],"names":[],"mappings":";;;AAAA,+CAA4C;AAE5C,MAAM,gBAAgB,GAAG,OAAO,CAAC;AAE1B,MAAM,YAAY,GAAG,KAAK,EAAE,QAAgB,EAAmB,EAAE;IACtE,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,IAAA,mBAAQ,EAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;QAC1D,OAAO,MAAM,CAAC;IAChB,CAAC;IAAC,OAAO,KAAU,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CACb,yBAAyB,QAAQ,qBAAqB,KAAK,CAAC,OAAO,EAAE,CACtE,CAAC;IACJ,CAAC;AACH,CAAC,CAAC;AATW,QAAA,YAAY,gBASvB"}

package/dist/validations.helper.d.ts

@@ -0,0 +1,4 @@
+import { LacLangCompilerOptions, OnchainPresentation } from '@guardian-network/shared';
+export declare const validateProviderIsSupplied: (options: LacLangCompilerOptions) => void;
+export declare const validateFinalRepresentation: (representation: OnchainPresentation) => void;
+//# sourceMappingURL=validations.helper.d.ts.map

package/dist/validations.helper.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validations.helper.d.ts","sourceRoot":"","sources":["../src/validations.helper.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,sBAAsB,EACtB,mBAAmB,EACpB,MAAM,0BAA0B,CAAC;AAGlC,eAAO,MAAM,0BAA0B,YAAa,sBAAsB,SAQzE,CAAC;AAEF,eAAO,MAAM,2BAA2B,mBACtB,mBAAmB,SAWpC,CAAC"}

package/dist/validations.helper.js

@@ -0,0 +1,38 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.validateFinalRepresentation = exports.validateProviderIsSupplied = void 0;
+const shared_1 = require("@guardian-network/shared");
+const errors_1 = require("./errors");
+const validateProviderIsSupplied = (options) => {
+    const isProviderSupplied = !!options.provider;
+    const needsDslTypesCheck = !!options.checkTypesAgainstDslDeclarations;
+    const needsOnchainTypesCheck = !!options.checkTypesAgainstOnchainDescriptors;
+    if ((needsDslTypesCheck || needsOnchainTypesCheck) && !isProviderSupplied) {
+        throw errors_1.ErrorFactory.noProvider();
+    }
+};
+exports.validateProviderIsSupplied = validateProviderIsSupplied;
+const validateFinalRepresentation = (representation) => {
+    const nodes = representation.nodes.map(({ id, substitutedExecArgs: substitutions }) => ({
+        id: id.toString(),
+        references: substitutions.map((subst) => subst.supplierNodeId.toString()),
+    }));
+    validateCyclicity(nodes);
+    validateSelfReference(nodes);
+};
+exports.validateFinalRepresentation = validateFinalRepresentation;
+const validateCyclicity = (nodes) => {
+    const cycleFound = (0, shared_1.findCycle)(nodes);
+    if (!!cycleFound) {
+        throw errors_1.ErrorFactory.cyclicfReference(cycleFound.nodeId, cycleFound.parentNodeId);
+    }
+};
+const validateSelfReference = (nodes) => {
+    for (let [, node] of nodes.entries()) {
+        const isSelfReference = node.references.includes(node.id);
+        if (isSelfReference) {
+            throw errors_1.ErrorFactory.selfReference(node.id);
+        }
+    }
+};
+//# sourceMappingURL=validations.helper.js.map

package/dist/validations.helper.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validations.helper.js","sourceRoot":"","sources":["../src/validations.helper.ts"],"names":[],"mappings":";;;AAAA,qDAKkC;AAClC,qCAAwC;AAEjC,MAAM,0BAA0B,GAAG,CAAC,OAA+B,EAAE,EAAE;IAC5E,MAAM,kBAAkB,GAAG,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;IAC9C,MAAM,kBAAkB,GAAG,CAAC,CAAC,OAAO,CAAC,gCAAgC,CAAC;IACtE,MAAM,sBAAsB,GAAG,CAAC,CAAC,OAAO,CAAC,mCAAmC,CAAC;IAE7E,IAAI,CAAC,kBAAkB,IAAI,sBAAsB,CAAC,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAC1E,MAAM,qBAAY,CAAC,UAAU,EAAE,CAAC;IAClC,CAAC;AACH,CAAC,CAAC;AARW,QAAA,0BAA0B,8BAQrC;AAEK,MAAM,2BAA2B,GAAG,CACzC,cAAmC,EACnC,EAAE;IACF,MAAM,KAAK,GAAc,cAAc,CAAC,KAAK,CAAC,GAAG,CAC/C,CAAC,EAAE,EAAE,EAAE,mBAAmB,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/C,EAAE,EAAE,EAAE,CAAC,QAAQ,EAAE;QACjB,UAAU,EAAE,aAAa,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,QAAQ,EAAE,CAAC;KAC1E,CAAC,CACH,CAAC;IAEF,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACzB,qBAAqB,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC,CAAC;AAZW,QAAA,2BAA2B,+BAYtC;AAEF,MAAM,iBAAiB,GAAG,CAAC,KAAgB,EAAE,EAAE;IAC7C,MAAM,UAAU,GAAG,IAAA,kBAAS,EAAC,KAAK,CAAC,CAAC;IAEpC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;QACjB,MAAM,qBAAY,CAAC,gBAAgB,CACjC,UAAU,CAAC,MAAM,EACjB,UAAU,CAAC,YAAY,CACxB,CAAC;IACJ,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAAC,KAAgB,EAAE,EAAE;IACjD,KAAK,IAAI,CAAC,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QACrC,MAAM,eAAe,GAAG,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAE1D,IAAI,eAAe,EAAE,CAAC;YACpB,MAAM,qBAAY,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;AACH,CAAC,CAAC"}

package/package.json

@@ -0,0 +1,78 @@
+{
+  "name": "@guardian-network/policy-compiler",
+  "author": "vpriadko@lacero.io, v.grabovski@lacero.io",
+  "description": "Artifcts high level declaration language",
+  "version": "0.3.2",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "files": [
+    "dist",
+    "src"
+  ],
+  "engines": {
+    "node": ">=18.20.4"
+  },
+  "publishConfig": {
+    "registry": "https://registry.npmjs.org",
+    "access": "public"
+  },
+  "keywords": [],
+  "devDependencies": {
+    "@eslint/eslintrc": "^3.1.0",
+    "@eslint/js": "^9.13.0",
+    "@istanbuljs/nyc-config-typescript": "^1.0.2",
+    "@nomicfoundation/hardhat-ethers": "^3.1.3",
+    "@nomicfoundation/hardhat-toolbox": "6.1.2",
+    "@types/chai": "4.3.3",
+    "@types/mocha": "^10.0.9",
+    "@types/node": "^22.8.0",
+    "@typescript-eslint/eslint-plugin": "^8.61.1",
+    "@typescript-eslint/parser": "^8.8.0",
+    "chai": "^4.5.0",
+    "copyfiles": "^2.4.1",
+    "eslint": "^9.11.1",
+    "eslint-config-prettier": "^9.1.0",
+    "eslint-import-resolver-typescript": "^3.6.3",
+    "eslint-plugin-import": "^2.31.0",
+    "eslint-plugin-mocha": "^10.5.0",
+    "eslint-plugin-n": "^17.10.3",
+    "eslint-plugin-prettier": "^5.2.1",
+    "eslint-plugin-promise": "^7.1.0",
+    "eslint-plugin-unused-imports": "^4.1.4",
+    "globals": "^15.11.0",
+    "hardhat": "2.27.2",
+    "hardhat-deploy": "^0.12.4",
+    "mocha": "^10.8.2",
+    "nyc": "^18.0.0",
+    "prettier": "^3.3.3",
+    "prettier-plugin-organize-imports": "^4.1.0",
+    "rimraf": "^6.0.1"
+  },
+  "dependencies": {
+    "dotenv": "^16.4.5",
+    "ethers": "^6.16.0",
+    "ts-node": "^10.9.2",
+    "typescript": "^5.6.2",
+    "@guardian-network/shared": "0.3.2",
+    "@guardian-network/policy-intermediate-representation": "0.3.2",
+    "@guardian-network/policy-dsl": "0.3.2"
+  },
+  "scripts": {
+    "build": "pnpm format:all:fix && tsc -p tsconfig-prod.json && pnpm copy-dts",
+    "check": "pnpm lint:ts && pnpm check:ts",
+    "check:ts": "tsc -p tsconfig-prod.json --noEmit",
+    "check:ts:dev": "tsc -p tsconfig.json --noEmit",
+    "clean": "pnpm remove:dist",
+    "copy-dts": "copyfiles -u 1 \"src/**/*.d.ts\" dist",
+    "format:all:fix": "pnpm format:ts:fix",
+    "format:ts:fix": "prettier -w -c \"src/**/*.ts\" \"test/**/*.ts\"",
+    "lint:ts": "eslint",
+    "lint:ts:fix": "eslint --fix",
+    "publish-package": "pnpm publish --no-git-checks",
+    "remove:dist": "npx rimraf dist",
+    "test": "mocha \"test/*.test.ts\" ",
+    "tests:coverage:ts": "nyc pnpm test",
+    "test:onchain": "pnpm exec hardhat test --bail test/compiler-onchain-types.test.ts",
+    "version": "pnpm version"
+  }
+}

package/src/LacLangCompiler.ts

@@ -0,0 +1,114 @@
+import { Transpiler } from '@guardian-network/policy-dsl';
+import { ParserWithValidation } from '@guardian-network/policy-intermediate-representation';
+import {
+  ICompiler,
+  LacLangCompilerOptions,
+  OnchainPresentation,
+  NodeTreeInitData as ParsingResult,
+  TranspilerOutput,
+} from '@guardian-network/shared';
+import { dirname } from 'path';
+import { cwd } from 'process';
+import {
+  COMPILE_ANNOTATION,
+  PARSING_ANNOTATION,
+  propagateWithAnnotation,
+  TRANSPILE_ANNOTATION,
+} from './decorators';
+import { readFromFile } from './utils.helper';
+import {
+  validateFinalRepresentation,
+  validateProviderIsSupplied,
+} from './validations.helper';
+
+export class LacLangCompiler implements ICompiler {
+  protected static build<R>(
+    this: new (
+      sources: string,
+      options: LacLangCompilerOptions,
+      _cwd: string,
+    ) => R,
+    sources: string,
+    options: LacLangCompilerOptions = {},
+  ): R {
+    return new this(sources, options, cwd());
+  }
+
+  static async fromFile<R>(
+    this: new (
+      sources: string,
+      options: LacLangCompilerOptions,
+      _cwd: string,
+    ) => R,
+    sourcesPath: string,
+    options: LacLangCompilerOptions = {},
+  ): Promise<R> {
+    const sources = await readFromFile(sourcesPath);
+    return new this(sources, options, dirname(sourcesPath));
+  }
+
+  static fromSources<R>(
+    this: new (
+      sources: string,
+      options: LacLangCompilerOptions,
+      _cwd: string,
+    ) => R,
+    sources: string,
+    options: LacLangCompilerOptions = {},
+  ): R {
+    return new this(sources, options, cwd());
+  }
+
+  constructor(
+    protected sources: string,
+    protected readonly options: LacLangCompilerOptions,
+    protected readonly _cwd: string,
+  ) {
+    validateProviderIsSupplied(this.options);
+  }
+
+  @propagateWithAnnotation(COMPILE_ANNOTATION)
+  async compile(): Promise<OnchainPresentation> {
+    return this.compileSources();
+  }
+
+  protected compileSources = async (): Promise<OnchainPresentation> => {
+    const transpilerOutput = await this.transpileDSL(this._cwd);
+    const parserOutput =
+      await this.parseIntermediateRepresentation(transpilerOutput);
+
+    // note: actually is onchain representation
+    const finalRepresentation: OnchainPresentation = {
+      rootNode: transpilerOutput.rootNode,
+      nodes: parserOutput,
+    };
+
+    validateFinalRepresentation(finalRepresentation);
+    return finalRepresentation;
+  };
+
+  @propagateWithAnnotation(TRANSPILE_ANNOTATION)
+  protected async transpileDSL(cwd: string): Promise<TranspilerOutput> {
+    const transpilerOutput = Transpiler.create(this.sources, {
+      partialSources: false,
+      sourcesDir: cwd,
+    })
+      .transpile()
+      .toIntermediateRepresentation();
+
+    return Promise.resolve(transpilerOutput);
+  }
+
+  @propagateWithAnnotation(PARSING_ANNOTATION)
+  protected async parseIntermediateRepresentation(
+    transpilerOutput: TranspilerOutput,
+  ): Promise<Array<ParsingResult>> {
+    const parser = ParserWithValidation.fromCompilerConfiguration(
+      this.options,
+      transpilerOutput,
+    );
+
+    const parserOutput = await parser.process();
+    return parserOutput;
+  }
+}

package/src/decorators/constants/error-annotations.constant.ts

@@ -0,0 +1,5 @@
+export const COMPILE_ANNOTATION =
+  'Compile result (final-representation) validation error';
+export const TRANSPILE_ANNOTATION = 'DSL transpiler error during compilation';
+export const PARSING_ANNOTATION =
+  'Inermedtiate-representation parser error during compilation';

package/src/decorators/decorators-factory.ts

@@ -0,0 +1,22 @@
+import { execOrPropagate } from './utils.helper';
+
+export const propagateWithAnnotation = (annotation: string) => {
+  const decorator = (
+    target: Object,
+    methodName: string,
+    descriptor: PropertyDescriptor,
+  ): PropertyDescriptor => {
+    const originalMethod = descriptor.value;
+
+    descriptor.value = function (...args: any[]) {
+      return execOrPropagate(
+        () => originalMethod.apply(this, args),
+        annotation,
+      );
+    };
+
+    return descriptor;
+  };
+
+  return decorator;
+};

package/src/decorators/index.ts

@@ -0,0 +1,2 @@
+export * from './constants/error-annotations.constant';
+export { propagateWithAnnotation } from './decorators-factory';

package/src/decorators/utils.helper.ts

@@ -0,0 +1,12 @@
+export const execOrPropagate = async <K>(
+  method: () => K | Promise<K>,
+  annotation: string,
+): Promise<Awaited<K>> => {
+  try {
+    const result = await method();
+    return result;
+  } catch (e) {
+    console.error(annotation);
+    throw e;
+  }
+};

package/src/errors/ErrorFactory.ts

@@ -0,0 +1,25 @@
+import {
+  CyclicReferenceError,
+  NoProviderError,
+  SelfReferenceError,
+} from './validation-errors';
+
+export class ErrorFactory {
+  static selfReference = (
+    ...params: Parameters<typeof SelfReferenceError.create>
+  ) => {
+    return SelfReferenceError.create(...params);
+  };
+
+  static cyclicfReference = (
+    ...params: Parameters<typeof CyclicReferenceError.create>
+  ) => {
+    return CyclicReferenceError.create(...params);
+  };
+
+  static noProvider = (
+    ...params: Parameters<typeof NoProviderError.create>
+  ) => {
+    return NoProviderError.create(...params);
+  };
+}

package/src/errors/index.ts

@@ -0,0 +1 @@
+export { ErrorFactory } from './ErrorFactory';

package/src/errors/validation-errors.ts

@@ -0,0 +1,22 @@
+import { BaseError } from '@guardian-network/shared';
+
+export class CyclicReferenceError extends BaseError {
+  static create = (referencedNode: string, selfNode: string) => {
+    const errorMessage = `Node ${selfNode} cyclically references ${referencedNode}`;
+    return this.build(errorMessage);
+  };
+}
+
+export class SelfReferenceError extends BaseError {
+  static create = (selfNode: string) => {
+    const errorMessage = `Node ${selfNode} cyclically references itself`;
+    return this.build(errorMessage);
+  };
+}
+
+export class NoProviderError extends BaseError {
+  static create = () => {
+    const errorMessage = 'Provider needed if typing checks enabled';
+    return this.build(errorMessage);
+  };
+}

package/src/index.ts

@@ -0,0 +1 @@
+export { LacLangCompiler } from './LacLangCompiler';

package/src/utils.helper.ts

@@ -0,0 +1,14 @@
+import { readFile } from 'node:fs/promises';
+
+const DEFAULT_ENCODING = 'utf-8';
+
+export const readFromFile = async (filePath: string): Promise<string> => {
+  try {
+    const conent = await readFile(filePath, DEFAULT_ENCODING);
+    return conent;
+  } catch (error: any) {
+    throw new Error(
+      `Error reading file at ${filePath} with description ${error.message}`,
+    );
+  }
+};

package/src/validations.helper.ts

@@ -0,0 +1,52 @@
+import {
+  DslNode,
+  findCycle,
+  LacLangCompilerOptions,
+  OnchainPresentation,
+} from '@guardian-network/shared';
+import { ErrorFactory } from './errors';
+
+export const validateProviderIsSupplied = (options: LacLangCompilerOptions) => {
+  const isProviderSupplied = !!options.provider;
+  const needsDslTypesCheck = !!options.checkTypesAgainstDslDeclarations;
+  const needsOnchainTypesCheck = !!options.checkTypesAgainstOnchainDescriptors;
+
+  if ((needsDslTypesCheck || needsOnchainTypesCheck) && !isProviderSupplied) {
+    throw ErrorFactory.noProvider();
+  }
+};
+
+export const validateFinalRepresentation = (
+  representation: OnchainPresentation,
+) => {
+  const nodes: DslNode[] = representation.nodes.map(
+    ({ id, substitutedExecArgs: substitutions }) => ({
+      id: id.toString(),
+      references: substitutions.map((subst) => subst.supplierNodeId.toString()),
+    }),
+  );
+
+  validateCyclicity(nodes);
+  validateSelfReference(nodes);
+};
+
+const validateCyclicity = (nodes: DslNode[]) => {
+  const cycleFound = findCycle(nodes);
+
+  if (!!cycleFound) {
+    throw ErrorFactory.cyclicfReference(
+      cycleFound.nodeId,
+      cycleFound.parentNodeId,
+    );
+  }
+};
+
+const validateSelfReference = (nodes: DslNode[]) => {
+  for (let [, node] of nodes.entries()) {
+    const isSelfReference = node.references.includes(node.id);
+
+    if (isSelfReference) {
+      throw ErrorFactory.selfReference(node.id);
+    }
+  }
+};