Struct budvm::Budgeted

pub struct Budgeted<Env> {
    pub env: Env,
    /* private fields */
}

An Environment that allows executing an amount of instructions before pausing the virtual machine.

Fields

env: Env

The wrapped environment.

Implementations

impl Budgeted<()>

pub fn empty() -> Self

Returns a budgeted default environment.

impl<Env> Budgeted<Env>

pub const fn new(initial_budget: usize, env: Env) -> Self

Returns a new instance with the provided initial budget.

pub const fn balance(&self) -> usize

Returns the current balance of the budget.

pub fn charge(&mut self) -> bool

Returns the current balance of the budget.

pub fn add_budget(&mut self, additional_budget: usize)

Adds an additional budget. This value will saturate usize instead of panicking or overflowing.

Trait Implementations

impl<Env: Debug> Debug for Budgeted<Env>

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

Formats the value using the given formatter.

impl<Env: Default> Default for Budgeted<Env>

fn default() -> Budgeted<Env>

Returns the “default value” for a type.

impl<Env> Environment for Budgeted<Env>where Env: Environment,

type String = <Env as Environment>::String

The string type for this environment.

type Intrinsic = <Env as Environment>::Intrinsic

The intrinsics offered by this environment.

fn step(&mut self) -> ExecutionBehavior

Called once before each instruction is executed.

fn intrinsic( &mut self, intrinsic: &Self::Intrinsic, args: PoppedValues<'_> ) -> Result<Value, FaultKind>

Evalutes the intrinsic operation with the provided arguments.

fn convert(&self, value: &Value, kind: &Symbol) -> Result<Value, FaultKind>

Converts value to a custom type supported by the runtime.

fn convert_string(&self, value: &Value) -> Result<Value, FaultKind>

Converts value to a Value containing an instance of Self::String.