CBMC
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 
22 #include <unordered_map>
23 
24 #include <util/irep.h>
25 
27 enum class synthetic_method_typet
28 {
33  STATIC_INITIALIZER_WRAPPER,
39  USER_SPECIFIED_STATIC_INITIALIZER,
43  STUB_CLASS_STATIC_INITIALIZER,
46  INVOKEDYNAMIC_CAPTURE_CONSTRUCTOR,
49  INVOKEDYNAMIC_METHOD,
52  CREATE_ARRAY_WITH_TYPE
53 };
54 
56 typedef std::unordered_map<irep_idt, synthetic_method_typet>
57  synthetic_methods_mapt;
58 
59 #endif
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:57
synthetic_method_typet
synthetic_method_typet
Synthetic method kinds.
Definition: synthetic_methods_map.h:28
synthetic_method_typet::INVOKEDYNAMIC_METHOD
@ INVOKEDYNAMIC_METHOD
A generated method for a class capturing the parameters of an invokedynamic instruction.
synthetic_method_typet::USER_SPECIFIED_STATIC_INITIALIZER
@ USER_SPECIFIED_STATIC_INITIALIZER
Only exists if the --static-values option was used.
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::STUB_CLASS_STATIC_INITIALIZER
@ STUB_CLASS_STATIC_INITIALIZER
A generated (synthetic) static initializer function for a stub type.
synthetic_method_typet::CREATE_ARRAY_WITH_TYPE
@ CREATE_ARRAY_WITH_TYPE
Our internal implementation of CProver.createArrayWithType, which needs to access internal type-id fi...
synthetic_method_typet::INVOKEDYNAMIC_CAPTURE_CONSTRUCTOR
@ INVOKEDYNAMIC_CAPTURE_CONSTRUCTOR
A generated constructor for a class capturing the parameters of an invokedynamic instruction.