Enum Statement

pub enum Statement {
    Assignment(Assignment),
    Pc(Pc),
    BlockPc(BlockPc),
}

A statement in a LHS or RHS.

Variants

Assignment(Assignment)

An assignment statement.

Pc(Pc)

A path condition statement.

BlockPc(BlockPc)

A block path condition statement.

Trait Implementations

impl Clone for Statement

fn clone(&self) -> Statement

Returns a copy 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 From<Assignment> for Statement

fn from(a: Assignment) -> Self

Converts to this type from the input type.

impl From<BlockPc> for Statement

fn from(bpc: BlockPc) -> Self

Converts to this type from the input type.

impl From<Pc> for Statement

fn from(pc: Pc) -> Self

Converts to this type from the input type.

impl Peek for Statement

fn peek<'a>(parser: &mut Parser<'a>) -> Result<bool>

Does it look like we can parse a Self from the given buffer?