cprover
java_enum_static_init_unwind_handler.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Unwind loops in static initializers
4 
5 Author: Chris Smowton, chris.smowton@diffblue.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_JAVA_BYTECODE_JAVA_ENUM_STATIC_INIT_UNWIND_HANDLER_H
13 #define CPROVER_JAVA_BYTECODE_JAVA_ENUM_STATIC_INIT_UNWIND_HANDLER_H
14 
15 #include <util/symbol_table.h>
16 #include <util/threeval.h>
17 
19  const irep_idt &function_id,
20  unsigned loop_number,
21  unsigned unwind_count,
22  unsigned &unwind_max,
23  const symbol_tablet &symbol_table);
24 
25 #endif // CPROVER_JAVA_BYTECODE_JAVA_ENUM_STATIC_INIT_UNWIND_HANDLER_H
Definition: threeval.h:19
The symbol table.
Definition: symbol_table.h:19
Author: Diffblue Ltd.
tvt java_enum_static_init_unwind_handler(const irep_idt &function_id, unsigned loop_number, unsigned unwind_count, unsigned &unwind_max, const symbol_tablet &symbol_table)
Unwind handler that special-cases the clinit (static initializer) functions of enumeration classes...