Enum bytecode_interpreter::concrete::ty::Type

pub enum Type {
    Base(BaseType),
    Reference(bool, BaseType),
}

Variants

Base(BaseType)

Reference(bool, BaseType)

Implementations

impl Type

pub fn mk_bool() -> Self

pub fn mk_ref_bool(is_mut: bool) -> Self

pub fn is_bool(&self) -> bool

pub fn is_ref_bool(&self, is_mut_opt: Option<bool>) -> bool

pub fn mk_u8() -> Self

pub fn mk_ref_u8(is_mut: bool) -> Self

pub fn is_u8(&self) -> bool

pub fn is_ref_u8(&self, is_mut_opt: Option<bool>) -> bool

pub fn mk_u64() -> Self

pub fn mk_ref_u64(is_mut: bool) -> Self

pub fn is_u64(&self) -> bool

pub fn is_ref_u64(&self, is_mut_opt: Option<bool>) -> bool

pub fn mk_u128() -> Self

pub fn mk_ref_u128(is_mut: bool) -> Self

pub fn is_u128(&self) -> bool

pub fn is_ref_u128(&self, is_mut_opt: Option<bool>) -> bool

pub fn mk_num() -> Self

pub fn mk_ref_num(is_mut: bool) -> Self

pub fn is_num(&self) -> bool

pub fn is_ref_num(&self, is_mut_opt: Option<bool>) -> bool

pub fn mk_address() -> Self

pub fn mk_ref_address(is_mut: bool) -> Self

pub fn is_address(&self) -> bool

pub fn is_ref_address(&self, is_mut_opt: Option<bool>) -> bool

pub fn mk_signer() -> Self

pub fn mk_ref_signer(is_mut: bool) -> Self

pub fn is_signer(&self) -> bool

pub fn is_ref_signer(&self, is_mut_opt: Option<bool>) -> bool

pub fn mk_vector(elem: BaseType) -> Self

pub fn mk_ref_vector(elem: BaseType, is_mut: bool) -> Self

pub fn is_vector(&self) -> bool

pub fn is_ref_vector(&self, is_mut_opt: Option<bool>) -> bool

pub fn get_vector_elem(&self) -> &BaseType

pub fn get_ref_vector_elem(&self, is_mut_opt: Option<bool>) -> &BaseType

pub fn into_vector_elem(self) -> BaseType

pub fn into_ref_vector_elem(self, is_mut_opt: Option<bool>) -> BaseType

pub fn is_vector_of(&self, elem: &BaseType) -> bool

pub fn is_ref_vector_of(&self, elem: &BaseType, is_mut_opt: Option<bool>) -> bool

pub fn mk_struct(inst: StructInstantiation) -> Self

pub fn mk_ref_struct(inst: StructInstantiation, is_mut: bool) -> Self

pub fn is_struct(&self) -> bool

pub fn is_ref_struct(&self, is_mut_opt: Option<bool>) -> bool

pub fn get_struct_inst(&self) -> &StructInstantiation

pub fn get_ref_struct_inst( &self, is_mut_opt: Option<bool> ) -> &StructInstantiation

pub fn into_struct_inst(self) -> StructInstantiation

pub fn into_ref_struct_inst( self, is_mut_opt: Option<bool> ) -> StructInstantiation

pub fn is_struct_of(&self, inst: &StructInstantiation) -> bool

pub fn is_ref_struct_of( &self, inst: &StructInstantiation, is_mut_opt: Option<bool> ) -> bool

pub fn is_base(&self) -> bool

pub fn is_ref(&self, is_mut_opt: Option<bool>) -> bool

pub fn get_base_type(&self) -> &BaseType

pub fn get_ref_type(&self) -> (bool, &BaseType)

pub fn into_base_type(self) -> BaseType

pub fn into_ref_type(self) -> (bool, BaseType)

pub fn is_base_of(&self, ty: &BaseType) -> bool

pub fn is_ref_of(&self, ty: &BaseType, is_mut_opt: Option<bool>) -> bool

pub fn is_int(&self) -> bool

pub fn is_ref_int(&self, is_mut_opt: Option<bool>) -> bool

pub fn is_compatible_for_assign(&self, other: &Type) -> bool

pub fn is_compatible_for_equality(&self, other: &Type) -> bool

pub fn is_compatible_for_arithmetic(&self, lhs: &Type, rhs: &Type) -> bool

pub fn is_compatible_for_bitwise(&self, lhs: &Type, rhs: &Type) -> bool

pub fn is_compatible_for_comparison(&self, other: &Type) -> bool

pub fn is_compatible_for_bitshift(&self, other: &Type) -> bool

pub fn is_compatible_for_constant(&self, value: &Constant) -> bool

pub fn is_compatible_for_abort_code(&self) -> bool

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Type

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

Formats the value using the given formatter.

impl Display for Type

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

Formats the value using the given formatter.

impl Ord for Type

fn cmp(&self, other: &Type) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Selfwhere Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Selfwhere Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Selfwhere Self: Sized + PartialOrd<Self>,

Restrict a value to a certain interval.

impl PartialEq<Type> for Type

fn eq(&self, other: &Type) -> 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 PartialOrd<Type> for Type

fn partial_cmp(&self, other: &Type) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

This method tests less than (for self and other) and is used by the < operator.

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

This method tests less than or equal to (for self and other) and is used by the <= operator.

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

This method tests greater than (for self and other) and is used by the > operator.

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

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Eq for Type

impl StructuralEq for Type

impl StructuralPartialEq for Type