Loading...

Searching...

No Matches

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.