ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
jimple_languaget Class Reference

#include <jimple-language.h>

Inheritance diagram for jimple_languaget:
[legend]

Public Member Functions

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
Public Member Functions inherited from languaget
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

Public Attributes

jimple_file root

Member Function Documentation

◆ add_intrinsics()

void jimple_languaget::add_intrinsics ( contextt & context)

◆ default_flags()

unsigned jimple_languaget::default_flags ( presentationt target) const
overridevirtual

Reimplemented from languaget.

◆ final()

bool jimple_languaget::final ( contextt & context)
overridevirtual

Reimplemented from languaget.

◆ from_expr()

bool jimple_languaget::from_expr ( const exprt & expr,
std::string & code,
const namespacet & ns,
unsigned flags )
overridevirtual

Implements languaget.

◆ from_type()

bool jimple_languaget::from_type ( const typet & type,
std::string & code,
const namespacet & ns,
unsigned flags )
overridevirtual

Implements languaget.

◆ id()

std::string jimple_languaget::id ( ) const
inlineoverridevirtual

Reimplemented from languaget.

◆ new_language()

virtual languaget * jimple_languaget::new_language ( ) const
inlineoverridevirtual

Implements languaget.

◆ parse()

bool jimple_languaget::parse ( const std::string & path)
overridevirtual

Implements languaget.

◆ setup_main()

void jimple_languaget::setup_main ( contextt & context)

◆ show_parse()

void jimple_languaget::show_parse ( std::ostream & out)
overridevirtual

Implements languaget.

◆ typecheck()

bool jimple_languaget::typecheck ( contextt & context,
const std::string & module )
overridevirtual

Implements languaget.

Member Data Documentation

◆ root

jimple_file jimple_languaget::root

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