expr2java.cpp File Reference

#include "expr2java.h"
#include <cassert>
#include <sstream>
#include <util/namespace.h>
#include <util/std_types.h>
#include <util/std_expr.h>
#include <util/symbol.h>
#include <util/unicode.h>
#include <util/arith_tools.h>
#include <util/ieee_float.h>
#include <ansi-c/c_misc.h>
#include <ansi-c/expr2c_class.h>
#include "java_qualifiers.h"
#include "java_types.h"

Include dependency graph for expr2java.cpp:

Go to the source code of this file.

Functions
std::string	expr2java (const exprt &expr, const namespacet &ns)
std::string	type2java (const typet &type, const namespacet &ns)

Function Documentation

expr2java()

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

Definition at line 441 of file expr2java.cpp.

type2java()

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

Definition at line 448 of file expr2java.cpp.