CBMC
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | List of all members
language_filet Class Referencefinal

#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_table_baset &symbol_table, message_handlert &message_handler)
 
  language_filet (const std::string &filename)
 
  language_filet (const language_filet &rhs)
 
  ~language_filet ()
  To avoid compiler errors, the complete definition of a pointed-to type must be visible at the point at which the unique_ptr destructor is created.
 

Public Attributes

modulest  modules
 
std::unique_ptr< languaget >  language
 
std::string  filename
 

Detailed Description

Definition at line 40 of file language_file.h.

Member Typedef Documentation

◆  modulest

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

Definition at line 43 of file language_file.h.

Constructor & Destructor Documentation

◆  language_filet() [1/2]

language_filet::language_filet ( const std::string &  filename )
explicit

Definition at line 30 of file language_file.cpp.

◆  language_filet() [2/2]

language_filet::language_filet ( const language_filet &  rhs )

Definition at line 17 of file language_file.cpp.

◆  ~language_filet()

language_filet::~language_filet ( )
default

To avoid compiler errors, the complete definition of a pointed-to type must be visible at the point at which the unique_ptr destructor is created.

In this case, the pointed-to type is forward-declared, so we have to place the destructor in the source file, where the full definition is availible.

Member Function Documentation

◆  convert_lazy_method()

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

Definition at line 40 of file language_file.cpp.

◆  get_modules()

void language_filet::get_modules ( )

Definition at line 35 of file language_file.cpp.

Member Data Documentation

◆  filename

std::string language_filet::filename

Definition at line 47 of file language_file.h.

◆  language

std::unique_ptr<languaget> language_filet::language

Definition at line 46 of file language_file.h.

◆  modules

modulest language_filet::modules

Definition at line 44 of file language_file.h.

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

AltStyle によって変換されたページ (->オリジナル) /