[][src]Enum isla_lib::ir::ssa::Edge

pub enum Edge {
    Jump(bool),
    Goto,
    Continue,
}

An edge between basic blocks in the control flow graph. The edge corresponds to the Terminator of the node the edge comes from.

Variants

Jump(bool)

True if the Jump expression was true, and the jump was taken.

Goto
Continue

Trait Implementations

impl Debug for Edge[src]

Auto Trait Implementations

impl RefUnwindSafe for Edge

impl Send for Edge

impl Sync for Edge

impl Unpin for Edge

impl UnwindSafe for Edge

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> Same<T> for T

type Output = T

Should always be Self

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.