cprover
languagest Class Reference

#include <languages.h>

Collaboration diagram for languagest:
[legend]

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 namespacetns
 
languagetlanguage
 

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: