cprover
|
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>
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 |
Collect methods needed to be loaded using the lazy method.
Definition in file ci_lazy_methods.h.
typedef std::function<std::vector<irep_idt>const symbol_tablet &)> load_extra_methodst |
Definition at line 95 of file ci_lazy_methods.h.
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.