@guardian-network/policy-dsl 0.3.2

package/dist/transpiler/listener.js

@@ -0,0 +1,94 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.LacLangTranspiler = void 0;
+const node_path_1 = require("node:path");
+const ir_generation_1 = require("../ir-generation");
+const ErrorFactory_1 = require("./errors/ErrorFactory");
+const helpers_1 = require("./helpers");
+const validations_helper_1 = require("./helpers/validations.helper");
+const LatentState_1 = require("./state/LatentState");
+const Transpiler_1 = require("./Transpiler");
+class LacLangTranspiler {
+    latentState = new LatentState_1.LatentState();
+    config;
+    constructor(options) {
+        this.config = options;
+    }
+    enterDirective(ctx) {
+        switch (true) {
+            case !!ctx.directiveIndentifier().injectedOnlyDirective():
+                this.latentState.setInjectionConstraint(false);
+                break;
+            default:
+                throw ErrorFactory_1.ErrorFactory.unknownDirective(ctx.directiveIndentifier().text, ctx);
+        }
+    }
+    enterImportStatement(ctx) {
+        const url = ctx.STRING_LITERAL().text.replace(/^['"]|['"]$/g, '');
+        const normalizedUrl = (0, helpers_1.isLocalUrl)(url) || (0, helpers_1.isLocalRelativeUrl)(url)
+            ? (0, node_path_1.normalize)((0, node_path_1.join)(this.config.sourcesDir, url))
+            : url;
+        const sources = (0, helpers_1.fetchContent)(normalizedUrl);
+        const subTranspiler = Transpiler_1.Transpiler.create(sources, {
+            partialSources: true,
+            sourcesDir: this.config.sourcesDir,
+        });
+        subTranspiler.transpile();
+        const subState = subTranspiler.getLatentState();
+        this.latentState.merge(subState);
+    }
+    enterVarDeclaration(ctx) {
+        const name = ctx.IDENTIFIER().text;
+        (0, validations_helper_1.lookupAndThrow)(name, this.latentState.variables, (declared) => ErrorFactory_1.ErrorFactory.variableAlreadyDefined(name, ctx, declared.ctx));
+        this.latentState.setVariables(ctx);
+    }
+    enterConstantDeclaration(ctx) {
+        const name = ctx.IDENTIFIER().text;
+        (0, validations_helper_1.lookupAndThrow)(name, this.latentState.constants, (declared) => ErrorFactory_1.ErrorFactory.constantIsAlreadyDefined(name, ctx, declared.ctx));
+        this.latentState.setConstants(ctx);
+    }
+    enterArtifactDeclaration(ctx) {
+        const name = ctx.IDENTIFIER().text;
+        (0, validations_helper_1.lookupAndThrow)(name, this.latentState.artifacts, (declared) => ErrorFactory_1.ErrorFactory.artifactAlreadyDefined(name, ctx, declared.ctx));
+        this.latentState.setArtifacts(ctx);
+    }
+    enterInstanceDeclaration(ctx) {
+        const name = ctx.IDENTIFIER().text;
+        (0, validations_helper_1.lookupAndThrow)(name, this.latentState.instancesByName, (declared) => ErrorFactory_1.ErrorFactory.instanceAlreadyDefined(name, ctx, declared.ctx));
+        const execArguments = (0, helpers_1.extractAndLookupExecArguments)(ctx, this.latentState);
+        const initArguments = (0, helpers_1.extractAndLookupInitArguments)(ctx, this.latentState);
+        const artifactDereferenced = (0, helpers_1.dereferenceArtifact)(ctx, this.latentState.artifacts);
+        const instanceConfig = {
+            artifactAddress: artifactDereferenced,
+            needsInitialization: !!initArguments,
+            execArguments,
+            initArguments: initArguments ?? [],
+        };
+        const instancesCount = this.latentState.instancesByName.size;
+        const nodeId = (0, ir_generation_1.nodeIdFromDeclaration)(instanceConfig, instancesCount);
+        (0, validations_helper_1.findSelfReferenceAndThrow)(name, nodeId, execArguments, ctx);
+        this.latentState.setInstancesByName(ctx, nodeId, instanceConfig, instancesCount);
+        this.latentState.setInstancesById(ctx, nodeId, instanceConfig, instancesCount);
+        (0, validations_helper_1.findCycleAndThrow)(this.latentState.instancesByName, this.latentState.instancesById);
+    }
+    enterEvaluateStatement(ctx) {
+        const previouslyDeclared = this.latentState.evaluateRelativeTo;
+        if (!!previouslyDeclared) {
+            throw ErrorFactory_1.ErrorFactory.evaluateAlreadyDeclared(ctx, previouslyDeclared.ctx);
+        }
+        const instanceName = ctx.IDENTIFIER().text;
+        const refInst = (0, validations_helper_1.lookupOrThrow)(instanceName, this.latentState.instancesByName, ErrorFactory_1.ErrorFactory.instanceNotDefined(instanceName, ctx));
+        if (refInst.type != 'bool')
+            throw ErrorFactory_1.ErrorFactory.evaluateTypeNotBool(instanceName, ctx, refInst.ctx);
+        this.latentState.setEvaluateRelativeTo = {
+            nodeId: refInst.id,
+            ctx,
+        };
+    }
+    exitProgram(_) {
+        if (!this.latentState.evaluateRelativeTo && !this.config.partialSources)
+            throw ErrorFactory_1.ErrorFactory.noEvaluateStatement();
+    }
+}
+exports.LacLangTranspiler = LacLangTranspiler;
+//# sourceMappingURL=listener.js.map

package/dist/transpiler/listener.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"listener.js","sourceRoot":"","sources":["../../src/transpiler/listener.ts"],"names":[],"mappings":";;;AACA,yCAA4C;AAY5C,oDAA4E;AAC5E,wDAAqD;AACrD,uCAQmB;AACnB,qEAKsC;AACtC,qDAAkD;AAClD,6CAA0C;AAE1C,MAAa,iBAAiB;IACrB,WAAW,GAAgB,IAAI,yBAAW,EAAE,CAAC;IAC5C,MAAM,CAAmB;IAEjC,YAAY,OAAyB;QACnC,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC;IACxB,CAAC;IAED,cAAc,CAAC,GAAqB;QAClC,QAAQ,IAAI,EAAE,CAAC;YACb,KAAK,CAAC,CAAC,GAAG,CAAC,oBAAoB,EAAE,CAAC,qBAAqB,EAAE;gBACvD,IAAI,CAAC,WAAW,CAAC,sBAAsB,CAAC,KAAK,CAAC,CAAC;gBAC/C,MAAM;YACR;gBACE,MAAM,2BAAY,CAAC,gBAAgB,CACjC,GAAG,CAAC,oBAAoB,EAAE,CAAC,IAAI,EAC/B,GAAG,CACJ,CAAC;QACN,CAAC;IACH,CAAC;IAED,oBAAoB,CAAC,GAA2B;QAC9C,MAAM,GAAG,GAAG,GAAG,CAAC,cAAc,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;QAClE,MAAM,aAAa,GACjB,IAAA,oBAAU,EAAC,GAAG,CAAC,IAAI,IAAA,4BAAkB,EAAC,GAAG,CAAC;YACxC,CAAC,CAAC,IAAA,qBAAS,EAAC,IAAA,gBAAI,EAAC,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC9C,CAAC,CAAC,GAAG,CAAC;QAEV,MAAM,OAAO,GAAG,IAAA,sBAAY,EAAC,aAAa,CAAC,CAAC;QAE5C,MAAM,aAAa,GAAG,uBAAU,CAAC,MAAM,CAAC,OAAO,EAAE;YAC/C,cAAc,EAAE,IAAI;YACpB,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU;SACnC,CAAC,CAAC;QACH,aAAa,CAAC,SAAS,EAAE,CAAC;QAE1B,MAAM,QAAQ,GAAG,aAAa,CAAC,cAAc,EAAE,CAAC;QAChD,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACnC,CAAC;IAED,mBAAmB,CAAC,GAA0B;QAC5C,MAAM,IAAI,GAAG,GAAG,CAAC,UAAU,EAAE,CAAC,IAAI,CAAC;QAEnC,IAAA,mCAAc,EAAC,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC,QAAQ,EAAE,EAAE,CAC5D,2BAAY,CAAC,sBAAsB,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,CAC7D,CAAC;QAEF,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IACrC,CAAC;IAED,wBAAwB,CAAC,GAA+B;QACtD,MAAM,IAAI,GAAG,GAAG,CAAC,UAAU,EAAE,CAAC,IAAI,CAAC;QAEnC,IAAA,mCAAc,EAAC,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC,QAAQ,EAAE,EAAE,CAC5D,2BAAY,CAAC,wBAAwB,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,CAC/D,CAAC;QAEF,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IACrC,CAAC;IAED,wBAAwB,CAAC,GAA+B;QACtD,MAAM,IAAI,GAAG,GAAG,CAAC,UAAU,EAAE,CAAC,IAAI,CAAC;QAEnC,IAAA,mCAAc,EAAC,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC,QAAQ,EAAE,EAAE,CAC5D,2BAAY,CAAC,sBAAsB,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,CAC7D,CAAC;QAEF,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IACrC,CAAC;IAED,wBAAwB,CAAC,GAA+B;QACtD,MAAM,IAAI,GAAG,GAAG,CAAC,UAAU,EAAE,CAAC,IAAI,CAAC;QAEnC,IAAA,mCAAc,EAAC,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,eAAe,EAAE,CAAC,QAAQ,EAAE,EAAE,CAClE,2BAAY,CAAC,sBAAsB,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,CAC7D,CAAC;QAEF,MAAM,aAAa,GAAG,IAAA,uCAA6B,EAAC,GAAG,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;QAC3E,MAAM,aAAa,GAAG,IAAA,uCAA6B,EAAC,GAAG,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;QAE3E,MAAM,oBAAoB,GAAG,IAAA,6BAAmB,EAC9C,GAAG,EACH,IAAI,CAAC,WAAW,CAAC,SAAS,CAC3B,CAAC;QAEF,MAAM,cAAc,GAAmB;YACrC,eAAe,EAAE,oBAAoB;YACrC,mBAAmB,EAAE,CAAC,CAAC,aAAa;YACpC,aAAa;YACb,aAAa,EAAE,aAAa,IAAI,EAAE;SACnC,CAAC;QAEF,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,CAAC,eAAe,CAAC,IAAI,CAAC;QAC7D,MAAM,MAAM,GAAG,IAAA,qCAAe,EAAC,cAAc,EAAE,cAAc,CAAC,CAAC;QAG/D,IAAA,8CAAyB,EAAC,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,GAAG,CAAC,CAAC;QAE5D,IAAI,CAAC,WAAW,CAAC,kBAAkB,CACjC,GAAG,EACH,MAAM,EACN,cAAc,EACd,cAAc,CACf,CAAC;QAEF,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAC/B,GAAG,EACH,MAAM,EACN,cAAc,EACd,cAAc,CACf,CAAC;QAGF,IAAA,sCAAiB,EACf,IAAI,CAAC,WAAW,CAAC,eAAe,EAChC,IAAI,CAAC,WAAW,CAAC,aAAa,CAC/B,CAAC;IACJ,CAAC;IAED,sBAAsB,CAAC,GAA6B;QAClD,MAAM,kBAAkB,GAAG,IAAI,CAAC,WAAW,CAAC,kBAAkB,CAAC;QAC/D,IAAI,CAAC,CAAC,kBAAkB,EAAE,CAAC;YACzB,MAAM,2BAAY,CAAC,uBAAuB,CAAC,GAAG,EAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC;QAC1E,CAAC;QAED,MAAM,YAAY,GAAG,GAAG,CAAC,UAAU,EAAE,CAAC,IAAI,CAAC;QAC3C,MAAM,OAAO,GAAG,IAAA,kCAAa,EAC3B,YAAY,EACZ,IAAI,CAAC,WAAW,CAAC,eAAe,EAChC,2BAAY,CAAC,kBAAkB,CAAC,YAAY,EAAE,GAAG,CAAC,CACnD,CAAC;QAEF,IAAI,OAAO,CAAC,IAAI,IAAI,MAAM;YACxB,MAAM,2BAAY,CAAC,mBAAmB,CAAC,YAAY,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;QAEzE,IAAI,CAAC,WAAW,CAAC,qBAAqB,GAAG;YACvC,MAAM,EAAE,OAAO,CAAC,EAAE;YAClB,GAAG;SACJ,CAAC;IACJ,CAAC;IAGD,WAAW,CAAC,CAAiB;QAC3B,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,kBAAkB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc;YACrE,MAAM,2BAAY,CAAC,mBAAmB,EAAE,CAAC;IAC7C,CAAC;CACF;AAlJD,8CAkJC"}

package/dist/transpiler/state/LatentState.d.ts

@@ -0,0 +1,30 @@
+import { InstanceConfig } from '@guardian-network/shared';
+import { ArtifactDeclarationContext, ConstantDeclarationContext, InstanceDeclarationContext, VarDeclarationContext } from '../../antlr';
+import { Artifacts, Constants, Evaluating, InstancesById, InstancesByName, Variables } from './types';
+export declare class LatentState {
+    private constantsMap;
+    private variablesMap;
+    private artifactsMap;
+    private instancesByNameMap;
+    private instancesByIdMap;
+    private evaluateRelativeToInternal?;
+    private onlyInjectedVariables?;
+    constructor();
+    get constants(): Constants;
+    get variables(): Variables;
+    get artifacts(): Artifacts;
+    get instancesByName(): InstancesByName;
+    get instancesById(): InstancesById;
+    get evaluateRelativeTo(): Evaluating | undefined;
+    set setEvaluateRelativeTo(value: Evaluating);
+    setVariables(ctx: VarDeclarationContext): void;
+    setConstants(ctx: ConstantDeclarationContext): void;
+    setArtifacts(ctx: ArtifactDeclarationContext): void;
+    setInstancesByName(ctx: InstanceDeclarationContext, nodeId: string, instanceConfig: InstanceConfig, instancesCount: number): void;
+    setInstancesById(ctx: InstanceDeclarationContext, nodeId: string, instanceConfig: InstanceConfig, instancesCount: number): void;
+    setInjectionConstraint(allowNonInjectedVariables: boolean): void;
+    merge(subState: LatentState): void;
+    private concatMaps;
+    private moveValue;
+}
+//# sourceMappingURL=LatentState.d.ts.map

package/dist/transpiler/state/LatentState.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"LatentState.d.ts","sourceRoot":"","sources":["../../../src/transpiler/state/LatentState.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EACL,0BAA0B,EAC1B,0BAA0B,EAC1B,0BAA0B,EAC1B,qBAAqB,EACtB,MAAM,aAAa,CAAC;AAErB,OAAO,EACL,SAAS,EACT,SAAS,EACT,UAAU,EACV,aAAa,EACb,eAAe,EACf,SAAS,EACV,MAAM,SAAS,CAAC;AAEjB,qBAAa,WAAW;IACtB,OAAO,CAAC,YAAY,CAAY;IAEhC,OAAO,CAAC,YAAY,CAAY;IAEhC,OAAO,CAAC,YAAY,CAAY;IAEhC,OAAO,CAAC,kBAAkB,CAAkB;IAE5C,OAAO,CAAC,gBAAgB,CAAgB;IAExC,OAAO,CAAC,0BAA0B,CAAC,CAAa;IAEhD,OAAO,CAAC,qBAAqB,CAAC,CAAU;;IAexC,IAAI,SAAS,cAEZ;IAED,IAAI,SAAS,cAEZ;IAED,IAAI,SAAS,cAEZ;IAED,IAAI,eAAe,oBAElB;IAED,IAAI,aAAa,kBAEhB;IAED,IAAI,kBAAkB,2BAErB;IACD,IAAI,qBAAqB,CAAC,KAAK,EAAE,UAAU,EAE1C;IAED,YAAY,CAAC,GAAG,EAAE,qBAAqB;IAcvC,YAAY,CAAC,GAAG,EAAE,0BAA0B;IAY5C,YAAY,CAAC,GAAG,EAAE,0BAA0B;IAU5C,kBAAkB,CAChB,GAAG,EAAE,0BAA0B,EAC/B,MAAM,EAAE,MAAM,EACd,cAAc,EAAE,cAAc,EAC9B,cAAc,EAAE,MAAM;IAcxB,gBAAgB,CACd,GAAG,EAAE,0BAA0B,EAC/B,MAAM,EAAE,MAAM,EACd,cAAc,EAAE,cAAc,EAC9B,cAAc,EAAE,MAAM;IAcxB,sBAAsB,CAAC,yBAAyB,EAAE,OAAO;IAIzD,KAAK,CAAC,QAAQ,EAAE,WAAW;IAmB3B,OAAO,CAAC,UAAU;IAyBlB,OAAO,CAAC,SAAS;CASlB"}

package/dist/transpiler/state/LatentState.js

@@ -0,0 +1,130 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.LatentState = void 0;
+const errors_1 = require("../errors");
+class LatentState {
+    constantsMap;
+    variablesMap;
+    artifactsMap;
+    instancesByNameMap;
+    instancesByIdMap;
+    evaluateRelativeToInternal;
+    onlyInjectedVariables;
+    constructor() {
+        this.constantsMap = new Map();
+        this.variablesMap = new Map();
+        this.artifactsMap = new Map();
+        this.instancesByNameMap = new Map();
+        this.instancesByIdMap = new Map();
+    }
+    get constants() {
+        return this.constantsMap;
+    }
+    get variables() {
+        return this.variablesMap;
+    }
+    get artifacts() {
+        return this.artifactsMap;
+    }
+    get instancesByName() {
+        return this.instancesByNameMap;
+    }
+    get instancesById() {
+        return this.instancesByIdMap;
+    }
+    get evaluateRelativeTo() {
+        return this.evaluateRelativeToInternal;
+    }
+    set setEvaluateRelativeTo(value) {
+        this.evaluateRelativeToInternal = value;
+    }
+    setVariables(ctx) {
+        const { text: name } = ctx.IDENTIFIER();
+        const { text: type } = ctx.dataType();
+        let injection = ctx.injectionModifier()?.STRING_LITERAL().text;
+        if (!injection && this.onlyInjectedVariables)
+            throw errors_1.ErrorFactory.nonInjectedVariable(name, ctx);
+        injection = injection ?? '';
+        this.variablesMap.set(name, { type, ctx, injection });
+    }
+    setConstants(ctx) {
+        const { text: name } = ctx.IDENTIFIER();
+        const { text: value } = ctx.literal();
+        const { text: type } = ctx.dataType();
+        this.constantsMap.set(name, {
+            value,
+            type,
+            ctx,
+        });
+    }
+    setArtifacts(ctx) {
+        const { text: name } = ctx.IDENTIFIER();
+        const { text: address } = ctx.ADDRESS_LITERAL();
+        this.artifactsMap.set(name, {
+            address,
+            ctx,
+        });
+    }
+    setInstancesByName(ctx, nodeId, instanceConfig, instancesCount) {
+        const { text: name } = ctx.IDENTIFIER();
+        const { text: type } = ctx.dataType();
+        this.instancesByNameMap.set(name, {
+            id: nodeId,
+            config: instanceConfig,
+            type,
+            index: instancesCount,
+            ctx,
+        });
+    }
+    setInstancesById(ctx, nodeId, instanceConfig, instancesCount) {
+        const { text: name } = ctx.IDENTIFIER();
+        const { text: type } = ctx.dataType();
+        this.instancesByIdMap.set(nodeId, {
+            name,
+            config: instanceConfig,
+            type,
+            index: instancesCount,
+            ctx,
+        });
+    }
+    setInjectionConstraint(allowNonInjectedVariables) {
+        this.onlyInjectedVariables = !allowNonInjectedVariables;
+    }
+    merge(subState) {
+        for (const property of Object.keys(this)) {
+            const indexingProperty = property;
+            try {
+                if (this[indexingProperty] instanceof Map) {
+                    this.concatMaps(subState[indexingProperty], this[indexingProperty]);
+                }
+                else {
+                    this.moveValue(subState[indexingProperty], this[indexingProperty]);
+                }
+            }
+            catch (e) {
+                throw errors_1.ErrorFactory.importAmbiguity(property, e.message);
+            }
+        }
+    }
+    concatMaps(source, target) {
+        for (const originalKey of source.keys()) {
+            const originalValue = source.get(originalKey);
+            if (target.get(originalKey) != undefined) {
+                if (Array.isArray(originalValue)) {
+                    target.set(originalKey, originalValue.concat(target.get(originalKey)).sort());
+                    return;
+                }
+                throw new Error(`Ambiguity while merging maps: target already has "${originalKey}" record`);
+            }
+            target.set(originalKey, originalValue);
+        }
+    }
+    moveValue(source, target) {
+        if (!!target) {
+            throw new Error(`Ambiguity while merging values: target already set to "${target}"`);
+        }
+        target = source;
+    }
+}
+exports.LatentState = LatentState;
+//# sourceMappingURL=LatentState.js.map

package/dist/transpiler/state/LatentState.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"LatentState.js","sourceRoot":"","sources":["../../../src/transpiler/state/LatentState.ts"],"names":[],"mappings":";;;AAOA,sCAAyC;AAUzC,MAAa,WAAW;IACd,YAAY,CAAY;IAExB,YAAY,CAAY;IAExB,YAAY,CAAY;IAExB,kBAAkB,CAAkB;IAEpC,gBAAgB,CAAgB;IAEhC,0BAA0B,CAAc;IAExC,qBAAqB,CAAW;IAGxC;QACE,IAAI,CAAC,YAAY,GAAG,IAAI,GAAG,EAAE,CAAC;QAE9B,IAAI,CAAC,YAAY,GAAG,IAAI,GAAG,EAAE,CAAC;QAE9B,IAAI,CAAC,YAAY,GAAG,IAAI,GAAG,EAAE,CAAC;QAE9B,IAAI,CAAC,kBAAkB,GAAG,IAAI,GAAG,EAAE,CAAC;QAEpC,IAAI,CAAC,gBAAgB,GAAG,IAAI,GAAG,EAAE,CAAC;IACpC,CAAC;IAED,IAAI,SAAS;QACX,OAAO,IAAI,CAAC,YAAY,CAAC;IAC3B,CAAC;IAED,IAAI,SAAS;QACX,OAAO,IAAI,CAAC,YAAY,CAAC;IAC3B,CAAC;IAED,IAAI,SAAS;QACX,OAAO,IAAI,CAAC,YAAY,CAAC;IAC3B,CAAC;IAED,IAAI,eAAe;QACjB,OAAO,IAAI,CAAC,kBAAkB,CAAC;IACjC,CAAC;IAED,IAAI,aAAa;QACf,OAAO,IAAI,CAAC,gBAAgB,CAAC;IAC/B,CAAC;IAED,IAAI,kBAAkB;QACpB,OAAO,IAAI,CAAC,0BAA0B,CAAC;IACzC,CAAC;IACD,IAAI,qBAAqB,CAAC,KAAiB;QACzC,IAAI,CAAC,0BAA0B,GAAG,KAAK,CAAC;IAC1C,CAAC;IAED,YAAY,CAAC,GAA0B;QACrC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC,UAAU,EAAE,CAAC;QACxC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC;QAEtC,IAAI,SAAS,GAAG,GAAG,CAAC,iBAAiB,EAAE,EAAE,cAAc,EAAE,CAAC,IAAI,CAAC;QAE/D,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,qBAAqB;YAC1C,MAAM,qBAAY,CAAC,mBAAmB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAEpD,SAAS,GAAG,SAAS,IAAI,EAAE,CAAC;QAE5B,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC;IACxD,CAAC;IAED,YAAY,CAAC,GAA+B;QAC1C,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC,UAAU,EAAE,CAAC;QACxC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC;QACtC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC;QAEtC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE;YAC1B,KAAK;YACL,IAAI;YACJ,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IAED,YAAY,CAAC,GAA+B;QAC1C,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC,UAAU,EAAE,CAAC;QACxC,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC,eAAe,EAAE,CAAC;QAEhD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE;YAC1B,OAAO;YACP,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IAED,kBAAkB,CAChB,GAA+B,EAC/B,MAAc,EACd,cAA8B,EAC9B,cAAsB;QAEtB,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC,UAAU,EAAE,CAAC;QACxC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC;QAEtC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,EAAE;YAChC,EAAE,EAAE,MAAM;YACV,MAAM,EAAE,cAAc;YACtB,IAAI;YACJ,KAAK,EAAE,cAAc;YACrB,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IAED,gBAAgB,CACd,GAA+B,EAC/B,MAAc,EACd,cAA8B,EAC9B,cAAsB;QAEtB,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC,UAAU,EAAE,CAAC;QACxC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC;QAEtC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,MAAM,EAAE;YAChC,IAAI;YACJ,MAAM,EAAE,cAAc;YACtB,IAAI;YACJ,KAAK,EAAE,cAAc;YACrB,GAAG;SACJ,CAAC,CAAC;IACL,CAAC;IAED,sBAAsB,CAAC,yBAAkC;QACvD,IAAI,CAAC,qBAAqB,GAAG,CAAC,yBAAyB,CAAC;IAC1D,CAAC;IAED,KAAK,CAAC,QAAqB;QACzB,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,MAAM,gBAAgB,GAAsB,QAAQ,CAAC;YAErD,IAAI,CAAC;gBACH,IAAI,IAAI,CAAC,gBAAgB,CAAC,YAAY,GAAG,EAAE,CAAC;oBAC1C,IAAI,CAAC,UAAU,CACK,QAAQ,CAAC,gBAAgB,CAAC,EAC5C,IAAI,CAAC,gBAAgB,CAAC,CACvB,CAAC;gBACJ,CAAC;qBAAM,CAAC;oBACN,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC;gBACrE,CAAC;YACH,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,MAAM,qBAAY,CAAC,eAAe,CAAC,QAAQ,EAAU,CAAE,CAAC,OAAO,CAAC,CAAC;YACnE,CAAC;QACH,CAAC;IACH,CAAC;IAEO,UAAU,CAChB,MAA4B,EAC5B,MAA4B;QAE5B,KAAK,MAAM,WAAW,IAAI,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;YACxC,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,WAAW,CAAM,CAAC;YAEnD,IAAI,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,SAAS,EAAE,CAAC;gBACzC,IAAI,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC;oBACjC,MAAM,CAAC,GAAG,CACR,WAAW,EACX,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,EAAE,CACrD,CAAC;oBACF,OAAO;gBACT,CAAC;gBAED,MAAM,IAAI,KAAK,CACb,qDAAqD,WAAW,UAAU,CAC3E,CAAC;YACJ,CAAC;YAED,MAAM,CAAC,GAAG,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IAEO,SAAS,CAAI,MAAS,EAAE,MAAS;QACvC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YACb,MAAM,IAAI,KAAK,CACb,0DAA0D,MAAM,GAAG,CACpE,CAAC;QACJ,CAAC;QAED,MAAM,GAAG,MAAM,CAAC;IAClB,CAAC;CACF;AAxLD,kCAwLC"}

