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§

Blanket Implementations§

source§

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

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

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

const: unstable · source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

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
source§

impl<T> From<T> for T

const: unstable · source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

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.

source§

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.
source§

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