@smile-digital-health/crl 0.7.0

package/dist/ast/builder.js

@@ -0,0 +1,389 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.CRLAstBuilder = void 0;
+const AbstractParseTreeVisitor_1 = require("antlr4ts/tree/AbstractParseTreeVisitor");
+const CRLParser_1 = require("../grammar/generated/antlr/CRLParser");
+const types_1 = require("./types");
+function getLocation(ctx) {
+    const start = ctx.start;
+    const stop = ctx.stop ?? start;
+    return {
+        start: {
+            line: start.line,
+            column: start.charPositionInLine,
+        },
+        end: {
+            line: stop.line,
+            column: stop.charPositionInLine + (stop.text?.length ?? 0),
+        },
+    };
+}
+class CRLAstBuilder extends AbstractParseTreeVisitor_1.AbstractParseTreeVisitor {
+    constructor() {
+        super(...arguments);
+        this.errors = [];
+    }
+    defaultResult() {
+        return null;
+    }
+    getErrors() {
+        return this.errors;
+    }
+    reportError(message, ctx, details) {
+        this.errors.push({
+            type: "Exception",
+            message,
+            line: ctx.start.line,
+            column: ctx.start.charPositionInLine,
+            details: {
+                location: getLocation(ctx),
+                ...details,
+            },
+        });
+    }
+    visitCrl(ctx) {
+        const statements = ctx.statement().map((s) => this.visit(s));
+        return { type: types_1.FileType.type, statements, location: getLocation(ctx) };
+    }
+    visitDecisionStatement(ctx) {
+        const name = ctx.decisionIdentifier().text.slice(1, -1);
+        const body = this.visit(ctx.decisionBody());
+        return { type: types_1.DecisionType.type, name, body, location: getLocation(ctx) };
+    }
+    visitDecisionBody(ctx) {
+        const statements = ctx.whenBlock().map((w) => this.visit(w));
+        return { type: types_1.DecisionBodyType.type, statements, location: getLocation(ctx) };
+    }
+    visitWhenWithBody(ctx) {
+        const conceptName = ctx.conceptReference().text.slice(1, -1);
+        const body = this.visit(ctx.blockBody());
+        return { type: types_1.WhenBlockType.type, conceptName, body, location: getLocation(ctx) };
+    }
+    visitWhenSingleAction(ctx) {
+        const conceptName = ctx.conceptReference().text.slice(1, -1);
+        const action = this.visit(ctx.singleActionStatement());
+        return { type: types_1.WhenBlockType.type, conceptName, body: action, location: getLocation(ctx) };
+    }
+    visitNestedWhenBlock(ctx) {
+        return this.visit(ctx.whenBlock());
+    }
+    visitBlockAction(ctx) {
+        const result = this.visit(ctx.actionStatement());
+        return result;
+    }
+    visitBlockBody(ctx) {
+        const qualifier = ctx.anyOrAllClause() ? ctx.anyOrAllClause().text.slice(0, -1) : undefined;
+        const statements = [];
+        for (const stmtCtx of ctx.blockStatement()) {
+            if (stmtCtx instanceof CRLParser_1.NestedWhenBlockContext) {
+                statements.push(this.visitNestedWhenBlock(stmtCtx));
+            }
+            else if (stmtCtx instanceof CRLParser_1.BlockActionContext) {
+                statements.push(this.visitBlockAction(stmtCtx));
+            }
+        }
+        return {
+            type: types_1.BlockBodyType.type,
+            qualifier,
+            statements,
+            location: getLocation(ctx),
+        };
+    }
+    visitSingleActionStatement(ctx) {
+        const action = this.visit(ctx.doStatement() ?? ctx.useStatement());
+        return { type: types_1.SingleActionType.type, action, location: getLocation(ctx) };
+    }
+    visitActionStatement(ctx) {
+        const doStmt = ctx.doStatement?.();
+        const useStmt = ctx.useStatement?.();
+        let action;
+        if (doStmt) {
+            action = this.visitDoStatement(doStmt);
+        }
+        else if (useStmt) {
+            action = this.visitUseStatement(useStmt);
+        }
+        else {
+            throw new Error("ActionStatement must have doStatement or useStatement");
+        }
+        return { type: "ActionStatement", action, location: getLocation(ctx) };
+    }
+    visitDoStatement(ctx) {
+        const activityName = ctx.activityReference().text.slice(1, -1);
+        const result = { type: types_1.DoActivityType.type, activityName, location: getLocation(ctx) };
+        return result;
+    }
+    visitUseStatement(ctx) {
+        const decisionName = ctx.decisionReference().text.slice(1, -1);
+        const result = { type: types_1.UseDecisionType.type, decisionName, location: getLocation(ctx) };
+        return result;
+    }
+    visitTerminologyStatement(ctx) {
+        const name = ctx.terminologyIdentifier().text.slice(1, -1);
+        let definition;
+        if (ctx.terminologyValueset()) {
+            definition = this.visit(ctx.terminologyValueset());
+        }
+        else if (ctx.terminologySystemCode()) {
+            definition = this.visit(ctx.terminologySystemCode());
+        }
+        else if (ctx.backtickString()) {
+            definition = {
+                type: "TerminologyFreeText",
+                value: ctx.backtickString().text.slice(1, -1),
+                location: getLocation(ctx),
+            };
+        }
+        return {
+            type: types_1.TerminologyType.type,
+            name,
+            definition: definition,
+            location: getLocation(ctx),
+        };
+    }
+    visitTerminologyValueset(ctx) {
+        const valuesetName = ctx.identifier().text.slice(1, -1);
+        return { type: types_1.TerminologyValuesetType.type, valuesetName, location: getLocation(ctx) };
+    }
+    visitTerminologySystemCode(ctx) {
+        let system = "";
+        let code = "";
+        if (ctx.backtickString && ctx.backtickString().length === 2) {
+            const systemNode = ctx.backtickString(0);
+            const codeNode = ctx.backtickString(1);
+            if (systemNode?.text)
+                system = systemNode.text.slice(1, -1);
+            if (codeNode?.text)
+                code = codeNode.text.slice(1, -1);
+        }
+        return { type: types_1.TerminologySystemCodeType.type, system, code, location: getLocation(ctx) };
+    }
+    parseWithClause(ctx) {
+        let terminologyReference;
+        let activityTypeValue;
+        if (ctx.WITH()) {
+            if (ctx.terminologyReference()) {
+                terminologyReference = ctx.terminologyReference().text.slice(1, -1);
+            }
+            else if (ctx.activityTypeValue()) {
+                const atv = ctx.activityTypeValue();
+                if (atv?.backtickString) {
+                    const backtickCtx = atv.backtickString();
+                    if (backtickCtx?.text !== undefined) {
+                        activityTypeValue = backtickCtx.text.slice(1, -1);
+                    }
+                }
+            }
+        }
+        return { terminologyReference, activityTypeValue };
+    }
+    parseRationaleClause(ctx) {
+        if (ctx.rationale) {
+            const rationaleCtx = ctx.rationale();
+            if (rationaleCtx?.backtickString) {
+                const backtickCtx = rationaleCtx.backtickString();
+                if (backtickCtx?.text !== undefined) {
+                    return backtickCtx.text.slice(1, -1);
+                }
+            }
+        }
+        return undefined;
+    }
+    visitActivityStatement(ctx) {
+        const name = ctx.activityIdentifier().text.slice(1, -1);
+        const perform = ctx.ACTIVITY_TYPE().text;
+        const { terminologyReference, activityTypeValue } = this.parseWithClause(ctx);
+        const rationale = this.parseRationaleClause(ctx);
+        return {
+            type: "Activity",
+            name,
+            perform,
+            terminologyReference,
+            activityTypeValue,
+            rationale,
+            location: getLocation(ctx),
+        };
+    }
+    parseConceptTypes(bodyCtx, ctx) {
+        const typeLine = bodyCtx.typeLine?.();
+        const valueTypeLine = bodyCtx.valueTypeLine?.();
+        if (!typeLine || !valueTypeLine) {
+            this.reportError("AstError", ctx, {
+                message: "ConceptStatement: missing type or valueType line",
+            });
+            return null;
+        }
+        let conceptTypeToken, valueTypeToken;
+        try {
+            conceptTypeToken = typeLine.CONCEPT_TYPE();
+        }
+        catch {
+            conceptTypeToken = undefined;
+        }
+        try {
+            valueTypeToken = valueTypeLine.CONCEPT_VALUE_TYPE();
+        }
+        catch {
+            valueTypeToken = undefined;
+        }
+        if (!conceptTypeToken || !valueTypeToken) {
+            this.reportError("AstError", ctx, {
+                message: "ConceptStatement: missing CONCEPT_TYPE or CONCEPT_VALUE_TYPE token",
+            });
+            return null;
+        }
+        return {
+            conceptType: conceptTypeToken.text,
+            valueType: valueTypeToken.text,
+        };
+    }
+    parseEvidence(bodyCtx) {
+        if (bodyCtx.evidenceLine?.()) {
+            const evidenceCtx = bodyCtx.evidenceLine?.();
+            if (evidenceCtx?.backtickString) {
+                const backtickCtx = evidenceCtx.backtickString();
+                if (backtickCtx?.text !== undefined) {
+                    return backtickCtx.text.slice(1, -1);
+                }
+                else if (backtickCtx?.BACKTICK_STRING) {
+                    const token = backtickCtx.BACKTICK_STRING();
+                    if (token?.text !== undefined) {
+                        return token.text.slice(1, -1);
+                    }
+                }
+            }
+        }
+        return undefined;
+    }
+    parseConceptDefinition(bodyCtx, ctx) {
+        if (bodyCtx.codedFromLine?.()) {
+            const codedFrom = bodyCtx.codedFromLine();
+            const termRef = codedFrom?.terminologyReference?.()?.text?.slice(1, -1);
+            if (!termRef) {
+                this.reportError("AstError", ctx, {
+                    message: "ConceptStatement: missing terminologyReference in codedFromLine",
+                });
+                return null;
+            }
+            return {
+                type: types_1.CodedFromDefinitionType.type,
+                terminologyName: termRef,
+                location: getLocation(bodyCtx.codedFromLine()),
+            };
+        }
+        else if (bodyCtx.inferredFromLine?.()) {
+            const infCtx = bodyCtx.inferredFromLine();
+            if (!infCtx) {
+                this.reportError("AstError", ctx, {
+                    message: "ConceptStatement: inferredFromLine() unexpectedly returned undefined",
+                });
+                return null;
+            }
+            return this.visit(infCtx);
+        }
+        else {
+            this.reportError("AstError", ctx, {
+                message: "ConceptStatement must have either codedFromLine or inferredFromLine",
+            });
+            return null;
+        }
+    }
+    visitConceptStatement(ctx) {
+        const name = ctx.conceptIdentifier?.()?.text?.slice(1, -1);
+        const bodyCtx = ctx.conceptBody?.();
+        if (!name || !bodyCtx) {
+            this.reportError("AstError", ctx, {
+                message: "ConceptStatement: missing conceptIdentifier or conceptBody",
+            });
+            return null;
+        }
+        const types = this.parseConceptTypes(bodyCtx, ctx);
+        if (!types) {
+            return null;
+        }
+        const { conceptType, valueType } = types;
+        const evidence = this.parseEvidence(bodyCtx);
+        const definition = this.parseConceptDefinition(bodyCtx, ctx);
+        if (!definition) {
+            return null;
+        }
+        return {
+            type: "Concept",
+            name,
+            conceptType,
+            valueType,
+            evidence,
+            definition,
+            location: getLocation(ctx),
+        };
+    }
+    visitInferredFromLine(ctx) {
+        const defCtx = ctx.inferredBody();
+        const body = this.visit(defCtx);
+        return { type: types_1.InferredFromDefinitionType.type, body, location: getLocation(ctx) };
+    }
+    visitDefinitionConcept(ctx) {
+        const refCtx = ctx.inferredFromConceptReference();
+        let pat = undefined;
+        if (refCtx.patternStatement) {
+            const patternCtx = refCtx.patternStatement();
+            if (patternCtx?.patternName?.().backtickString) {
+                const backtickCtx = patternCtx.patternName().backtickString();
+                if (backtickCtx?.text !== undefined) {
+                    pat = backtickCtx.text.slice(1, -1);
+                }
+            }
+        }
+        const concept = refCtx.conceptReference().text.slice(1, -1);
+        return {
+            type: types_1.InferredFromConceptType.type,
+            pattern: pat,
+            concept,
+            location: getLocation(ctx),
+        };
+    }
+    visitDefinitionLogic(ctx) {
+        const descCtx = ctx.inferredFromDescriptiveLogic();
+        const exprCtx = descCtx.inferredFromExpression();
+        return this.visit(exprCtx);
+    }
+    visitInferredFromExpression(ctx) {
+        return this.visit(ctx.informalOr());
+    }
+    visitInformalOr(ctx) {
+        const terms = ctx.informalAnd().map((a) => this.visit(a));
+        if (ctx.OR().length) {
+            return { type: types_1.InformalOrType.type, terms, location: getLocation(ctx) };
+        }
+        return terms[0];
+    }
+    visitInformalAnd(ctx) {
+        const terms = ctx
+            .informalNot()
+            .map((n) => this.visit(n));
+        if (ctx.AND().length) {
+            return { type: types_1.InformalAndType.type, terms, location: getLocation(ctx) };
+        }
+        return terms[0];
+    }
+    visitInformalNot(ctx) {
+        if (ctx.NOT()) {
+            return {
+                type: types_1.NotExpressionType.type,
+                expression: this.visit(ctx.informalNot()),
+                location: getLocation(ctx),
+            };
+        }
+        return this.visit(ctx.atom());
+    }
+    visitConceptAtom(ctx) {
+        const name = ctx.conceptReference().text.slice(1, -1);
+        return { type: types_1.ConceptReferenceType.type, name, location: getLocation(ctx) };
+    }
+    visitGroupExpression(ctx) {
+        const expr = this.visit(ctx.inferredFromExpression());
+        return { type: types_1.GroupExpressionType.type, expression: expr, location: getLocation(ctx) };
+    }
+}
+exports.CRLAstBuilder = CRLAstBuilder;
+//# sourceMappingURL=builder.js.map

