Struct falcon::executor::Driver

pub struct Driver<'d> { /* fields omitted */ }

A driver for a concrete executor over Falcon IL.

Methods

impl<'d> Driver<'d>

fn new(
    program: Rc<Program>,
    location: ProgramLocation,
    state: State<'d>,
    architecture: Architecture
) -> Driver

Create a new driver for concrete execution over Falcon IL.

fn step(self) -> Result<Driver<'d>>

Step forward over Falcon IL.

fn program(&self) -> &Program

Retrieve the Falcon IL program associated with this driver.

fn location(&self) -> &ProgramLocation

Retrieve the il::ProgramLocation associated with this driver.

fn state(&self) -> &State

Retrieve the concrete State associated with this driver.

Trait Implementations

impl<'d> Debug for Driver<'d>

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<'d> Clone for Driver<'d>

fn clone(&self) -> Driver<'d>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.