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_tablet &symbol_table) |
language_filet (const language_filet &rhs) | |
language_filet () | |
~language_filet () | |
Public Attributes | |
modulest | modules |
languaget * | language |
std::string | filename |
Definition at line 35 of file language_file.h.
typedef std::set<std::string> language_filet::modulest |
Definition at line 38 of file language_file.h.
language_filet::language_filet | ( | const language_filet & | rhs | ) |
Definition at line 15 of file language_file.cpp.
|
inline |
Definition at line 52 of file language_file.h.
language_filet::~language_filet | ( | ) |
Definition at line 22 of file language_file.cpp.
References language.
void language_filet::convert_lazy_method | ( | const irep_idt & | id, |
symbol_tablet & | symbol_table | ||
) |
Definition at line 33 of file language_file.cpp.
References languaget::convert_lazy_method(), and language.
void language_filet::get_modules | ( | ) |
Definition at line 28 of file language_file.cpp.
References language, modules, and languaget::modules_provided().
Referenced by initialize_goto_model(), language_uit::parse(), and compilet::parse().
std::string language_filet::filename |
Definition at line 42 of file language_file.h.
Referenced by initialize_goto_model(), language_uit::parse(), and compilet::parse().
languaget* language_filet::language |
Definition at line 41 of file language_file.h.
Referenced by convert_lazy_method(), get_modules(), initialize_goto_model(), language_uit::parse(), compilet::parse(), language_filest::parse(), language_filest::typecheck_module(), and ~language_filet().
modulest language_filet::modules |
Definition at line 39 of file language_file.h.
Referenced by get_modules(), and language_filest::typecheck().