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
exception_utils.h
slice_global_inits
void slice_global_inits(goto_modelt &)
Definition: slice_global_inits.cpp:31
goto_modelt
Definition: goto_model.h:26
user_input_error_exceptiont::user_input_error_exceptiont
user_input_error_exceptiont(std::string message)
Definition: slice_global_inits.h:24
user_input_error_exceptiont
Definition: slice_global_inits.h:22
user_input_error_exceptiont::what
std::string what() const override
A human readable description of what went wrong.
Definition: slice_global_inits.h:29
cprover_exception_baset
Base class for exceptions thrown in the cprover project.
Definition: exception_utils.h:25
user_input_error_exceptiont::message
std::string message
Definition: slice_global_inits.h:35