Skip to main content

QueryProcedureHost

Struct QueryProcedureHost 

Source
pub struct QueryProcedureHost { /* private fields */ }
Expand description

Host facade exposing a snapshot of GraphExecutionContext to in-tree procedure plugins.

Built-in host-coupled procedures invoked via CALL uni.X receive a ProcedureContext whose host field points at a QueryProcedureHost constructed by the dispatch sites (procedure_call::execute_plugin_procedure and executor::procedure). Plugins downcast to recover the concrete type, then call the typed accessors below.

All fields are owned (Arc-shared) rather than borrowed, so the host is 'static-friendly — which is the constraint std::any::Any imposes for downcasting. Construction is a small number of Arc-clones; the per-call cost is negligible.

Implementations§

Source§

impl QueryProcedureHost

Source

pub fn from_graph_ctx(graph_ctx: &GraphExecutionContext) -> Self

Snapshot the host-shaped components of graph_ctx. The per-request fields start empty; use Self::from_graph_ctx_with_request when the surrounding query has projection / yield context.

Source

pub fn from_graph_ctx_with_request( graph_ctx: &GraphExecutionContext, target_properties: HashMap<String, Vec<String>>, yield_items: Vec<(String, Option<String>)>, expected_schema: Option<SchemaRef>, ) -> Self

Snapshot the host-shaped components of graph_ctx along with the per-request projection map, YIELD list, and planner-expected output schema. Used by the DataFusion procedure dispatcher (procedure_call.rs::execute_plugin_procedure) to feed search procedures (uni.vector.query etc.) everything they need to expand node yields into the planner-expected column shape.

Source

pub fn from_components( storage: Arc<StorageManager>, algo_registry: Option<Arc<AlgorithmRegistry>>, procedure_registry: Option<Arc<ProcedureRegistry>>, ) -> Self

Construct a host from raw components (used by the simple executor, which holds these directly rather than via a GraphExecutionContext).

Source

pub fn with_writer(self, writer: Arc<Writer>) -> Self

Attach the outer transaction’s writer handle to this host.

Required for Write/Schema/Dbms-mode invocations of Self::execute_inner_query. Call sites that construct a host inside a write transaction should thread the writer through; the inner-query path otherwise has no path to mutate the graph.

Source

pub fn allocate_transient_id(&self) -> u64

Allocate a fresh transient id, unique within this host’s lifetime. Wraps the bottom 63 bits and OR-s in the ephemeral bit before returning. Use Vid::ephemeral / Eid::ephemeral when you want the typed Vid / Eid form.

Always available — no capability is required. Per proposal §4.13.1, IDs are stable only within a single query execution.

Source

pub fn storage(&self) -> &Arc<StorageManager>

Storage manager — schema, datasets, vector / fts search.

Source

pub fn algo_registry(&self) -> Option<&Arc<AlgorithmRegistry>>

Algorithm registry, if the host wired one in.

Source

pub fn procedure_registry(&self) -> Option<&Arc<ProcedureRegistry>>

Procedure registry, if the host wired one in.

Source

pub fn xervo_runtime(&self) -> Option<&Arc<ModelRuntime>>

Uni-Xervo runtime for query-time auto-embedding, if wired.

Source

pub fn property_manager(&self) -> Option<&Arc<PropertyManager>>

Property manager for lazy property loading, if the host wired one in. Returns None on the simple-executor path (from_components does not have access to it).

Source

pub fn target_properties(&self) -> &HashMap<String, Vec<String>>

Per-request projection map (output variable name → requested property names). Empty unless the host was constructed via Self::from_graph_ctx_with_request with non-empty data.

Source

pub fn yield_items(&self) -> &[(String, Option<String>)]

Per-request YIELD list as (yield_name, alias) pairs.

Source

pub fn expected_schema(&self) -> Option<&SchemaRef>

Planner-expected output schema. Used by search procedures to emit columns matching the schema the surrounding query plan expects, avoiding a name-mismatch reprojection step in the dispatcher.

Source

pub fn l0_context(&self) -> &L0Context

L0 visibility context (current / pending / transaction buffers).

Source

pub fn query_context(&self) -> QueryContext

Build a QueryContext for property-manager calls. Mirrors GraphExecutionContext::query_context.

Source

pub async fn execute_inner_query( &self, cypher: &str, params: &HashMap<String, Value>, mode: ProcedureMode, ) -> Result<Vec<HashMap<String, Value>>>

Run an inner Cypher query against the same storage / L0 snapshot the outer procedure sees, returning the materialised row vector.