package/dist/transpiler/state/index.d.ts

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

package/dist/transpiler/state/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/transpiler/state/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,SAAS,CAAC"}

package/dist/transpiler/state/index.js

@@ -0,0 +1,19 @@
+"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("./LatentState"), exports);
+__exportStar(require("./types"), exports);
+//# sourceMappingURL=index.js.map

package/dist/transpiler/state/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/transpiler/state/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,gDAA8B;AAC9B,0CAAwB"}

package/dist/transpiler/state/types.d.ts

@@ -0,0 +1,42 @@
+import { InstanceConfig } from '@guardian-network/shared';
+import { ParserRuleContext } from 'antlr4ts';
+type KeyType = string;
+type IdKeyType = KeyType;
+type NameKeyType = KeyType;
+type DataType = {
+    type: string;
+};
+type AddressType = {
+    address: string;
+};
+type NameType = {
+    name: string;
+};
+type NodeIdType = {
+    nodeId: string;
+};
+type IndexType = {
+    index: number;
+};
+type ConfigType = {
+    config: InstanceConfig;
+};
+type InjectionType = {
+    injection: string;
+};
+type ValueType = {
+    value: string;
+};
+type ContextWrapped = {
+    ctx: ParserRuleContext;
+};
+export type Constants = Map<KeyType, ValueType & DataType & ContextWrapped>;
+export type Variables = Map<KeyType, DataType & ContextWrapped & InjectionType>;
+export type Artifacts = Map<KeyType, AddressType & ContextWrapped>;
+export type InstancesByName = Map<NameKeyType, {
+    id: string;
+} & IndexType & ConfigType & DataType & ContextWrapped>;
+export type InstancesById = Map<IdKeyType, NameType & IndexType & ConfigType & DataType & ContextWrapped>;
+export type Evaluating = NodeIdType & ContextWrapped;
+export {};
+//# sourceMappingURL=types.d.ts.map

