We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 3e793f5 + 0cfd14b commit 51bb367Copy full SHA for 51bb367
src/java_bytecode/java_static_initializers.cpp
@@ -215,6 +215,9 @@ codet get_clinit_wrapper_body(
215
216
/// Create static initializer wrappers for all classes that need them.
217
/// \param symbol_table: global symbol table
218
+/// \param synthetic_methods: synthetic methods map. Will be extended noting
219
+/// that any wrapper belongs to this code, and so `get_clinit_wrapper_body`
220
+/// should be used to produce the method body when required.
221
void create_static_initializer_wrappers(
222
symbol_tablet &symbol_table,
223
synthetic_methods_mapt &synthetic_methods)
0 commit comments