9 #ifndef CPROVER_JAVA_BYTECODE_SYNTHETIC_METHODS_MAP_H
10 #define CPROVER_JAVA_BYTECODE_SYNTHETIC_METHODS_MAP_H
29 STATIC_INITIALIZER_WRAPPER,
35 USER_SPECIFIED_STATIC_INITIALIZER,
39 STUB_CLASS_STATIC_INITIALIZER,
42 INVOKEDYNAMIC_CAPTURE_CONSTRUCTOR,
52 typedef std::unordered_map<irep_idt, synthetic_method_typet>