Trait puffin::execution::TraceRunner

pub trait TraceRunner: Sized {
    type PB: ProtocolBehavior;
    type R;
    type E;

    // Required method
    fn execute_config<T>(
        self,
        trace: T,
        config_trace: ConfigTrace,
        executed_until: &mut usize,
    ) -> Result<Self::R, Self::E>
       where Self: Sized,
             T: AsRef<Trace<<Self::PB as ProtocolBehavior>::ProtocolTypes>>;

    // Provided method
    fn execute<T>(
        self,
        trace: T,
        executed_until: &mut usize,
    ) -> Result<Self::R, Self::E>
       where T: AsRef<Trace<<Self::PB as ProtocolBehavior>::ProtocolTypes>> { ... }
}

Required Associated Types

type PB: ProtocolBehavior

type R

type E

Required Methods

fn execute_config<T>( self, trace: T, config_trace: ConfigTrace, executed_until: &mut usize, ) -> Result<Self::R, Self::E>

where Self: Sized, T: AsRef<Trace<<Self::PB as ProtocolBehavior>::ProtocolTypes>>,

Provided Methods

fn execute<T>( self, trace: T, executed_until: &mut usize, ) -> Result<Self::R, Self::E>

where T: AsRef<Trace<<Self::PB as ProtocolBehavior>::ProtocolTypes>>,

Object Safety

This trait is not object safe.

Implementors

impl<PB: ProtocolBehavior> TraceRunner for &Runner<PB>

type E = Error

type PB = PB

type R = TraceContext<<&Runner<PB> as TraceRunner>::PB>

impl<T: TraceRunner + Clone> TraceRunner for &ForkedRunner<T>

type E = ForkError

type PB = <T as TraceRunner>::PB

type R = ExecutionStatus