MR_Code * MR_trace_fake(const MR_LabelLayout *layout) { MR_tracing_not_enabled(); /*NOTREACHED*/ return NULL; }
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)(); } }
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 }