Struct move_ir_types::ast::ModuleDefinition

pub struct ModuleDefinition {
    pub identifier: ModuleIdent,
    pub friends: Vec<ModuleIdent>,
    pub imports: Vec<ImportDefinition>,
    pub explicit_dependency_declarations: Vec<ModuleDependency>,
    pub structs: Vec<StructDefinition>,
    pub constants: Vec<Constant>,
    pub functions: Vec<(FunctionName, Function)>,
    pub synthetics: Vec<SyntheticDefinition>,
}

A Move module

Fields

identifier: ModuleIdent

name and address of the module

friends: Vec<ModuleIdent>

the module’s friends

imports: Vec<ImportDefinition>

the module’s dependencies

explicit_dependency_declarations: Vec<ModuleDependency>

Explicit declaration of dependencies. If not provided, will be inferred based on given dependencies to the IR compiler

structs: Vec<StructDefinition>

the structs (including resources) that the module defines

constants: Vec<Constant>

the constants that the script defines. Only a utility, the identifiers are not carried into the Move bytecode

functions: Vec<(FunctionName, Function)>

the procedure that the module defines

synthetics: Vec<SyntheticDefinition>

the synthetic, specification variables the module defines.

Implementations

impl ModuleDefinition

pub fn new( identifier: ModuleIdent, friends: Vec<ModuleIdent>, imports: Vec<ImportDefinition>, explicit_dependency_declarations: Vec<ModuleDependency>, structs: Vec<StructDefinition>, constants: Vec<Constant>, functions: Vec<(FunctionName, Function)>, synthetics: Vec<SyntheticDefinition> ) -> Self

Creates a new ModuleDefinition from its string name, dependencies, structs+resources, and procedures Does not verify the correctness of any internal properties of its elements

pub fn get_external_deps(&self) -> Vec<ModuleId>

Return a vector of ModuleId for the external dependencies.

Trait Implementations

impl Clone for ModuleDefinition

fn clone(&self) -> ModuleDefinition

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ModuleDefinition

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

Formats the value using the given formatter.

impl Display for ModuleDefinition

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

Formats the value using the given formatter.

impl PartialEq<ModuleDefinition> for ModuleDefinition

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