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 beb5687 commit 81bbbecCopy full SHA for 81bbbec
jbmc/src/java_bytecode/lambda_synthesis.h
@@ -12,12 +12,14 @@ Author: Diffblue Ltd.
12
#ifndef CPROVER_JAVA_BYTECODE_LAMBDA_SYNTHESIS_H
13
#define CPROVER_JAVA_BYTECODE_LAMBDA_SYNTHESIS_H
14
15
+#include <util/irep.h>
16
#include <java_bytecode/java_bytecode_parse_tree.h>
17
#include <java_bytecode/synthetic_methods_map.h>
18
-#include <util/message.h>
19
-#include <util/std_code.h>
20
-#include <util/symbol_table_base.h>
+class message_handlert;
+class codet;
21
+class symbol_table_baset;
22
+class symbol_tablet;
23
24
irep_idt lambda_synthetic_class_name(
25
const irep_idt &method_identifier,
0 commit comments