#include "java_bytecode_parse_tree.h"#include "synthetic_methods_map.h"#include <functional>#include <map>#include <unordered_set>#include <util/irep.h>#include <goto-programs/class_hierarchy.h>
Include dependency graph for ci_lazy_methods.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | method_bytecodet |
| struct | method_bytecodet::class_method_and_bytecodet |
| Pair of class id and methodt. More... | |
| class | ci_lazy_methodst |
| struct | ci_lazy_methodst::convert_method_resultt |
Typedefs | |
| typedef std::function< bool(const irep_idt &function_id, ci_lazy_methods_neededt)> | method_convertert |
| typedef std::function< std::vector< irep_idt >const symbol_tablet &)> | load_extra_methodst |
Detailed Description
Collect methods needed to be loaded using the lazy method
Definition in file ci_lazy_methods.h.
Typedef Documentation
◆ load_extra_methodst
| typedef std::function<std::vector<irep_idt>const symbol_tablet &)> load_extra_methodst |
Definition at line 94 of file ci_lazy_methods.h.
◆ method_convertert
| typedef std::function< bool(const irep_idt &function_id, ci_lazy_methods_neededt)> method_convertert |
Definition at line 91 of file ci_lazy_methods.h.
