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, 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< 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:

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