package/dist/transpiler/state/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/transpiler/state/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,UAAU,CAAC;AAE7C,KAAK,OAAO,GAAG,MAAM,CAAC;AACtB,KAAK,SAAS,GAAG,OAAO,CAAC;AACzB,KAAK,WAAW,GAAG,OAAO,CAAC;AAE3B,KAAK,QAAQ,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AACjC,KAAK,WAAW,GAAG;IACjB,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AACF,KAAK,QAAQ,GAAG;IACd,IAAI,EAAE,MAAM,CAAC;CACd,CAAC;AACF,KAAK,UAAU,GAAG;IAChB,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AACF,KAAK,SAAS,GAAG;IACf,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AACF,KAAK,UAAU,GAAG;IAChB,MAAM,EAAE,cAAc,CAAC;CACxB,CAAC;AACF,KAAK,aAAa,GAAG;IAAE,SAAS,EAAE,MAAM,CAAA;CAAE,CAAC;AAC3C,KAAK,SAAS,GAAG;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnC,KAAK,cAAc,GAAG;IAAE,GAAG,EAAE,iBAAiB,CAAA;CAAE,CAAC;AAEjD,MAAM,MAAM,SAAS,GAAG,GAAG,CAAC,OAAO,EAAE,SAAS,GAAG,QAAQ,GAAG,cAAc,CAAC,CAAC;AAE5E,MAAM,MAAM,SAAS,GAAG,GAAG,CAAC,OAAO,EAAE,QAAQ,GAAG,cAAc,GAAG,aAAa,CAAC,CAAC;AAEhF,MAAM,MAAM,SAAS,GAAG,GAAG,CAAC,OAAO,EAAE,WAAW,GAAG,cAAc,CAAC,CAAC;AAEnE,MAAM,MAAM,eAAe,GAAG,GAAG,CAC/B,WAAW,EACX;IACE,EAAE,EAAE,MAAM,CAAC;CACZ,GAAG,SAAS,GACX,UAAU,GACV,QAAQ,GACR,cAAc,CACjB,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG,GAAG,CAC7B,SAAS,EACT,QAAQ,GAAG,SAAS,GAAG,UAAU,GAAG,QAAQ,GAAG,cAAc,CAC9D,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG,UAAU,GAAG,cAAc,CAAC"}

