Struct move_model::model::ModuleData

source · [−]

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

source

impl ModuleData

source

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

Trait Implementations

source

impl Debug for ModuleData

source

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

fn into(self) -> U

Calls U::from(self).

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

source

impl<T> Same<T> for T

type Output = T

Should always be Self

source

impl<T, U> TryFrom for T where
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>::Error>

Performs the conversion.

source

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

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source

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

Performs the conversion.

source

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

source

Struct move_model::model::ModuleData

Module Environment

Fields

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

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 T where
T: 'static + ?Sized,

fn type_id(&self) -> TypeId

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

fn borrow(&self) -> &T

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

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

impl<T> From<T> for T

fn from(t: T) -> T

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

fn into(self) -> U

impl<T> Same<T> for T

type Output = T

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

type Error = Infallible

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

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

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

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

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

fn vzip(self) -> V

Struct move_model::model::ModuleData

Fields

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

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 T where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

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

fn borrow(&self) -> &T

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

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

impl<T> From<T> for T

fn from(t: T) -> T

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

fn into(self) -> U

impl<T> Same<T> for T

type Output = T

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

type Error = Infallible

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

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

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

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

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

fn vzip(self) -> V

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

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

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

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

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

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

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