Struct melior::dialect::ods::pdl_interp::IsNotNullOperation

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

An is_not_null operation. Check if a positional value is non-null.

pdl_interp.is_not_null operations check that a positional value or range exists. For ranges, this does not mean that the range was simply empty. On success, this operation branches to the true destination. Otherwise, the false destination is taken.

Example:

pdl_interp.is_not_null %value : !pdl.value -> ^matchDest, ^failureDest

Implementations

impl<'c> IsNotNullOperation<'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> ) -> IsNotNullOperationBuilder<'c, Unset, Unset, Unset>

Creates a builder.

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

pub fn true_dest(&self) -> Result<BlockRef<'c, '_>, Error>

pub fn false_dest(&self) -> Result<BlockRef<'c, '_>, Error>

Trait Implementations

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

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

Converts to this type from the input type.

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