cprover
slice_global_inits.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Remove initializations of unused global variables
4 
5 Author: Daniel Poetzl
6 
7 Date: December 2016
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_PROGRAMS_SLICE_GLOBAL_INITS_H
15 #define CPROVER_GOTO_PROGRAMS_SLICE_GLOBAL_INITS_H
16 
17 #include <util/exception_utils.h>
18 
19 class goto_modelt;
20 
22 {
23 public:
24  explicit user_input_error_exceptiont(std::string message)
25  : message(std::move(message))
26  {
27  }
28 
29  std::string what() const override
30  {
31  return message;
32  }
33 
34 private:
35  std::string message;
36 };
37 
39 
40 #endif
std::string what() const override
A human readable description of what went wrong.
Base class for exceptions thrown in the cprover project.
user_input_error_exceptiont(std::string message)
void slice_global_inits(goto_modelt &)