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
21
class
user_input_error_exceptiont
:
public
cprover_exception_baset
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
38
void
slice_global_inits
(
goto_modelt
&);
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
goto-programs
slice_global_inits.h
Generated by
1.8.20