Exemplos de output_profile em C++ (Cpp)

Exemplo n.º 1

Arquivo: main.c Projeto: bsmr-misc-forks/kroc

static void output_profiling (void)
{
	fprintf (stderr, "-- Firmware Bytecode Profile\n");
	output_profile (&firmware_ctx);
	fprintf (stderr, "-- User Bytecode Profile\n");
	output_profile (&user_ctx);
}

Exemplo n.º 2

Arquivo: dl_instruction.cpp Projeto: Moondee/Artemis

 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);
 }

Exemplo n.º 3

Arquivo: dl_instruction.cpp Projeto: greatmazinger/z3

 void instruction::display_indented(execution_context const & _ctx, std::ostream & out, std::string indentation) const {
     out << indentation;
     rel_context const& ctx = _ctx.get_rel_context();
     display_head_impl(_ctx, out);
     if (ctx.output_profile()) {
         out << " {";
         output_profile(out);
         out << '}';
     }
     out << "\n";
     display_body_impl(_ctx, out, indentation);
 }