CBMC
|
#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, message_handlert &message_handler) |
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 30 of file language_file.cpp.
language_filet::language_filet | ( | const language_filet & | rhs | ) |
Definition at line 17 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, | ||
message_handlert & | message_handler | ||
) |
Definition at line 40 of file language_file.cpp.
void language_filet::get_modules | ( | ) |
Definition at line 35 of file language_file.cpp.
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.
modulest language_filet::modules |
Definition at line 44 of file language_file.h.