Interface Val

debugger/src/value/base.rs:25–45

Represent value using algebra, subject to change: e.g. Enum, Variable { name, type, value }, etc. Should have cases for &str, enum, etc.

/// Represent value using algebra, subject to change: e.g. Enum, Variable { name, type, value }, etc.
/// Should have cases for &str, enum, etc.
pub trait Val<A> {
    type E;

    /// Allocate a memory address. Return true if this address is the first time being allocated.
    fn alloc_env(&mut self, r: Addr) -> bool;
    /// Set the Value at this memory address.
    fn set_env(&mut self, r: Addr, v: Self::E);

    fn prim_v(&self, ty: &str, val: &[u8]) -> Self::E;
    fn bytes_v(&self, ty: &str, val: Bytes) -> Self::E;
    fn arr_v<I: Iterator<Item = Self::E>>(&self, iter: I) -> Self::E;

    /// The Addr must have been allocated already.
    fn ref_v(&self, ty: &str, r: Addr) -> Self::E;
    fn struct_v<I: Iterator<Item = (String, Self::E)>>(&self, ty: &str, fields: I) -> Self::E;
    /// C style enum, no field
    fn enumerate_v(&self, ty: &str, variant: &str) -> Self::E;
    fn unit_v(&self) -> Self::E;
    /// what we couldn't inspect
    fn opaque_v(&self) -> Self::E;
}

/// Rust extension to `Val`.
pub trait RVal<A>: Val<A> {