10 #ifndef CPROVER_JAVA_BYTECODE_EXPR2JAVA_H 11 #define CPROVER_JAVA_BYTECODE_EXPR2JAVA_H 22 const exprt &src,
unsigned &precedence);
35 unsigned &precedence);
43 const std::string &declarator);
53 #endif // CPROVER_JAVA_BYTECODE_EXPR2JAVA_H The type of an expression.
expr2javat(const namespacet &_ns)
virtual std::string convert_java_new(const exprt &src, unsigned precedence)
virtual std::string convert_code_java_delete(const exprt &src, unsigned precedence)
virtual std::string convert_java_instanceof(const exprt &src, unsigned precedence)
A constant literal expression.
virtual std::string convert_struct(const exprt &src, unsigned &precedence)
virtual std::string convert_constant(const constant_exprt &src, unsigned &precedence)
std::string type2java(const typet &type, const namespacet &ns)
const std::size_t char_representation_length
virtual std::string convert_with_precedence(const exprt &src, unsigned &precedence)
Base class for all expressions.
std::string expr2java(const exprt &expr, const namespacet &ns)
virtual std::string convert_code_function_call(const code_function_callt &src, unsigned indent)
virtual std::string convert_code(const codet &src, unsigned indent)
A statement in a programming language.
virtual std::string convert_rec(const typet &src, const c_qualifierst &qualifiers, const std::string &declarator)
virtual std::string convert_java_this(const exprt &src, unsigned precedence)