9 #ifndef CPROVER_JAVA_BYTECODE_SYNTHETIC_METHODS_MAP_H 10 #define CPROVER_JAVA_BYTECODE_SYNTHETIC_METHODS_MAP_H 37 typedef std::unordered_map<irep_idt, synthetic_method_typet>
A static initializer wrapper (code of the form if(!already_run) clinit(); already_run = true;) These ...
synthetic_method_typet
Synthetic method kinds.
std::unordered_map< irep_idt, synthetic_method_typet > synthetic_methods_mapt
Maps method names on to a synthetic method kind.
A generated (synthetic) static initializer function for a stub type.