Trait EcalHandler

pub trait EcalHandler: Clone
where
    Self: Sized,
{
    const INC_PC: bool = true;

    // Required method
    fn ecal<M, S, Tx>(
        vm: &mut Interpreter<M, S, Tx, Self>,
        a: RegId,
        b: RegId,
        c: RegId,
        d: RegId,
    ) -> SimpleResult<()>
       where M: Memory;
}

ECAL opcode handler

Provided Associated Constants

const INC_PC: bool = true

Whether to increment PC after executing ECAL. If this is false, the handler must increment PC itself.

Required Methods

fn ecal<M, S, Tx>( vm: &mut Interpreter<M, S, Tx, Self>, a: RegId, b: RegId, c: RegId, d: RegId, ) -> SimpleResult<()>

where M: Memory,

ECAL opcode handler

Object Safety

This trait is not object safe.

Implementors

impl EcalHandler for NotSupportedEcal

Default ECAL opcode handler function, which just errors immediately.

impl EcalHandler for PredicateErrorEcal

ECAL is not allowed in predicates