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

template<typename TypeClass>

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

static

LogicalResult llzk::component::SetFuncAllowAttrs< StructDefOp >::verifyTrait ( Operation * structOp )

Definition at line 62 of file Ops.cpp.

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