[−][src]Struct falcon::executor::State
A concrete State
.
Methods
impl State
[src]
pub fn new(memory: Memory) -> State
[src]
Create a new State
from the given memory model.
pub fn memory(&self) -> &Memory
[src]
Retrieve the Memory
associated with this State
.
pub fn memory_mut(&mut self) -> &mut Memory
[src]
Retrieve a mutable reference to the Memory
associated with this
State
.
pub fn set_scalar<S: Into<String>>(&mut self, name: S, value: Constant)
[src]
Set the value of the given scalar to a concrete value.
pub fn get_scalar(&self, name: &str) -> Option<&Constant>
[src]
Get the concrete value of the given scalar.
pub fn symbolize_expression(
&self,
expression: &Expression
) -> Result<Expression>
[src]
&self,
expression: &Expression
) -> Result<Expression>
Symbolize an expression, replacing all scalars with the concrete values stored in this state.
pub fn symbolize_and_eval(&self, expression: &Expression) -> Result<Constant>
[src]
Symbolize the given expression, replacing all scalars with the concrete values held in this state, and evaluate the expression to a single concrete value.
pub fn execute(self, operation: &Operation) -> Result<Successor>
[src]
Execute an il::Operation
, returning the post-execution State
.
Trait Implementations
impl Clone for State
[src]
impl Debug for State
[src]
impl Into<State> for Successor
[src]
Turn this Successor
into its State
, discarding the SuccessorType
.
Auto Trait Implementations
impl !RefUnwindSafe for State
impl !Send for State
impl !Sync for State
impl Unpin for State
impl UnwindSafe for State
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,