cprover
exception_utils.h File Reference
#include <string>
#include "invariant.h"
#include "source_location.h"
+ Include dependency graph for exception_utils.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  cprover_exception_baset
 Base class for exceptions thrown in the cprover project. More...
 
class  invalid_command_line_argument_exceptiont
 Thrown when users pass incorrect command line arguments, for example passing no files to analysis or setting two mutually exclusive flags. More...
 
class  system_exceptiont
 Thrown when some external system fails unexpectedly. More...
 
class  deserialization_exceptiont
 Thrown when failing to deserialize a value from some low level format, like JSON or raw bytes. More...
 
class  incorrect_goto_program_exceptiont
 Thrown when a goto program that's being processed is in an invalid format, for example passing the wrong number of arguments to functions. More...
 
class  unsupported_operation_exceptiont
 Thrown when we encounter an instruction, parameters to an instruction etc. More...
 
class  analysis_exceptiont
 Thrown when an unexpected error occurs during the analysis (e.g., when the SAT solver returns an error) More...
 
class  invalid_source_file_exceptiont
 Thrown when we can't handle something in an input source file. More...