@open-rap/compiler 0.0.0-stage → 0.1.0

package/dist/bdef/ast.d.ts

@@ -0,0 +1,249 @@
+/** Abstract syntax tree of a behavior definition (BDEF), as built by the Chevrotain parser. */
+/** 1-based position in the BDEF source. */
+export interface Loc {
+    line: number;
+    column: number;
+}
+export interface Name {
+    text: string;
+    loc: Loc;
+}
+export interface Cardinality {
+    min: number;
+    max: number | "*";
+}
+export type ImplementationKind = "managed" | "unmanaged" | "abstract" | "projection" | "interface";
+export type HeaderItemAst = {
+    kind: "implementation";
+    type: ImplementationKind;
+    className?: Name;
+    unique: boolean;
+    saving?: {
+        variant: "additional" | "unmanaged";
+        fullData: boolean;
+    };
+    loc: Loc;
+} | {
+    kind: "strict";
+    version: number;
+    loc: Loc;
+} | {
+    kind: "withDraft";
+    collaborative?: true;
+    loc: Loc;
+} | {
+    kind: "privilegedMode";
+    disabling?: Name;
+    loc: Loc;
+} | {
+    kind: "use";
+    what: string;
+    loc: Loc;
+} | {
+    kind: "foreignEntity";
+    name: Name;
+    loc: Loc;
+} | {
+    kind: "unknown";
+    text: string;
+    loc: Loc;
+};
+export type EntityOptionAst = {
+    kind: "persistentTable";
+    table: Name;
+    loc: Loc;
+} | {
+    kind: "draftTable";
+    table: Name;
+    loc: Loc;
+} | {
+    kind: "lockMaster";
+    unmanaged: boolean;
+    loc: Loc;
+} | {
+    kind: "lockDependent";
+    by?: Name;
+    loc: Loc;
+} | {
+    kind: "authorizationMaster";
+    values: string[];
+    loc: Loc;
+} | {
+    kind: "authorizationDependent";
+    by?: Name;
+    loc: Loc;
+} | {
+    kind: "etagMaster";
+    field: Name;
+    loc: Loc;
+} | {
+    kind: "etagDependent";
+    by?: Name;
+    loc: Loc;
+} | {
+    kind: "totalEtag";
+    field: Name;
+    loc: Loc;
+} | {
+    kind: "earlyNumbering";
+    loc: Loc;
+} | {
+    kind: "lateNumbering";
+    inPlace: boolean;
+    loc: Loc;
+} | {
+    kind: "implementationInClass";
+    className: Name;
+    unique: boolean;
+    loc: Loc;
+} | {
+    kind: "withSave";
+    variant: "additional" | "unmanaged";
+    fullData: boolean;
+    loc: Loc;
+} | {
+    kind: "useEtag";
+    loc: Loc;
+} | {
+    kind: "unknown";
+    text: string;
+    loc: Loc;
+};
+export interface OperationOptionAst {
+    name: string;
+    value?: string;
+    loc: Loc;
+}
+export interface TriggerAst {
+    create: boolean;
+    update: boolean;
+    delete: boolean;
+    fields: Name[];
+}
+export interface ResultAst {
+    selective: boolean;
+    cardinality: Cardinality;
+    /** `$self`, or the name of an entity. */
+    entity: Name;
+    /** `result [1] entity X` (entity result) rather than a structure. */
+    entityKeyword: boolean;
+}
+export interface SideEffectAst {
+    trigger: {
+        kind: "field" | "action" | "determineAction";
+        name: Name;
+    };
+    targets: Array<{
+        kind: "field" | "entity" | "messages" | "permissions" | "unknown";
+        path: string;
+    }>;
+    loc: Loc;
+}
+export type BodyItemAst = {
+    kind: "operation";
+    op: "create" | "update" | "delete";
+    internal: boolean;
+    options: OperationOptionAst[];
+    loc: Loc;
+} | {
+    kind: "useOperation";
+    op: "create" | "update" | "delete";
+    options: OperationOptionAst[];
+    loc: Loc;
+} | {
+    kind: "association";
+    name: Name;
+    internal: boolean;
+    abbreviation?: Name;
+    create?: {
+        internal: boolean;
+        options: OperationOptionAst[];
+    };
+    withDraft: boolean;
+    loc: Loc;
+} | {
+    kind: "useAssociation";
+    name: Name;
+    create: boolean;
+    withDraft: boolean;
+    loc: Loc;
+} | {
+    kind: "field";
+    characteristics: Array<{
+        text: string;
+        loc: Loc;
+    }>;
+    fields: Name[];
+    loc: Loc;
+} | {
+    kind: "determination";
+    name: Name;
+    on: "modify" | "save";
+    internal: boolean;
+    triggers: TriggerAst;
+    loc: Loc;
+} | {
+    kind: "validation";
+    name: Name;
+    on: "save";
+    triggers: TriggerAst;
+    loc: Loc;
+} | {
+    kind: "action";
+    actionKind: "action" | "function";
+    name: Name;
+    internal: boolean;
+    static: boolean;
+    factory: boolean;
+    options: OperationOptionAst[];
+    external?: string;
+    parameter?: Name;
+    result?: ResultAst;
+    factoryCardinality?: Cardinality;
+    loc: Loc;
+} | {
+    kind: "useAction";
+    actionKind: "action" | "function";
+    name: Name;
+    alias?: Name;
+    loc: Loc;
+} | {
+    kind: "mapping";
+    table: Name;
+    corresponding: boolean;
+    pairs: Array<{
+        field: Name;
+        column: Name;
+    }>;
+    loc: Loc;
+} | {
+    kind: "sideEffects";
+    items: SideEffectAst[];
+    loc: Loc;
+} | {
+    kind: "unsupported";
+    what: string;
+    text: string;
+    loc: Loc;
+} | {
+    kind: "unknown";
+    text: string;
+    loc: Loc;
+};
+export interface BehaviorAst {
+    root: boolean;
+    entity: Name;
+    alias?: Name;
+    options: EntityOptionAst[];
+    items: BodyItemAst[];
+    loc: Loc;
+}
+export interface BdefAst {
+    headers: HeaderItemAst[];
+    behaviors: BehaviorAst[];
+    /** Top-level statements other than headers and `define behavior for` (e.g. authorization contexts). */
+    others: Array<{
+        text: string;
+        loc: Loc;
+    }>;
+}

