LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Static Public Member Functions | List of all members
llzk::impl::FieldWriteValidatorPassBase< DerivedT > Class Template Reference
Inheritance diagram for llzk::impl::FieldWriteValidatorPassBase< DerivedT >:
[legend]
Collaboration diagram for llzk::impl::FieldWriteValidatorPassBase< DerivedT >:
[legend]

Public Types

using Base = FieldWriteValidatorPassBase

Public Member Functions

 FieldWriteValidatorPassBase ()
 FieldWriteValidatorPassBase (const FieldWriteValidatorPassBase &other)
FieldWriteValidatorPassBase & operator= (const FieldWriteValidatorPassBase &)=delete
 FieldWriteValidatorPassBase (FieldWriteValidatorPassBase &&)=delete
FieldWriteValidatorPassBase & operator= (FieldWriteValidatorPassBase &&)=delete
 ~FieldWriteValidatorPassBase ()=default
::llvm::StringRef getArgument () const override
::llvm::StringRef getDescription () const override
::llvm::StringRef getName () const override
std::unique_ptr<::mlir::Pass > clonePass () const override
 A clone method to create a copy of this pass.
void getDependentDialects (::mlir::DialectRegistry &registry) const override
 Return the dialect that must be loaded in the context before this pass.

Static Public Member Functions

static constexpr ::llvm::StringLiteral getArgumentName ()
 Returns the command-line argument attached to this pass.
static constexpr ::llvm::StringLiteral getPassName ()
 Returns the derived pass name.
static bool classof (const ::mlir::Pass *pass)
 Support isa/dyn_cast functionality for the derived pass class.

Detailed Description

template<typename DerivedT>
class llzk::impl::FieldWriteValidatorPassBase< DerivedT >

Definition at line 20 of file LLZKValidationPasses.cpp.

Member Typedef Documentation

◆ Base

template<typename DerivedT>
using llzk::impl::FieldWriteValidatorPassBase< DerivedT >::Base = FieldWriteValidatorPassBase

Definition at line 22 of file LLZKValidationPasses.cpp.

Constructor & Destructor Documentation

◆ FieldWriteValidatorPassBase() [1/3]

template<typename DerivedT>
llzk::impl::FieldWriteValidatorPassBase< DerivedT >::FieldWriteValidatorPassBase ( )
inline

Definition at line 24 of file LLZKValidationPasses.cpp.

◆ FieldWriteValidatorPassBase() [2/3]

template<typename DerivedT>
llzk::impl::FieldWriteValidatorPassBase< DerivedT >::FieldWriteValidatorPassBase ( const FieldWriteValidatorPassBase< DerivedT > & other)
inline

Definition at line 25 of file LLZKValidationPasses.cpp.

◆ FieldWriteValidatorPassBase() [3/3]

template<typename DerivedT>
llzk::impl::FieldWriteValidatorPassBase< DerivedT >::FieldWriteValidatorPassBase ( FieldWriteValidatorPassBase< DerivedT > && )
delete

◆ ~FieldWriteValidatorPassBase()

template<typename DerivedT>
llzk::impl::FieldWriteValidatorPassBase< DerivedT >::~FieldWriteValidatorPassBase ( )
default

Member Function Documentation

◆ classof()

template<typename DerivedT>
bool llzk::impl::FieldWriteValidatorPassBase< DerivedT >::classof ( const ::mlir::Pass * pass)
inlinestatic

Support isa/dyn_cast functionality for the derived pass class.

Definition at line 46 of file LLZKValidationPasses.cpp.

◆ clonePass()

template<typename DerivedT>
std::unique_ptr<::mlir::Pass > llzk::impl::FieldWriteValidatorPassBase< DerivedT >::clonePass ( ) const
inlineoverride

A clone method to create a copy of this pass.

Definition at line 51 of file LLZKValidationPasses.cpp.

◆ getArgument()

template<typename DerivedT>
::llvm::StringRef llzk::impl::FieldWriteValidatorPassBase< DerivedT >::getArgument ( ) const
inlineoverride

Definition at line 35 of file LLZKValidationPasses.cpp.

◆ getArgumentName()

template<typename DerivedT>
constexpr ::llvm::StringLiteral llzk::impl::FieldWriteValidatorPassBase< DerivedT >::getArgumentName ( )
inlinestatic

Returns the command-line argument attached to this pass.

Definition at line 32 of file LLZKValidationPasses.cpp.

◆ getDependentDialects()

template<typename DerivedT>
void llzk::impl::FieldWriteValidatorPassBase< DerivedT >::getDependentDialects ( ::mlir::DialectRegistry & registry) const
inlineoverride

Return the dialect that must be loaded in the context before this pass.

Definition at line 56 of file LLZKValidationPasses.cpp.

◆ getDescription()

template<typename DerivedT>
::llvm::StringRef llzk::impl::FieldWriteValidatorPassBase< DerivedT >::getDescription ( ) const
inlineoverride

Definition at line 37 of file LLZKValidationPasses.cpp.

◆ getName()

template<typename DerivedT>
::llvm::StringRef llzk::impl::FieldWriteValidatorPassBase< DerivedT >::getName ( ) const
inlineoverride

Definition at line 43 of file LLZKValidationPasses.cpp.

◆ getPassName()

template<typename DerivedT>
constexpr ::llvm::StringLiteral llzk::impl::FieldWriteValidatorPassBase< DerivedT >::getPassName ( )
inlinestatic

Returns the derived pass name.

Definition at line 40 of file LLZKValidationPasses.cpp.

◆ operator=() [1/2]

template<typename DerivedT>
FieldWriteValidatorPassBase & llzk::impl::FieldWriteValidatorPassBase< DerivedT >::operator= ( const FieldWriteValidatorPassBase< DerivedT > & )
delete

◆ operator=() [2/2]

template<typename DerivedT>
FieldWriteValidatorPassBase & llzk::impl::FieldWriteValidatorPassBase< DerivedT >::operator= ( FieldWriteValidatorPassBase< DerivedT > && )
delete
The documentation for this class was generated from the following file: