Struct ApplyNativeConstraintOperation 

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

An apply_native_constraint operation. Apply a native constraint to a set of provided entities.

pdl.apply_native_constraint operations apply a native C++ constraint, that has been registered externally with the consumer of PDL, to a given set of entities and optionally return a number of values.

Example:

// Apply `myConstraint` to the entities defined by `input`, `attr`, and `op`.
pdl.apply_native_constraint "myConstraint"(%input, %attr, %op : !pdl.value, !pdl.attribute, !pdl.operation)
// Apply constraint `with_result` to `root`. This constraint returns an attribute.
%attr = pdl.apply_native_constraint "with_result"(%root : !pdl.operation) : !pdl.attribute

Implementations

impl<'c> ApplyNativeConstraintOperation<'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>, ) -> ApplyNativeConstraintOperationBuilder<'c, Unset, Unset, Unset>

Creates a builder.

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

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

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

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

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

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

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

Trait Implementations

impl<'c> Clone for ApplyNativeConstraintOperation<'c>

fn clone(&self) -> ApplyNativeConstraintOperation<'c>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'c> Debug for ApplyNativeConstraintOperation<'c>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'b> From<ApplyNativeConstraintOperation<'b>> for PdlDialectOperation<'b>

fn from(op: ApplyNativeConstraintOperation<'b>) -> Self

Converts to this type from the input type.

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

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

Converts to this type from the input type.

impl<'c> PartialEq for ApplyNativeConstraintOperation<'c>

fn eq(&self, other: &ApplyNativeConstraintOperation<'c>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

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

impl<'c> Eq for ApplyNativeConstraintOperation<'c>

impl<'c> StructuralPartialEq for ApplyNativeConstraintOperation<'c>