SMTInfoAttributes.h.inc

Go to the documentation of this file.

/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
|*                                                                            *|
|* AttrDef Declarations                                                       *|
|*                                                                            *|
|* Automatically generated file, do not edit!                                 *|
|*                                                                            *|
\*===----------------------------------------------------------------------===*/
 
#ifdef GET_ATTRDEF_CLASSES
#undef GET_ATTRDEF_CLASSES
 
 
namespace mlir {
class AsmParser;
class AsmPrinter;
} // namespace mlir
namespace llzk::smt_info {

class KeywordAttr;
class SymbolAttr;
namespace detail {
 
struct KeywordAttrStorage;
 
} // namespace detail
class KeywordAttr : public ::mlir::Attribute::AttrBase<KeywordAttr, ::mlir::Attribute, detail::KeywordAttrStorage> {
public:
  using Base::Base;
  static constexpr ::llvm::StringLiteral name = "smt_info.keyword";
  static constexpr ::llvm::StringLiteral dialectName = "smt_info";
  using Base::getChecked;
  static KeywordAttr get(::mlir::MLIRContext *context, ::llvm::StringRef value);
  static KeywordAttr getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context, ::llvm::StringRef value);
  static ::llvm::LogicalResult verify(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::llvm::StringRef value);
  static ::llvm::LogicalResult verifyInvariants(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::llvm::StringRef value);
  static constexpr ::llvm::StringLiteral getMnemonic() {
    return {"keyword"};
  }
 
  static ::mlir::Attribute parse(::mlir::AsmParser &odsParser, ::mlir::Type odsType);
  void print(::mlir::AsmPrinter &odsPrinter) const;
  ::llvm::StringRef getValue() const;
};
namespace detail {
 
struct SymbolAttrStorage;
 
} // namespace detail
class SymbolAttr : public ::mlir::Attribute::AttrBase<SymbolAttr, ::mlir::Attribute, detail::SymbolAttrStorage> {
public:
  using Base::Base;
  static constexpr ::llvm::StringLiteral name = "smt_info.symbol";
  static constexpr ::llvm::StringLiteral dialectName = "smt_info";
  using Base::getChecked;
  static SymbolAttr get(::mlir::MLIRContext *context, ::llvm::StringRef value);
  static SymbolAttr getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context, ::llvm::StringRef value);
  static ::llvm::LogicalResult verify(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::llvm::StringRef value);
  static ::llvm::LogicalResult verifyInvariants(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::llvm::StringRef value);
  static constexpr ::llvm::StringLiteral getMnemonic() {
    return {"symbol"};
  }
 
  static ::mlir::Attribute parse(::mlir::AsmParser &odsParser, ::mlir::Type odsType);
  void print(::mlir::AsmPrinter &odsPrinter) const;
  ::llvm::StringRef getValue() const;
};
 
} // namespace llzk::smt_info
MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::smt_info::KeywordAttr)
MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::smt_info::SymbolAttr)
 
#endif // GET_ATTRDEF_CLASSES