Struct MagnitudeLimit 

pub struct MagnitudeLimit { /* private fields */ }

A finite ceiling for arbitrary-precision literal and result magnitude.

The limit is expressed in binary bits so domains with native bit-length metadata can enforce it directly. Decimal literal parsers can use MagnitudeLimit::check_decimal_digits to conservatively estimate the same budget before allocating big integer storage.

Examples

use sim_lib_numbers_core::MagnitudeLimit;

let limit = MagnitudeLimit::new(128);
assert!(limit.check_bits("integer result", 127).is_ok());
assert!(limit.check_decimal_digits("decimal literal", 1_000).is_err());

Implementations

impl MagnitudeLimit

pub const fn new(max_bits: u64) -> Self

Creates a finite arbitrary-precision magnitude limit.

pub const fn default_arbitrary_precision() -> Self

Returns the default arbitrary-precision magnitude limit.

pub const fn max_bits(self) -> u64

Returns the maximum allowed magnitude in binary bits.

pub fn check_bits(self, context: &str, estimated_bits: u64) -> Result<()>

Checks a known binary bit length against this limit.

pub fn check_decimal_digits(self, context: &str, digits: usize) -> Result<u64>

Checks a decimal digit count against this limit, returning the estimated binary bit length when it fits.

pub fn max_decimal_digits(self) -> usize

Returns the largest decimal digit count conservatively accepted by this bit budget.

Trait Implementations

impl Clone for MagnitudeLimit

fn clone(&self) -> MagnitudeLimit

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for MagnitudeLimit

impl Debug for MagnitudeLimit

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

Formats the value using the given formatter.

impl Default for MagnitudeLimit

fn default() -> Self

Returns the “default value” for a type.

impl Eq for MagnitudeLimit

impl PartialEq for MagnitudeLimit

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for MagnitudeLimit