response_or_error.h

Go to the documentation of this file.

// Author: Diffblue Ltd.
 
#ifndef CPROVER_SOLVERS_SMT2_INCREMENTAL_RESPONSE_OR_ERROR_H
#define CPROVER_SOLVERS_SMT2_INCREMENTAL_RESPONSE_OR_ERROR_H
 
#include <util/invariant.h>
 
#include <string>
#include <variant>
#include <vector>
 
template <class smtt>
class response_or_errort final
{
public:
  explicit response_or_errort(smtt smt) : smt_or_messages{std::move(smt)}
  {
  }
  explicit response_or_errort(smtt smt) : smt_or_messages{std::move(smt)} {…}
 
  explicit response_or_errort(std::vector<std::string> messages)
    : smt_or_messages{std::move(messages)}
  {
  }
  explicit response_or_errort(std::vector<std::string> messages) {…}
 
  const smtt *get_if_valid() const
  {
    return std::get_if<smtt>(&smt_or_messages);
  }
  const smtt *get_if_valid() const {…}
 
  const std::vector<std::string> *get_if_error() const
  {
    return std::get_if<std::vector<std::string>>(&smt_or_messages);
  }
  const std::vector<std::string> *get_if_error() const {…}
 
private:
  std::variant<smtt, std::vector<std::string>> smt_or_messages;
};
class response_or_errort final {…};
 
#endif // CPROVER_SOLVERS_SMT2_INCREMENTAL_RESPONSE_OR_ERROR_H