Enum p8n_types::Statement

pub enum Statement {
    Expression {
        result: Variable,
        op: Operation,
    },
    Flow {
        op: FlowOperation,
    },
    Memory {
        op: MemoryOperation,
        result: Segment,
    },
}

A single IL statement.

Variants

Expression

A single RREIL statement.

Fields of Expression

result: Variable

Value that the operation result is assigned to

op: Operation

Operation and its arguments

Flow

Interprocedural control flow operation

Fields of Flow

op: FlowOperation

Operation

Memory

A memory operation

Fields of Memory

op: MemoryOperation

Operation

result: Segment

Memory segment resulting from the memory operation.

Methods

impl Statement

pub fn sanity_check(&self) -> Result<()>

Does a simple sanity check. The functions returns Err if

• The argument size are not equal
• The result has not the same size as assignee
• The select operation arguments are out of range

Trait Implementations

impl Eq for Statement

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 PartialEq<Statement> for Statement

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

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

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

This method tests for !=.

impl Debug for Statement

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

Formats the value using the given formatter.

impl Arbitrary for Statement

fn arbitrary<G: Gen>(g: &mut G) -> Self

fn shrink(&self) -> Box<dyn Iterator<Item = Self> + 'static>