Struct Expression 

pub struct Expression<S = ()> {
    pub ty: ExpressionTy<S>,
    pub size: Option<usize>,
    pub span: S,
}

A p-code expression: a node kind, plus the width its value has.

S is the span type. It is (usize, usize) — a byte range into the preprocessed source — while the compiler is lowering, and () in the form a consumer receives, which is the default span parameter.

Fields

ty: ExpressionTy<S>

What kind of expression this is, and its operands.

size: Option<usize>

Width of the value in bytes.

None means the width was not written in the source and could not be inferred — a literal in a position that does not pin one down, most often. A consumer that needs a width must supply one from context rather than assume.

span: S

Where this node came from in the preprocessed source, or () once the compiler is done with it.

Implementations

impl<S> Expression<S>

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

Discards source spans, giving the form a consumer receives.

impl Expression

pub fn pretty_print(&self, spec: &impl PcodeResolver) -> String

Renders this expression in a SLEIGH-like syntax, resolving identifiers against spec. For diagnostics and tests; not a stable format.

impl Expression<(usize, usize)>

pub fn new_int(value: u64, size: Option<usize>, span: (usize, usize)) -> Self

Creates an integer literal with its parse-time span and optional width.

Trait Implementations

impl<S: Clone> Clone for Expression<S>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<S: Debug> Debug for Expression<S>

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

Formats the value using the given formatter.

impl<'de, S> Deserialize<'de> for Expression<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 Expression<S>

impl From<ExpressionTy> for Expression

fn from(ty: ExpressionTy) -> Self

Converts to this type from the input type.

impl<S: PartialEq> PartialEq for Expression<S>

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

Equality operator ==.

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

Inequality operator !=.

impl<S> Serialize for Expression<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 Expression<S>