CBMC
language_filet Class Referencefinal

#include <language_file.h>

+ Collaboration diagram for language_filet:

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. More...
 

Public Attributes

modulest modules
 
std::unique_ptr< languagetlanguage
 
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: