Collect methods needed to be loaded using the lazy method. More...
#include "ci_lazy_methods_needed.h"#include "java_bytecode_parse_tree.h"#include "java_class_loader.h"#include "select_pointer_type.h"#include "synthetic_methods_map.h"#include <map>#include <functional>#include <util/irep.h>#include <util/symbol_table.h>#include <util/message.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 95 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 92 of file ci_lazy_methods.h.
