25 out <<
"Class references:\n";
26 for(class_refst::const_iterator it=
class_refs.begin();
29 out <<
" " << *it <<
'\n';
36 annotation.output(out);
40 out <<
"class " <<
name;
45 for(fieldst::const_iterator
55 for(methodst::const_iterator
74 if(!element_value_pairs.empty())
79 for(
const auto &element_value_pair : element_value_pairs)
85 element_value_pair.output(out);
93 std::ostream &out)
const 98 out <<
'"' << element_name <<
'"' <<
'=';
111 const irep_idt &annotation_type_name)
113 const auto annotation_it = std::find_if(
116 [&annotation_type_name](
const annotationt &annotation) {
117 if(annotation.type.id() != ID_pointer)
120 return type.
id() == ID_symbol &&
123 if(annotation_it == annotations.end())
125 return *annotation_it;
133 for(
const auto &annotation : annotations)
136 annotation.output(out);
161 out <<
"synchronized ";
164 out <<
" : " << descriptor;
170 for(
const auto &i : instructions)
172 if(!i.source_location.get_line().empty())
173 out <<
" // " << i.source_location <<
'\n';
175 out <<
" " << i.address <<
": ";
178 for(std::vector<exprt>::const_iterator
179 a_it=i.args.begin(); a_it!=i.args.end(); a_it++)
181 if(a_it!=i.args.begin())
198 for(
const auto &v : local_variable_table)
200 out <<
" " << v.index <<
": " << v.name <<
' ' 201 << v.descriptor <<
'\n';
209 for(
const auto &annotation : annotations)
212 annotation.output(out);
225 out <<
" : " << descriptor <<
';';
The type of an expression.
std::string type2java(const typet &type, const namespacet &ns)
static optionalt< annotationt > find_annotation(const annotationst &annotations, const irep_idt &annotation_type_name)
Find an annotation given its name.
virtual void output(std::ostream &out) const
std::string from_expr(const namespacet &ns, const irep_idt &identifier, const exprt &expr)
const symbol_typet & to_symbol_type(const typet &type)
Cast a generic typet to a symbol_typet.
std::vector< annotationt > annotationst
const irep_idt & id() const
void output(std::ostream &) const
nonstd::optional< T > optionalt
void output(std::ostream &out) const
void output(std::ostream &out) const
void output(std::ostream &) const
virtual void output(std::ostream &out) const
const typet & subtype() const
const irep_idt & get_identifier() const
std::string expr2java(const exprt &expr, const namespacet &ns)