cprover
synthetic_methods_map.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Synthetic methods map
4
5
Author: Chris Smowton, chris.smowton@diffblue.com
6
7
\*******************************************************************/
8
9
#ifndef CPROVER_JAVA_BYTECODE_SYNTHETIC_METHODS_MAP_H
10
#define CPROVER_JAVA_BYTECODE_SYNTHETIC_METHODS_MAP_H
11
21
23
enum class
synthetic_method_typet
24
{
29
STATIC_INITIALIZER_WRAPPER
,
33
STUB_CLASS_STATIC_INITIALIZER
34
};
35
37
typedef
std::unordered_map<irep_idt, synthetic_method_typet>
38
synthetic_methods_mapt
;
39
40
#endif
synthetic_method_typet::STATIC_INITIALIZER_WRAPPER
@ STATIC_INITIALIZER_WRAPPER
A static initializer wrapper (code of the form if(!already_run) clinit(); already_run = true;) These ...
synthetic_method_typet
synthetic_method_typet
Synthetic method kinds.
Definition:
synthetic_methods_map.h:23
synthetic_methods_mapt
std::unordered_map< irep_idt, synthetic_method_typet > synthetic_methods_mapt
Maps method names on to a synthetic method kind.
Definition:
synthetic_methods_map.h:38
synthetic_method_typet::STUB_CLASS_STATIC_INITIALIZER
@ STUB_CLASS_STATIC_INITIALIZER
A generated (synthetic) static initializer function for a stub type.
jbmc
src
java_bytecode
synthetic_methods_map.h
Generated by
1.8.17