#include <jimple-language.h>
|
| bool | parse (const std::string &path) override |
| bool | final (contextt &context) override |
| bool | typecheck (contextt &context, const std::string &module) override |
| std::string | id () const override |
| void | add_intrinsics (contextt &context) |
| void | setup_main (contextt &context) |
| void | show_parse (std::ostream &out) override |
| bool | from_expr (const exprt &expr, std::string &code, const namespacet &ns, unsigned flags) override |
| bool | from_type (const typet &type, std::string &code, const namespacet &ns, unsigned flags) override |
| unsigned | default_flags (presentationt target) const override |
| virtual languaget * | new_language () const override |
| 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 | ~languaget ()=default |
◆ add_intrinsics()
| void jimple_languaget::add_intrinsics |
( |
contextt & | context | ) |
|
◆ default_flags()
| unsigned jimple_languaget::default_flags |
( |
presentationt | target | ) |
const |
|
overridevirtual |
◆ final()
◆ from_expr()
| bool jimple_languaget::from_expr |
( |
const exprt & | expr, |
|
|
std::string & | code, |
|
|
const namespacet & | ns, |
|
|
unsigned | flags ) |
|
overridevirtual |
◆ from_type()
| bool jimple_languaget::from_type |
( |
const typet & | type, |
|
|
std::string & | code, |
|
|
const namespacet & | ns, |
|
|
unsigned | flags ) |
|
overridevirtual |
◆ id()
| std::string jimple_languaget::id |
( |
| ) |
const |
|
inlineoverridevirtual |
◆ new_language()
| virtual languaget * jimple_languaget::new_language |
( |
| ) |
const |
|
inlineoverridevirtual |
◆ parse()
| bool jimple_languaget::parse |
( |
const std::string & | path | ) |
|
|
overridevirtual |
◆ setup_main()
| void jimple_languaget::setup_main |
( |
contextt & | context | ) |
|
◆ show_parse()
| void jimple_languaget::show_parse |
( |
std::ostream & | out | ) |
|
|
overridevirtual |
◆ typecheck()
| bool jimple_languaget::typecheck |
( |
contextt & | context, |
|
|
const std::string & | module ) |
|
overridevirtual |
◆ root
The documentation for this class was generated from the following files: