Enum moore_svlog::value::ValueKind

pub enum ValueKind<'t> {
    Void,
    Int(BigInt, BitVec, BitVec),
    Time(BigRational),
    StructOrArray(Vec<Value<'t>>),
    String(Vec<u8>),
    Error,
}

The different forms a value can assume.

Variants

Void

The void value.

Int(BigInt, BitVec, BitVec)

An arbitrary precision integer.

The first field contains the value. The second field indicates the special bits (x or z), and the third indicates the x bits.

Tuple Fields of Int

0: BigInt1: BitVec2: BitVec

Time(BigRational)

An arbitrary precision time interval.

Tuple Fields of Time

0: BigRational

StructOrArray(Vec<Value<'t>>)

A struct.

Tuple Fields of StructOrArray

0: Vec<Value<'t>>

String(Vec<u8>)

A string.

Note that we use a raw u8 array, instead of Rust’s String type. This is due to String guaranteeing that the encoded byte sequence is valid UTF8, which SystemVerilog does not guarantee.

Tuple Fields of String

0: Vec<u8>

Error

An error occurred during value computation.

Implementations

impl<'t> ValueKind<'t>

pub fn is_error(&self) -> bool

Check if the value represents a computation error tombstone.

Trait Implementations

impl<'t> Clone for ValueKind<'t>

fn clone(&self) -> ValueKind<'t>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'t> Debug for ValueKind<'t>

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

Formats the value using the given formatter.

impl Display for ValueKind<'_>

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

Formats the value using the given formatter.

impl<'t> Hash for ValueKind<'t>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl<'t> PartialEq<ValueKind<'t>> for ValueKind<'t>

fn eq(&self, other: &ValueKind<'t>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &ValueKind<'t>) -> bool

This method tests for !=.

impl<'t> Eq for ValueKind<'t>

impl<'t> StructuralEq for ValueKind<'t>

impl<'t> StructuralPartialEq for ValueKind<'t>