Enum ExpressionTy 

pub enum ExpressionTy<S = ()> {
    SizedInt {
        value: u64,
        size: Option<usize>,
    },
    SubPieceMsb {
        src: Box<Expression<S>>,
        count: usize,
    },
    SubPieceLsb {
        src: Box<Expression<S>>,
        count: usize,
    },
    Load(Load<S>),
    Range(Range<S>),
    FunctionCall {
        builtin: Builtin,
        args: Vec<Expression<S>>,
    },
    PcodeOp {
        id: PCodeOpId,
        args: Vec<Expression<S>>,
    },
    MacroCall {
        id: PMacroId,
        args: Vec<Expression<S>>,
    },
    DeferredCall {
        name: Box<str>,
        args: Vec<Expression<S>>,
    },
    Ident(Ident),
    Unop(Unop<S>),
    Binop(Binop<S>),
}

The shape of a p-code expression node.

S is the span type: (usize, usize) at parse time, () in the stored/runtime form.

Variants

SizedInt

An integer literal.

Fields

value: u64

The value, zero-extended into a u64.

size: Option<usize>

Explicit width in bytes from a :n suffix, or None when the literal takes its width from the context it appears in.

SubPieceMsb

x(n) — drop the low n bytes of x, keeping the high end.

Fields

src: Box<Expression<S>>

The value being truncated.

count: usize

How many bytes to drop from the bottom.

SubPieceLsb

x:n — keep the low n bytes of x.

Fields

src: Box<Expression<S>>

The value being truncated.

count: usize

How many low bytes to keep.

Load(Load<S>)

*[space]:n ptr — a memory read.

Range(Range<S>)

x[start, size] — a bit range of a value.

FunctionCall

A call to one of SLEIGH’s built-in functions.

Fields

builtin: Builtin

Which builtin.

args: Vec<Expression<S>>

Its arguments, in source order.

PcodeOp

A call to a define pcodeop — an operation the specification declares but does not define, so a consumer must give it meaning. The name is the id-th entry of the producer’s user-defined operation table.

Fields

id: PCodeOpId

Index into the specification’s user-defined operation list.

args: Vec<Expression<S>>

Its arguments, in source order.

MacroCall

A call to a macro. Expanded away before a consumer sees the AST; one surviving is a bug in this crate.

Fields

id: PMacroId

The macro being called.

args: Vec<Expression<S>>

Its arguments, in source order.

DeferredCall

A call to a name the symbol table did not hold — necessarily a macro parameter, substituted when the macro is inlined. A consumer does not see this variant.

Fields

name: Box<str>

The name being called.

args: Vec<Expression<S>>

Its arguments, in source order.

Ident(Ident)

A reference to a named thing.

Unop(Unop<S>)

A prefix operator applied to one operand.

Binop(Binop<S>)

An infix operator applied to two operands.

Implementations

impl ExpressionTy

pub fn with_size(self, size: usize) -> Expression

Wraps this node in an expression with a known byte width.

impl<S> ExpressionTy<S>

pub fn strip_span(self) -> ExpressionTy<()>

Discards source spans.

Trait Implementations

impl<S: Clone> Clone for ExpressionTy<S>

fn clone(&self) -> ExpressionTy<S>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<S: Debug> Debug for ExpressionTy<S>

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

Formats the value using the given formatter.

impl<'de, S> Deserialize<'de> for ExpressionTy<S>

where S: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<S: Eq> Eq for ExpressionTy<S>

impl From<ExpressionTy> for Expression

fn from(ty: ExpressionTy) -> Self

Converts to this type from the input type.

impl<S: PartialEq> PartialEq for ExpressionTy<S>

fn eq(&self, other: &ExpressionTy<S>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<S> Serialize for ExpressionTy<S>

where S: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<S: PartialEq> StructuralPartialEq for ExpressionTy<S>