package/dist/ast/builder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"builder.js","sourceRoot":"","sources":["../../src/ast/builder.ts"],"names":[],"mappings":";;;AACA,qFAAkF;AAElF,oEA0B8C;AAI9C,mCAiDiB;AAKjB,SAAS,WAAW,CAAC,GAAsB;IACzC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC;IACxB,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,IAAI,KAAK,CAAC;IAE/B,OAAO;QACL,KAAK,EAAE;YACL,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,MAAM,EAAE,KAAK,CAAC,kBAAkB;SACjC;QACD,GAAG,EAAE;YACH,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,MAAM,EAAE,IAAI,CAAC,kBAAkB,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,IAAI,CAAC,CAAC;SAC3D;KACF,CAAC;AACJ,CAAC;AAED,MAAa,aACX,SAAQ,mDAAiC;IAD3C;;QAImB,WAAM,GAAe,EAAE,CAAC;IA8a3C,CAAC;IA5aW,aAAa;QACrB,OAAO,IAA0B,CAAC;IACpC,CAAC;IAED,SAAS;QACP,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IAES,WAAW,CACnB,OAAe,EACf,GAAsB,EACtB,OAAiC;QAEjC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,WAAW;YACjB,OAAO;YACP,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI;YACpB,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,kBAAkB;YACpC,OAAO,EAAE;gBACP,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC;gBAC1B,GAAG,OAAO;aACX;SACF,CAAC,CAAC;IACL,CAAC;IAED,QAAQ,CAAC,GAAe;QACtB,MAAM,UAAU,GAAG,GAAG,CAAC,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAc,CAAC,CAAC;QAC1E,OAAO,EAAE,IAAI,EAAE,gBAAQ,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;IACzE,CAAC;IAED,sBAAsB,CAAC,GAA6B;QAClD,MAAM,IAAI,GAAG,GAAG,CAAC,kBAAkB,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,EAAG,CAAiB,CAAC;QAC7D,OAAO,EAAE,IAAI,EAAE,oBAAY,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;IAC7E,CAAC;IAED,iBAAiB,CAAC,GAAwB;QACxC,MAAM,UAAU,GAAG,GAAG,CAAC,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAc,CAAC,CAAC;QAC1E,OAAO,EAAE,IAAI,EAAE,wBAAgB,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;IACjF,CAAC;IAED,iBAAiB,CAAC,GAAwB;QACxC,MAAM,WAAW,GAAG,GAAG,CAAC,gBAAgB,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,EAAG,CAAc,CAAC;QACvD,OAAO,EAAE,IAAI,EAAE,qBAAa,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;IACrF,CAAC;IAED,qBAAqB,CAAC,GAA4B;QAChD,MAAM,WAAW,GAAG,GAAG,CAAC,gBAAgB,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,qBAAqB,EAAG,CAAiB,CAAC;QACxE,OAAO,EAAE,IAAI,EAAE,qBAAa,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;IAC7F,CAAC;IAED,oBAAoB,CAAC,GAA2B;QAC9C,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,CAAc,CAAC;IAClD,CAAC;IACD,gBAAgB,CAAC,GAAuB;QACtC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,eAAe,EAAE,CAAoB,CAAC;QACpE,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,cAAc,CAAC,GAAqB;QAElC,MAAM,SAAS,GAAG,GAAG,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,cAAc,EAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAE7F,MAAM,UAAU,GAAoC,EAAE,CAAC;QAGvD,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,cAAc,EAAE,EAAE,CAAC;YAC3C,IAAI,OAAO,YAAY,kCAAsB,EAAE,CAAC;gBAE9C,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC,CAAC;YACtD,CAAC;iBAAM,IAAI,OAAO,YAAY,8BAAkB,EAAE,CAAC;gBAEjD,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;QAED,OAAO;YACL,IAAI,EAAE,qBAAa,CAAC,IAAI;YACxB,SAAS;YACT,UAAU;YACV,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC;SAC3B,CAAC;IACJ,CAAC;IAED,0BAA0B,CAAC,GAAiC;QAC1D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE,IAAI,GAAG,CAAC,YAAY,EAAG,CAA6B,CAAC;QAChG,OAAO,EAAE,IAAI,EAAE,wBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;IAC7E,CAAC;IAED,oBAAoB,CAClB,GAA0E;QAE1E,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,EAAE,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,GAAG,CAAC,YAAY,EAAE,EAAE,CAAC;QACrC,IAAI,MAAgC,CAAC;QACrC,IAAI,MAAM,EAAE,CAAC;YACX,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACzC,CAAC;aAAM,IAAI,OAAO,EAAE,CAAC;YACnB,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;QAC3C,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;QAC3E,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;IACzE,CAAC;IAED,gBAAgB,CAAC,GAAuB;QACtC,MAAM,YAAY,GAAG,GAAG,CAAC,iBAAiB,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/D,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,sBAAc,CAAC,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;QACvF,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,iBAAiB,CAAC,GAAwB;QACxC,MAAM,YAAY,GAAG,GAAG,CAAC,iBAAiB,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/D,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,uBAAe,CAAC,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;QACxF,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,yBAAyB,CAAC,GAAgC;QACxD,MAAM,IAAI,GAAG,GAAG,CAAC,qBAAqB,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3D,IAAI,UAGkE,CAAC;QACvE,IAAI,GAAG,CAAC,mBAAmB,EAAE,EAAE,CAAC;YAC9B,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,mBAAmB,EAAG,CAAwB,CAAC;QAC7E,CAAC;aAAM,IAAI,GAAG,CAAC,qBAAqB,EAAE,EAAE,CAAC;YACvC,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,qBAAqB,EAAG,CAA0B,CAAC;QACjF,CAAC;aAAM,IAAI,GAAG,CAAC,cAAc,EAAE,EAAE,CAAC;YAEhC,UAAU,GAAG;gBACX,IAAI,EAAE,qBAAqB;gBAC3B,KAAK,EAAE,GAAG,CAAC,cAAc,EAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC9C,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC;aAC3B,CAAC;QACJ,CAAC;QACD,OAAO;YACL,IAAI,EAAE,uBAAe,CAAC,IAAI;YAC1B,IAAI;YACJ,UAAU,EAAE,UAAW;YACvB,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC;SAC3B,CAAC;IACJ,CAAC;IAED,wBAAwB,CAAC,GAA+B;QACtD,MAAM,YAAY,GAAG,GAAG,CAAC,UAAU,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxD,OAAO,EAAE,IAAI,EAAE,+BAAuB,CAAC,IAAI,EAAE,YAAY,EAAE,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;IAC1F,CAAC;IACD,0BAA0B,CAAC,GAAiC;QAE1D,IAAI,MAAM,GAAG,EAAE,CAAC;QAChB,IAAI,IAAI,GAAG,EAAE,CAAC;QACd,IAAI,GAAG,CAAC,cAAc,IAAI,GAAG,CAAC,cAAc,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5D,MAAM,UAAU,GAAG,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;YACzC,MAAM,QAAQ,GAAG,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;YACvC,IAAI,UAAU,EAAE,IAAI;gBAAE,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC5D,IAAI,QAAQ,EAAE,IAAI;gBAAE,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxD,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,iCAAyB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;IAC5F,CAAC;IAEO,eAAe,CACrB,GAA4E;QAE5E,IAAI,oBAAwC,CAAC;QAC7C,IAAI,iBAAqC,CAAC;QAC1C,IAAI,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC;YACf,IAAI,GAAG,CAAC,oBAAoB,EAAE,EAAE,CAAC;gBAC/B,oBAAoB,GAAG,GAAG,CAAC,oBAAoB,EAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACvE,CAAC;iBAAM,IAAI,GAAG,CAAC,iBAAiB,EAAE,EAAE,CAAC;gBACnC,MAAM,GAAG,GAAG,GAAG,CAAC,iBAAiB,EAAE,CAAC;gBACpC,IAAI,GAAG,EAAE,cAAc,EAAE,CAAC;oBACxB,MAAM,WAAW,GAAG,GAAG,CAAC,cAAc,EAAE,CAAC;oBACzC,IAAI,WAAW,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;wBACpC,iBAAiB,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;oBACpD,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,CAAC;IACrD,CAAC;IAEO,oBAAoB,CAC1B,GAA4E;QAE5E,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;YAClB,MAAM,YAAY,GAAG,GAAG,CAAC,SAAS,EAAE,CAAC;YACrC,IAAI,YAAY,EAAE,cAAc,EAAE,CAAC;gBACjC,MAAM,WAAW,GAAG,YAAY,CAAC,cAAc,EAAE,CAAC;gBAClD,IAAI,WAAW,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;oBACpC,OAAO,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBACvC,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,sBAAsB,CAAC,GAA6B;QAClD,MAAM,IAAI,GAAG,GAAG,CAAC,kBAAkB,EAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzD,MAAM,OAAO,GAAG,GAAG,CAAC,aAAa,EAAG,CAAC,IAAoB,CAAC;QAC1D,MAAM,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;QAC9E,MAAM,SAAS,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC;QACjD,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,IAAI;YACJ,OAAO;YACP,oBAAoB;YACpB,iBAAiB;YACjB,SAAS;YACT,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC;SAC3B,CAAC;IACJ,CAAC;IAEO,iBAAiB,CACvB,OAA0E,EAC1E,GAA2E;QAE3E,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC;QACtC,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC;QAChD,IAAI,CAAC,QAAQ,IAAI,CAAC,aAAa,EAAE,CAAC;YAChC,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,GAAG,EAAE;gBAChC,OAAO,EAAE,kDAAkD;aAC5D,CAAC,CAAC;YACH,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,gBAAgB,EAAE,cAAc,CAAC;QACrC,IAAI,CAAC;YACH,gBAAgB,GAAG,QAAQ,CAAC,YAAY,EAAE,CAAC;QAC7C,CAAC;QAAC,MAAM,CAAC;YACP,gBAAgB,GAAG,SAAS,CAAC;QAC/B,CAAC;QACD,IAAI,CAAC;YACH,cAAc,GAAG,aAAa,CAAC,kBAAkB,EAAE,CAAC;QACtD,CAAC;QAAC,MAAM,CAAC;YACP,cAAc,GAAG,SAAS,CAAC;QAC7B,CAAC;QACD,IAAI,CAAC,gBAAgB,IAAI,CAAC,cAAc,EAAE,CAAC;YACzC,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,GAAG,EAAE;gBAChC,OAAO,EAAE,oEAAoE;aAC9E,CAAC,CAAC;YACH,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO;YACL,WAAW,EAAE,gBAAgB,CAAC,IAAmB;YACjD,SAAS,EAAE,cAAc,CAAC,IAAwB;SACnD,CAAC;IACJ,CAAC;IAEO,aAAa,CACnB,OAA0E;QAE1E,IAAI,OAAO,CAAC,YAAY,EAAE,EAAE,EAAE,CAAC;YAC7B,MAAM,WAAW,GAAG,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC;YAC7C,IAAI,WAAW,EAAE,cAAc,EAAE,CAAC;gBAChC,MAAM,WAAW,GAAG,WAAW,CAAC,cAAc,EAAE,CAAC;gBACjD,IAAI,WAAW,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;oBACpC,OAAO,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBACvC,CAAC;qBAAM,IAAI,WAAW,EAAE,eAAe,EAAE,CAAC;oBACxC,MAAM,KAAK,GAAG,WAAW,CAAC,eAAe,EAAE,CAAC;oBAC5C,IAAI,KAAK,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;wBAC9B,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;oBACjC,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAEO,sBAAsB,CAC5B,OAA0E,EAC1E,GAA2E;QAE3E,IAAI,OAAO,CAAC,aAAa,EAAE,EAAE,EAAE,CAAC;YAC9B,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC;YAC1C,MAAM,OAAO,GAAG,SAAS,EAAE,oBAAoB,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACxE,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,GAAG,EAAE;oBAChC,OAAO,EAAE,iEAAiE;iBAC3E,CAAC,CAAC;gBACH,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO;gBACL,IAAI,EAAE,+BAAuB,CAAC,IAAI;gBAClC,eAAe,EAAE,OAAO;gBACxB,QAAQ,EAAE,WAAW,CAAC,OAAO,CAAC,aAAa,EAAG,CAAC;aAChD,CAAC;QACJ,CAAC;aAAM,IAAI,OAAO,CAAC,gBAAgB,EAAE,EAAE,EAAE,CAAC;YACxC,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC;YAC1C,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,GAAG,EAAE;oBAChC,OAAO,EAAE,sEAAsE;iBAChF,CAAC,CAAC;gBACH,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAA2B,CAAC;QACtD,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,GAAG,EAAE;gBAChC,OAAO,EAAE,qEAAqE;aAC/E,CAAC,CAAC;YACH,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,qBAAqB,CAAC,GAA4B;QAChD,MAAM,IAAI,GAAG,GAAG,CAAC,iBAAiB,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,OAAO,GAAG,GAAG,CAAC,WAAW,EAAE,EAAE,CAAC;QACpC,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACtB,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,GAAG,EAAE;gBAChC,OAAO,EAAE,4DAA4D;aACtE,CAAC,CAAC;YACH,OAAO,IAA0B,CAAC;QACpC,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACnD,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO,IAA0B,CAAC;QACpC,CAAC;QACD,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC;QACzC,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;QAC7C,MAAM,UAAU,GAAG,IAAI,CAAC,sBAAsB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC7D,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,IAA0B,CAAC;QACpC,CAAC;QACD,OAAO;YACL,IAAI,EAAE,SAAS;YACf,IAAI;YACJ,WAAW;YACX,SAAS;YACT,QAAQ;YACR,UAAU;YACV,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC;SAC3B,CAAC;IACJ,CAAC;IAED,qBAAqB,CAAC,GAA4B;QAChD,MAAM,MAAM,GAAG,GAAG,CAAC,YAAY,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAKX,CAAC;QACpB,OAAO,EAAE,IAAI,EAAE,kCAA0B,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;IACrF,CAAC;IAED,sBAAsB,CAAC,GAA6B;QAClD,MAAM,MAAM,GAAG,GAAG,CAAC,4BAA4B,EAAE,CAAC;QAClD,IAAI,GAAG,GAAuB,SAAS,CAAC;QACxC,IAAI,MAAM,CAAC,gBAAgB,EAAE,CAAC;YAC5B,MAAM,UAAU,GAAG,MAAM,CAAC,gBAAgB,EAAE,CAAC;YAC7C,IAAI,UAAU,EAAE,WAAW,EAAE,EAAE,CAAC,cAAc,EAAE,CAAC;gBAC/C,MAAM,WAAW,GAAG,UAAU,CAAC,WAAW,EAAE,CAAC,cAAc,EAAE,CAAC;gBAC9D,IAAI,WAAW,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;oBACpC,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBACtC,CAAC;YACH,CAAC;QACH,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,CAAC,gBAAgB,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5D,OAAO;YACL,IAAI,EAAE,+BAAuB,CAAC,IAAI;YAClC,OAAO,EAAE,GAAG;YACZ,OAAO;YACP,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC;SAC3B,CAAC;IACJ,CAAC;IAED,oBAAoB,CAAC,GAA2B;QAE9C,MAAM,OAAO,GAAG,GAAG,CAAC,4BAA4B,EAAE,CAAC;QAEnD,MAAM,OAAO,GAAG,OAAO,CAAC,sBAAsB,EAAE,CAAC;QAEjD,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAoB,CAAC;IAChD,CAAC;IAED,2BAA2B,CAAC,GAAkC;QAC5D,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,CAAiB,CAAC;IACtD,CAAC;IAED,eAAe,CAAC,GAAsB;QACpC,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC,GAAG,CAAC,CAAC,CAAqB,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAiB,CAAC,CAAC;QAC9F,IAAI,GAAG,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC;YAEpB,OAAO,EAAE,IAAI,EAAE,sBAAc,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;QAC1E,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,CAAe,CAAC;IAChC,CAAC;IAED,gBAAgB,CACd,GAAuB;QAEvB,MAAM,KAAK,GAAG,GAAG;aACd,WAAW,EAAE;aACb,GAAG,CACF,CAAC,CAAqB,EAAE,EAAE,CACxB,IAAI,CAAC,KAAK,CAAC,CAAC,CAAqE,CACpF,CAAC;QACJ,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC;YACrB,OAAO,EAAE,IAAI,EAAE,uBAAe,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3E,CAAC;QACD,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,gBAAgB,CAAC,GAAuB;QACtC,IAAI,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC;YACd,OAAO;gBACL,IAAI,EAAE,yBAAiB,CAAC,IAAI;gBAC5B,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,EAAG,CAA2B;gBACpE,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC;aAC3B,CAAC;QACJ,CAAC;QACD,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAG,CAA2B,CAAC;IAC3D,CAAC;IAED,gBAAgB,CAAC,GAAuB;QACtC,MAAM,IAAI,GAAG,GAAG,CAAC,gBAAgB,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtD,OAAO,EAAE,IAAI,EAAE,4BAAoB,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;IAC/E,CAAC;IACD,oBAAoB,CAAC,GAA2B;QAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,sBAAsB,EAAE,CAKjC,CAAC;QACpB,OAAO,EAAE,IAAI,EAAE,2BAAmB,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;IAC1F,CAAC;CACF;AAlbD,sCAkbC"}

