std::string expr2javat::convert_code(
const codet &src,
unsigned indent)
{
const irep_idt &statement=src.get(ID_statement);
if(statement==ID_java_new ||
statement==ID_java_new_array)
return convert_java_new(src,indent);
return expr2ct::convert_code(src, indent);
}
