Struct trustfall_core::interpreter::trace::AdapterTap

pub struct AdapterTap<'vertex, AdapterT>where
    AdapterT: Adapter<'vertex>,
    AdapterT::Vertex: Clone + Debug + PartialEq + Eq + Serialize + DeserializeOwned + 'vertex,{ /* private fields */ }

An adapter “middleware” that records all adapter operations into a linear, replayable trace.

Tapping adapters must be done at top level, on the top-level adapter which is being used for query execution i.e. where the <V> generic on the resolver methods is the same as AdapterT::Vertex.

Otherwise, the recorded traces may not be possible to replay since they would be incomplete: they would only capture a portion of the execution, the rest of which is missing.

Implementations

impl<'vertex, AdapterT> AdapterTap<'vertex, AdapterT>where AdapterT: Adapter<'vertex>, AdapterT::Vertex: Clone + Debug + PartialEq + Eq + Serialize + DeserializeOwned + 'vertex,

pub fn new( adapter: AdapterT, tracer: Rc<RefCell<Trace<AdapterT::Vertex>>> ) -> Self

pub fn finish(self) -> Trace<AdapterT::Vertex>

Trait Implementations

impl<'vertex, AdapterT> Adapter<'vertex> for AdapterTap<'vertex, AdapterT>where AdapterT: Adapter<'vertex>, AdapterT::Vertex: Clone + Debug + PartialEq + Eq + Serialize + DeserializeOwned + 'vertex,

type Vertex = <AdapterT as Adapter<'vertex>>::Vertex

The type of vertices in the dataset this adapter queries. Unless your intended vertex type is cheap to clone, consider wrapping it an Rc or Arc to make cloning it cheaper since that’s a fairly common operation when queries are evaluated.

fn resolve_starting_vertices( &self, edge_name: &Arc<str>, parameters: &EdgeParameters, resolve_info: &ResolveInfo ) -> VertexIterator<'vertex, Self::Vertex>

Produce an iterator of vertices for the specified starting edge.

fn resolve_property<V: AsVertex<Self::Vertex> + 'vertex>( &self, contexts: ContextIterator<'vertex, V>, type_name: &Arc<str>, property_name: &Arc<str>, resolve_info: &ResolveInfo ) -> ContextOutcomeIterator<'vertex, V, FieldValue>

Resolve a property required by the query that’s being evaluated.

fn resolve_neighbors<V: AsVertex<Self::Vertex> + 'vertex>( &self, contexts: ContextIterator<'vertex, V>, type_name: &Arc<str>, edge_name: &Arc<str>, parameters: &EdgeParameters, resolve_info: &ResolveEdgeInfo ) -> ContextOutcomeIterator<'vertex, V, VertexIterator<'vertex, Self::Vertex>>

Resolve the neighboring vertices across an edge.

fn resolve_coercion<V: AsVertex<Self::Vertex> + 'vertex>( &self, contexts: ContextIterator<'vertex, V>, type_name: &Arc<str>, coerce_to_type: &Arc<str>, resolve_info: &ResolveInfo ) -> ContextOutcomeIterator<'vertex, V, bool>

Attempt to coerce vertices to a subtype, as required by the query that’s being evaluated.

impl<'vertex, AdapterT> Clone for AdapterTap<'vertex, AdapterT>where AdapterT: Adapter<'vertex> + Clone, AdapterT::Vertex: Clone + Debug + PartialEq + Eq + Serialize + DeserializeOwned + 'vertex + Clone,

fn clone(&self) -> AdapterTap<'vertex, AdapterT>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'vertex, AdapterT> Debug for AdapterTap<'vertex, AdapterT>where AdapterT: Adapter<'vertex> + Debug, AdapterT::Vertex: Clone + Debug + PartialEq + Eq + Serialize + DeserializeOwned + 'vertex + Debug,

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

Formats the value using the given formatter.