[−][src]Enum c2rust_transpile::cfg::GenTerminator

pub enum GenTerminator<Lbl> {
    End,
    Jump(Lbl),
    Branch(P<Expr>, Lbl, Lbl),
    Switch {
        expr: P<Expr>,
        cases: Vec<(Vec<P<Pat>>, Lbl)>,
    },
}

Represents the control flow choices one can make when at the end of a BasicBlock.

Variants

End

End of control-flow. For example: the last statement in a function, or a return

Jump(Lbl)

Unconditional branch to another block

Branch(P<Expr>, Lbl, Lbl)

Conditional branch to another block. The expression is expected to be a boolean Rust expression

Switch

Multi-way branch. The patterns are expected to match the type of the expression.

Fields of Switch

expr: P<Expr>cases: Vec<(Vec<P<Pat>>, Lbl)>

Trait Implementations

`impl<Lbl: Clone> Clone for GenTerminator<Lbl>`[src]

`fn clone(&self) -> GenTerminator<Lbl>`[src]

`default fn clone_from(&mut self, source: &Self)`
1.0.0
[src]

Performs copy-assignment from source. Read more

`impl<Lbl: Debug> Debug for GenTerminator<Lbl>`[src]

`fn fmt(&self, f: &mut Formatter) -> Result`[src]

`impl<L: Serialize> Serialize for GenTerminator<L>`[src]

`fn serialize<S: Serializer>(&self, serializer: S) -> Result<S::Ok, S::Error>`[src]

Auto Trait Implementations

`impl<Lbl> !Send for GenTerminator<Lbl>`

`impl<Lbl> !Sync for GenTerminator<Lbl>`

Blanket Implementations

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

`fn to_owned(&self) -> T`[src]

`fn clone_into(&self, target: &mut T)`[src]

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

`fn from(t: T) -> T`[src]

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

`fn into(self) -> U`[src]

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

`type Error = Infallible`

The type returned in the event of a conversion error.

`fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>`[src]

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

`fn borrow(&self) -> &T`[src]

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

`fn type_id(&self) -> TypeId`[src]

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

`fn borrow_mut(&mut self) -> &mut T`[src]

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

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

The type returned in the event of a conversion error.

[−][src]Enum c2rust_transpile::cfg::GenTerminator

Variants

Fields of Switch

Trait Implementations

impl<Lbl: Clone> Clone for GenTerminator<Lbl>[src]

fn clone(&self) -> GenTerminator<Lbl>[src]

default fn clone_from(&mut self, source: &Self)1.0.0[src]

impl<Lbl: Debug> Debug for GenTerminator<Lbl>[src]

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

impl<L: Serialize> Serialize for GenTerminator<L>[src]

fn serialize<S: Serializer>(&self, serializer: S) -> Result<S::Ok, S::Error>[src]

Auto Trait Implementations

impl<Lbl> !Send for GenTerminator<Lbl>

impl<Lbl> !Sync for GenTerminator<Lbl>

Blanket Implementations

impl<T> ToOwned for T where T: Clone, [src]

type Owned = T

fn to_owned(&self) -> T[src]

fn clone_into(&self, target: &mut T)[src]

impl<T> From for T[src]

fn from(t: T) -> T[src]

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

fn into(self) -> U[src]

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

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]

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

fn borrow(&self) -> &T[src]

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

fn type_id(&self) -> TypeId[src]

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

fn borrow_mut(&mut self) -> &mut T[src]

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

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

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

impl<E> SpecializationError for E[src]

default fn not_found<S, T>( trait_name: &'static str, method_name: &'static str) -> E where T: ?Sized, [src]

impl<T> Erased for T[src]

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

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

impl<T> Make for T[src]

fn make(self, _mk: &Builder) -> T[src]

impl<T> MaybeResult for T[src]

fn from_ok(x: T) -> T[src]

fn map_same<F>(self, f: F) -> T where F: FnOnce(T) -> T, [src]

impl<'a, T> Captures for T where T: ?Sized, [src]

impl<T> Erased for T

`impl<Lbl: Clone> Clone for GenTerminator<Lbl>`[src]

`fn clone(&self) -> GenTerminator<Lbl>`[src]

`default fn clone_from(&mut self, source: &Self)`
1.0.0
[src]

`impl<Lbl: Debug> Debug for GenTerminator<Lbl>`[src]

`fn fmt(&self, f: &mut Formatter) -> Result`[src]

`impl<L: Serialize> Serialize for GenTerminator<L>`[src]

`fn serialize<S: Serializer>(&self, serializer: S) -> Result<S::Ok, S::Error>`[src]

`impl<Lbl> !Send for GenTerminator<Lbl>`

`impl<Lbl> !Sync for GenTerminator<Lbl>`

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

`fn to_owned(&self) -> T`[src]

`fn clone_into(&self, target: &mut T)`[src]

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

`fn from(t: T) -> T`[src]

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

`fn into(self) -> U`[src]

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

`type Error = Infallible`

`fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>`[src]

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

`fn borrow(&self) -> &T`[src]

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

`fn type_id(&self) -> TypeId`[src]

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

`fn borrow_mut(&mut self) -> &mut T`[src]

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

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

`fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>`[src]

`impl<E> SpecializationError for E`[src]

`default fn not_found<S, T>( trait_name: &'static str, method_name: &'static str ) -> E where T: ?Sized,` [src]

`impl<T> Erased for T`[src]

`impl<T> Send for T where T: ?Sized,` [src]

`impl<T> Sync for T where T: ?Sized,` [src]

`impl<T> Make for T`[src]

`fn make(self, _mk: &Builder) -> T`[src]

`impl<T> MaybeResult for T`[src]

`fn from_ok(x: T) -> T`[src]

`fn map_same<F>(self, f: F) -> T where F: FnOnce(T) -> T,` [src]

`impl<'a, T> Captures for T where T: ?Sized,` [src]

`impl<T> Erased for T`