Struct FixedNumbersLib 

pub struct FixedNumbersLib;

The library that installs every fixed-width integer domain (numbers/i8 through numbers/i128, numbers/u8 through numbers/u128, and the pointer-width isize/usize): their literal classes and shapes, value shapes, and the widening promotion edges through the integer lattice.

Examples

use std::sync::Arc;
use sim_kernel::{Cx, DefaultFactory, NoopEvalPolicy};
use sim_lib_numbers_core::domains;
use sim_lib_numbers_fixed::FixedNumbersLib;

let mut cx = Cx::new(Arc::new(NoopEvalPolicy), Arc::new(DefaultFactory));
cx.load_lib(&FixedNumbersLib::new()).unwrap();

let edges = cx.registry().value_promotion_rules();
assert!(edges.iter().any(|rule| {
    rule.from_domain == domains::i8() && rule.to_domain == domains::i16()
}));

Implementations

impl FixedNumbersLib

pub fn new() -> Self

Construct the fixed-width integer library installer.

Trait Implementations

impl Default for FixedNumbersLib

fn default() -> Self

Returns the “default value” for a type.

impl Lib for FixedNumbersLib

fn manifest(&self) -> LibManifest

Returns the library’s manifest.

fn load(&self, _cx: &mut LoadCx, linker: &mut Linker<'_>) -> Result<()>

Registers the library’s exports against the registry via linker.

fn unload(&self, _cx: &mut Cx, _linker: &mut Linker<'_>) -> Result<(), Error>

Tears down external resources that cannot be represented in the registry’s recorded load delta.