expr2jsil.cpp File Reference

#include "expr2jsil.h"
#include <ansi-c/expr2c_class.h>

Include dependency graph for expr2jsil.cpp:

Go to the source code of this file.

Classes
class	expr2jsilt

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

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.