cprover
language_filest Class Reference

#include <language_file.h>

Inheritance diagram for language_filest:
[legend]
Collaboration diagram for language_filest:
[legend]

Public Types

typedef std::map< std::string, language_filetfile_mapt
 
typedef std::map< std::string, language_moduletmodule_mapt
 
typedef std::map< irep_idt, language_filet * > lazy_method_mapt
 
- Public Types inherited from messaget
enum  message_levelt {
  M_ERROR =1, M_WARNING =2, M_RESULT =4, M_STATUS =6,
  M_STATISTICS =8, M_PROGRESS =9, M_DEBUG =10
}
 

Public Member Functions

void clear_files ()
 
bool parse ()
 
void show_parse (std::ostream &out)
 
bool typecheck (symbol_tablet &symbol_table)
 
bool final (symbol_tablet &symbol_table)
 
bool interfaces (symbol_tablet &symbol_table)
 
bool has_lazy_method (const irep_idt &id)
 
void convert_lazy_method (const irep_idt &id, symbol_tablet &symbol_table)
 
void clear ()
 
- Public Member Functions inherited from messaget
virtual void set_message_handler (message_handlert &_message_handler)
 
message_handlertget_message_handler ()
 
 messaget ()
 
 messaget (const messaget &other)
 
 messaget (message_handlert &_message_handler)
 
virtual ~messaget ()
 
mstreamtget_mstream (unsigned message_level)
 
mstreamterror ()
 
mstreamtwarning ()
 
mstreamtresult ()
 
mstreamtstatus ()
 
mstreamtstatistics ()
 
mstreamtprogress ()
 
mstreamtdebug ()
 

Public Attributes

file_mapt file_map
 
module_mapt module_map
 
lazy_method_mapt lazy_method_map
 

Protected Member Functions

bool typecheck_module (symbol_tablet &symbol_table, language_modulet &module)
 
bool typecheck_module (symbol_tablet &symbol_table, const std::string &module)
 

Additional Inherited Members

- Static Public Member Functions inherited from messaget
static mstreamteom (mstreamt &m)
 
static mstreamtendl (mstreamt &m)
 
- Protected Attributes inherited from messaget
message_handlertmessage_handler
 
mstreamt mstream
 

Detailed Description

Definition at line 59 of file language_file.h.

Member Typedef Documentation

§ file_mapt

typedef std::map<std::string, language_filet> language_filest::file_mapt

Definition at line 62 of file language_file.h.

§ lazy_method_mapt

Definition at line 71 of file language_file.h.

§ module_mapt

typedef std::map<std::string, language_modulet> language_filest::module_mapt

Definition at line 66 of file language_file.h.

Member Function Documentation

§ clear()

void language_filest::clear ( void  )
inline

Definition at line 104 of file language_file.h.

Referenced by language_uit::clear_parse().

§ clear_files()

void language_filest::clear_files ( )
inline

Definition at line 74 of file language_file.h.

§ convert_lazy_method()

void language_filest::convert_lazy_method ( const irep_idt id,
symbol_tablet symbol_table 
)
inline

Definition at line 97 of file language_file.h.

§ final()

bool language_filest::final ( symbol_tablet symbol_table)

Definition at line 154 of file language_file.cpp.

References languages.

Referenced by language_uit::final(), and initialize_goto_model().

§ has_lazy_method()

bool language_filest::has_lazy_method ( const irep_idt id)
inline

Definition at line 89 of file language_file.h.

§ interfaces()

bool language_filest::interfaces ( symbol_tablet symbol_table)

Definition at line 170 of file language_file.cpp.

§ parse()

bool language_filest::parse ( )

Definition at line 47 of file language_file.cpp.

References language_filet::language, and languaget::parse().

§ show_parse()

void language_filest::show_parse ( std::ostream &  out)

Definition at line 40 of file language_file.cpp.

§ typecheck()

bool language_filest::typecheck ( symbol_tablet symbol_table)

§ typecheck_module() [1/2]

§ typecheck_module() [2/2]

bool language_filest::typecheck_module ( symbol_tablet symbol_table,
const std::string &  module 
)
protected

Definition at line 183 of file language_file.cpp.

Member Data Documentation

§ file_map

file_mapt language_filest::file_map

§ lazy_method_map

lazy_method_mapt language_filest::lazy_method_map

Definition at line 72 of file language_file.h.

§ module_map

module_mapt language_filest::module_map

Definition at line 67 of file language_file.h.


The documentation for this class was generated from the following files: