allium-parser 3.5.3

//! AST for the Allium specification language.
//!
//! The parse tree uses a uniform block-item representation for declaration
//! bodies: every `name: value`, `keyword: value` and `let name = value` within
//! braces is a [`BlockItem`]. Semantic classification into entity fields vs
//! relationships vs derived values, or trigger types, happens in a later pass.
//!
//! Expressions are fully typed — the parser produces the rich [`Expr`] tree
//! directly.

use serde::Serialize;

use crate::Span;

// ---------------------------------------------------------------------------
// Top level
// ---------------------------------------------------------------------------

/// A parsed `.allium` file.
#[derive(Debug, Clone, Serialize)]
pub struct Module {
    pub span: Span,
    /// Extracted from `-- allium: N` if present.
    pub version: Option<u32>,
    pub declarations: Vec<Decl>,
}

// ---------------------------------------------------------------------------
// Declarations
// ---------------------------------------------------------------------------

#[derive(Debug, Clone, Serialize)]
pub enum Decl {
    Use(UseDecl),
    Block(BlockDecl),
    Default(DefaultDecl),
    Variant(VariantDecl),
    Deferred(DeferredDecl),
    OpenQuestion(OpenQuestionDecl),
    Invariant(InvariantDecl),
}

/// `use "path" as alias`
#[derive(Debug, Clone, Serialize)]
pub struct UseDecl {
    pub span: Span,
    pub path: StringLiteral,
    pub alias: Option<Ident>,
}

/// A named or anonymous block: `entity User { ... }`, `config { ... }`, etc.
#[derive(Debug, Clone, Serialize)]
pub struct BlockDecl {
    pub span: Span,
    pub kind: BlockKind,
    /// `None` for `given` and local `config` blocks.
    pub name: Option<Ident>,
    pub items: Vec<BlockItem>,
}

#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize)]
pub enum BlockKind {
    Entity,
    ExternalEntity,
    Value,
    Enum,
    Given,
    Config,
    Rule,
    Surface,
    Actor,
    Contract,
    Invariant,
}

/// `default [Type] name = value`
#[derive(Debug, Clone, Serialize)]
pub struct DefaultDecl {
    pub span: Span,
    /// Module alias for a qualified type name (`default alias/Type name = ...`).
    pub type_alias: Option<Ident>,
    pub type_name: Option<Ident>,
    pub name: Ident,
    pub value: Expr,
}

/// `variant Name : Type { ... }`
#[derive(Debug, Clone, Serialize)]
pub struct VariantDecl {
    pub span: Span,
    pub name: Ident,
    pub base: Expr,
    pub items: Vec<BlockItem>,
}

/// `deferred Name.field` / `deferred alias/Name.field`, with an optional
/// trailing quoted location hint: `deferred Foo.bar "detailed/foo.allium"`.
///
/// The path is constrained to a dotted name with an optional `alias/Name`
/// qualifier, but stays an [`Expr`] (`Ident`, `QualifiedName`, or
/// `MemberAccess` chains over them) so qualified-reference collection and the
/// WASM AST mirror consume it unchanged.
#[derive(Debug, Clone, Serialize)]
pub struct DeferredDecl {
    pub span: Span,
    pub path: Expr,
    pub location_hint: Option<StringLiteral>,
}

/// `open question "text"`
#[derive(Debug, Clone, Serialize)]
pub struct OpenQuestionDecl {
    pub span: Span,
    pub text: StringLiteral,
}

/// `invariant Name { expr }` — top-level expression-bearing invariant
#[derive(Debug, Clone, Serialize)]
pub struct InvariantDecl {
    pub span: Span,
    pub name: Ident,
    pub body: Expr,
}

// ---------------------------------------------------------------------------
// Transition graphs (v3)
// ---------------------------------------------------------------------------

/// A directed edge in a transition graph: `from -> to`.
#[derive(Debug, Clone, Serialize)]
pub struct TransitionEdge {
    pub span: Span,
    pub from: Ident,
    pub to: Ident,
}

/// A transition graph block: `transitions field_name { edges..., terminal: states }`.
#[derive(Debug, Clone, Serialize)]
pub struct TransitionGraph {
    pub span: Span,
    pub field: Ident,
    pub edges: Vec<TransitionEdge>,
    pub terminal: Vec<Ident>,
}

// ---------------------------------------------------------------------------
// When clauses (v3)
// ---------------------------------------------------------------------------

/// A `when` clause on a field declaration: `when status = shipped | delivered`.
#[derive(Debug, Clone, Serialize)]
pub struct WhenClause {
    pub span: Span,
    pub status_field: Ident,
    pub qualifying_states: Vec<Ident>,
}

