Struct melior::dialect::ods::transform::IncludeOperation

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

An include operation. Includes a named transform sequence.

The application of this transform operation is equivalent to applying the operations contained in the named transform sequence with operands being remapped to block arguments. The behavior of the operation when a transformation in the included named sequence produces a silenceable error is controlled by the failure_propagation_mode attribute. When set to propagate, the failure of any nested transformation in the sequence implies immediate failure of the entire sequence with a silenceable error, and no further transformation is attempted. When set to suppress, silenceable errors in nested operations are ignored and further transformations are applied. Beware that even silenceable errors may leave the payload IR in a state unsuitable for further transformations. It is the responsibility of the user to ensure the following transformations are robust enough when errors are suppressed. Definite errors are propagated immediately regardless of the mode. The objects associated with the results of this operation are the same as those associated with the operands of the transform.yield in the referenced named sequence.

Implementations

impl<'c> IncludeOperation<'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> ) -> IncludeOperationBuilder<'c, Unset, Unset, Unset, Unset>

Creates a builder.

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

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

pub fn target(&self) -> Result<Attribute<'c>, Error>

pub fn set_target(&mut self, value: Attribute<'c>)

pub fn failure_propagation_mode(&self) -> Result<Attribute<'c>, Error>

pub fn set_failure_propagation_mode(&mut self, value: Attribute<'c>)

Trait Implementations

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

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

Converts to this type from the input type.

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