Esempio n. 1
0
MR_Code *
MR_trace_fake(const MR_LabelLayout *layout)
{
    MR_tracing_not_enabled();
    /*NOTREACHED*/
    return NULL;
}
Esempio n. 2
0
void
MR_trace_final(void)
{
#ifdef MR_USE_EXTERNAL_DEBUGGER
    if (MR_trace_handler == MR_TRACE_EXTERNAL) {
        if (MR_address_of_trace_final_external != NULL) {
            MR_address_of_trace_final_external();
        } else {
            MR_tracing_not_enabled();
        }
    }
#endif

    // If mdb started a window, make sure it dies now.
    if (MR_trace_shutdown != NULL) {
        (*MR_trace_shutdown)();
    }
}
Esempio n. 3
0
void
MR_trace_init(void)
{
#ifdef  MR_TABLE_DEBUG
    // We don't want to see any tabling debugging messages from
    // initialization code about entering and leaving commit goals.

    MR_saved_tabledebug = MR_tabledebug;
    MR_tabledebug = MR_FALSE;
#endif

#ifdef MR_USE_EXTERNAL_DEBUGGER
    if (MR_trace_handler == MR_TRACE_EXTERNAL) {
        if (MR_address_of_trace_init_external != NULL) {
            MR_address_of_trace_init_external();
        } else {
            MR_tracing_not_enabled();
        }
    }
#endif
}