package/dist/transpiler/state/types.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=types.js.map

package/dist/transpiler/state/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/transpiler/state/types.ts"],"names":[],"mappings":""}

package/package.json

@@ -0,0 +1,79 @@
+{
+  "name": "@guardian-network/policy-dsl",
+  "author": "vpriadko@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",
+    "@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",
+    "antlr4ts-cli": "0.5.0-alpha.4",
+    "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",
+    "mocha": "^10.8.2",
+    "nyc": "^18.0.0",
+    "prettier": "^3.3.3",
+    "prettier-plugin-organize-imports": "^4.1.0",
+    "rimraf": "^6.0.1"
+  },
+  "dependencies": {
+    "@types/node-fetch": "2.6.13",
+    "@types/sync-fetch": "^0.4.4",
+    "antlr4ts": "0.5.0-alpha.4",
+    "dotenv": "^16.4.5",
+    "ethers": "^6.16.0",
+    "generator-code": "^1.11.18",
+    "sync-fetch": "0.6.0",
+    "ts-node": "^10.9.2",
+    "typescript": "^5.6.2",
+    "@guardian-network/shared": "0.3.2"
+  },
+  "scripts": {
+    "antlr": "antlr4ts ./grammar/LacLang.g4 -o ./src/antlr/generated",
+    "antlr:make": "pnpm antlr && pnpm format:ts:fix",
+    "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",
+    "tests:coverage:ts": "nyc pnpm test",
+    "version": "pnpm version"
+  }
+}

package/src/antlr/generated/grammar/LacLang.interp

@@ -0,0 +1,88 @@
+token literal names:
+null
+'import'
+';'
+'pragma'
+'injected-only'
+'var'
+'inject'
+'('
+')'
+'constant'
+'='
+'artifact'
+'instance'
+'of'
+'takes'
+'with'
+'evaluate'
+'bool'
+'number'
+'string'
+'bytes'
+'address'
+','
+null
+null
+null
+null
+null
+null
+null
+null
+
+token symbolic names:
+null
+null
+null
+null
+null
+null
+null
+null
+null
+null
+null
+null
+null
+null
+null
+null
+null
+null
+null
+null
+null
+null
+null
+ADDRESS_LITERAL
+BOOL_LITERAL
+NUMBER_LITERAL
+STRING_LITERAL
+BYTES_LITERAL
+IDENTIFIER
+WHITESPACE
+COMMENT
+
+rule names:
+program
+statement
+importStatement
+directive
+directiveIndentifier
+injectedOnlyDirective
+varDeclaration
+injectionModifier
+constantDeclaration
+artifactDeclaration
+instanceDeclaration
+evaluateStatement
+dataType
+constantsList
+argumentsList
+identifier_or_literal
+literal
+
+
+atn:
+[3, 51485, 51898, 1421, 44986, 20307, 1543, 60043, 49729, 3, 32, 145, 4, 2, 9, 2, 4, 3, 9, 3, 4, 4, 9, 4, 4, 5, 9, 5, 4, 6, 9, 6, 4, 7, 9, 7, 4, 8, 9, 8, 4, 9, 9, 9, 4, 10, 9, 10, 4, 11, 9, 11, 4, 12, 9, 12, 4, 13, 9, 13, 4, 14, 9, 14, 4, 15, 9, 15, 4, 16, 9, 16, 4, 17, 9, 17, 4, 18, 9, 18, 3, 2, 7, 2, 38, 10, 2, 12, 2, 14, 2, 41, 11, 2, 3, 2, 7, 2, 44, 10, 2, 12, 2, 14, 2, 47, 11, 2, 3, 2, 7, 2, 50, 10, 2, 12, 2, 14, 2, 53, 11, 2, 3, 2, 3, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 5, 3, 62, 10, 3, 3, 4, 3, 4, 3, 4, 3, 4, 3, 5, 3, 5, 3, 5, 3, 5, 3, 6, 3, 6, 3, 7, 3, 7, 3, 8, 3, 8, 5, 8, 78, 10, 8, 3, 8, 3, 8, 3, 8, 3, 8, 3, 9, 3, 9, 3, 9, 3, 9, 3, 9, 3, 10, 3, 10, 3, 10, 3, 10, 3, 10, 3, 10, 3, 10, 3, 11, 3, 11, 3, 11, 3, 11, 3, 11, 3, 11, 3, 12, 3, 12, 3, 12, 3, 12, 3, 12, 3, 12, 3, 12, 3, 12, 5, 12, 110, 10, 12, 3, 12, 3, 12, 3, 12, 3, 12, 5, 12, 116, 10, 12, 3, 12, 5, 12, 119, 10, 12, 3, 12, 3, 12, 3, 13, 3, 13, 3, 13, 3, 13, 3, 14, 3, 14, 3, 15, 3, 15, 3, 16, 3, 16, 3, 16, 7, 16, 134, 10, 16, 12, 16, 14, 16, 137, 11, 16, 3, 17, 3, 17, 5, 17, 141, 10, 17, 3, 18, 3, 18, 3, 18, 5, 39, 45, 51, 2, 2, 19, 2, 2, 4, 2, 6, 2, 8, 2, 10, 2, 12, 2, 14, 2, 16, 2, 18, 2, 20, 2, 22, 2, 24, 2, 26, 2, 28, 2, 30, 2, 32, 2, 34, 2, 2, 4, 3, 2, 19, 23, 3, 2, 25, 29, 2, 140, 2, 39, 3, 2, 2, 2, 4, 61, 3, 2, 2, 2, 6, 63, 3, 2, 2, 2, 8, 67, 3, 2, 2, 2, 10, 71, 3, 2, 2, 2, 12, 73, 3, 2, 2, 2, 14, 75, 3, 2, 2, 2, 16, 83, 3, 2, 2, 2, 18, 88, 3, 2, 2, 2, 20, 95, 3, 2, 2, 2, 22, 101, 3, 2, 2, 2, 24, 122, 3, 2, 2, 2, 26, 126, 3, 2, 2, 2, 28, 128, 3, 2, 2, 2, 30, 130, 3, 2, 2, 2, 32, 140, 3, 2, 2, 2, 34, 142, 3, 2, 2, 2, 36, 38, 5, 6, 4, 2, 37, 36, 3, 2, 2, 2, 38, 41, 3, 2, 2, 2, 39, 40, 3, 2, 2, 2, 39, 37, 3, 2, 2, 2, 40, 45, 3, 2, 2, 2, 41, 39, 3, 2, 2, 2, 42, 44, 5, 8, 5, 2, 43, 42, 3, 2, 2, 2, 44, 47, 3, 2, 2, 2, 45, 46, 3, 2, 2, 2, 45, 43, 3, 2, 2, 2, 46, 51, 3, 2, 2, 2, 47, 45, 3, 2, 2, 2, 48, 50, 5, 4, 3, 2, 49, 48, 3, 2, 2, 2, 50, 53, 3, 2, 2, 2, 51, 52, 3, 2, 2, 2, 51, 49, 3, 2, 2, 2, 52, 54, 3, 2, 2, 2, 53, 51, 3, 2, 2, 2, 54, 55, 7, 2, 2, 3, 55, 3, 3, 2, 2, 2, 56, 62, 5, 14, 8, 2, 57, 62, 5, 18, 10, 2, 58, 62, 5, 20, 11, 2, 59, 62, 5, 22, 12, 2, 60, 62, 5, 24, 13, 2, 61, 56, 3, 2, 2, 2, 61, 57, 3, 2, 2, 2, 61, 58, 3, 2, 2, 2, 61, 59, 3, 2, 2, 2, 61, 60, 3, 2, 2, 2, 62, 5, 3, 2, 2, 2, 63, 64, 7, 3, 2, 2, 64, 65, 7, 28, 2, 2, 65, 66, 7, 4, 2, 2, 66, 7, 3, 2, 2, 2, 67, 68, 7, 5, 2, 2, 68, 69, 5, 10, 6, 2, 69, 70, 7, 4, 2, 2, 70, 9, 3, 2, 2, 2, 71, 72, 5, 12, 7, 2, 72, 11, 3, 2, 2, 2, 73, 74, 7, 6, 2, 2, 74, 13, 3, 2, 2, 2, 75, 77, 7, 7, 2, 2, 76, 78, 5, 16, 9, 2, 77, 76, 3, 2, 2, 2, 77, 78, 3, 2, 2, 2, 78, 79, 3, 2, 2, 2, 79, 80, 5, 26, 14, 2, 80, 81, 7, 30, 2, 2, 81, 82, 7, 4, 2, 2, 82, 15, 3, 2, 2, 2, 83, 84, 7, 8, 2, 2, 84, 85, 7, 9, 2, 2, 85, 86, 7, 28, 2, 2, 86, 87, 7, 10, 2, 2, 87, 17, 3, 2, 2, 2, 88, 89, 7, 11, 2, 2, 89, 90, 5, 26, 14, 2, 90, 91, 7, 30, 2, 2, 91, 92, 7, 12, 2, 2, 92, 93, 5, 34, 18, 2, 93, 94, 7, 4, 2, 2, 94, 19, 3, 2, 2, 2, 95, 96, 7, 13, 2, 2, 96, 97, 7, 30, 2, 2, 97, 98, 7, 12, 2, 2, 98, 99, 7, 25, 2, 2, 99, 100, 7, 4, 2, 2, 100, 21, 3, 2, 2, 2, 101, 102, 7, 14, 2, 2, 102, 103, 5, 26, 14, 2, 103, 104, 7, 30, 2, 2, 104, 105, 7, 15, 2, 2, 105, 106, 5, 32, 17, 2, 106, 107, 7, 16, 2, 2, 107, 109, 7, 9, 2, 2, 108, 110, 5, 30, 16, 2, 109, 108, 3, 2, 2, 2, 109, 110, 3, 2, 2, 2, 110, 111, 3, 2, 2, 2, 111, 118, 7, 10, 2, 2, 112, 113, 7, 17, 2, 2, 113, 115, 7, 9, 2, 2, 114, 116, 5, 28, 15, 2, 115, 114, 3, 2, 2, 2, 115, 116, 3, 2, 2, 2, 116, 117, 3, 2, 2, 2, 117, 119, 7, 10, 2, 2, 118, 112, 3, 2, 2, 2, 118, 119, 3, 2, 2, 2, 119, 120, 3, 2, 2, 2, 120, 121, 7, 4, 2, 2, 121, 23, 3, 2, 2, 2, 122, 123, 7, 18, 2, 2, 123, 124, 7, 30, 2, 2, 124, 125, 7, 4, 2, 2, 125, 25, 3, 2, 2, 2, 126, 127, 9, 2, 2, 2, 127, 27, 3, 2, 2, 2, 128, 129, 5, 30, 16, 2, 129, 29, 3, 2, 2, 2, 130, 135, 5, 32, 17, 2, 131, 132, 7, 24, 2, 2, 132, 134, 5, 32, 17, 2, 133, 131, 3, 2, 2, 2, 134, 137, 3, 2, 2, 2, 135, 133, 3, 2, 2, 2, 135, 136, 3, 2, 2, 2, 136, 31, 3, 2, 2, 2, 137, 135, 3, 2, 2, 2, 138, 141, 7, 30, 2, 2, 139, 141, 5, 34, 18, 2, 140, 138, 3, 2, 2, 2, 140, 139, 3, 2, 2, 2, 141, 33, 3, 2, 2, 2, 142, 143, 9, 3, 2, 2, 143, 35, 3, 2, 2, 2, 12, 39, 45, 51, 61, 77, 109, 115, 118, 135, 140]

package/src/antlr/generated/grammar/LacLang.tokens

@@ -0,0 +1,52 @@
+T__0=1
+T__1=2
+T__2=3
+T__3=4
+T__4=5
+T__5=6
+T__6=7
+T__7=8
+T__8=9
+T__9=10
+T__10=11
+T__11=12
+T__12=13
+T__13=14
+T__14=15
+T__15=16
+T__16=17
+T__17=18
+T__18=19
+T__19=20
+T__20=21
+T__21=22
+ADDRESS_LITERAL=23
+BOOL_LITERAL=24
+NUMBER_LITERAL=25
+STRING_LITERAL=26
+BYTES_LITERAL=27
+IDENTIFIER=28
+WHITESPACE=29
+COMMENT=30
+'import'=1
+';'=2
+'pragma'=3
+'injected-only'=4
+'var'=5
+'inject'=6
+'('=7
+')'=8
+'constant'=9
+'='=10
+'artifact'=11
+'instance'=12
+'of'=13
+'takes'=14
+'with'=15
+'evaluate'=16
+'bool'=17
+'number'=18
+'string'=19
+'bytes'=20
+'address'=21
+','=22