Types.h.inc

Go to the documentation of this file.

/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
|*                                                                            *|
|* TypeDef Declarations                                                       *|
|*                                                                            *|
|* Automatically generated file, do not edit!                                 *|
|*                                                                            *|
\*===----------------------------------------------------------------------===*/
 
#ifdef GET_TYPEDEF_CLASSES
#undef GET_TYPEDEF_CLASSES
 
 
namespace mlir {
class AsmParser;
class AsmPrinter;
} // namespace mlir
namespace llzk {
namespace felt {
class FeltType;
namespace detail {
struct FeltTypeStorage;
} // namespace detail
class FeltType : public ::mlir::Type::TypeBase<FeltType, ::mlir::Type, detail::FeltTypeStorage> {
public:
  using Base::Base;
  bool hasField() const {
    auto name = getFieldName();
    return name && !name.empty();
  }
 
  const ::llzk::Field &getField() const;
  static constexpr ::llvm::StringLiteral name = "felt.type";
  static constexpr ::llvm::StringLiteral dialectName = "felt";
  using Base::getChecked;
  static FeltType get(::mlir::MLIRContext *context, ::mlir::StringAttr fieldName);
  static FeltType getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context, ::mlir::StringAttr fieldName);
  static FeltType get(::mlir::MLIRContext *context);
  static FeltType getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context);
  static FeltType get(::mlir::MLIRContext *context, ::llvm::StringRef fieldName);
  static FeltType getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context, ::llvm::StringRef fieldName);
  static ::llvm::LogicalResult verify(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::StringAttr fieldName);
  static ::llvm::LogicalResult verifyInvariants(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::StringAttr fieldName);
  static constexpr ::llvm::StringLiteral getMnemonic() {
    return {"type"};
  }
 
  static ::mlir::Type parse(::mlir::AsmParser &odsParser);
  void print(::mlir::AsmPrinter &odsPrinter) const;
  ::mlir::StringAttr getFieldName() const;
};
} // namespace felt
} // namespace llzk
MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::felt::FeltType)
 
#endif  // GET_TYPEDEF_CLASSES