Struct SpaceAddress 

pub struct SpaceAddress { /* private fields */ }

A pointer-typed value carrying the memory space it points into.

This represents arbitrary space provenance — e.g. the result of &A + offset, which points into the space of varnode A. It is the type-system encoding of the address-space tag that pointer-producing instructions used to carry as a separate field. Its byte width is the producing instruction’s width (not necessarily the space’s address size), matching the operand-derived size of pointer arithmetic.

Trait Implementations

impl Clone for SpaceAddress

fn clone(&self) -> SpaceAddress

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Type for SpaceAddress

fn size(&self) -> usize

Width of values of this type in bytes.

fn space(&self) -> Option<MemorySpaceId>

The memory space this type lives in, if it is a pointer type.

fn clone_box(&self) -> Box<dyn Type>

Clones this type into a fresh boxed trait object.

fn repr(&self) -> TypeRepr

Describes this type in a flat, serializable form.

fn fields(&self) -> Option<&[AggregateField]>

The ordered field types, if this is an AggregateType or nominal StructType.

fn struct_name(&self) -> Option<&str>

The name of this type, if it is a nominal StructType.

fn function_return_owner(&self) -> Option<FunctionId>

Owning function when this is its unique, editable return-record type.

fn pointee(&self) -> Option<TypeId>

The pointee type, if this is a StructPointer.

fn array(&self) -> Option<(TypeId, usize)>

The (elem, count) pair, if this is an ArrayType. Returns None for every other type — this is the only discriminator element-aware code uses to tell an array from the width-N scalar it otherwise looks like.

fn list(&self) -> Option<(TypeId, Option<usize>)>

The (elem, bound) pair, if this is a ListType — a variable-length sequence whose bound is the static element upper bound (Some(n)) or None when unbounded (a pointer-sourced string). Returns None (the outer option) for every non-list type. This is the discriminator that tells a list (take_while’s result) from a fixed-length array: both look like width-N scalars structurally, but a list’s length is not statically known.