// ---------------------------------------------------------------------------
// Block items — uniform representation for declaration bodies
// ---------------------------------------------------------------------------

#[derive(Debug, Clone, Serialize)]
pub struct BlockItem {
    pub span: Span,
    pub kind: BlockItemKind,
}

#[derive(Debug, Clone, Serialize)]
pub enum BlockItemKind {
    /// `keyword: value` — when:, requires:, ensures:, facing:, etc.
    Clause { keyword: String, value: Expr },
    /// `name: value` — field, relationship, projection, derived value.
    Assignment { name: Ident, value: Expr },
    /// `name(params): value` — parameterised derived value.
    ParamAssignment {
        name: Ident,
        params: Vec<Ident>,
        value: Expr,
    },
    /// `let name = value`
    Let { name: Ident, value: Expr },
    /// Bare name inside an enum body — `pending`, `shipped`, `` `de-CH-1996` ``, etc.
    EnumVariant { name: Ident, backtick_quoted: bool },
    /// `for binding in collection [where filter]: ...` at block level (rule iteration)
    ForBlock {
        binding: ForBinding,
        collection: Expr,
        filter: Option<Expr>,
        items: Vec<BlockItem>,
    },
    /// `if condition: ... else if ...: ... else: ...` at block level
    IfBlock {
        branches: Vec<CondBlockBranch>,
        else_items: Option<Vec<BlockItem>>,
    },
    /// `Shard.shard_cache: value` — dot-path reverse relationship
    PathAssignment { path: Expr, value: Expr },
    /// `open question "text"` (nested within a block)
    OpenQuestion { text: StringLiteral },
    /// `contracts:` clause in a surface body
    ContractsClause {
        entries: Vec<ContractBinding>,
    },
    /// `@invariant`, `@guidance`, `@guarantee` prose annotation
    Annotation(Annotation),
    /// `invariant Name { expr }` inside an entity/value block
    InvariantBlock { name: Ident, body: Expr },
    /// `transitions field { ... }` — transition graph declaration inside an entity
    TransitionsBlock(TransitionGraph),
    /// `name: Type when status_field = state1 | state2` — field with lifecycle-dependent presence
    FieldWithWhen {
        name: Ident,
        value: Expr,
        when_clause: WhenClause,
    },
}

// ---------------------------------------------------------------------------
// Contract bindings (ALP-15)
// ---------------------------------------------------------------------------

/// Direction marker for contract bindings in surfaces.
#[derive(Debug, Clone, Serialize)]
pub enum ContractDirection {
    Demands,
    Fulfils,
}

/// A single entry in a `contracts:` clause.
#[derive(Debug, Clone, Serialize)]
pub struct ContractBinding {
    pub direction: ContractDirection,
    /// Module alias when the contract is imported from another spec
    /// (`fulfils base/MyContract`), mirroring `QualifiedName`.
    pub qualifier: Option<String>,
    pub name: Ident,
    pub span: Span,
}

// ---------------------------------------------------------------------------
// Annotations (ALP-16)
// ---------------------------------------------------------------------------

/// Prose annotation kinds.
#[derive(Debug, Clone, Serialize)]
pub enum AnnotationKind {
    Invariant,
    Guidance,
    Guarantee,
}

/// A prose annotation: `@invariant Name`, `@guidance`, `@guarantee Name`.
#[derive(Debug, Clone, Serialize)]
pub struct Annotation {
    pub kind: AnnotationKind,
    pub name: Option<Ident>,
    pub body: Vec<String>,
    pub span: Span,
}

// ---------------------------------------------------------------------------
// Expressions
// ---------------------------------------------------------------------------

#[derive(Debug, Clone, Serialize)]
pub enum Expr {
    /// `identifier` or `_`
    Ident(Ident),

    /// `"text"` possibly with `{interpolation}`
    StringLiteral(StringLiteral),

    /// `` `de-CH-1996` `` — backtick-quoted enum literal
    BacktickLiteral { span: Span, value: String },

    /// `42`, `100_000`, `3.14`
    NumberLiteral { span: Span, value: String },

    /// `true`, `false`
    BoolLiteral { span: Span, value: bool },

    /// `null`
    Null { span: Span },

    /// `now`
    Now { span: Span },

    /// `this`
    This { span: Span },

    /// `within`
    Within { span: Span },

    /// `24.hours`, `7.days`
    DurationLiteral { span: Span, value: String },

