Enum ValueRef 

pub enum ValueRef<'str, 'ctx, R = ModuleView<'ctx, 'str>> {
    Literal(LiteralRef<'str, 'ctx>),
    Bytes(BytesRef<'str, 'ctx>),
    Instruction(InstructionRef<'str, 'ctx, R>),
    BasicBlock(BlockRef<'str, 'ctx, R>),
    BlockParam(BlockParamRef<'str, 'ctx, R>),
    Varnode(VarnodeRef<'str, 'ctx>),
    Temp(TempRef<'str, 'ctx, R>),
    Function(FunctionRef<'str, 'ctx, R>),
    Poison(PoisonRef<'str, 'ctx>),
}

A borrowed, type-erased view of any value in a Context.

ValueRef is the runtime-typed counterpart to ValueId. It is produced by Context::get_value and borrows the context for 'ctx. Use pattern matching to downcast to a concrete reference type.

Variants

Literal(LiteralRef<'str, 'ctx>)

Bytes(BytesRef<'str, 'ctx>)

Instruction(InstructionRef<'str, 'ctx, R>)

BasicBlock(BlockRef<'str, 'ctx, R>)

BlockParam(BlockParamRef<'str, 'ctx, R>)

Varnode(VarnodeRef<'str, 'ctx>)

Temp(TempRef<'str, 'ctx, R>)

Function(FunctionRef<'str, 'ctx, R>)

Poison(PoisonRef<'str, 'ctx>)

Implementations

impl<'str, 'ctx> ValueRef<'str, 'ctx>

pub fn new(id: ValueId, ctx: &'ctx Context<'str>) -> Self

pub fn from_id(ctx: &'ctx Context<'str>, id: ValueId) -> Self

impl<'str: 'ctx, 'ctx, R> ValueRef<'str, 'ctx, R>

where R: QCodeView<'ctx, 'str>,

pub fn from_view(view: R, id: ValueId) -> Self

pub fn space(&self) -> Option<SpaceRef<'ctx>>

pub fn memory_space(&self) -> Option<MemorySpaceId>

Qualified memory-space provenance. Unlike space, this represents body-local temporary spaces without pretending they are shared Space values.

Trait Implementations

impl<R> Debug for ValueRef<'_, '_, R>

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

Formats the value using the given formatter.

impl<'str: 'ctx, 'ctx, R> Display for ValueRef<'str, 'ctx, R>

where R: QCodeView<'ctx, 'str>,

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

Formats the value using the given formatter.

impl<'str, 'ctx, R> From<BaseRef<&'ctx Shared<'str>, BytesId>> for ValueRef<'str, 'ctx, R>

fn from(bytes_ref: BytesRef<'str, 'ctx>) -> Self

Converts to this type from the input type.

impl<'str, 'ctx, R> From<BaseRef<&'ctx Shared<'str>, LiteralId>> for ValueRef<'str, 'ctx, R>

fn from(lit_ref: LiteralRef<'str, 'ctx>) -> Self

Converts to this type from the input type.

impl<'str, 'ctx, R> From<BaseRef<&'ctx Shared<'str>, PoisonId>> for ValueRef<'str, 'ctx, R>

fn from(poison_ref: PoisonRef<'str, 'ctx>) -> Self

Converts to this type from the input type.

impl<'str, 'ctx, R> From<BaseRef<&'ctx Shared<'str>, VarnodeId>> for ValueRef<'str, 'ctx, R>

fn from(var_ref: VarnodeRef<'str, 'ctx>) -> Self

Converts to this type from the input type.

impl<'str, 'ctx, R> From<BlockParamRef<'str, 'ctx, R>> for ValueRef<'str, 'ctx, R>

fn from(param_ref: BlockParamRef<'str, 'ctx, R>) -> Self

Converts to this type from the input type.

impl<'str, 'ctx, R> From<BlockRef<'str, 'ctx, R>> for ValueRef<'str, 'ctx, R>

fn from(bb_ref: BlockRef<'str, 'ctx, R>) -> Self

Converts to this type from the input type.

impl<'str, 'ctx, R> From<FunctionRef<'str, 'ctx, R>> for ValueRef<'str, 'ctx, R>

fn from(fn_ref: FunctionRef<'str, 'ctx, R>) -> Self

Converts to this type from the input type.

impl<'str, 'ctx, R> From<InstructionRef<'str, 'ctx, R>> for ValueRef<'str, 'ctx, R>

fn from(insn_ref: InstructionRef<'str, 'ctx, R>) -> Self

Converts to this type from the input type.

impl<'str, 'ctx, R> From<TempRef<'str, 'ctx, R>> for ValueRef<'str, 'ctx, R>

fn from(temp_ref: TempRef<'str, 'ctx, R>) -> Self

Converts to this type from the input type.

impl<'str: 'ctx, 'ctx, R> Value<'str, 'ctx> for ValueRef<'str, 'ctx, R>

where R: QCodeView<'ctx, 'str>,

fn id(&self) -> ValueId

The context-unique identifier for this value.

fn size(&self) -> usize

The size of this value’s output in bytes, or 0 for non-data values (terminators, blocks, functions).