A constraint that checks that an attribute is of a given attribute base (e.g. More...

#include "mlir/Dialect/IRDL/IRDLVerifiers.h"

Inheritance diagram for mlir::irdl::BaseAttrConstraint:

Public Member Functions
	BaseAttrConstraint (TypeID baseTypeID, StringRef baseName)

virtual	~BaseAttrConstraint ()=default

LogicalResult	verify (function_ref< InFlightDiagnostic()> emitError, Attribute attr, ConstraintVerifier &context) const override
	Check that an attribute is satisfying the constraint. More...

Public Member Functions inherited from mlir::irdl::Constraint
virtual	~Constraint ()=default

Detailed Description

A constraint that checks that an attribute is of a given attribute base (e.g.

IntegerAttr).

Definition at line 104 of file IRDLVerifiers.h.

Constructor & Destructor Documentation

◆ BaseAttrConstraint()

mlir::irdl::BaseAttrConstraint::BaseAttrConstraint	(	TypeID	baseTypeID,
		StringRef	baseName
	)

inline

Definition at line 106 of file IRDLVerifiers.h.

◆ ~BaseAttrConstraint()

virtual mlir::irdl::BaseAttrConstraint::~BaseAttrConstraint ( )

virtualdefault

Member Function Documentation

◆ verify()

LogicalResult BaseAttrConstraint::verify	(	function_ref< InFlightDiagnostic()>	emitError,
		Attribute	attr,
		ConstraintVerifier &	context
	)		const

overridevirtual

Check that an attribute is satisfying the constraint.

Constraints may call other constraint verifiers. If that is the case, the constraint verifier will check if the variable is already assigned, and if so, check that the attribute is the same as the one assigned. If the variable is not assigned, the constraint verifier will assign the attribute to the variable, and check that the constraint is satisfied.

Implements mlir::irdl::Constraint.

Definition at line 72 of file IRDLVerifiers.cpp.

References mlir::emitError(), mlir::failure(), mlir::Attribute::getAbstractAttribute(), mlir::AbstractAttribute::getName(), mlir::Attribute::getTypeID(), and mlir::success().

The documentation for this class was generated from the following files: