|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <language.h>
Public Member Functions | |
| virtual bool | parse (const std::string &path)=0 |
| virtual bool | final (contextt &) |
| virtual bool | typecheck (contextt &context, const std::string &module)=0 |
| virtual std::string | id () const |
| virtual void | show_parse (std::ostream &out)=0 |
| bool | from_expr (const exprt &expr, std::string &code, const namespacet &ns, presentationt target=presentationt::HUMAN) |
| bool | from_type (const typet &type, std::string &code, const namespacet &ns, presentationt target=presentationt::HUMAN) |
| virtual unsigned | default_flags (presentationt) const |
| virtual languaget * | new_language () const =0 |
| virtual | ~languaget ()=default |
Protected Member Functions | |
| virtual bool | from_expr (const exprt &expr, std::string &code, const namespacet &ns, unsigned flags)=0 |
| virtual bool | from_type (const typet &type, std::string &code, const namespacet &ns, unsigned flags)=0 |
|
virtualdefault |
|
inlinevirtual |
Reimplemented in clang_c_languaget, jimple_languaget, ld_languaget, and python_languaget.
Reimplemented in clang_c_languaget, clang_cpp_languaget, jimple_languaget, ld_languaget, python_languaget, and solidity_languaget.
|
inline |
|
protectedpure virtual |
Implemented in clang_c_languaget, clang_cpp_languaget, jimple_languaget, ld_languaget, and python_languaget.
|
inline |
|
protectedpure virtual |
Implemented in clang_c_languaget, clang_cpp_languaget, jimple_languaget, ld_languaget, and python_languaget.
|
inlinevirtual |
Reimplemented in clang_c_languaget, clang_cpp_languaget, jimple_languaget, ld_languaget, python_languaget, and solidity_languaget.
|
pure virtual |
Implemented in clang_c_languaget, clang_cpp_languaget, jimple_languaget, ld_languaget, python_languaget, and solidity_languaget.
|
pure virtual |
Implemented in clang_c_languaget, jimple_languaget, ld_languaget, python_languaget, and solidity_languaget.
|
pure virtual |
Implemented in clang_c_languaget, jimple_languaget, ld_languaget, python_languaget, and solidity_languaget.
Implemented in clang_c_languaget, clang_cpp_languaget, jimple_languaget, ld_languaget, python_languaget, and solidity_languaget.