Struct CapturedEvent 

pub struct CapturedEvent {
    pub target: String,
    pub level: &'static str,
    pub name: &'static str,
    pub span: Option<String>,
    pub code: Option<LeanDiagnosticCode>,
    pub message: String,
    pub fields: Vec<(&'static str, String)>,
}

One captured tracing event.

Built by the per-thread layer installed by DiagnosticCapture. The code field is populated when an event carries a code = "..." field whose value matches one of LeanDiagnosticCode::as_str. fields carries other structured fields verbatim, with values rendered via fmt::Debug (the standard tracing protocol).

Fields

target: String

The event’s target, e.g. "lean_rs". Tracing assigns the containing module path by default.

level: &'static str

The event’s level as the lowercase string "error", "warn", "info", "debug", or "trace".

name: &'static str

The event’s name (assigned by tracing from the source-site macro), e.g. "event src/host/session.rs:271". Use Self::span to identify which #[instrument]-style span produced the event.

span: Option<String>

The span name the event was emitted inside, if any. This is the identifier used by the documented span catalogue (lean_rs.host.session.import, lean_rs.module.library.open, …).

code: Option<LeanDiagnosticCode>

The diagnostic code attached to this event, if it carries a code field that matches a known LeanDiagnosticCode.

message: String

The event’s message field if present, else an empty string.

fields: Vec<(&'static str, String)>

Other structured fields ((name, value) pairs), excluding code and message.

Trait Implementations

impl Clone for CapturedEvent

fn clone(&self) -> CapturedEvent

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CapturedEvent

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

Formats the value using the given formatter.

impl PartialEq for CapturedEvent

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for CapturedEvent

impl StructuralPartialEq for CapturedEvent