Struct RequestExecutionView 

pub struct RequestExecutionView { /* private fields */ }

Immutable local facts + a frozen visibility stage, sharing the single root. Source receipts retain this object, not another projection or diagnostic body.

use saddle_core::RequestExecutionView;
fn rewrite(view: RequestExecutionView) { view.inner.published = false; }

Implementations

impl RequestExecutionView

pub fn with_phase(&self, phase: RequestViewPhase) -> Self

pub fn with_db_operation(&self, operation: RegisteredContextOperation) -> Self

pub fn in_task(&self, task: u64) -> Self

Derive the observation for the actual task selected by the runtime. The numeric task is metadata, never a task permit or a sequence minted here.

pub fn in_db_scope( &self, scope: &DbScopeDiagnosticContext<Self>, ) -> Result<Self, ContextConflict>

pub fn observed_db_scope( &self, scope: &DbScopeObservation<Self>, ) -> Result<Self, ContextConflict>

pub fn same_request(&self, other: &Self) -> bool

pub fn same_view(&self, other: &Self) -> bool

pub fn refresh(&self, root: &RequestRootRef) -> Result<Self, ContextConflict>

Only the existing entry root can authorize a later visibility stage.

pub fn child( &self, call: &CallContext, request: &str, route: &str, attempt: u32, ) -> Result<Self, ContextConflict>

Trait Implementations

impl Clone for RequestExecutionView

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Drop for RequestExecutionView

fn drop(&mut self)

Executes the destructor for this type.

fn pin_drop(self: Pin<&mut Self>)

🔬This is a nightly-only experimental API. (pin_ergonomics)

Execute the destructor for this type, but different to Drop::drop, it requires self to be pinned.

impl Serialize for RequestExecutionView

fn serialize<S: Serializer>(&self, s: S) -> Result<S::Ok, S::Error>

Serialize this value into the given Serde serializer.