package/dist/ast/types.d.ts

@@ -0,0 +1,223 @@
+import type { ActivityType } from "../grammar/activityTypes";
+import type { ConceptType } from "../grammar/conceptTypes";
+import type { ConceptValueType } from "../grammar/conceptValueTypes";
+export interface ASTNode {
+    type: string;
+    location: {
+        start: {
+            line: number;
+            column: number;
+        };
+        end: {
+            line: number;
+            column: number;
+        };
+    };
+}
+export interface CRL extends ASTNode {
+    type: "CRL";
+    statements: Statement[];
+    location: Location;
+}
+export declare const FileType: {
+    type: "CRL";
+};
+export type Statement = Decision | Concept | Activity | Terminology;
+export interface Decision extends ASTNode {
+    type: "Decision";
+    name: string;
+    body: DecisionBody;
+    location: Location;
+}
+export declare const DecisionType: {
+    type: "Decision";
+};
+export interface DecisionBody extends ASTNode {
+    type: "DecisionBody";
+    statements: WhenBlock[];
+    location: Location;
+}
+export declare const DecisionBodyType: {
+    type: "DecisionBody";
+};
+export interface WhenBlock extends ASTNode {
+    type: "WhenBlock";
+    conceptName: string;
+    body: BlockBody | SingleAction;
+    location: Location;
+}
+export declare const WhenBlockType: {
+    type: "WhenBlock";
+};
+export type WhenBlockBody = BlockBody | SingleAction;
+export interface BlockBody extends ASTNode {
+    type: "BlockBody";
+    qualifier?: string;
+    statements: (WhenBlock | ActionStatement)[];
+    location: Location;
+}
+export declare const BlockBodyType: {
+    type: "BlockBody";
+};
+export interface SingleAction extends ASTNode {
+    type: "SingleAction";
+    action: Action;
+    location: Location;
+}
+export declare const SingleActionType: {
+    type: "SingleAction";
+};
+export interface ActionStatement extends ASTNode {
+    type: "ActionStatement";
+    action: Action;
+    location: Location;
+}
+export declare const ActionStatementType: {
+    type: "ActionStatement";
+};
+export interface DoActivity extends ASTNode {
+    type: "DoActivity";
+    activityName: string;
+    location: Location;
+}
+export declare const DoActivityType: {
+    type: "DoActivity";
+};
+export interface UseDecision extends ASTNode {
+    type: "UseDecision";
+    decisionName: string;
+    location: Location;
+}
+export declare const UseDecisionType: {
+    type: "UseDecision";
+};
+export interface Terminology extends ASTNode {
+    type: "Terminology";
+    name: string;
+    definition: TerminologyDefinition;
+    location: Location;
+}
+export declare const TerminologyType: {
+    type: "Terminology";
+};
+export type TerminologyDefinition = TerminologyValueset | TerminologyFreeText | TerminologySystemCode;
+export interface TerminologyValueset extends ASTNode {
+    type: "TerminologyValueset";
+    valuesetName: string;
+    location: Location;
+}
+export declare const TerminologyValuesetType: {
+    type: "TerminologyValueset";
+};
+export interface TerminologyFreeText extends ASTNode {
+    type: "TerminologyFreeText";
+    value: string;
+    location: Location;
+}
+export declare const TerminologyFreeTextType: {
+    type: "TerminologyFreeText";
+};
+export interface TerminologySystemCode extends ASTNode {
+    type: "TerminologySystemCode";
+    system: string;
+    code: string;
+    location: Location;
+}
+export declare const TerminologySystemCodeType: {
+    type: "TerminologySystemCode";
+};
+export interface Activity extends ASTNode {
+    type: "Activity";
+    name: string;
+    perform: ActivityType;
+    terminologyReference?: string;
+    activityTypeValue?: string;
+    rationale?: string;
+    location: Location;
+}
+export interface Concept extends ASTNode {
+    type: "Concept";
+    name: string;
+    conceptType: ConceptType;
+    valueType: ConceptValueType;
+    definition: ConceptDefinition;
+    evidence?: string;
+    location: Location;
+}
+export type ConceptDefinition = CodedFromDefinition | InferredFromDefinition;
+export interface CodedFromDefinition extends ASTNode {
+    type: "CodedFromDefinition";
+    terminologyName: string;
+    location: Location;
+}
+export declare const CodedFromDefinitionType: {
+    type: "CodedFromDefinition";
+};
+export interface ConceptReference extends ASTNode {
+    type: "ConceptReference";
+    name: string;
+}
+export declare const ConceptReferenceType: {
+    type: "ConceptReference";
+};
+export interface InformalAnd extends ASTNode {
+    type: "AndExpression";
+    terms: InferredFromExpression[];
+}
+export declare const InformalAndType: {
+    type: "AndExpression";
+};
+export interface InformalOr extends ASTNode {
+    type: "OrExpression";
+    terms: InferredFromExpression[];
+}
+export declare const InformalOrType: {
+    type: "OrExpression";
+};
+export interface NotExpression extends ASTNode {
+    type: "NotExpression";
+    expression: InferredFromExpression;
+}
+export declare const NotExpressionType: {
+    type: "NotExpression";
+};
+export type InferredFromExpression = ConceptReference | InformalAnd | InformalOr | GroupExpression | NotExpression;
+export interface GroupExpression extends ASTNode {
+    type: "GroupExpression";
+    expression: InferredFromExpression;
+}
+export declare const GroupExpressionType: {
+    type: "GroupExpression";
+};
+export interface InferredFromConcept extends ASTNode {
+    type: "InferredFromDefinitionConcept";
+    concept: string;
+    pattern?: string;
+}
+export declare const InferredFromConceptType: {
+    type: "InferredFromDefinitionConcept";
+};
+export interface InferredFromDefinition extends ASTNode {
+    type: "InferredFromDefinition";
+    body: InferredFromConcept | InferredFromExpression;
+}
+export declare const InferredFromDefinitionType: {
+    type: "InferredFromDefinition";
+};
+export interface Location {
+    start: {
+        line: number;
+        column: number;
+    };
+    end: {
+        line: number;
+        column: number;
+    };
+}
+export type Action = DoActivity | UseDecision;
+export type { ActivityType } from "../grammar/activityTypes";
+export type { ConceptType } from "../grammar/conceptTypes";
+export type { ConceptValueType } from "../grammar/conceptValueTypes";
+export { activityTypes } from "../grammar/activityTypes";
+export { conceptTypes } from "../grammar/conceptTypes";
+export { conceptValueTypes } from "../grammar/conceptValueTypes";