cprover
|
#include <language_file.h>
Public Member Functions | |
language_modulet () | |
Public Attributes | |
std::string | name |
bool | type_checked |
bool | in_progress |
language_filet * | file |
Definition at line 24 of file language_file.h.
|
inline |
Definition at line 31 of file language_file.h.
References in_progress, and type_checked.
language_filet* language_modulet::file |
Definition at line 29 of file language_file.h.
Referenced by language_filest::typecheck(), and language_filest::typecheck_module().
bool language_modulet::in_progress |
Definition at line 28 of file language_file.h.
Referenced by language_modulet(), and language_filest::typecheck_module().
std::string language_modulet::name |
Definition at line 27 of file language_file.h.
Referenced by language_filest::typecheck(), and language_filest::typecheck_module().
bool language_modulet::type_checked |
Definition at line 28 of file language_file.h.
Referenced by language_modulet(), and language_filest::typecheck_module().