CBMC
expr2java.cpp File Reference
#include "expr2java.h"
#include <util/namespace.h>
#include <util/std_expr.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_expr.h"
#include "java_qualifiers.h"
#include "java_string_literal_expr.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 454 of file expr2java.cpp.

◆ type2java()

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

Definition at line 461 of file expr2java.cpp.