package/dist/bdef/ast.js

@@ -0,0 +1,3 @@
+/** Abstract syntax tree of a behavior definition (BDEF), as built by the Chevrotain parser. */
+export {};
+//# sourceMappingURL=ast.js.map

package/dist/bdef/ast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.js","sourceRoot":"","sources":["../../src/bdef/ast.ts"],"names":[],"mappings":"AAAA,+FAA+F"}

package/dist/bdef/lexer.d.ts

@@ -0,0 +1,105 @@
+/**
+ * Lexer of behavior definitions (BDEF).
+ *
+ * BDEF keywords are case-insensitive and are not reserved: every keyword token also belongs to the
+ * `Name` category, so a keyword can be used wherever a name is expected (an entity alias called
+ * `Data`, a field called `Mode`…).
+ */
+import { Lexer, type TokenType } from "chevrotain";
+/** Every token except `;`, `{` and `}`: used to skip unknown statements. */
+export declare const Any: TokenType;
+export declare const Name: TokenType;
+export declare const WhiteSpace: TokenType;
+export declare const LineComment: TokenType;
+export declare const BlockComment: TokenType;
+export declare const Identifier: TokenType;
+export declare const StringLiteral: TokenType;
+export declare const Integer: TokenType;
+export declare const LCurly: TokenType;
+export declare const RCurly: TokenType;
+export declare const Semicolon: TokenType;
+export declare const LParen: TokenType;
+export declare const RParen: TokenType;
+export declare const LBracket: TokenType;
+export declare const RBracket: TokenType;
+export declare const Comma: TokenType;
+export declare const Colon: TokenType;
+export declare const Equals: TokenType;
+export declare const DotDot: TokenType;
+export declare const Dot: TokenType;
+export declare const Star: TokenType;
+export declare const Other: TokenType;
+export declare const K: {
+    readonly abbreviation: TokenType;
+    readonly abstract: TokenType;
+    readonly action: TokenType;
+    readonly additional: TokenType;
+    readonly affects: TokenType;
+    readonly alias: TokenType;
+    readonly association: TokenType;
+    readonly authorization: TokenType;
+    readonly behavior: TokenType;
+    readonly by: TokenType;
+    readonly class: TokenType;
+    readonly control: TokenType;
+    readonly collaborative: TokenType;
+    readonly corresponding: TokenType;
+    readonly create: TokenType;
+    readonly define: TokenType;
+    readonly delete: TokenType;
+    readonly dependent: TokenType;
+    readonly determination: TokenType;
+    readonly determine: TokenType;
+    readonly disabling: TokenType;
+    readonly draft: TokenType;
+    readonly early: TokenType;
+    readonly effects: TokenType;
+    readonly entity: TokenType;
+    readonly etag: TokenType;
+    readonly event: TokenType;
+    readonly external: TokenType;
+    readonly extend: TokenType;
+    readonly factory: TokenType;
+    readonly field: TokenType;
+    readonly for: TokenType;
+    readonly foreign: TokenType;
+    readonly function: TokenType;
+    readonly implementation: TokenType;
+    readonly in: TokenType;
+    readonly interface: TokenType;
+    readonly internal: TokenType;
+    readonly late: TokenType;
+    readonly lock: TokenType;
+    readonly managed: TokenType;
+    readonly mapping: TokenType;
+    readonly master: TokenType;
+    readonly messages: TokenType;
+    readonly mode: TokenType;
+    readonly modify: TokenType;
+    readonly numbering: TokenType;
+    readonly on: TokenType;
+    readonly parameter: TokenType;
+    readonly permissions: TokenType;
+    readonly persistent: TokenType;
+    readonly place: TokenType;
+    readonly privileged: TokenType;
+    readonly projection: TokenType;
+    readonly result: TokenType;
+    readonly root: TokenType;
+    readonly save: TokenType;
+    readonly selective: TokenType;
+    readonly side: TokenType;
+    readonly static: TokenType;
+    readonly strict: TokenType;
+    readonly table: TokenType;
+    readonly total: TokenType;
+    readonly unique: TokenType;
+    readonly unmanaged: TokenType;
+    readonly update: TokenType;
+    readonly use: TokenType;
+    readonly validation: TokenType;
+    readonly with: TokenType;
+};
+/** Order matters: comments before `/`, keywords before identifiers, `..` before `.`. */
+export declare const allTokens: TokenType[];
+export declare const bdefLexer: Lexer;

