TraceEmpty Struct Reference

Private and protected interface of class 'TraceEmpty'. More...

#include <TraceEmpty_private.h>

Public Member Functions

 INHERITS_FROM (TracePlugin)

Related Functions

(Note that these are not member functions.)



int trace_empty_action (const TracePlugin_ptr self)
 Action method associated with this class.
void trace_empty_deinit (TraceEmpty_ptr self)
 The TraceEmpty class private deinitializer.
void trace_empty_init (TraceEmpty_ptr self)
 The TraceEmpty class private initializer.
TraceEmpty_ptr TraceEmpty_create (void)
 The TraceEmpty class constructor.
void TraceEmpty_destroy (TraceEmpty_ptr self)
 The TraceEmpty class destructor.

Detailed Description

Private and protected interface of class 'TraceEmpty'.

Public interface of class 'TraceEmpty'.

Author:
Michele Dorigatti This file can be included only by derived and friend classes

TraceEmpty class definition derived from class TracePlugin

See also:
Base class TracePlugin
Author:
Michele Dorigatti
Todo:
: Missing description

Definition of the public accessor for class TraceEmpty


Member Function Documentation

TraceEmpty::INHERITS_FROM ( TracePlugin   ) 

Friends And Related Function Documentation

int trace_empty_action ( const TracePlugin_ptr  self  )  [related]

Action method associated with this class.

Does nothing. Useful when it is not possible to control directly the call to execute plugin

void trace_empty_deinit ( TraceEmpty_ptr  self  )  [related]

The TraceEmpty class private deinitializer.

The TraceEmpty class private deinitializer

See also:
TraceEmpty_destroy
void trace_empty_init ( TraceEmpty_ptr  self  )  [related]

The TraceEmpty class private initializer.

The TraceEmpty class private initializer

See also:
TraceEmpty_create
TraceEmpty_ptr TraceEmpty_create ( void   )  [related]

The TraceEmpty class constructor.

AutomaticStart

The TraceEmpty class constructor

See also:
TraceEmpty_destroy
void TraceEmpty_destroy ( TraceEmpty_ptr  self  )  [related]

The TraceEmpty class destructor.

The TraceEmpty class destructor

See also:
TraceEmpty_create

The documentation for this struct was generated from the following files:
 All Data Structures Files Functions Variables Typedefs Enumerations Enumerator Defines

Generated on 14 Oct 2015 for NuSMV Developers Manual by  doxygen 1.6.1