language_filet Class Reference

#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)
	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< languaget >	language
std::string	filename

Detailed Description

Definition at line 41 of file language_file.h.

Member Typedef Documentation

modulest

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

Definition at line 44 of file language_file.h.

Constructor & Destructor Documentation

language_filet() [1/2]

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

explicit

Definition at line 28 of file language_file.cpp.

language_filet() [2/2]

language_filet::language_filet

(

const language_filet &

rhs

)

Definition at line 15 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
	)

Definition at line 38 of file language_file.cpp.

get_modules()

void language_filet::get_modules

(

)

Definition at line 33 of file language_file.cpp.

Member Data Documentation

filename

std::string language_filet::filename

Definition at line 48 of file language_file.h.

language

std::unique_ptr<languaget> language_filet::language

Definition at line 47 of file language_file.h.

modules

modulest language_filet::modules

Definition at line 45 of file language_file.h.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/langapi/language_file.h
• /home/runner/work/cbmc-documentation/cbmc-documentation/src/langapi/language_file.cpp