Used by:

  • the V2 algorithm adapter (M5c.3) to materialise ProjectionInput::Cypher { node_query, edge_query, ... };
  • the meta-plugin persistence backend (M9 cutover) to issue MERGE (:_DeclaredPlugin {...}) through Cypher;
  • the synthetic-procedure plugin (M9 cutover) to evaluate the stored body of a CALL uni.plugin.declareProcedure(...).

mode controls which Cypher operations are accepted:

  • ProcedureMode::Read constructs the inner executor without a writer; mutation clauses (CREATE, SET, MERGE, DELETE, REMOVE) fail with “Database is in read-only mode”.
  • ProcedureMode::Write / ProcedureMode::Schema / ProcedureMode::Dbms construct the inner executor with the outer transaction’s writer handle (set via Self::with_writer); mutations land in the outer transaction’s L0 buffer. If no writer was threaded through, write-mode invocations error with "inner write requires a writer-enabled procedure host".

L0 visibility mirrors the outer query’s snapshot (l0_context.current_l0 / transaction_l0 / pending_flush_l0s) so recently-written rows are visible. The PropertyManager is reused from the outer host when present; otherwise a fresh per-call one is constructed.

params are bound into the inner executor by name, exactly as session.query(cypher, params) would for a top-level Cypher query.

§Errors

Returns any parse / plan / execution error from the inner query. Write-attempt errors in Read mode propagate as the host’s “Database is in read-only mode” string. Write-mode invocations without a writer attached return a clear error rather than silently downgrading to read-only.

Source

pub fn check_timeout(&self) -> Result<()>

Check whether the query has timed out or been cancelled.

§Errors

Returns an error if the deadline has passed or the cancellation token has been triggered.

Trait Implementations§

Source§

impl Clone for QueryProcedureHost

Source§

fn clone(&self) -> QueryProcedureHost

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl ProcedureHost for QueryProcedureHost

Source§

fn as_any(&self) -> &dyn Any

Returns the host as a downcastable &dyn Any.

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> ArchivePointee for T

Source§

type ArchivedMetadata = ()

The archived version of the pointer metadata for this type.
Source§

fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata, ) -> <T as Pointee>::Metadata

Converts some archived metadata to the pointer metadata for itself.
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> Conv for T

Source§

fn conv<T>(self) -> T
where Self: Into<T>,

Converts self into T using Into<T>. Read more
Source§

impl<T> ErasedDestructor for T
where T: 'static,

Source§

impl<T> FmtForward for T

Source§

fn fmt_binary(self) -> FmtBinary<Self>
where Self: Binary,

Causes self to use its Binary implementation when Debug-formatted.
Source§

fn fmt_display(self) -> FmtDisplay<Self>
where Self: Display,

Causes self to use its Display implementation when Debug-formatted.
Source§

fn fmt_lower_exp(self) -> FmtLowerExp<Self>
where Self: LowerExp,

Causes self to use its LowerExp implementation when Debug-formatted.
Source§

fn fmt_lower_hex(self) -> FmtLowerHex<Self>
where Self: LowerHex,

Causes self to use its LowerHex implementation when Debug-formatted.
Source§

fn fmt_octal(self) -> FmtOctal<Self>
where Self: Octal,

Causes self to use its Octal implementation when Debug-formatted.
Source§

fn fmt_pointer(self) -> FmtPointer<Self>
where Self: Pointer,

Causes self to use its Pointer implementation when Debug-formatted.
Source§

fn fmt_upper_exp(self) -> FmtUpperExp<Self>
where Self: UpperExp,

Causes self to use its UpperExp implementation when Debug-formatted.
Source§

fn fmt_upper_hex(self) -> FmtUpperHex<Self>
where Self: UpperHex,

Causes self to use its UpperHex implementation when Debug-formatted.
Source§

fn fmt_list(self) -> FmtList<Self>
where &'a Self: for<'a> IntoIterator,

Formats each item in a sequence. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<Unshared, Shared> IntoShared<Shared> for Unshared
where Shared: FromUnshared<Unshared>,

Source§

fn into_shared(self) -> Shared

Creates a shared type from an unshared type.
Source§

impl<T> LayoutRaw for T

Source§

fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError>

Returns the layout of the type.
Source§

impl<T> MaybeSend for T
where T: Send,

Source§

impl<T> MaybeSend for T
where T: Send,

Source§

impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
where T: SharedNiching<N1, N2>, N1: Niching<T>, N2: Niching<T>,

