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.
1 parent 06483f3 commit 0cfd14bCopy full SHA for 0cfd14b
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