pub struct StacklessBytecodeInterpreter<'env> {
pub env: &'env GlobalEnv,
/* private fields */
}
Fields
env: &'env GlobalEnv
Implementations
sourceimpl<'env> StacklessBytecodeInterpreter<'env>
impl<'env> StacklessBytecodeInterpreter<'env>
pub fn new(
env: &'env GlobalEnv,
options_opt: Option<ProverOptions>,
settings: InterpreterSettings
) -> Self
pub fn interpret(
&self,
module_id: &ModuleId,
func_name: &IdentStr,
ty_args: &[TypeTag],
args: &[MoveValue],
global_state: &GlobalState
) -> (VMResult<Vec<Vec<u8>>>, ChangeSet, GlobalState)
pub fn interpret_with_bcs_arguments(
&self,
module_id: &ModuleId,
func_name: &IdentStr,
ty_args: &[TypeTag],
bcs_args: &[Vec<u8>],
senders_opt: Option<&[AccountAddress]>,
global_state: &GlobalState
) -> (VMResult<Vec<Vec<u8>>>, ChangeSet, GlobalState)
pub fn report_property_checking_results(&self) -> Option<String>
Auto Trait Implementations
impl<'env> !RefUnwindSafe for StacklessBytecodeInterpreter<'env>
impl<'env> !Send for StacklessBytecodeInterpreter<'env>
impl<'env> !Sync for StacklessBytecodeInterpreter<'env>
impl<'env> Unpin for StacklessBytecodeInterpreter<'env>
impl<'env> !UnwindSafe for StacklessBytecodeInterpreter<'env>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more