Struct Env

pub struct Env<'pc, 'vm, 'state, 'linkage> {
    pub protocol_config: &'pc ProtocolConfig,
    pub vm: &'vm MoveVM,
    pub state_view: &'state mut dyn ExecutionState,
    pub linkable_store: &'linkage CachedPackageStore<'state>,
    pub linkage_analysis: &'linkage dyn LinkageAnalysis,
    /* private fields */
}

Fields

protocol_config: &'pc ProtocolConfig

vm: &'vm MoveVM

state_view: &'state mut dyn ExecutionState

linkable_store: &'linkage CachedPackageStore<'state>

linkage_analysis: &'linkage dyn LinkageAnalysis

Implementations

impl<'pc, 'vm, 'state, 'linkage> Env<'pc, 'vm, 'state, 'linkage>

pub fn new( protocol_config: &'pc ProtocolConfig, vm: &'vm MoveVM, state_view: &'state mut dyn ExecutionState, linkable_store: &'linkage CachedPackageStore<'state>, linkage_analysis: &'linkage dyn LinkageAnalysis, ) -> Self

pub fn convert_linked_vm_error( &self, e: VMError, linkage: &RootedLinkage, ) -> ExecutionError

pub fn convert_vm_error(&self, e: VMError) -> ExecutionError

pub fn convert_type_argument_error( &self, idx: usize, e: VMError, linkage: &RootedLinkage, ) -> ExecutionError

pub fn module_definition( &self, module_id: &ModuleId, linkage: &RootedLinkage, ) -> Result<Arc<CompiledModule>, ExecutionError>

pub fn fully_annotated_layout( &self, ty: &Type, ) -> Result<MoveTypeLayout, ExecutionError>

pub fn runtime_layout( &self, ty: &Type, ) -> Result<MoveTypeLayout, ExecutionError>

pub fn load_function( &self, package: ObjectID, module: String, function: String, type_arguments: Vec<Type>, linkage: RootedLinkage, ) -> Result<LoadedFunction, ExecutionError>

pub fn load_type_input( &self, idx: usize, ty: TypeInput, ) -> Result<Type, ExecutionError>

pub fn load_type_from_struct( &self, tag: &StructTag, ) -> Result<Type, ExecutionError>

We verify that all types in the StructTag are defining ID-based types.

pub fn type_layout_for_struct( &self, tag: &StructTag, ) -> Result<MoveTypeLayout, ExecutionError>

pub fn gas_coin_type(&self) -> Result<Type, ExecutionError>

pub fn upgrade_ticket_type(&self) -> Result<Type, ExecutionError>

pub fn upgrade_receipt_type(&self) -> Result<Type, ExecutionError>

pub fn upgrade_cap_type(&self) -> Result<Type, ExecutionError>

pub fn vector_type(&self, element_type: Type) -> Result<Type, ExecutionError>

pub fn read_object(&self, id: &ObjectID) -> Result<&Object, ExecutionError>

pub fn load_vm_type_argument_from_adapter_type( &self, idx: usize, ty: &Type, ) -> Result<(Type, RootedLinkage), ExecutionError>

Takes an adapter Type and returns a VM runtime Type and the linkage for it.