Trait Instrumenter

pub trait Instrumenter<'a> {
    // Required methods
    fn finish_instr(&mut self);
    fn curr_instrument_mode(&self) -> &Option<InstrumentationMode>;
    fn set_instrument_mode_at(
        &mut self,
        mode: InstrumentationMode,
        loc: Location,
    );
    fn curr_func_instrument_mode(&self) -> &Option<FuncInstrMode>;
    fn set_func_instrument_mode(&mut self, mode: FuncInstrMode);
    fn clear_instr_at(&mut self, loc: Location, mode: InstrumentationMode);
    fn add_instr_at(&mut self, loc: Location, instr: Operator<'a>);
    fn empty_alternate_at(&mut self, loc: Location) -> &mut Self;
    fn empty_block_alt_at(&mut self, loc: Location) -> &mut Self;
    fn get_injected_val(&self, idx: usize) -> &Operator<'_>;

    // Provided methods
    fn func_entry(&mut self) -> &mut Self { ... }
    fn func_exit(&mut self) -> &mut Self { ... }
    fn before_at(&mut self, loc: Location) -> &mut Self { ... }
    fn after_at(&mut self, loc: Location) -> &mut Self { ... }
    fn alternate_at(&mut self, loc: Location) -> &mut Self { ... }
    fn semantic_after_at(&mut self, loc: Location) -> &mut Self { ... }
    fn block_entry_at(&mut self, loc: Location) -> &mut Self { ... }
    fn block_exit_at(&mut self, loc: Location) -> &mut Self { ... }
    fn block_alt_at(&mut self, loc: Location) -> &mut Self { ... }
}

Defines instrumentation behaviour

Required Methods

fn finish_instr(&mut self)

Can be called after finishing some instrumentation to reset the mode.

fn curr_instrument_mode(&self) -> &Option<InstrumentationMode>

Get the InstrumentType of the current location

fn set_instrument_mode_at(&mut self, mode: InstrumentationMode, loc: Location)

Sets the type of Instrumentation Type of the specified location

fn curr_func_instrument_mode(&self) -> &Option<FuncInstrMode>

Get the InstrumentType of the current function

fn set_func_instrument_mode(&mut self, mode: FuncInstrMode)

Sets the type of Instrumentation Type of the current function

fn clear_instr_at(&mut self, loc: Location, mode: InstrumentationMode)

Clears the instruction at a given Location

fn add_instr_at(&mut self, loc: Location, instr: Operator<'a>)

Splice a new instruction into a specific location

fn empty_alternate_at(&mut self, loc: Location) -> &mut Self

Injects an empty InstrumentationMode Alternate at a given location

fn empty_block_alt_at(&mut self, loc: Location) -> &mut Self

Injects an empty block alternate at a given location

fn get_injected_val(&self, idx: usize) -> &Operator<'_>

Get the instruction injected at index idx

Provided Methods

fn func_entry(&mut self) -> &mut Self

Mark the current function to InstrumentFuncEntry

fn func_exit(&mut self) -> &mut Self

Mark the current function to InstrumentFuncExit

fn before_at(&mut self, loc: Location) -> &mut Self

Injects an Instruction with InstrumentationMode Before at a given location

fn after_at(&mut self, loc: Location) -> &mut Self

Injects an Instruction with InstrumentationMode After at a given location

fn alternate_at(&mut self, loc: Location) -> &mut Self

Injects an Instruction with InstrumentationMode Alternate at a given location

fn semantic_after_at(&mut self, loc: Location) -> &mut Self

Injects a Semantic After at a given location

fn block_entry_at(&mut self, loc: Location) -> &mut Self

Injects a block entry at a given location

fn block_exit_at(&mut self, loc: Location) -> &mut Self

Injects a block exit at a given location

fn block_alt_at(&mut self, loc: Location) -> &mut Self

Injects a block alternate at a given location

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<'a> Instrumenter<'a> for ModuleIterator<'_, 'a>

impl<'b> Instrumenter<'b> for FunctionModifier<'_, 'b>

impl<'b> Instrumenter<'b> for ComponentIterator<'_, 'b>