9 #ifndef CPROVER_JAVA_BYTECODE_SYNTHETIC_METHODS_MAP_H
10 #define CPROVER_JAVA_BYTECODE_SYNTHETIC_METHODS_MAP_H
22 #include <unordered_map>
33 STATIC_INITIALIZER_WRAPPER,
39 USER_SPECIFIED_STATIC_INITIALIZER,
43 STUB_CLASS_STATIC_INITIALIZER,
46 INVOKEDYNAMIC_CAPTURE_CONSTRUCTOR,
56 typedef std::unordered_map<irep_idt, synthetic_method_typet>