Author: Diffblue Ltd. More...

#include "lazy_goto_model.h"
#include <util/config.h>
#include <util/exception_utils.h>
#include <util/journalling_symbol_table.h>
#include <goto-programs/initialize_goto_model.h>
#include <goto-programs/read_goto_binary.h>
#include <langapi/mode.h>
#include "java_bytecode_language.h"
#include <langapi/language.h>

Include dependency graph for lazy_goto_model.cpp:

Go to the source code of this file.

Detailed Description

Author: Diffblue Ltd.

Model for lazy loading of functions

Definition in file lazy_goto_model.cpp.