Struct melior::dialect::ods::scf::ConditionOperation

pub struct ConditionOperation<'c> { /* private fields */ }

A condition operation. Loop continuation condition.

This operation accepts the continuation (i.e., inverse of exit) condition of the scf.while construct. If its first argument is true, the “after” region of scf.while is executed, with the remaining arguments forwarded to the entry block of the region. Otherwise, the loop terminates.

Implementations

impl<'c> ConditionOperation<'c>

pub fn name() -> &'static str

Returns a name.

pub fn as_operation(&self) -> &Operation<'c>

Returns a generic operation.

pub fn builder( context: &'c Context, location: Location<'c> ) -> ConditionOperationBuilder<'c, Unset, Unset>

Creates a builder.

pub fn condition(&self) -> Result<Value<'c, '_>, Error>

pub fn args(&self) -> impl Iterator<Item = Value<'c, '_>>

Trait Implementations

impl<'c> From<ConditionOperation<'c>> for Operation<'c>

fn from(operation: ConditionOperation<'c>) -> Self

Converts to this type from the input type.

impl<'c> TryFrom<Operation<'c>> for ConditionOperation<'c>

type Error = Error

The type returned in the event of a conversion error.

fn try_from(operation: Operation<'c>) -> Result<Self, Self::Error>

Performs the conversion.