Enum move_stackless_bytecode::access_path::Root
source · [−]Expand description
Root of an access path: a global, local, or return variable
Variants
Global(GlobalKey)
A key in global storage
Formal(TempIndex)
A formal parameter
Local(TempIndex)
A local variable
Return(usize)
A return variable
Implementations
sourceimpl Root
impl Root
sourcepub fn from_index(index: TempIndex, fun: &FunctionEnv<'_>) -> Self
pub fn from_index(index: TempIndex, fun: &FunctionEnv<'_>) -> Self
Create a Root
from local index index
sourcepub fn get_type(&self, fun: &FunctionEnv<'_>) -> Type
pub fn get_type(&self, fun: &FunctionEnv<'_>) -> Type
Return the type of self
in fun
sourcepub fn is_statically_known(&self) -> bool
pub fn is_statically_known(&self) -> bool
Return true if self
can be determined statically
sourcepub fn substitute_footprint(
&mut self,
actuals: &[TempIndex],
type_actuals: &[Type],
func_env: &FunctionEnv<'_>,
sub_map: &dyn AccessPathMap<AbsAddr>
)
pub fn substitute_footprint(
&mut self,
actuals: &[TempIndex],
type_actuals: &[Type],
func_env: &FunctionEnv<'_>,
sub_map: &dyn AccessPathMap<AbsAddr>
)
Replace all footprint paths in self
using actuals
and sub_map
.
Bind free type variables to type_actuals
.
sourcepub fn display<'a>(&'a self, env: &'a FunctionEnv<'_>) -> RootDisplay<'a>
pub fn display<'a>(&'a self, env: &'a FunctionEnv<'_>) -> RootDisplay<'a>
Return a wrapper of self
that implements Display
using env
Trait Implementations
sourceimpl Ord for Root
impl Ord for Root
1.21.0 · sourcefn max(self, other: Self) -> Self
fn max(self, other: Self) -> Self
Compares and returns the maximum of two values. Read more
1.21.0 · sourcefn min(self, other: Self) -> Self
fn min(self, other: Self) -> Self
Compares and returns the minimum of two values. Read more
1.50.0 · sourcefn clamp(self, min: Self, max: Self) -> Self where
Self: PartialOrd<Self>,
fn clamp(self, min: Self, max: Self) -> Self where
Self: PartialOrd<Self>,
Restrict a value to a certain interval. Read more
sourceimpl PartialEq<Root> for Root
impl PartialEq<Root> for Root
sourceimpl PartialOrd<Root> for Root
impl PartialOrd<Root> for Root
sourcefn partial_cmp(&self, other: &Root) -> Option<Ordering>
fn partial_cmp(&self, other: &Root) -> Option<Ordering>
This method returns an ordering between self
and other
values if one exists. Read more
1.0.0 · sourcefn lt(&self, other: &Rhs) -> bool
fn lt(&self, other: &Rhs) -> bool
This method tests less than (for self
and other
) and is used by the <
operator. Read more
1.0.0 · sourcefn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
impl Eq for Root
impl StructuralEq for Root
impl StructuralPartialEq for Root
Auto Trait Implementations
impl RefUnwindSafe for Root
impl Send for Root
impl Sync for Root
impl Unpin for Root
impl UnwindSafe for Root
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
sourceimpl<Q, K> Equivalent<K> for Q where
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Q where
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
sourcefn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to key
and return true
if they are equal.