expr2jsil.h File Reference

Jsil Language. More...

#include <string>

Include dependency graph for expr2jsil.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
std::string	expr2jsil (const exprt &expr, const namespacet &ns)
std::string	type2jsil (const typet &type, const namespacet &ns)

Detailed Description

Jsil Language.

Definition in file expr2jsil.h.

Function Documentation

expr2jsil()

std::string expr2jsil	(	const exprt &	expr,
		const namespacet &	ns
	)

Definition at line 24 of file expr2jsil.cpp.

References expr2jsil().

Referenced by expr2jsil(), jsil_languaget::from_expr(), jsil_typecheckt::to_string(), and type2jsil().

type2jsil()

std::string type2jsil	(	const typet &	type,
		const namespacet &	ns
	)

Definition at line 31 of file expr2jsil.cpp.

References expr2jsil().

Referenced by jsil_languaget::from_type(), and jsil_typecheckt::to_string().