SMTAttributes.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 {
namespace smt {
class BitVectorAttr;
class KeywordAttr;
class SymbolAttr;
namespace detail {
struct BitVectorAttrStorage;
} // namespace detail
class BitVectorAttr : public ::mlir::Attribute::AttrBase<BitVectorAttr, ::mlir::Attribute, detail::BitVectorAttrStorage, ::mlir::TypedAttr::Trait> {
public:
  using Base::Base;
  std::string getValueAsString(bool prefix = true) const;
  static constexpr ::llvm::StringLiteral name = "smt.bv";
  static constexpr ::llvm::StringLiteral dialectName = "smt";
  using Base::getChecked;
  static BitVectorAttr get(::mlir::MLIRContext *context, ::llvm::APInt value);
  static BitVectorAttr getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context, ::llvm::APInt value);
  static BitVectorAttr get(::mlir::MLIRContext *context, llvm::StringRef value);
  static BitVectorAttr getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context, llvm::StringRef value);
  static BitVectorAttr get(::mlir::MLIRContext *context, uint64_t value, unsigned width);
  static BitVectorAttr getChecked(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::mlir::MLIRContext *context, uint64_t value, unsigned width);
  static ::llvm::LogicalResult verify(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::llvm::APInt value);
  static ::llvm::LogicalResult verifyInvariants(::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError, ::llvm::APInt value);
  static constexpr ::llvm::StringLiteral getMnemonic() {
    return {"bv"};
  }
 
  static ::mlir::Attribute parse(::mlir::AsmParser &odsParser, ::mlir::Type odsType);
  void print(::mlir::AsmPrinter &odsPrinter) const;
  ::llvm::APInt getValue() const;
  ::mlir::Type getType() const;
};
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.keyword";
  static constexpr ::llvm::StringLiteral dialectName = "smt";
  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.symbol";
  static constexpr ::llvm::StringLiteral dialectName = "smt";
  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 smt
} // namespace llzk
MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::smt::BitVectorAttr)
MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::smt::KeywordAttr)
MLIR_DECLARE_EXPLICIT_TYPE_ID(::llzk::smt::SymbolAttr)
 
#endif  // GET_ATTRDEF_CLASSES