Ejemplo n.º 1
0
 void instruction::display_indented(context & ctx, std::ostream & out, std::string indentation) const {
     out << indentation;
     display_head_impl(ctx, out);
     if (ctx.output_profile()) {
         out << " {";
         output_profile(ctx, out);
         out << '}';
     }
     out << "\n";
     display_body_impl(ctx, out, indentation);
 }