Struct raptor::analysis::detect_call_information::TaggedConstant

pub struct TaggedConstant<'t> { /* fields omitted */ }

Methods

impl<'t> TaggedConstant<'t>

pub fn new(
    constant: Constant,
    locations: Vec<RefFunctionLocation<'t, Constant>>
) -> TaggedConstant<'t>

pub fn constant(&self) -> &Constant

pub fn locations(&self) -> &[RefFunctionLocation<'t, Constant>]

Trait Implementations

impl<'t> Clone for TaggedConstant<'t>

fn clone(&self) -> TaggedConstant<'t>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'t> Debug for TaggedConstant<'t>

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

Formats the value using the given formatter.

impl<'t> Eq for TaggedConstant<'t>

impl<'t> PartialEq<TaggedConstant<'t>> for TaggedConstant<'t>

fn eq(&self, other: &TaggedConstant<'t>) -> bool

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

fn ne(&self, other: &TaggedConstant<'t>) -> bool

This method tests for !=.

impl<'t> StructuralEq for TaggedConstant<'t>

impl<'t> StructuralPartialEq for TaggedConstant<'t>

impl<'t> Value for TaggedConstant<'t>

fn constant(constant: Constant) -> TaggedConstant<'t>

Turn an il::Constant into a representation of this Value

fn bits(&self) -> usize

Return the number of bits contained in this value

fn shl(&self, bits: usize) -> Result<TaggedConstant<'t>>

Shift the value left by the given number of bits

fn shr(&self, bits: usize) -> Result<TaggedConstant<'t>>

Shift the value right by the given number of bits

fn trun(&self, bits: usize) -> Result<TaggedConstant<'t>>

Truncate the value to the given number of bits

fn zext(&self, bits: usize) -> Result<TaggedConstant<'t>>

Zero-extend the value to the given number of bits

fn or(&self, other: &TaggedConstant<'t>) -> Result<TaggedConstant<'t>>

Or this value with the given value