Trait miri::MachineStopType

source ·
pub trait MachineStopType: Any + Debug + Send {
    // Required methods
    fn diagnostic_message(&self) -> DiagnosticMessage;
    fn add_args(
        self: Box<Self, Global>,
        adder: &mut dyn FnMut(Cow<'static, str>, DiagnosticArgValue<'static>)
    );
}
Expand description

A trait for machine-specific errors (or other “machine stop” conditions).

Required Methods§

source

fn diagnostic_message(&self) -> DiagnosticMessage

The diagnostic message for this error

source

fn add_args( self: Box<Self, Global>, adder: &mut dyn FnMut(Cow<'static, str>, DiagnosticArgValue<'static>) )

Add diagnostic arguments by passing name and value pairs to adder, which are passed to fluent for formatting the translated diagnostic message.

Implementors§