Struct melior::dialect::ods::shape::MeetOperation

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

A meet operation. Returns the least general shape or size of its operands.

An operation that computes the least general shape or dim of input operands. This effectively asserts that corresponding static dimensions are equal. The behavior is to match each element of the shape/size and propagate the most restrictive information, returning an invalid shape if there are contradictory requirements. E.g., using pseudo code

shape.meet([*], [*]) -> [*]
shape.meet([*], [1, ?]) -> [1, ?]
shape.meet([1, 2], [1, ?]) -> [1, 2]
shape.meet([*], [1, 2]) -> [1, 2]
shape.meet([], []) -> []
shape.meet([], [*]) -> []
shape.meet([], [?, ?]) -> [invalid]
shape.meet([1, ?], [2, ?, ?]) -> [invalid]

shape.meet also allows specifying an optional error string, that may be used to return an error to the user upon mismatch of dimensions.

%c = shape.meet %a, %b, error="<reason>" : !shape.shape, !shape.shape -> !shape.shape

Implementations

impl<'c> MeetOperation<'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> ) -> MeetOperationBuilder<'c, Unset, Unset>

Creates a builder.

pub fn result(&self) -> Result<OperationResult<'c, '_>, Error>

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

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

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

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

pub fn remove_error(&mut self) -> Result<(), Error>

Trait Implementations

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

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

Converts to this type from the input type.

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