    /// `{ a, b, c }` — set literal
    SetLiteral { span: Span, elements: Vec<Expr> },

    /// `[ a, b, c ]` — list literal (ordered, duplicates permitted; produces `List<T>`)
    ListLiteral { span: Span, elements: Vec<Expr> },

    /// `{ key: value, ... }` — object literal
    ObjectLiteral { span: Span, fields: Vec<NamedArg> },

    /// `Set<T>`, `List<T>` — generic type annotation
    GenericType {
        span: Span,
        name: Box<Expr>,
        args: Vec<Expr>,
    },

    /// `a.b`
    MemberAccess {
        span: Span,
        object: Box<Expr>,
        field: Ident,
    },

    /// `a?.b`
    OptionalAccess {
        span: Span,
        object: Box<Expr>,
        field: Ident,
    },

    /// `a ?? b`
    NullCoalesce {
        span: Span,
        left: Box<Expr>,
        right: Box<Expr>,
    },

    /// `func(args)` or `entity.method(args)`
    Call {
        span: Span,
        function: Box<Expr>,
        args: Vec<CallArg>,
    },

    /// `Entity{field1, field2}` or `Entity{field: value}`
    JoinLookup {
        span: Span,
        entity: Box<Expr>,
        fields: Vec<JoinField>,
    },

    /// `a + b`, `a - b`, `a * b`, `a / b`
    BinaryOp {
        span: Span,
        left: Box<Expr>,
        op: BinaryOp,
        right: Box<Expr>,
    },

    /// `a = b`, `a != b`, `a < b`, `a <= b`, `a > b`, `a >= b`
    Comparison {
        span: Span,
        left: Box<Expr>,
        op: ComparisonOp,
        right: Box<Expr>,
    },

    /// `a and b`, `a or b`
    LogicalOp {
        span: Span,
        left: Box<Expr>,
        op: LogicalOp,
        right: Box<Expr>,
    },

    /// `not expr`
    Not { span: Span, operand: Box<Expr> },

    /// `x in collection`
    In {
        span: Span,
        element: Box<Expr>,
        collection: Box<Expr>,
    },

    /// `x not in collection`
    NotIn {
        span: Span,
        element: Box<Expr>,
        collection: Box<Expr>,
    },

    /// `exists expr`
    Exists { span: Span, operand: Box<Expr> },

    /// `not exists expr`
    NotExists { span: Span, operand: Box<Expr> },

    /// `collection where condition`
    Where {
        span: Span,
        source: Box<Expr>,
        condition: Box<Expr>,
    },

    /// `collection with predicate` (in relationship declarations)
    With {
        span: Span,
        source: Box<Expr>,
        predicate: Box<Expr>,
    },

    /// `a | b` — pipe, used for inline enums and sum type discriminators
    Pipe {
        span: Span,
        left: Box<Expr>,
        right: Box<Expr>,
    },

    /// `x => body`
    Lambda {
        span: Span,
        param: Box<Expr>,
        body: Box<Expr>,
    },

    /// `if cond: a else if cond: b else: c`
    Conditional {
        span: Span,
        branches: Vec<CondBranch>,
        else_body: Option<Box<Expr>>,
    },

    /// `for x in collection [where cond]: body`
    For {
        span: Span,
        binding: ForBinding,
        collection: Box<Expr>,
        filter: Option<Box<Expr>>,
        body: Box<Expr>,
    },

    /// `collection where cond -> field` — projection mapping
    ProjectionMap {
        span: Span,
        source: Box<Expr>,
        field: Ident,
    },

    /// `Entity.status transitions_to state`
    TransitionsTo {
        span: Span,
        subject: Box<Expr>,
        new_state: Box<Expr>,
    },

    /// `Entity.status becomes state`
    Becomes {
        span: Span,
        subject: Box<Expr>,
        new_state: Box<Expr>,
    },

    /// `name: expr` — binding inside a clause value (when triggers, facing, context)
    Binding {
        span: Span,
        name: Ident,
        value: Box<Expr>,
    },

    /// `action when condition` — guard on a provides/related item
    WhenGuard {
        span: Span,
        action: Box<Expr>,
        condition: Box<Expr>,
    },

    /// `T?` — optional type annotation
    TypeOptional {
        span: Span,
        inner: Box<Expr>,
    },

    /// `let name = value` inside an expression block (ensures, provides, etc.)
    LetExpr {
        span: Span,
        name: Ident,
        value: Box<Expr>,
    },

    /// `oauth/Session` — qualified name with module prefix
    QualifiedName(QualifiedName),

