ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
languaget Class Referenceabstract

#include <language.h>

Inheritance diagram for languaget:
[legend]

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

Constructor & Destructor Documentation

◆ ~languaget()

virtual languaget::~languaget ( )
virtualdefault

Member Function Documentation

◆ default_flags()

virtual unsigned languaget::default_flags ( presentationt ) const
inlinevirtual

◆ final()

virtual bool languaget::final ( contextt & )
inlinevirtual

◆ from_expr() [1/2]

bool languaget::from_expr ( const exprt & expr,
std::string & code,
const namespacet & ns,
presentationt target = presentationt::HUMAN )
inline

◆ from_expr() [2/2]

virtual bool languaget::from_expr ( const exprt & expr,
std::string & code,
const namespacet & ns,
unsigned flags )
protectedpure virtual

◆ from_type() [1/2]

bool languaget::from_type ( const typet & type,
std::string & code,
const namespacet & ns,
presentationt target = presentationt::HUMAN )
inline

◆ from_type() [2/2]

virtual bool languaget::from_type ( const typet & type,
std::string & code,
const namespacet & ns,
unsigned flags )
protectedpure virtual

◆ id()

virtual std::string languaget::id ( ) const
inlinevirtual

◆ new_language()

virtual languaget * languaget::new_language ( ) const
pure virtual

◆ parse()

virtual bool languaget::parse ( const std::string & path)
pure virtual

◆ show_parse()

virtual void languaget::show_parse ( std::ostream & out)
pure virtual

◆ typecheck()

virtual bool languaget::typecheck ( contextt & context,
const std::string & module )
pure virtual

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