Trait BaseHost

Source

pub trait BaseHost {
    // Required method
    fn get_label_and_source_file(
        &self,
        location: &Location,
    ) -> (SourceSpan, Option<Arc<SourceFile>>);

    // Provided methods
    fn resolve_event(&self, _event_id: EventId) -> Option<&EventName> { ... }
    fn resolve_trace(&self, _trace_id: EventId) -> Option<&EventName> { ... }
}

Expand description

Defines the host functionality shared by both sync and async execution.

There are two main categories of interactions between the VM and the host:

getting a library’s MAST forest,
handling VM events (regular events can mutate the process’ advice provider, while trace events are read-only),

Required Methods§

Source

fn get_label_and_source_file( &self, location: &Location, ) -> (SourceSpan, Option<Arc<SourceFile>>)

Returns the SourceSpan and optional SourceFile for the provided location.

Provided Methods§

Source

fn resolve_event(&self, _event_id: EventId) -> Option<&EventName>

Returns the EventName registered for the provided EventId, if any.

Hosts that maintain an event registry can override this method to surface human-readable names for diagnostics. The default implementation returns None.

Source

fn resolve_trace(&self, _trace_id: EventId) -> Option<&EventName>

Returns the EventName registered for the provided trace EventId, if any.

Hosts that maintain an trace handler registry can override this method to surface human-readable names for diagnostics. The default implementation returns None.