38 out <<
"Class references:\n";
39 for(class_refst::const_iterator it=
class_refs.begin();
42 out <<
" " << *it <<
'\n';
47 for(
const auto &annotation : annotations)
49 annotation.output(out);
53 out <<
"class " << name;
55 out <<
" extends " << extends;
58 for(fieldst::const_iterator
68 for(methodst::const_iterator
87 if(!element_value_pairs.empty())
92 for(
const auto &element_value_pair : element_value_pairs)
98 element_value_pair.output(out);
106 std::ostream &out)
const 111 out <<
'"' << element_name <<
'"' <<
'=';
120 for(
const auto &annotation : annotations)
123 annotation.output(out);
148 out <<
"synchronized ";
151 out <<
" : " << signature;
157 for(
const auto &i : instructions)
159 if(!i.source_location.get_line().empty())
160 out <<
" // " << i.source_location <<
'\n';
162 out <<
" " << i.address <<
": ";
165 for(std::vector<exprt>::const_iterator
166 a_it=i.args.begin(); a_it!=i.args.end(); a_it++)
168 if(a_it!=i.args.begin())
185 for(
const auto &v : local_variable_table)
187 out <<
" " << v.index <<
": " << v.name <<
' ' 188 << v.signature <<
'\n';
196 for(
const auto &annotation : annotations)
199 annotation.output(out);
212 out <<
" : " << signature <<
';';
std::string type2java(const typet &type, const namespacet &ns)
virtual void output(std::ostream &out) const
std::string from_expr(const namespacet &ns, const irep_idt &identifier, const exprt &expr)
void output(std::ostream &) const
void output(std::ostream &out) const
void output(std::ostream &out) const
void output(std::ostream &) const
virtual void output(std::ostream &out) const
std::string expr2java(const exprt &expr, const namespacet &ns)