cprover
|
#include <languages.h>
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 |
Definition at line 15 of file languages.h.
languagest::languagest | ( | const namespacet & | _ns, |
languaget * | _language | ||
) |
|
virtual |
|
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().
|
inline |
Definition at line 25 of file languages.h.
References languaget::from_type(), language, and ns.
|
inline |
Definition at line 30 of file languages.h.
References language, languagest(), ns, languaget::to_expr(), and ~languagest().
|
protected |
Definition at line 45 of file languages.h.
Referenced by from_expr(), from_type(), languagest(), to_expr(), and ~languagest().
|
protected |
Definition at line 44 of file languages.h.
Referenced by from_expr(), from_type(), and to_expr().