expr2jsil.h File Reference

#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.

type2jsil()

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

Definition at line 31 of file expr2jsil.cpp.