Struct MemoryBudget 

pub struct MemoryBudget {
    pub variable_count: usize,
    pub variable_bytes: usize,
    pub array_entries: usize,
    pub function_count: usize,
    pub function_body_bytes: usize,
}

Tracks approximate memory usage for budget enforcement.

Fields

variable_count: usize

Number of scalar variables (excluding internal markers).

variable_bytes: usize

Total bytes in variable keys + values.

array_entries: usize

Total entries across all arrays (indexed + associative).

function_count: usize

Number of function definitions.

function_body_bytes: usize

Total bytes in function bodies.

Implementations

impl MemoryBudget

pub fn check_variable_insert( &self, key_len: usize, value_len: usize, is_new: bool, old_key_len: usize, old_value_len: usize, limits: &MemoryLimits, ) -> Result<(), LimitExceeded>

Check if adding a variable would exceed limits.

pub fn record_variable_insert( &mut self, key_len: usize, value_len: usize, is_new: bool, old_key_len: usize, old_value_len: usize, )

Record a variable insert (call after successful insert).

pub fn record_variable_remove(&mut self, key_len: usize, value_len: usize)

Record a variable removal.

pub fn check_array_entries( &self, additional: usize, limits: &MemoryLimits, ) -> Result<(), LimitExceeded>

Check if adding array entries would exceed limits.

pub fn record_array_insert(&mut self, added: usize)

Record array entry changes.

pub fn record_array_remove(&mut self, removed: usize)

Record array entry removal.

pub fn check_function_insert( &self, body_bytes: usize, is_new: bool, old_body_bytes: usize, limits: &MemoryLimits, ) -> Result<(), LimitExceeded>

Check if adding a function would exceed limits.

pub fn record_function_insert( &mut self, body_bytes: usize, is_new: bool, old_body_bytes: usize, )

Record a function insert.

pub fn record_function_remove(&mut self, body_bytes: usize)

Record a function removal.

Trait Implementations

impl Clone for MemoryBudget

fn clone(&self) -> MemoryBudget

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MemoryBudget

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

Formats the value using the given formatter.

impl Default for MemoryBudget

fn default() -> MemoryBudget

Returns the “default value” for a type.