Source§

unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool

Returns whether the given value has been niched. Read more
Source§

fn resolve_niched(out: Place<NichedOption<T, N1>>)

Writes data to out indicating that a T is niched.
Source§

impl<T> Pipe for T
where T: ?Sized,

Source§

fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> R
where Self: Sized,

Pipes by value. This is generally the method you want to use. Read more
Source§

fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> R
where R: 'a,

Borrows self and passes that borrow into the pipe function. Read more
Source§

fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> R
where R: 'a,

Mutably borrows self and passes that borrow into the pipe function. Read more
Source§

fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
where Self: Borrow<B>, B: 'a + ?Sized, R: 'a,

Borrows self, then passes self.borrow() into the pipe function. Read more
Source§

fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R, ) -> R
where Self: BorrowMut<B>, B: 'a + ?Sized, R: 'a,

Mutably borrows self, then passes self.borrow_mut() into the pipe function. Read more
Source§

fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
where Self: AsRef<U>, U: 'a + ?Sized, R: 'a,

Borrows self, then passes self.as_ref() into the pipe function.
Source§

fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
where Self: AsMut<U>, U: 'a + ?Sized, R: 'a,

Mutably borrows self, then passes self.as_mut() into the pipe function.
Source§

fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
where Self: Deref<Target = T>, T: 'a + ?Sized, R: 'a,

Borrows self, then passes self.deref() into the pipe function.
Source§

fn pipe_deref_mut<'a, T, R>( &'a mut self, func: impl FnOnce(&'a mut T) -> R, ) -> R
where Self: DerefMut<Target = T> + Deref, T: 'a + ?Sized, R: 'a,

Mutably borrows self, then passes self.deref_mut() into the pipe function.
Source§

impl<T> PluginState for T
where T: Send + Sync + 'static,

Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T> Pointee for T

Source§

type Metadata = ()

The metadata type for pointers and references to this type.
Source§

impl<T> PolicyExt for T
where T: ?Sized,

Source§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow only if self and other return Action::Follow. Read more
Source§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow if either self or other returns Action::Follow. Read more
Source§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> Tap for T

Source§

fn tap(self, func: impl FnOnce(&Self)) -> Self

Immutable access to a value. Read more
Source§

fn tap_mut(self, func: impl FnOnce(&mut Self)) -> Self

Mutable access to a value. Read more
Source§

fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
where Self: Borrow<B>, B: ?Sized,

Immutable access to the Borrow<B> of a value. Read more
Source§

fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
where Self: BorrowMut<B>, B: ?Sized,

Mutable access to the BorrowMut<B> of a value. Read more
Source§

fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
where Self: AsRef<R>, R: ?Sized,

Immutable access to the AsRef<R> view of a value. Read more
Source§

fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
where Self: AsMut<R>, R: ?Sized,

Mutable access to the AsMut<R> view of a value. Read more
Source§

fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
where Self: Deref<Target = T>, T: ?Sized,

Immutable access to the Deref::Target of a value. Read more
Source§

fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
where Self: DerefMut<Target = T> + Deref, T: ?Sized,

Mutable access to the Deref::Target of a value. Read more
Source§

fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self

Calls .tap() only in debug builds, and is erased in release builds.
Source§

fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self

Calls .tap_mut() only in debug builds, and is erased in release builds.
Source§

fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
where Self: Borrow<B>, B: ?Sized,

Calls .tap_borrow() only in debug builds, and is erased in release builds.
Source§

fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
where Self: BorrowMut<B>, B: ?Sized,

Calls .tap_borrow_mut() only in debug builds, and is erased in release builds.
Source§

fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
where Self: AsRef<R>, R: ?Sized,

Calls .tap_ref() only in debug builds, and is erased in release builds.
Source§

fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
where Self: AsMut<R>, R: ?Sized,

Calls .tap_ref_mut() only in debug builds, and is erased in release builds.
Source§

fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
where Self: Deref<Target = T>, T: ?Sized,

Calls .tap_deref() only in debug builds, and is erased in release builds.
Source§

fn tap_deref_mut_dbg<T>(self, func: impl FnOnce(&mut T)) -> Self
where Self: DerefMut<Target = T> + Deref, T: ?Sized,

Calls .tap_deref_mut() only in debug builds, and is erased in release builds.
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T> TryConv for T

Source§

fn try_conv<T>(self) -> Result<T, Self::Error>
where Self: TryInto<T>,

Attempts to convert self into T using TryInto<T>. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more