CBMC
Public Member Functions | Protected Member Functions | Private Types | Private Attributes | List of all members
language_filest Class Reference

#include <language_file.h>

+ Collaboration diagram for language_filest:

Public Member Functions

language_filet & add_file (const std::string &filename)
 
void remove_file (const std::string &filename)
 
void clear_files ()
 
bool parse (message_handlert &message_handler)
 
void show_parse (std::ostream &out, message_handlert &message_handler)
 
bool generate_support_functions (symbol_table_baset &symbol_table, message_handlert &message_handler)
 
bool typecheck (symbol_table_baset &symbol_table, const bool keep_file_local, message_handlert &message_handler)
 
bool typecheck (symbol_table_baset &symbol_table, message_handlert &message_handler)
 
bool final (symbol_table_baset &symbol_table)
 
bool interfaces (symbol_table_baset &symbol_table, message_handlert &message_handler)
 
void convert_lazy_method (const irep_idt &id, symbol_table_baset &symbol_table, message_handlert &message_handler)
 
bool can_convert_lazy_method (const irep_idt &id) const
 
void clear ()
 

Protected Member Functions

bool typecheck_module (symbol_table_baset &symbol_table, language_modulet &module, const bool keep_file_local, message_handlert &message_handler)
 
bool typecheck_module (symbol_table_baset &symbol_table, const std::string &module, const bool keep_file_local, message_handlert &message_handler)
 

Private Types

typedef std::map< std::string, language_filet > file_mapt
 
typedef std::map< std::string, language_modulet > module_mapt
 
typedef std::map< irep_idt, language_filet * > lazy_method_mapt
 

Private Attributes

file_mapt file_map
 
module_mapt module_map
 
lazy_method_mapt lazy_method_map
 

Detailed Description

Definition at line 62 of file language_file.h.

Member Typedef Documentation

◆ file_mapt

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

Definition at line 65 of file language_file.h.

◆ lazy_method_mapt

typedef std::map<irep_idt, language_filet *> language_filest::lazy_method_mapt
private

Definition at line 73 of file language_file.h.

◆ module_mapt

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

Definition at line 68 of file language_file.h.

Member Function Documentation

◆ add_file()

language_filet& language_filest::add_file ( const std::string &  filename)
inline

Definition at line 77 of file language_file.h.

◆ can_convert_lazy_method()

bool language_filest::can_convert_lazy_method ( const irep_idt &  id) const
inline

Definition at line 145 of file language_file.h.

◆ clear()

void language_filest::clear ( void  )
inline

Definition at line 150 of file language_file.h.

◆ clear_files()

void language_filest::clear_files ( )
inline

Definition at line 99 of file language_file.h.

◆ convert_lazy_method()

void language_filest::convert_lazy_method ( const irep_idt &  id,
symbol_table_baset &  symbol_table,
message_handlert &  message_handler 
)
inline

Definition at line 134 of file language_file.h.

◆ final()

bool language_filest::final ( symbol_table_baset &  symbol_table)

Definition at line 190 of file language_file.cpp.

◆ generate_support_functions()

bool language_filest::generate_support_functions ( symbol_table_baset &  symbol_table,
message_handlert &  message_handler 
)

Definition at line 173 of file language_file.cpp.

◆ interfaces()

bool language_filest::interfaces ( symbol_table_baset &  symbol_table,
message_handlert &  message_handler 
)

Definition at line 204 of file language_file.cpp.

◆ parse()

bool language_filest::parse ( message_handlert &  message_handler)

Definition at line 56 of file language_file.cpp.

◆ remove_file()

void language_filest::remove_file ( const std::string &  filename)
inline

Definition at line 83 of file language_file.h.

◆ show_parse()

void language_filest::show_parse ( std::ostream &  out,
message_handlert &  message_handler 
)

Definition at line 48 of file language_file.cpp.

◆ typecheck() [1/2]

bool language_filest::typecheck ( symbol_table_baset &  symbol_table,
const bool  keep_file_local,
message_handlert &  message_handler 
)

Definition at line 90 of file language_file.cpp.

◆ typecheck() [2/2]

bool language_filest::typecheck ( symbol_table_baset &  symbol_table,
message_handlert &  message_handler 
)
inline

Definition at line 120 of file language_file.h.

◆ typecheck_module() [1/2]

bool language_filest::typecheck_module ( symbol_table_baset &  symbol_table,
const std::string &  module,
const bool  keep_file_local,
message_handlert &  message_handler 
)
protected

Definition at line 217 of file language_file.cpp.

◆ typecheck_module() [2/2]

bool language_filest::typecheck_module ( symbol_table_baset &  symbol_table,
language_modulet &  module,
const bool  keep_file_local,
message_handlert &  message_handler 
)
protected

Definition at line 239 of file language_file.cpp.

Member Data Documentation

◆ file_map

file_mapt language_filest::file_map
private

Definition at line 66 of file language_file.h.

◆ lazy_method_map

lazy_method_mapt language_filest::lazy_method_map
private

Definition at line 74 of file language_file.h.

◆ module_map

module_mapt language_filest::module_map
private

Definition at line 69 of file language_file.h.

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