Struct move_stackless_bytecode::usage_analysis::UsageState
source · [−]pub struct UsageState {
pub accessed: MemoryUsage,
pub modified: MemoryUsage,
pub assumed: MemoryUsage,
pub asserted: MemoryUsage,
}
Fields
accessed: MemoryUsage
The memory accessed by this function. This is the union of the three individual fields below.
modified: MemoryUsage
The memory modified by this function.
assumed: MemoryUsage
The memory mentioned by the assume expressions in this function.
asserted: MemoryUsage
The memory mentioned by the assert expressions in this function.
Implementations
impl UsageState
This impl block contains no items.
Generated functions
impl UsageState
This impl block contains no items.
Helpers for the abstract interpretation process
Trait Implementations
sourceimpl AbstractDomain for UsageState
impl AbstractDomain for UsageState
fn join(&mut self, other: &Self) -> JoinResult
sourceimpl Clone for UsageState
impl Clone for UsageState
sourcefn clone(&self) -> UsageState
fn clone(&self) -> UsageState
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
sourceimpl Default for UsageState
impl Default for UsageState
sourcefn default() -> UsageState
fn default() -> UsageState
Returns the “default value” for a type. Read more
Auto Trait Implementations
impl RefUnwindSafe for UsageState
impl Send for UsageState
impl Sync for UsageState
impl Unpin for UsageState
impl UnwindSafe for UsageState
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more