cprover
Public Types | Public Member Functions | Public Attributes | List of all members
language_filet Class Reference

#include <language_file.h>

Collaboration diagram for language_filet:
[legend]

Public Types

typedef std::set< std::string > modulest
 

Public Member Functions

void get_modules ()
 
void convert_lazy_method (const irep_idt &id, symbol_tablet &symbol_table)
 
 language_filet (const language_filet &rhs)
 
 language_filet ()
 
 ~language_filet ()
 

Public Attributes

modulest modules
 
languaget * language
 
std::string filename
 

Detailed Description

Definition at line 35 of file language_file.h.

Member Typedef Documentation

◆ modulest

typedef std::set<std::string> language_filet::modulest

Definition at line 38 of file language_file.h.

Constructor & Destructor Documentation

◆ language_filet() [1/2]

language_filet::language_filet ( const language_filet &  rhs)

Definition at line 15 of file language_file.cpp.

◆ language_filet() [2/2]

language_filet::language_filet ( )
inline

Definition at line 52 of file language_file.h.

◆ ~language_filet()

language_filet::~language_filet ( )

Definition at line 22 of file language_file.cpp.

References language.

Member Function Documentation

◆ convert_lazy_method()

void language_filet::convert_lazy_method ( const irep_idt &  id,
symbol_tablet &  symbol_table 
)

Definition at line 33 of file language_file.cpp.

References languaget::convert_lazy_method(), and language.

◆ get_modules()

void language_filet::get_modules ( )

Definition at line 28 of file language_file.cpp.

References language, modules, and languaget::modules_provided().

Referenced by initialize_goto_model(), language_uit::parse(), and compilet::parse().

Member Data Documentation

◆ filename

std::string language_filet::filename

Definition at line 42 of file language_file.h.

Referenced by initialize_goto_model(), language_uit::parse(), and compilet::parse().

◆ language

languaget* language_filet::language

Definition at line 41 of file language_file.h.

Referenced by convert_lazy_method(), get_modules(), initialize_goto_model(), language_uit::parse(), compilet::parse(), language_filest::typecheck_module(), and ~language_filet().

◆ modules

modulest language_filet::modules

Definition at line 39 of file language_file.h.

Referenced by get_modules().

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