package/dist/bdef/lexer.js

@@ -0,0 +1,148 @@
+/**
+ * Lexer of behavior definitions (BDEF).
+ *
+ * BDEF keywords are case-insensitive and are not reserved: every keyword token also belongs to the
+ * `Name` category, so a keyword can be used wherever a name is expected (an entity alias called
+ * `Data`, a field called `Mode`…).
+ */
+import { createToken, Lexer } from "chevrotain";
+/** Every token except `;`, `{` and `}`: used to skip unknown statements. */
+export const Any = createToken({ name: "Any", pattern: Lexer.NA });
+export const Name = createToken({ name: "Name", pattern: Lexer.NA, categories: [Any] });
+export const WhiteSpace = createToken({ name: "WhiteSpace", pattern: /\s+/, group: Lexer.SKIPPED });
+export const LineComment = createToken({ name: "LineComment", pattern: /\/\/[^\r\n]*/, group: Lexer.SKIPPED });
+export const BlockComment = createToken({ name: "BlockComment", pattern: /\/\*[\s\S]*?\*\//, group: Lexer.SKIPPED });
+export const Identifier = createToken({
+    name: "Identifier",
+    // optional namespace prefix (/DMO/), then a name; `$self` is an identifier too
+    pattern: /(?:\/[A-Za-z0-9_]+\/)?[A-Za-z_$%][A-Za-z0-9_$%]*/,
+    categories: [Name],
+});
+export const StringLiteral = createToken({ name: "StringLiteral", pattern: /'(?:[^'\r\n]|'')*'/, categories: [Any] });
+export const Integer = createToken({ name: "Integer", pattern: /\d+/, categories: [Any] });
+export const LCurly = createToken({ name: "LCurly", pattern: /\{/ });
+export const RCurly = createToken({ name: "RCurly", pattern: /\}/ });
+export const Semicolon = createToken({ name: "Semicolon", pattern: /;/ });
+export const LParen = createToken({ name: "LParen", pattern: /\(/, categories: [Any] });
+export const RParen = createToken({ name: "RParen", pattern: /\)/, categories: [Any] });
+export const LBracket = createToken({ name: "LBracket", pattern: /\[/, categories: [Any] });
+export const RBracket = createToken({ name: "RBracket", pattern: /\]/, categories: [Any] });
+export const Comma = createToken({ name: "Comma", pattern: /,/, categories: [Any] });
+export const Colon = createToken({ name: "Colon", pattern: /:/, categories: [Any] });
+export const Equals = createToken({ name: "Equals", pattern: /=/, categories: [Any] });
+export const DotDot = createToken({ name: "DotDot", pattern: /\.\./, categories: [Any] });
+export const Dot = createToken({ name: "Dot", pattern: /\./, categories: [Any] });
+export const Star = createToken({ name: "Star", pattern: /\*/, categories: [Any] });
+export const Other = createToken({ name: "Other", pattern: /[~\\\-+<>!?&|^#@]/, categories: [Any] });
+const keywordTokens = [];
+function keyword(word) {
+    const token = createToken({
+        name: `K_${word}`,
+        pattern: new RegExp(word, "i"),
+        longer_alt: Identifier,
+        categories: [Name],
+    });
+    keywordTokens.push({ word, token });
+    return token;
+}
+export const K = {
+    abbreviation: keyword("abbreviation"),
+    abstract: keyword("abstract"),
+    action: keyword("action"),
+    additional: keyword("additional"),
+    affects: keyword("affects"),
+    alias: keyword("alias"),
+    association: keyword("association"),
+    authorization: keyword("authorization"),
+    behavior: keyword("behavior"),
+    by: keyword("by"),
+    class: keyword("class"),
+    control: keyword("control"),
+    collaborative: keyword("collaborative"),
+    corresponding: keyword("corresponding"),
+    create: keyword("create"),
+    define: keyword("define"),
+    delete: keyword("delete"),
+    dependent: keyword("dependent"),
+    determination: keyword("determination"),
+    determine: keyword("determine"),
+    disabling: keyword("disabling"),
+    draft: keyword("draft"),
+    early: keyword("early"),
+    effects: keyword("effects"),
+    entity: keyword("entity"),
+    etag: keyword("etag"),
+    event: keyword("event"),
+    external: keyword("external"),
+    extend: keyword("extend"),
+    factory: keyword("factory"),
+    field: keyword("field"),
+    for: keyword("for"),
+    foreign: keyword("foreign"),
+    function: keyword("function"),
+    implementation: keyword("implementation"),
+    in: keyword("in"),
+    interface: keyword("interface"),
+    internal: keyword("internal"),
+    late: keyword("late"),
+    lock: keyword("lock"),
+    managed: keyword("managed"),
+    mapping: keyword("mapping"),
+    master: keyword("master"),
+    messages: keyword("messages"),
+    mode: keyword("mode"),
+    modify: keyword("modify"),
+    numbering: keyword("numbering"),
+    on: keyword("on"),
+    parameter: keyword("parameter"),
+    permissions: keyword("permissions"),
+    persistent: keyword("persistent"),
+    place: keyword("place"),
+    privileged: keyword("privileged"),
+    projection: keyword("projection"),
+    result: keyword("result"),
+    root: keyword("root"),
+    save: keyword("save"),
+    selective: keyword("selective"),
+    side: keyword("side"),
+    static: keyword("static"),
+    strict: keyword("strict"),
+    table: keyword("table"),
+    total: keyword("total"),
+    unique: keyword("unique"),
+    unmanaged: keyword("unmanaged"),
+    update: keyword("update"),
+    use: keyword("use"),
+    validation: keyword("validation"),
+    with: keyword("with"),
+};
+/** Longer keywords first, so that `for` does not shadow `foreign`. */
+const sortedKeywords = [...keywordTokens].sort((a, b) => b.word.length - a.word.length).map((k) => k.token);
+/** Order matters: comments before `/`, keywords before identifiers, `..` before `.`. */
+export const allTokens = [
+    WhiteSpace,
+    BlockComment,
+    LineComment,
+    StringLiteral,
+    Integer,
+    LCurly,
+    RCurly,
+    Semicolon,
+    LParen,
+    RParen,
+    LBracket,
+    RBracket,
+    Comma,
+    Colon,
+    Equals,
+    DotDot,
+    Dot,
+    Star,
+    ...sortedKeywords,
+    Identifier,
+    Other,
+    Name,
+    Any,
+];
+export const bdefLexer = new Lexer(allTokens, { ensureOptimizations: false, positionTracking: "full" });
+//# sourceMappingURL=lexer.js.map

package/dist/bdef/lexer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lexer.js","sourceRoot":"","sources":["../../src/bdef/lexer.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,WAAW,EAAE,KAAK,EAAkB,MAAM,YAAY,CAAC;AAEhE,4EAA4E;AAC5E,MAAM,CAAC,MAAM,GAAG,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;AACnE,MAAM,CAAC,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AAExF,MAAM,CAAC,MAAM,UAAU,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;AACpG,MAAM,CAAC,MAAM,WAAW,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;AAC/G,MAAM,CAAC,MAAM,YAAY,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;AAErH,MAAM,CAAC,MAAM,UAAU,GAAG,WAAW,CAAC;IACpC,IAAI,EAAE,YAAY;IAClB,+EAA+E;IAC/E,OAAO,EAAE,kDAAkD;IAC3D,UAAU,EAAE,CAAC,IAAI,CAAC;CACnB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,aAAa,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,oBAAoB,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACtH,MAAM,CAAC,MAAM,OAAO,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AAE3F,MAAM,CAAC,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;AACrE,MAAM,CAAC,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;AACrE,MAAM,CAAC,MAAM,SAAS,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;AAC1E,MAAM,CAAC,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACxF,MAAM,CAAC,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACxF,MAAM,CAAC,MAAM,QAAQ,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AAC5F,MAAM,CAAC,MAAM,QAAQ,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AAC5F,MAAM,CAAC,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACrF,MAAM,CAAC,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACrF,MAAM,CAAC,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACvF,MAAM,CAAC,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AAC1F,MAAM,CAAC,MAAM,GAAG,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AAClF,MAAM,CAAC,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACpF,MAAM,CAAC,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,mBAAmB,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AAErG,MAAM,aAAa,GAA8C,EAAE,CAAC;AAEpE,SAAS,OAAO,CAAC,IAAY;IAC3B,MAAM,KAAK,GAAG,WAAW,CAAC;QACxB,IAAI,EAAE,KAAK,IAAI,EAAE;QACjB,OAAO,EAAE,IAAI,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC;QAC9B,UAAU,EAAE,UAAU;QACtB,UAAU,EAAE,CAAC,IAAI,CAAC;KACnB,CAAC,CAAC;IACH,aAAa,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACpC,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,CAAC,MAAM,CAAC,GAAG;IACf,YAAY,EAAE,OAAO,CAAC,cAAc,CAAC;IACrC,QAAQ,EAAE,OAAO,CAAC,UAAU,CAAC;IAC7B,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC;IACzB,UAAU,EAAE,OAAO,CAAC,YAAY,CAAC;IACjC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC;IAC3B,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC;IACvB,WAAW,EAAE,OAAO,CAAC,aAAa,CAAC;IACnC,aAAa,EAAE,OAAO,CAAC,eAAe,CAAC;IACvC,QAAQ,EAAE,OAAO,CAAC,UAAU,CAAC;IAC7B,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC;IACjB,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC;IACvB,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC;IAC3B,aAAa,EAAE,OAAO,CAAC,eAAe,CAAC;IACvC,aAAa,EAAE,OAAO,CAAC,eAAe,CAAC;IACvC,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC;IACzB,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC;IACzB,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC;IACzB,SAAS,EAAE,OAAO,CAAC,WAAW,CAAC;IAC/B,aAAa,EAAE,OAAO,CAAC,eAAe,CAAC;IACvC,SAAS,EAAE,OAAO,CAAC,WAAW,CAAC;IAC/B,SAAS,EAAE,OAAO,CAAC,WAAW,CAAC;IAC/B,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC;IACvB,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC;IACvB,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC;IAC3B,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC;IACzB,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC;IACrB,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC;IACvB,QAAQ,EAAE,OAAO,CAAC,UAAU,CAAC;IAC7B,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC;IACzB,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC;IAC3B,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC;IACvB,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC;IACnB,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC;IAC3B,QAAQ,EAAE,OAAO,CAAC,UAAU,CAAC;IAC7B,cAAc,EAAE,OAAO,CAAC,gBAAgB,CAAC;IACzC,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC;IACjB,SAAS,EAAE,OAAO,CAAC,WAAW,CAAC;IAC/B,QAAQ,EAAE,OAAO,CAAC,UAAU,CAAC;IAC7B,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC;IACrB,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC;IACrB,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC;IAC3B,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC;IAC3B,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC;IACzB,QAAQ,EAAE,OAAO,CAAC,UAAU,CAAC;IAC7B,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC;IACrB,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC;IACzB,SAAS,EAAE,OAAO,CAAC,WAAW,CAAC;IAC/B,EAAE,EAAE,OAAO,CAAC,IAAI,CAAC;IACjB,SAAS,EAAE,OAAO,CAAC,WAAW,CAAC;IAC/B,WAAW,EAAE,OAAO,CAAC,aAAa,CAAC;IACnC,UAAU,EAAE,OAAO,CAAC,YAAY,CAAC;IACjC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC;IACvB,UAAU,EAAE,OAAO,CAAC,YAAY,CAAC;IACjC,UAAU,EAAE,OAAO,CAAC,YAAY,CAAC;IACjC,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC;IACzB,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC;IACrB,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC;IACrB,SAAS,EAAE,OAAO,CAAC,WAAW,CAAC;IAC/B,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC;IACrB,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC;IACzB,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC;IACzB,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC;IACvB,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC;IACvB,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC;IACzB,SAAS,EAAE,OAAO,CAAC,WAAW,CAAC;IAC/B,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC;IACzB,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC;IACnB,UAAU,EAAE,OAAO,CAAC,YAAY,CAAC;IACjC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC;CACb,CAAC;AAEX,sEAAsE;AACtE,MAAM,cAAc,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;AAE5G,wFAAwF;AACxF,MAAM,CAAC,MAAM,SAAS,GAAgB;IACpC,UAAU;IACV,YAAY;IACZ,WAAW;IACX,aAAa;IACb,OAAO;IACP,MAAM;IACN,MAAM;IACN,SAAS;IACT,MAAM;IACN,MAAM;IACN,QAAQ;IACR,QAAQ;IACR,KAAK;IACL,KAAK;IACL,MAAM;IACN,MAAM;IACN,GAAG;IACH,IAAI;IACJ,GAAG,cAAc;IACjB,UAAU;IACV,KAAK;IACL,IAAI;IACJ,GAAG;CACJ,CAAC;AAEF,MAAM,CAAC,MAAM,SAAS,GAAG,IAAI,KAAK,CAAC,SAAS,EAAE,EAAE,mBAAmB,EAAE,KAAK,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC,CAAC"}

package/dist/bdef/parser.d.ts

@@ -0,0 +1,22 @@
+/**
+ * Chevrotain grammar of behavior definitions (decision D1).
+ *
+ * The grammar covers managed and projection BDEFs without draft. Statements it does not know are
+ * still recognized as "unknown" (up to the next `;` or a balanced `{ … }` block), so that the IR
+ * builder can report them precisely instead of failing with an opaque syntax error.
+ */
+import { type TokenType } from "chevrotain";
+import type { BdefAst } from "./ast.js";
+export interface BdefParseError {
+    message: string;
+    line: number;
+    column: number;
+}
+export interface BdefParseResult {
+    ast?: BdefAst;
+    errors: BdefParseError[];
+}
+/** Parses a BDEF source. Returns the AST, or the lexing/parsing errors with their positions. */
+export declare function parseBdef(source: string): BdefParseResult;
+/** Exposed for tests: the token types, to check the grammar is LL(k) without ambiguity reports. */
+export declare const bdefTokenTypes: readonly TokenType[];