Struct AstEngine 

pub struct AstEngine {
    pub structure: StructureAst,
    pub constraints: ConstraintSet,
}

The main AST engine that owns both Structure and Constraint data.

Provides apply() to execute actions and preview() to dry-run them.

Fields

structure: StructureAst

The structure AST.

constraints: ConstraintSet

The constraint set.

Implementations

impl AstEngine

pub fn new() -> Self

Create a new engine with empty structure and constraints.

pub fn apply(&mut self, action: &Action) -> Result<ApplyResult, OperationError>

Apply an action to the AST, returning the result or an error.

Errors

Returns OperationError if the action cannot be applied.

pub fn preview(&self, action: &Action) -> Result<PreviewResult, OperationError>

Preview an action without applying it (dry-run).

Clones self, applies the action on the clone, and derives what would happen — new holes created and constraints affected — without mutating the original engine.

Errors

Returns OperationError if the action is invalid.

Trait Implementations

impl Clone for AstEngine

fn clone(&self) -> AstEngine

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for AstEngine

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for AstEngine

fn default() -> Self

Returns the “default value” for a type.

impl ProjectionAPI for AstEngine

fn nodes(&self) -> Vec<ProjectedNode>

Return all nodes in DFS traversal order with display information.

fn children(&self, node: NodeId) -> Vec<SlotEntry>

Get named slot entries (children) for a specific node.

fn inspect(&self, node: NodeId) -> Option<NodeDetail>

Get detailed information about a node including constraints.

fn hole_candidates(&self, hole: NodeId) -> Vec<CandidateKind>

Get candidate types that can fill a hole node.

fn available_actions(&self) -> Vec<AvailableAction>

Get all available actions that can be performed on the AST.

fn why_not_editable(&self, node: NodeId) -> Option<NotEditableReason>

Check if a node cannot be edited and return the reason.

fn completeness(&self) -> CompletenessSummary

Get a summary of AST completeness status.