llzk::component::SetFuncAllowAttrs< TypeClass > Class Template Reference

Only valid/implemented for StructDefOp. More...

#include <Ops.h>

Inheritance diagram for llzk::component::SetFuncAllowAttrs< TypeClass >:

Collaboration diagram for llzk::component::SetFuncAllowAttrs< TypeClass >:

Public Member Functions
LogicalResult	verifyTrait (Operation *structOp)

Static Public Member Functions
static mlir::LogicalResult	verifyTrait (mlir::Operation *op)

Detailed Description

template<typename TypeClass>
class llzk::component::SetFuncAllowAttrs< TypeClass >

Only valid/implemented for StructDefOp.

Sets the proper AllowConstraintAttr and AllowWitnessAttr on the functions defined within the StructDefOp.

Definition at line 24 of file Ops.h.

Member Function Documentation

verifyTrait() [1/2]

template<typename TypeClass>

mlir::LogicalResult llzk::component::SetFuncAllowAttrs< TypeClass >::verifyTrait ( mlir::Operation * op )

static

verifyTrait() [2/2]

LogicalResult llzk::component::SetFuncAllowAttrs< StructDefOp >::verifyTrait

(

Operation *

structOp

)

Definition at line 66 of file Ops.cpp.

---

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

• include/llzk/Dialect/Struct/IR/Ops.h