10 #ifndef CPROVER_JAVA_BYTECODE_JAVA_TYPES_H 11 #define CPROVER_JAVA_BYTECODE_JAVA_TYPES_H 49 #endif // CPROVER_JAVA_BYTECODE_JAVA_TYPES_H The type of an expression.
char java_char_from_type(const typet &type)
bool is_reference_type(char t)
A reference into the symbol table.
symbol_typet java_classname(const std::string &)
typet java_type_from_string(const std::string &)
typet java_bytecode_promotion(const typet &)
Java does not support byte/short return types. These are always promoted.
reference_typet java_lang_object_type()
Base class for all expressions.
typet java_boolean_type()
typet java_type_from_char(char t)
reference_typet java_reference_type(const typet &subtype)
reference_typet java_array_type(const char subtype)