Struct falcon::executor::Driver[][src]

pub struct Driver { /* fields omitted */ }

A driver for a concrete executor over Falcon IL.


impl Driver

Create a new driver for concrete execution over Falcon IL.

Step forward over Falcon IL.

Retrieve the Falcon IL program associated with this driver.

If this driver is sitting on an instruction with an address, return that address.

Retrieve the il::ProgramLocation associated with this driver.

Retrieve the concrete State associated with this driver.

Retrieve a mutable reference to the State associated with this driver.

Trait Implementations

impl Debug for Driver

Formats the value using the given formatter. Read more

impl Clone for Driver

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

Auto Trait Implementations

impl !Send for Driver

impl !Sync for Driver