tesla::Instrumenter Class Reference

Detailed Description

Base class for TESLA instrumenters.

Definition at line 40 of file Instrumenter.h.

#include "Instrumenter.h"

Inheritance diagram for tesla::Instrumenter:

Collaboration diagram for tesla::Instrumenter:

Public Member Functions
	Instrumenter (const Manifest &M, bool SuppressDI)
virtual	~Instrumenter ()

Protected Attributes
const Manifest &	M
	TESLA manifest that describes automata. More...
const bool	SuppressDebugInstr
	Don't produce debug instrumentation (e.g., printf() statements). More...

Constructor & Destructor Documentation

tesla::Instrumenter::Instrumenter ( const Manifest &  M, bool  SuppressDI  )

inline

Definition at line 42 of file Instrumenter.h.

    : M(M), SuppressDebugInstr(SuppressDI) {}

virtual tesla::Instrumenter::~Instrumenter ( )

inlinevirtual

Definition at line 45 of file Instrumenter.h.

{}

Member Data Documentation

const Manifest& tesla::Instrumenter::M

protected

TESLA manifest that describes automata.

Definition at line 49 of file Instrumenter.h.

const bool tesla::Instrumenter::SuppressDebugInstr

protected

Don't produce debug instrumentation (e.g., printf() statements).

Definition at line 52 of file Instrumenter.h.

---

The documentation for this class was generated from the following file:

• tesla/instrumenter/Instrumenter.h