C++ (Cpp) trace_plugin_init Exemples

Exemple #1

Fichier : TraceCompact.c Projet : sbusard/pynusmv

/**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;
}

Exemple #2

Fichier : TraceExplainer.c Projet : hklarner/NuSMV-a

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