cprover
|
#include <language_file.h>
Public Types | |
typedef std::set< std::string > | modulest |
Public Member Functions | |
void | get_modules () |
void | convert_lazy_method (const irep_idt &id, symbol_table_baset &symbol_table) |
language_filet (const std::string &filename) | |
language_filet (const language_filet &rhs) | |
~language_filet () | |
To avoid compiler errors, the complete definition of a pointed-to type must be visible at the point at which the unique_ptr destructor is created. More... | |
Public Attributes | |
modulest | modules |
std::unique_ptr< languaget > | language |
std::string | filename |
Definition at line 40 of file language_file.h.
typedef std::set<std::string> language_filet::modulest |
Definition at line 43 of file language_file.h.
|
explicit |
Definition at line 28 of file language_file.cpp.
language_filet::language_filet | ( | const language_filet & | rhs | ) |
Definition at line 15 of file language_file.cpp.
|
default |
To avoid compiler errors, the complete definition of a pointed-to type must be visible at the point at which the unique_ptr destructor is created.
In this case, the pointed-to type is forward-declared, so we have to place the destructor in the source file, where the full definition is availible.
void language_filet::convert_lazy_method | ( | const irep_idt & | id, |
symbol_table_baset & | symbol_table | ||
) |
Definition at line 38 of file language_file.cpp.
References language.
void language_filet::get_modules | ( | ) |
Definition at line 33 of file language_file.cpp.
References language, and modules.
Referenced by lazy_goto_modelt::initialize(), initialize_goto_model(), language_uit::parse(), and compilet::parse().
std::string language_filet::filename |
Definition at line 47 of file language_file.h.
std::unique_ptr<languaget> language_filet::language |
Definition at line 46 of file language_file.h.
Referenced by convert_lazy_method(), get_modules(), lazy_goto_modelt::initialize(), initialize_goto_model(), load_java_class(), language_uit::parse(), compilet::parse(), and language_filest::typecheck_module().
modulest language_filet::modules |
Definition at line 44 of file language_file.h.
Referenced by get_modules().