cprover
remove_static_init_loops.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Unwind loops in static initializers
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
11
12
#include <
goto-programs/goto_functions.h
>
13
14
#include <
util/options.h
>
15
#include <
util/symbol_table.h
>
16
17
#ifndef CPROVER_GOTO_PROGRAMS_REMOVE_STATIC_INIT_LOOPS_H
18
#define CPROVER_GOTO_PROGRAMS_REMOVE_STATIC_INIT_LOOPS_H
19
20
void
remove_static_init_loops
(
21
const
symbol_tablet
&,
22
const
goto_functionst
&,
23
optionst
&);
24
25
#endif // CPROVER_GOTO_PROGRAMS_REMOVE_STATIC_INIT_LOOPS_H
goto_functions.h
Goto Programs with Functions.
optionst
Definition:
options.h:19
remove_static_init_loops
void remove_static_init_loops(const symbol_tablet &, const goto_functionst &, optionst &)
this is the entry point for the removal of loops in static initialization code of Java enums ...
Definition:
remove_static_init_loops.cpp:96
symbol_tablet
The symbol table.
Definition:
symbol_table.h:52
goto_functionst
Definition:
goto_functions.h:20
symbol_table.h
Symbol table.
options.h
Options.
goto-programs
remove_static_init_loops.h
Generated by
1.8.12