Struct ApplicationErrorContext 

pub struct ApplicationErrorContext { /* private fields */ }

Bounded symbolic context for one application failure.

Implementations

impl ApplicationErrorContext

pub const fn empty() -> Self

Constructs empty context for a failure that has no honest symbol.

pub fn with_contract( self, lineage: ContractLineage, version: ContractVersion, ) -> Self

Adds exact contract identity already visible to the caller.

pub fn with_operation_symbol( self, symbol: String, ) -> Result<Self, ApplicationErrorContextError>

Adds one checked caller-visible query, module, command, or role symbol.

pub fn with_symbol_path( self, symbols: Vec<String>, ) -> Result<Self, ApplicationErrorContextError>

Adds a bounded checked caller-visible symbol path.

pub const fn with_source_span(self, source_span: ApplicationSourceSpan) -> Self

Adds a checked source span.

pub const fn with_trace_id(self, trace_id: RequestId) -> Self

Adds the request identity as the safe end-to-end trace identity.

pub const fn contract(&self) -> Option<&(ContractLineage, ContractVersion)>

Exact selected contract, when safely known.

pub fn operation_symbol(&self) -> Option<&str>

Caller-visible operation symbol, when safely known.

pub fn symbol_path(&self) -> &[String]

Caller-visible symbolic path.

pub const fn source_span(&self) -> Option<ApplicationSourceSpan>

Source span, when safely known.

pub const fn trace_id(&self) -> Option<RequestId>

Opaque request/trace identity.

Trait Implementations

impl Clone for ApplicationErrorContext

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ApplicationErrorContext

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

Formats the value using the given formatter.

impl Default for ApplicationErrorContext

fn default() -> Self

Returns the “default value” for a type.

impl Eq for ApplicationErrorContext

impl PartialEq for ApplicationErrorContext

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

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for ApplicationErrorContext