Struct move_model::model::ModuleData

pub struct ModuleData {Show 14 fields
    pub name: ModuleName,
    pub id: ModuleId,
    pub module: CompiledModule,
    pub named_constants: BTreeMap<NamedConstantId, NamedConstantData>,
    pub struct_data: BTreeMap<StructId, StructData>,
    pub struct_idx_to_id: BTreeMap<StructDefinitionIndex, StructId>,
    pub function_data: BTreeMap<FunId, FunctionData>,
    pub function_idx_to_id: BTreeMap<FunctionDefinitionIndex, FunId>,
    pub spec_vars: BTreeMap<SpecVarId, SpecVarDecl>,
    pub spec_funs: BTreeMap<SpecFunId, SpecFunDecl>,
    pub module_spec: Spec,
    pub source_map: SourceMap,
    pub loc: Loc,
    pub spec_block_infos: Vec<SpecBlockInfo>,
    /* private fields */
}

Expand description

Module Environment

Represents data for a module.

Fields§

§name: ModuleName

Module name.

§id: ModuleId

Id of this module in the global env.

§module: CompiledModule

Module byte code.

§named_constants: BTreeMap<NamedConstantId, NamedConstantData>

Named constant data

§struct_data: BTreeMap<StructId, StructData>

Struct data.

§struct_idx_to_id: BTreeMap<StructDefinitionIndex, StructId>

Mapping from struct definition index to id in above map.

§function_data: BTreeMap<FunId, FunctionData>

Function data.

§function_idx_to_id: BTreeMap<FunctionDefinitionIndex, FunId>

Mapping from function definition index to id in above map.

§spec_vars: BTreeMap<SpecVarId, SpecVarDecl>

Specification variables, in SpecVarId order.

§spec_funs: BTreeMap<SpecFunId, SpecFunDecl>

Specification functions, in SpecFunId order.

§module_spec: Spec

Module level specification.

§source_map: SourceMap

Module source location information.

§loc: Loc

The location of this module.

§spec_block_infos: Vec<SpecBlockInfo>

A list of spec block infos, for documentation generation.

Implementations§

impl ModuleData

pub fn stub(name: ModuleName, id: ModuleId, module: CompiledModule) -> Self

Trait Implementations§

impl Debug for ModuleData

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

impl !RefUnwindSafe for ModuleData

impl !Send for ModuleData

impl !Sync for ModuleData

impl Unpin for ModuleData

impl !UnwindSafe for ModuleData

Blanket Implementations§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

const: unstable · source§

fn from(t: T) -> T

Returns the argument unchanged.

impl<T, U> Into<U> for Twhere U: From<T>,

const: unstable · source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

const: unstable · source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

fn vzip(self) -> V