cprover
|
#include <util/std_expr.h>
Go to the source code of this file.
Functions | |
void | java_root_class (class symbolt &class_symbol) |
void java_root_class | ( | class symbolt & | class_symbol | ) |
Definition at line 28 of file java_root_class.cpp.
References struct_union_typet::components(), java_boolean_type(), struct_union_typet::componentt::set_name(), struct_union_typet::componentt::set_pretty_name(), to_struct_type(), symbolt::type, and exprt::type().
Referenced by java_bytecode_convert_classt::convert(), and java_bytecode_convert_classt::generate_class_stub().