python_languaget Class Reference

#include <python_language.h>

Inheritance diagram for python_languaget:

Public Member Functions
bool	parse (const std::string &path) override
bool	final (contextt &context) override
bool	typecheck (contextt &context, const std::string &module) 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
std::string	id () const override
void	show_parse (std::ostream &out) override
languaget *	new_language () const override
const std::vector< nlohmann::json > &	get_extra_asts () const
	Additional positional Python files passed on the command line, beyond the first (github #6211).
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

Static Public Member Functions
static void	register_bundled ()
	Registers the bundled parser scripts with file_operations.

Member Function Documentation

default_flags()

unsigned python_languaget::default_flags ( presentationt target ) const

overridevirtual

Reimplemented from languaget.

final()

bool python_languaget::final ( contextt & context )

overridevirtual

Reimplemented from languaget.

from_expr()

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

overridevirtual

Implements languaget.

from_type()

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

overridevirtual

Implements languaget.

get_extra_asts()

const std::vector< nlohmann::json > & python_languaget::get_extra_asts ( ) const

inline

Additional positional Python files passed on the command line, beyond the first (github #6211).

Each entry is a fully parsed and annotated module AST, merged into the same program by python_converter.

id()

std::string python_languaget::id ( ) const

inlineoverridevirtual

Reimplemented from languaget.

new_language()

languaget * python_languaget::new_language ( ) const

inlineoverridevirtual

Implements languaget.

parse()

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

overridevirtual

Implements languaget.

register_bundled()

void python_languaget::register_bundled ( )

static

Registers the bundled parser scripts with file_operations.

show_parse()

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

overridevirtual

Implements languaget.

typecheck()

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

overridevirtual

Implements languaget.

---

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

• src/python-frontend/python_language.h
• src/python-frontend/python_language.cpp