Struct test_generation::abstract_state::AbstractValue

pub struct AbstractValue {
    pub token: SignatureToken,
    pub abilities: AbilitySet,
}

This models a value on the stack or in the locals

Fields

token: SignatureToken

Represents the type of the value

abilities: AbilitySet

Represents the abilities of the value

Implementations

impl AbstractValue

pub fn new_primitive(token: SignatureToken) -> AbstractValue

Create a new primitive AbstractValue given its type; the kind will be Copyable

pub fn new_reference( token: SignatureToken, abilities: AbilitySet ) -> AbstractValue

Create a new reference AbstractValue given its type and kind

pub fn new_struct(token: SignatureToken, abilities: AbilitySet) -> AbstractValue

Create a new struct AbstractValue given its type and kind

pub fn new_value(token: SignatureToken, abilities: AbilitySet) -> AbstractValue

pub fn is_generic(&self) -> bool

Predicate on whether the type of the abstract value is generic – it is if it contains a type parameter.

Trait Implementations

impl Clone for AbstractValue

fn clone(&self) -> AbstractValue

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for AbstractValue

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for AbstractValue

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq<AbstractValue> for AbstractValue

fn eq(&self, other: &AbstractValue) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for AbstractValue

impl StructuralEq for AbstractValue

impl StructuralPartialEq for AbstractValue