languagest Class Reference

#include <languages.h>

Collaboration diagram for languagest:

Public Member Functions
bool	from_expr (const exprt &expr, std::string &code)
bool	from_type (const typet &type, std::string &code)
bool	to_expr (const std::string &code, const std::string &module, exprt &expr)
	languagest (const namespacet &_ns, languaget *_language)
virtual	~languagest ()

Protected Attributes
const namespacet &	ns
languaget *	language

Detailed Description

Definition at line 15 of file languages.h.

Constructor & Destructor Documentation

languagest()

languagest::languagest	(	const namespacet &	_ns,
		languaget *	_language
	)

Definition at line 12 of file languages.cpp.

References language.

~languagest()

languagest::~languagest ( )

virtual

Definition at line 17 of file languages.cpp.

References language.

Member Function Documentation

from_expr()

bool languagest::from_expr ( const exprt &  expr, std::string &  code  )

inline

Definition at line 20 of file languages.h.

References languaget::from_expr(), language, and ns.

Referenced by bmct::show_program(), bmct::show_vcc_json(), and bmct::show_vcc_plain().

from_type()

bool languagest::from_type ( const typet &  type, std::string &  code  )

inline

Definition at line 25 of file languages.h.

References languaget::from_type(), language, and ns.

to_expr()

bool languagest::to_expr ( const std::string &  code, const std::string &  module, exprt &  expr  )

inline

Definition at line 30 of file languages.h.

References language, ns, and languaget::to_expr().

Member Data Documentation

language

languaget* languagest::language

protected

Definition at line 45 of file languages.h.

Referenced by from_expr(), from_type(), languagest(), to_expr(), and ~languagest().

ns

const namespacet& languagest::ns

protected

Definition at line 44 of file languages.h.

Referenced by from_expr(), from_type(), and to_expr().

---

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

• langapi/languages.h
• langapi/languages.cpp