#include <java_static_initializers.h>
Definition at line 44 of file java_static_initializers.h.
◆ stub_globals_by_classt
◆ create_stub_global_initializer_symbols()
Create static initializer symbols for each distinct class that has stub globals.
- Parameters
-
symbol_table | global symbol table. Will gain static initializer method symbols for each class that has a stub global in stub_globals_set |
stub_globals_set | set of stub global symbols |
synthetic_methods | map of synthetic method types. We record the new static initialiser such that we get a callback to provide its body as and when it is required. |
Definition at line 746 of file java_static_initializers.cpp.
◆ get_stub_initializer_body()
Create the body of a synthetic static initializer (clinit method), which initialise stub globals in the same manner as java_static_lifetime_init, only delayed until first reference by virtue of being given in a static initializer rather than directly in __CPROVER_initialize.
- Parameters
-
function_id | synthetic static initializer id |
symbol_table | global symbol table; may gain local variables created for the new static initializer |
object_factory_parameters | object factory parameters used to populate the stub globals and objects reachable from them |
pointer_type_selector | used to choose concrete types for abstract- typed globals and fields. |
- Returns
- synthetic static initializer body.
Definition at line 830 of file java_static_initializers.cpp.
◆ stub_globals_by_class
The documentation for this class was generated from the following files: