exception_utils.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module: Exception helper utilities
 
Author: Fotis Koutoulakis, fotis.koutoulakis@diffblue.com
 
\*******************************************************************/
 
#include "exception_utils.h"
#include <utility>
 
std::string cprover_exception_baset::what() const
{
  return reason;
}
std::string cprover_exception_baset::what() const {…}
 
std::string invalid_command_line_argument_exceptiont::what() const
{
  std::string res;
  res += "Invalid User Input";
  res += "\nOption: " + option;
  res += "\nReason: " + reason;
  // Print an optional correct usage message assuming correct input parameters have been passed
  if(!correct_input.empty())
  {
    res += "\nSuggestion: " + correct_input;
  }
  return res;
}
std::string invalid_command_line_argument_exceptiont::what() const {…}
 
invalid_command_line_argument_exceptiont::
  invalid_command_line_argument_exceptiont(
    std::string reason,
    std::string option,
    std::string correct_input)
  : cprover_exception_baset(std::move(reason)),
    option(std::move(option)),
    correct_input(std::move(correct_input))
{
}
invalid_command_line_argument_exceptiont:: {…}
 
system_exceptiont::system_exceptiont(std::string message)
  : cprover_exception_baset(std::move(message))
{
}
system_exceptiont::system_exceptiont(std::string message) {…}
 
deserialization_exceptiont::deserialization_exceptiont(std::string message)
  : cprover_exception_baset(std::move(message))
{
}
deserialization_exceptiont::deserialization_exceptiont(std::string message) {…}
 
incorrect_goto_program_exceptiont::incorrect_goto_program_exceptiont(
  std::string message)
  : cprover_exception_baset(std::move(message)),
    source_location(source_locationt::nil())
{
}
incorrect_goto_program_exceptiont::incorrect_goto_program_exceptiont( {…}
 
std::string incorrect_goto_program_exceptiont::what() const
{
  std::string ret(reason);
 
  if(!source_location.is_nil())
    ret += " (at: " + source_location.as_string() + ")";
 
  if(!diagnostics.empty())
    ret += "\n" + diagnostics;
 
  return ret;
}
std::string incorrect_goto_program_exceptiont::what() const {…}
 
unsupported_operation_exceptiont::unsupported_operation_exceptiont(
  std::string message)
  : cprover_exception_baset(std::move(message))
{
}
unsupported_operation_exceptiont::unsupported_operation_exceptiont( {…}
 
analysis_exceptiont::analysis_exceptiont(std::string reason)
  : cprover_exception_baset(std::move(reason))
{
}
analysis_exceptiont::analysis_exceptiont(std::string reason) {…}
 
invalid_input_exceptiont::invalid_input_exceptiont(std::string reason)
  : cprover_exception_baset(std::move(reason))
{
}
invalid_input_exceptiont::invalid_input_exceptiont(std::string reason) {…}
 
invalid_source_file_exceptiont::invalid_source_file_exceptiont(
  std::string reason,
  source_locationt source_location)
  : invalid_input_exceptiont(std::move(reason)),
    source_location(std::move(source_location))
{
}
invalid_source_file_exceptiont::invalid_source_file_exceptiont( {…}
 
std::string invalid_source_file_exceptiont::what() const
{
  return source_location.as_string() + ": " + reason;
}
std::string invalid_source_file_exceptiont::what() const {…}