pub enum FunctionVariant {
Baseline,
Verification(VerificationFlavor),
}
Expand description
Describes a function target variant.
Variants§
Baseline
The baseline variant which was created from the original Move bytecode and is then subject of multiple transformations.
Verification(VerificationFlavor)
A variant which is instrumented for verification. Only functions which are target of verification have one of those. There can be multiple verification variants, each identified by a unique flavor.
Implementations§
source§impl FunctionVariant
impl FunctionVariant
pub fn is_verified(&self) -> bool
Trait Implementations§
source§impl Clone for FunctionVariant
impl Clone for FunctionVariant
source§fn clone(&self) -> FunctionVariant
fn clone(&self) -> FunctionVariant
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for FunctionVariant
impl Debug for FunctionVariant
source§impl Display for FunctionVariant
impl Display for FunctionVariant
source§impl Ord for FunctionVariant
impl Ord for FunctionVariant
source§fn cmp(&self, other: &FunctionVariant) -> Ordering
fn cmp(&self, other: &FunctionVariant) -> Ordering
1.21.0 · source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere Self: Sized,
Compares and returns the maximum of two values. Read more
source§impl PartialEq<FunctionVariant> for FunctionVariant
impl PartialEq<FunctionVariant> for FunctionVariant
source§fn eq(&self, other: &FunctionVariant) -> bool
fn eq(&self, other: &FunctionVariant) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl PartialOrd<FunctionVariant> for FunctionVariant
impl PartialOrd<FunctionVariant> for FunctionVariant
source§fn partial_cmp(&self, other: &FunctionVariant) -> Option<Ordering>
fn partial_cmp(&self, other: &FunctionVariant) -> Option<Ordering>
1.0.0 · source§fn 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 moreimpl Eq for FunctionVariant
impl StructuralEq for FunctionVariant
impl StructuralPartialEq for FunctionVariant
Auto Trait Implementations§
impl RefUnwindSafe for FunctionVariant
impl Send for FunctionVariant
impl Sync for FunctionVariant
impl Unpin for FunctionVariant
impl UnwindSafe for FunctionVariant
Blanket Implementations§
source§impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,
source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.