java_enum_static_init_unwind_handler.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Unwind loops in static initializers
 
Author: Chris Smowton, chris.smowton@diffblue.com
 
\*******************************************************************/

 
#ifndef CPROVER_JAVA_BYTECODE_JAVA_ENUM_STATIC_INIT_UNWIND_HANDLER_H
#define CPROVER_JAVA_BYTECODE_JAVA_ENUM_STATIC_INIT_UNWIND_HANDLER_H
 
#include <util/threeval.h>
 
class call_stackt;
class symbol_tablet;
 
tvt java_enum_static_init_unwind_handler(
  const call_stackt &context,
  unsigned loop_number,
  unsigned unwind_count,
  unsigned &unwind_max,
  const symbol_tablet &symbol_table);
 
#endif // CPROVER_JAVA_BYTECODE_JAVA_ENUM_STATIC_INIT_UNWIND_HANDLER_H