Struct solana_libra_vm::file_format::CompiledModuleMut

pub struct CompiledModuleMut {
    pub module_handles: Vec<ModuleHandle>,
    pub struct_handles: Vec<StructHandle>,
    pub function_handles: Vec<FunctionHandle>,
    pub type_signatures: TypeSignaturePool,
    pub function_signatures: FunctionSignaturePool,
    pub locals_signatures: LocalsSignaturePool,
    pub string_pool: StringPool,
    pub byte_array_pool: ByteArrayPool,
    pub address_pool: AddressPool,
    pub struct_defs: Vec<StructDefinition>,
    pub field_defs: Vec<FieldDefinition>,
    pub function_defs: Vec<FunctionDefinition>,
}

A mutable version of CompiledModule. Converting to a CompiledModule requires this to pass the bounds checker.

Fields

module_handles: Vec<ModuleHandle>

Handles to external modules and self at position 0.

struct_handles: Vec<StructHandle>

Handles to external and internal types.

function_handles: Vec<FunctionHandle>

Handles to external and internal functions.

type_signatures: TypeSignaturePool

Type pool. A definition for all types used in the module.

function_signatures: FunctionSignaturePool

Function signature pool. Represents all function signatures defined or used in the module.

locals_signatures: LocalsSignaturePool

Locals signature pool. The signature for all locals of the functions defined in the module.

string_pool: StringPool

String pool. All literals and identifiers used in the module.

byte_array_pool: ByteArrayPool

ByteArray pool. The byte array literals used in the module.

address_pool: AddressPool

Address pool. The address literals used in the module. Those include literals for code references (ModuleHandle).

struct_defs: Vec<StructDefinition>

Types defined in this module.

field_defs: Vec<FieldDefinition>

Fields defined on types in this module.

function_defs: Vec<FunctionDefinition>

Function defined in this module.

Methods

impl CompiledModuleMut

pub fn deserialize_no_check_bounds(binary: &[u8]) -> BinaryLoaderResult<Self>

impl CompiledModuleMut

pub fn kind_count(&self, kind: IndexKind) -> usize

Returns the count of a specific IndexKind

pub fn freeze(self) -> Result<CompiledModule, Vec<VerificationError>>

Converts this instance into CompiledModule after verifying it for basic internal consistency. This includes bounds checks but no others.

impl CompiledModuleMut

pub fn serialize(&self, binary: &mut Vec<u8>) -> Result<()>

Serializes this into a binary format.

This is intended mainly for test code. Production code will typically use CompiledModule::serialize.

Trait Implementations

impl TableAccess for CompiledModuleMut

fn get_field_def_at(
    &self,
    idx: FieldDefinitionIndex
) -> Result<&FieldDefinition>

fn get_module_at(&self, idx: ModuleHandleIndex) -> Result<&ModuleHandle>

fn get_struct_at(&self, idx: StructHandleIndex) -> Result<&StructHandle>

fn get_function_at(&self, idx: FunctionHandleIndex) -> Result<&FunctionHandle>

fn get_string_at(&self, idx: StringPoolIndex) -> Result<&String>

fn get_address_at(&self, idx: AddressPoolIndex) -> Result<&AccountAddress>

fn get_type_signature_at(
    &self,
    idx: TypeSignatureIndex
) -> Result<&TypeSignature>

fn get_function_signature_at(
    &self,
    idx: FunctionSignatureIndex
) -> Result<&FunctionSignature>

fn get_locals_signature_at(
    &self,
    idx: LocalsSignatureIndex
) -> Result<&LocalsSignature>

impl Clone for CompiledModuleMut

fn clone(&self) -> CompiledModuleMut

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for CompiledModuleMut

fn default() -> CompiledModuleMut

Returns the "default value" for a type.

impl PartialEq<CompiledModuleMut> for CompiledModuleMut

fn eq(&self, other: &CompiledModuleMut) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &CompiledModuleMut) -> bool

This method tests for !=.

impl Eq for CompiledModuleMut

impl Debug for CompiledModuleMut

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

Formats the value using the given formatter.

impl Arbitrary for CompiledModuleMut

type Strategy = BoxedStrategy<Self>

The type of [Strategy] used to generate values of type Self.

type Parameters = usize

The size of the compiled module.

fn arbitrary_with(size: Self::Parameters) -> Self::Strategy

Generates a [Strategy] for producing arbitrary values of type the implementing type (Self). The strategy is passed the arguments given in args.

fn arbitrary() -> Self::Strategy

Generates a [Strategy] for producing arbitrary values of type the implementing type (Self).