exception_utils.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Exception helper utilities
 
Author: Fotis Koutoulakis, fotis.koutoulakis@diffblue.com
 
\*******************************************************************/
 
#ifndef CPROVER_UTIL_EXCEPTION_UTILS_H
#define CPROVER_UTIL_EXCEPTION_UTILS_H
 
#include <string>
 
#include "invariant.h"
#include "source_location.h"

class cprover_exception_baset
{
public:
  virtual std::string what() const;
  virtual ~cprover_exception_baset() = default;
 
protected:
  explicit cprover_exception_baset(std::string reason)
    : reason(std::move(reason))
  {
  }

  std::string reason;
};

class invalid_command_line_argument_exceptiont : public cprover_exception_baset
{
  std::string option;
  std::string correct_input;
 
public:
  invalid_command_line_argument_exceptiont(
    std::string reason,
    std::string option,
    std::string correct_input = "");
 
  std::string what() const override;
};

class system_exceptiont : public cprover_exception_baset
{
public:
  explicit system_exceptiont(std::string message);
};

class deserialization_exceptiont : public cprover_exception_baset
{
public:
  explicit deserialization_exceptiont(std::string message);
};

class incorrect_goto_program_exceptiont : public cprover_exception_baset
{
public:
  explicit incorrect_goto_program_exceptiont(std::string message);
 
  template <typename Diagnostic, typename... Diagnostics>
  incorrect_goto_program_exceptiont(
    std::string message,
    Diagnostic &&diagnostic,
    Diagnostics &&... diagnostics);
 
  template <typename... Diagnostics>
  incorrect_goto_program_exceptiont(
    std::string message,
    source_locationt source_location,
    Diagnostics &&... diagnostics);
 
  std::string what() const override;
 
private:
  source_locationt source_location;
 
  std::string diagnostics;
};
 
template <typename Diagnostic, typename... Diagnostics>
incorrect_goto_program_exceptiont::incorrect_goto_program_exceptiont(
  std::string message,
  Diagnostic &&diagnostic,
  Diagnostics &&... diagnostics)
  : cprover_exception_baset(std::move(message)),
    source_location(source_locationt::nil()),
    diagnostics(detail::assemble_diagnostics(
      std::forward<Diagnostic>(diagnostic),
      std::forward<Diagnostics>(diagnostics)...))
{
}
 
template <typename... Diagnostics>
incorrect_goto_program_exceptiont::incorrect_goto_program_exceptiont(
  std::string message,
  source_locationt source_location,
  Diagnostics &&... diagnostics)
  : cprover_exception_baset(std::move(message)),
    source_location(std::move(source_location)),
    diagnostics(
      detail::assemble_diagnostics(std::forward<Diagnostics>(diagnostics)...))
{
}

class unsupported_operation_exceptiont : public cprover_exception_baset
{
public:
  explicit unsupported_operation_exceptiont(std::string message);
};

class analysis_exceptiont : public cprover_exception_baset
{
public:
  explicit analysis_exceptiont(std::string reason);
};

class invalid_input_exceptiont : public cprover_exception_baset
{
public:
  explicit invalid_input_exceptiont(std::string reason);
};

class invalid_source_file_exceptiont : public invalid_input_exceptiont
{
public:
  invalid_source_file_exceptiont(
    std::string reason,
    source_locationt source_location);
  std::string what() const override;
 
  const std::string &get_reason() const
  {
    return reason;
  }
 
  const source_locationt &get_source_location() const
  {
    return source_location;
  }
 
private:
  source_locationt source_location;
};
 
#endif // CPROVER_UTIL_EXCEPTION_UTILS_H