OpInterfaces.cpp.inc

Go to the documentation of this file.

/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
|*                                                                            *|
|* Interface Definitions                                                      *|
|*                                                                            *|
|* Automatically generated file, do not edit!                                 *|
|*                                                                            *|
\*===----------------------------------------------------------------------===*/

::mlir::TypedValue<::mlir::IntegerType> llzk::verif::ConditionOpInterface::getCondition() {
      return getImpl()->getCondition(getImpl(), getOperation());
  }

void llzk::verif::ConditionOpInterface::getEffects(::llvm::SmallVectorImpl<::mlir::SideEffects::EffectInstance<::mlir::MemoryEffects::Effect>> & effects) {
      return getImpl()->implMemoryEffectOpInterface->getEffects(getImpl()->implMemoryEffectOpInterface, getOperation(), effects);
  }

::llvm::SmallVector<::llzk::verif::InvariantTargetOpInterface> llzk::verif::ContractTargetOpInterface::getLoops() {
      return getImpl()->getLoops(getImpl(), getOperation());
  }

::mlir::StringAttr llzk::verif::ContractTargetOpInterface::getNameAttr() {
      return getImpl()->implSymbolOpInterface->getNameAttr(getImpl()->implSymbolOpInterface, getOperation());
  }

void llzk::verif::ContractTargetOpInterface::setName(::mlir::StringAttr name) {
      return getImpl()->implSymbolOpInterface->setName(getImpl()->implSymbolOpInterface, getOperation(), name);
  }

mlir::SymbolTable::Visibility llzk::verif::ContractTargetOpInterface::getVisibility() {
      return getImpl()->implSymbolOpInterface->getVisibility(getImpl()->implSymbolOpInterface, getOperation());
  }

bool llzk::verif::ContractTargetOpInterface::isNested() {
      return getImpl()->implSymbolOpInterface->isNested(getImpl()->implSymbolOpInterface, getOperation());
  }

bool llzk::verif::ContractTargetOpInterface::isPrivate() {
      return getImpl()->implSymbolOpInterface->isPrivate(getImpl()->implSymbolOpInterface, getOperation());
  }

bool llzk::verif::ContractTargetOpInterface::isPublic() {
      return getImpl()->implSymbolOpInterface->isPublic(getImpl()->implSymbolOpInterface, getOperation());
  }

void llzk::verif::ContractTargetOpInterface::setVisibility(mlir::SymbolTable::Visibility vis) {
      return getImpl()->implSymbolOpInterface->setVisibility(getImpl()->implSymbolOpInterface, getOperation(), vis);
  }

void llzk::verif::ContractTargetOpInterface::setNested() {
      return getImpl()->implSymbolOpInterface->setNested(getImpl()->implSymbolOpInterface, getOperation());
  }

void llzk::verif::ContractTargetOpInterface::setPrivate() {
      return getImpl()->implSymbolOpInterface->setPrivate(getImpl()->implSymbolOpInterface, getOperation());
  }

void llzk::verif::ContractTargetOpInterface::setPublic() {
      return getImpl()->implSymbolOpInterface->setPublic(getImpl()->implSymbolOpInterface, getOperation());
  }

::std::optional<::mlir::SymbolTable::UseRange> llzk::verif::ContractTargetOpInterface::getSymbolUses(::mlir::Operation * from) {
      return getImpl()->implSymbolOpInterface->getSymbolUses(getImpl()->implSymbolOpInterface, getOperation(), from);
  }

bool llzk::verif::ContractTargetOpInterface::symbolKnownUseEmpty(::mlir::Operation * from) {
      return getImpl()->implSymbolOpInterface->symbolKnownUseEmpty(getImpl()->implSymbolOpInterface, getOperation(), from);
  }

::llvm::LogicalResult llzk::verif::ContractTargetOpInterface::replaceAllSymbolUses(::mlir::StringAttr newSymbol, ::mlir::Operation * from) {
      return getImpl()->implSymbolOpInterface->replaceAllSymbolUses(getImpl()->implSymbolOpInterface, getOperation(), newSymbol, from);
  }

bool llzk::verif::ContractTargetOpInterface::isOptionalSymbol() {
      return getImpl()->implSymbolOpInterface->isOptionalSymbol(getImpl()->implSymbolOpInterface, getOperation());
  }

bool llzk::verif::ContractTargetOpInterface::canDiscardOnUseEmpty() {
      return getImpl()->implSymbolOpInterface->canDiscardOnUseEmpty(getImpl()->implSymbolOpInterface, getOperation());
  }

bool llzk::verif::ContractTargetOpInterface::isDeclaration() {
      return getImpl()->implSymbolOpInterface->isDeclaration(getImpl()->implSymbolOpInterface, getOperation());
  }

::mlir::FailureOr<::mlir::StringRef> llzk::verif::InvariantTargetOpInterface::getLabel() {
      return getImpl()->getLabel(getImpl(), getOperation());
  }

::mlir::SmallVector<::mlir::Type> llzk::verif::InvariantTargetOpInterface::getArgumentTypes() {
      return getImpl()->getArgumentTypes(getImpl(), getOperation());
  }

void llzk::verif::PostconditionOpInterface::getEffects(::llvm::SmallVectorImpl<::mlir::SideEffects::EffectInstance<::mlir::MemoryEffects::Effect>> & effects) {
      return getImpl()->implMemoryEffectOpInterface->getEffects(getImpl()->implMemoryEffectOpInterface, getOperation(), effects);
  }

::mlir::TypedValue<::mlir::IntegerType> llzk::verif::PostconditionOpInterface::getCondition() {
      return getImpl()->implConditionOpInterface->getCondition(getImpl()->implConditionOpInterface, getOperation());
  }

void llzk::verif::PreconditionOpInterface::getEffects(::llvm::SmallVectorImpl<::mlir::SideEffects::EffectInstance<::mlir::MemoryEffects::Effect>> & effects) {
      return getImpl()->implMemoryEffectOpInterface->getEffects(getImpl()->implMemoryEffectOpInterface, getOperation(), effects);
  }

::mlir::TypedValue<::mlir::IntegerType> llzk::verif::PreconditionOpInterface::getCondition() {
      return getImpl()->implConditionOpInterface->getCondition(getImpl()->implConditionOpInterface, getOperation());
  }