Struct melior::dialect::ods::cf::AssertOperation

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

An assert operation. Assert operation with message attribute.

Assert operation with single boolean operand and an error message attribute. If the argument is true this operation has no effect. Otherwise, the program execution will abort. The provided error message may be used by a runtime to propagate the error to the user.

Example:

assert %b, "Expected ... to be true"

Implementations

impl<'c> AssertOperation<'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> ) -> AssertOperationBuilder<'c, Unset, Unset>

Creates a builder.

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

pub fn msg(&self) -> Result<StringAttribute<'c>, Error>

pub fn set_msg(&mut self, value: StringAttribute<'c>)

Trait Implementations

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

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

Converts to this type from the input type.

impl<'c> TryFrom<Operation<'c>> for AssertOperation<'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.