ld_languaget Class Reference

#include <ld_language.h>

Inheritance diagram for ld_languaget:

Public Member Functions
bool	parse (const std::string &path) override
bool	typecheck (contextt &context, const std::string &module) override
bool	final (contextt &) override
std::string	id () const override
void	show_parse (std::ostream &out) override
languaget *	new_language () const 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
void	set_props_path (const std::string &path)
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

Member Function Documentation

default_flags()

unsigned ld_languaget::default_flags ( presentationt target ) const

overridevirtual

Reimplemented from languaget.

final()

bool ld_languaget::final ( contextt & )

inlineoverridevirtual

Reimplemented from languaget.

from_expr()

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

overridevirtual

Implements languaget.

from_type()

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

overridevirtual

Implements languaget.

id()

std::string ld_languaget::id ( ) const

inlineoverridevirtual

Reimplemented from languaget.

new_language()

languaget * ld_languaget::new_language ( ) const

inlineoverridevirtual

Implements languaget.

parse()

bool ld_languaget::parse ( const std::string & path )

overridevirtual

Implements languaget.

set_props_path()

void ld_languaget::set_props_path ( const std::string & path )

inline

show_parse()

void ld_languaget::show_parse ( std::ostream & out )

overridevirtual

Implements languaget.

typecheck()

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

overridevirtual

Implements languaget.

---

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

• src/ld-frontend/ld_language.h
• src/ld-frontend/ld_language.cpp