Enum HostEvent 

#[non_exhaustive]
pub enum HostEvent {
    Input(String),
    JobExited {
        id: u64,
        program: String,
        exit_status: i32,
        running_for: Duration,
        tail: String,
    },
    JobOverdue {
        id: u64,
        program: String,
        running_for: Duration,
        tail: String,
    },
}

One thing that happened to the host. Not harness_core::Event, which is the hook enum fired from inside a run; these arrive from outside it.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Input(String)

A line the person typed.

JobExited

A background job ended.

Fields

id: u64

program: String

exit_status: i32

running_for: Duration

tail: String

JobOverdue

A background job is still running past the time it was expected to take.

Fields

id: u64

program: String

running_for: Duration

tail: String

Implementations

impl HostEvent

pub fn headline(&self) -> Option<String>

One line for the person at the terminal; None for typed input, which they already saw. E.g. job 3 (gh) exited 0 after 21m.

pub fn notice(&self) -> Option<String>

The text the model reads for this event: what happened, the tail of the job’s output, and what is expected of it. None for typed input, which is already the model’s input as it stands.

Trait Implementations

impl Clone for HostEvent

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 HostEvent

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

Formats the value using the given formatter.

impl From<JobEvent> for HostEvent

fn from(ev: JobEvent) -> Self

Converts to this type from the input type.