Loading...

Searching...

No Matches

expr2java.h File Reference

#include <cmath>
#include <sstream>
#include <string>
#include <ansi-c/expr2c_class.h>

+ Include dependency graph for expr2java.h:

+ This graph shows which files directly or indirectly include this file:

Classes

class expr2javat

Functions

Convert floating point number to a string without printing unnecessary zeros.

std::string expr2java ( const exprt & expr,

const namespacet & ns

)

Definition at line 454 of file expr2java.cpp.

std::string floating_point_to_java_string ( float_type value )

Convert floating point number to a string without printing unnecessary zeros.

Prints decimal if precision is not lost. Prints hexadecimal otherwise, and/or java-friendly NaN and Infinity

Definition at line 60 of file expr2java.h.

std::string type2java ( const typet & type,

const namespacet & ns

)

Definition at line 461 of file expr2java.cpp.