Struct Binder 

pub struct Binder { /* private fields */ }

Lowers an AstQuery to a typed GraphPlan.

Construction

use std::sync::{Arc, Mutex};
use graphforge_ir::{Binder, OntologyMode, RuntimeCatalog};

let catalog = Arc::new(Mutex::new(RuntimeCatalog::new()));
let binder = Binder::new(None, catalog, OntologyMode::Exploratory);

Implementations

impl Binder

pub fn new( ontology: Option<OntologyHandle>, catalog: Arc<Mutex<RuntimeCatalog>>, mode: OntologyMode, ) -> Self

Creates a new binder.

• ontology: the compiled ontology handle, or None in exploratory mode.
• catalog: shared runtime catalog for auto-assigning IDs to unknown types.
• mode: controls how unknown labels/types are handled.

pub fn with_procedures(self, procedures: Arc<ProcedureRegistry>) -> Self

Supplies the procedures available while binding CALL clauses.

pub fn with_parameter_literals( self, params: &HashMap<String, IrLiteral>, ) -> Self

Supplies query literals for bind-time validation of typed UUID predicates.

pub fn bind(&self, ast: &AstQuery) -> Result<GraphPlan, Vec<BindError>>

Bind an AstQuery and produce a GraphPlan.

In strict mode, all errors are collected before returning so that a single call surfaces every problem in the query.

Errors

Returns a non-empty Vec<BindError> when the query has semantic errors (strict-mode type violations, undeclared variables, etc.).