Loading...

Searching...

No Matches

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:

[フレーム]

[legend]

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 ( )

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:

/home/runner/work/cbmc/cbmc/src/langapi/language_file.h
/home/runner/work/cbmc/cbmc/src/langapi/language_file.cpp