/**Function********************************************************************
Synopsis [Initializes trace compact object.]
Description []
SideEffects []
SeeAlso []
******************************************************************************/
void trace_compact_init(TraceCompact_ptr self)
{
trace_plugin_init(TRACE_PLUGIN(self), "TRACE COMPACT PLUGIN - Shows the trace in a compact tabular fashion");
OVERRIDE(Object, finalize) = trace_compact_finalize;
OVERRIDE(TracePlugin, action) = trace_compact_action;
}
void trace_explainer_init(TraceExplainer_ptr self, boolean changes_only)
{
if (changes_only) {
trace_plugin_init(TRACE_PLUGIN(self),
"BASIC TRACE EXPLAINER - shows changes only");
}
else {
trace_plugin_init(TRACE_PLUGIN(self),
"BASIC TRACE EXPLAINER - shows all variables");
}
OVERRIDE(Object, finalize) = trace_explainer_finalize;
OVERRIDE(TracePlugin, action) = trace_explainer_action;
self->changes_only = changes_only;
}