Tracer that process view trace information. More...
#include <tracer.hpp>
Public Member Functions | |
ViewTracer (void) | |
Constructor. | |
virtual void | init (const Space &home, const ViewTraceRecorder< View > &t)=0 |
Init function. | |
virtual void | prune (const Space &home, const ViewTraceRecorder< View > &t, const ViewTraceInfo &vti, int i, typename TraceTraits< View >::TraceDelta &d)=0 |
Prune function. | |
virtual void | fail (const Space &home, const ViewTraceRecorder< View > &t)=0 |
Fail function. | |
virtual void | fix (const Space &home, const ViewTraceRecorder< View > &t)=0 |
Fixpoint function. | |
virtual void | done (const Space &home, const ViewTraceRecorder< View > &t)=0 |
Done function. | |
virtual | ~ViewTracer (void) |
Destructor. | |
Additional Inherited Members | |
![]() | |
static void * | operator new (size_t s) |
Memory management. | |
static void | operator delete (void *p) |
Free memory allocated from heap. | |
![]() | |
static Support::Mutex | m |
Mutex to provide synchronization. | |
Tracer that process view trace information.
Definition at line 51 of file tracer.hpp.
|
inline |
Constructor.
Definition at line 252 of file tracer.hpp.
|
inlinevirtual |
Destructor.
Definition at line 295 of file tracer.hpp.
|
pure virtual |
Init function.
The init function is called when the trace collector has been initialized.
|
pure virtual |
Prune function.
The variable at position i has been modified where the modification is described by d. Additional information about how the variable has been changed is provided by the trace collector t and execution information ei.
|
pure virtual |
Fail function.
The fail function is called whenever home containing the trace collector t has been failed.
|
pure virtual |
Fixpoint function.
The fixpoint function is called whenever home containing the trace collector t reaches a fixpoint (and fixpoint tracing is enabled).
|
pure virtual |
Done function.
The done function is called whenever the trace collector t is done and will terminate.