Struct move_model::model::FieldEnv

pub struct FieldEnv<'env> {
    pub struct_env: StructEnv<'env>,
    /* private fields */
}

Fields

struct_env: StructEnv<'env>

Reference to enclosing struct.

Implementations

impl<'env> FieldEnv<'env>

pub fn get_name(&self) -> Symbol

Gets the name of this field.

pub fn get_id(&self) -> FieldId

Gets the id of this field.

pub fn get_identifier(&'env self) -> Identifier

Returns the VM identifier for this field

pub fn get_doc(&self) -> &str

Get documentation associated with this field.

pub fn get_type(&self) -> Type

Gets the type of this field.

pub fn get_offset(&self) -> usize

Get field offset.

Trait Implementations

impl<'env> Debug for FieldEnv<'env>

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

Formats the value using the given formatter.