    /// A sequence of expressions from a multi-line block.
    Block { span: Span, items: Vec<Expr> },

}

impl Expr {
    pub fn span(&self) -> Span {
        match self {
            Expr::Ident(id) => id.span,
            Expr::StringLiteral(s) => s.span,
            Expr::BacktickLiteral { span, .. }
            | Expr::NumberLiteral { span, .. }
            | Expr::BoolLiteral { span, .. }
            | Expr::Null { span }
            | Expr::Now { span }
            | Expr::This { span }
            | Expr::Within { span }
            | Expr::DurationLiteral { span, .. }
            | Expr::SetLiteral { span, .. }
            | Expr::ListLiteral { span, .. }
            | Expr::ObjectLiteral { span, .. }
            | Expr::GenericType { span, .. }
            | Expr::MemberAccess { span, .. }
            | Expr::OptionalAccess { span, .. }
            | Expr::NullCoalesce { span, .. }
            | Expr::Call { span, .. }
            | Expr::JoinLookup { span, .. }
            | Expr::BinaryOp { span, .. }
            | Expr::Comparison { span, .. }
            | Expr::LogicalOp { span, .. }
            | Expr::Not { span, .. }
            | Expr::In { span, .. }
            | Expr::NotIn { span, .. }
            | Expr::Exists { span, .. }
            | Expr::NotExists { span, .. }
            | Expr::Where { span, .. }
            | Expr::With { span, .. }
            | Expr::Pipe { span, .. }
            | Expr::Lambda { span, .. }
            | Expr::Conditional { span, .. }
            | Expr::For { span, .. }
            | Expr::ProjectionMap { span, .. }
            | Expr::TransitionsTo { span, .. }
            | Expr::Becomes { span, .. }
            | Expr::Binding { span, .. }
            | Expr::WhenGuard { span, .. }
            | Expr::TypeOptional { span, .. }
            | Expr::LetExpr { span, .. }
            | Expr::Block { span, .. } => *span,
            Expr::QualifiedName(q) => q.span,
        }
    }
}

#[derive(Debug, Clone, Serialize)]
pub struct CondBranch {
    pub span: Span,
    pub condition: Expr,
    pub body: Expr,
}

/// A branch of a block-level `if`/`else if` chain.
#[derive(Debug, Clone, Serialize)]
pub struct CondBlockBranch {
    pub span: Span,
    pub condition: Expr,
    pub items: Vec<BlockItem>,
}

/// Binding in a `for` loop — either a single identifier or a
/// destructured tuple like `(a, b)`.
#[derive(Debug, Clone, Serialize)]
pub enum ForBinding {
    Single(Ident),
    Destructured(Vec<Ident>, Span),
}

// ---------------------------------------------------------------------------
// Shared types
// ---------------------------------------------------------------------------

#[derive(Debug, Clone, Serialize)]
pub struct Ident {
    pub span: Span,
    pub name: String,
}

#[derive(Debug, Clone, Serialize)]
pub struct QualifiedName {
    pub span: Span,
    pub qualifier: Option<String>,
    pub name: String,
}

#[derive(Debug, Clone, Serialize)]
pub struct StringLiteral {
    pub span: Span,
    pub parts: Vec<StringPart>,
}

impl StringLiteral {
    /// Extract the plain text content, dropping any interpolation segments.
    /// For use paths this is safe since interpolation in `use` declarations is
    /// not a supported pattern.
    pub fn text(&self) -> String {
        let mut s = String::new();
        for part in &self.parts {
            if let StringPart::Text(t) = part {
                s.push_str(t);
            }
        }
        s
    }
}

#[derive(Debug, Clone, Serialize)]
pub enum StringPart {
    Text(String),
    Interpolation(Ident),
}

#[derive(Debug, Clone, Serialize)]
pub struct NamedArg {
    pub span: Span,
    pub name: Ident,
    pub value: Expr,
}

#[derive(Debug, Clone, Serialize)]
pub enum CallArg {
    Positional(Expr),
    Named(NamedArg),
}

#[derive(Debug, Clone, Serialize)]
pub struct JoinField {
    pub span: Span,
    pub field: Ident,
    /// If absent, matches a local variable with the same name.
    pub value: Option<Expr>,
}

#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize)]
pub enum BinaryOp {
    Add,
    Sub,
    Mul,
    Div,
}

#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize)]
pub enum ComparisonOp {
    Eq,
    NotEq,
    Lt,
    LtEq,
    Gt,
    GtEq,
}

#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize)]
pub enum LogicalOp {
    And,
    Or,
    Implies,
}