Trait LiftableLowLevelIL

pub trait LiftableLowLevelIL<'func, A: 'func + Architecture> {
    type Result: ExpressionResultType;

    // Required method
    fn lift(
        il: &'func MutableLiftedILFunction<A>,
        expr: Self,
    ) -> MutableLiftedILExpr<'func, A, Self::Result>;
}

Required Associated Types

type Result: ExpressionResultType

Required Methods

fn lift( il: &'func MutableLiftedILFunction<A>, expr: Self, ) -> MutableLiftedILExpr<'func, A, Self::Result>

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<'a, A: 'a + Architecture> LiftableLowLevelIL<'a, A> for i8

type Result = ValueExpr

fn lift( il: &'a MutableLiftedILFunction<A>, val: Self, ) -> MutableLiftedILExpr<'a, A, Self::Result>

impl<'a, A: 'a + Architecture> LiftableLowLevelIL<'a, A> for i16

type Result = ValueExpr

fn lift( il: &'a MutableLiftedILFunction<A>, val: Self, ) -> MutableLiftedILExpr<'a, A, Self::Result>

impl<'a, A: 'a + Architecture> LiftableLowLevelIL<'a, A> for i32

type Result = ValueExpr

fn lift( il: &'a MutableLiftedILFunction<A>, val: Self, ) -> MutableLiftedILExpr<'a, A, Self::Result>

impl<'a, A: 'a + Architecture> LiftableLowLevelIL<'a, A> for i64

type Result = ValueExpr

fn lift( il: &'a MutableLiftedILFunction<A>, val: Self, ) -> MutableLiftedILExpr<'a, A, Self::Result>

impl<'a, A: 'a + Architecture> LiftableLowLevelIL<'a, A> for u8

type Result = ValueExpr

fn lift( il: &'a MutableLiftedILFunction<A>, val: Self, ) -> MutableLiftedILExpr<'a, A, Self::Result>

impl<'a, A: 'a + Architecture> LiftableLowLevelIL<'a, A> for u16

type Result = ValueExpr

fn lift( il: &'a MutableLiftedILFunction<A>, val: Self, ) -> MutableLiftedILExpr<'a, A, Self::Result>

impl<'a, A: 'a + Architecture> LiftableLowLevelIL<'a, A> for u32

type Result = ValueExpr

fn lift( il: &'a MutableLiftedILFunction<A>, val: Self, ) -> MutableLiftedILExpr<'a, A, Self::Result>

impl<'a, A: 'a + Architecture> LiftableLowLevelIL<'a, A> for u64

type Result = ValueExpr

fn lift( il: &'a MutableLiftedILFunction<A>, val: Self, ) -> MutableLiftedILExpr<'a, A, Self::Result>

Implementors

impl<'a, A, R> LiftableLowLevelIL<'a, A> for LowLevelILExpression<'a, A, Mutable, NonSSA<LiftedNonSSA>, R>

where A: 'a + Architecture, R: ExpressionResultType,

type Result = R

impl<'a, A, R> LiftableLowLevelIL<'a, A> for ExpressionBuilder<'a, A, R>

where A: 'a + Architecture, R: ExpressionResultType,

type Result = R

impl<'a, R, A: 'a + Architecture> LiftableLowLevelIL<'a, A> for LowLevelILRegister<R>

where R: LiftableLowLevelIL<'a, A, Result = ValueExpr> + Into<LowLevelILRegister<R>> + ArchReg,

type Result = ValueExpr

impl<'a, R, A: 'a + Architecture> LiftableLowLevelIL<'a, A> for LowLevelILRegisterOrConstant<R>

where R: LiftableLowLevelILWithSize<'a, A, Result = ValueExpr> + Into<LowLevelILRegister<R>> + ArchReg,

type Result = ValueExpr