Enum Statement

pub enum Statement {
    Binding(Binding),
    Register(Register),
    Constant(ExprID, Type, ConstantValue),
    Assert(Loc<ValueName>),
    Set {
        target: Loc<ValueName>,
        value: Loc<ValueName>,
    },
    WalTrace {
        name: ValueName,
        val: ValueName,
        suffix: String,
        ty: Type,
    },
}

Variants

Binding(Binding)

Register(Register)

Constant(ExprID, Type, ConstantValue)

A constant expression with the specified ID and value

Assert(Loc<ValueName>)

Set

Fields

target: Loc<ValueName>

value: Loc<ValueName>

WalTrace

This is a tracing signal as part of the value name. It is used for both individual fields if #[wal_traceable] and #[wal_trace] is used, and whole signals if #[wal_suffix] is used I.e. the result of

#[wal_traceable(suffix) struct T {a: A, b: B}

let x: T = ...`

Will be (e(0); IndexStruct(0); x) (wal_trace {name: x, val: e(0), suffix: _a_suffix, ty: A} (e(1); IndexStruct(1); x) (wal_trace {name: x, val: e(0), suffix: _a_suffix, ty: A}

Fields

name: ValueName

val: ValueName

suffix: String

ty: Type

Trait Implementations

impl Clone for Statement

fn clone(&self) -> Statement

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Statement

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

Formats the value using the given formatter.

impl Display for Statement

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

Formats the value using the given formatter.

impl Hash for Statement

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, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Statement

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Statement

impl StructuralPartialEq for Statement