7#ifndef DEBUGLISTENER_H_
8#define DEBUGLISTENER_H_
12#include "highlighteventlistener.h"
38 void setInteractive(
bool i =
true) {
Implementation of highlight events that prints debug information.
Definition: debuglistener.h:23
virtual void notify(const HighlightEvent &event)
The method called to notify the listener about an event.
Definition: debuglistener.cpp:27
void step()
Waits for the user to press ENTER (in case of interactive debugging)
Definition: debuglistener.cpp:67
bool interactive
whether to act in step mode (wait for the user ENTER after each step)
Definition: debuglistener.h:28
std::ostream & os
where to output debug info (default stdout)
Definition: debuglistener.h:25
Base class for listeners of HighlightEvent.
Definition: highlighteventlistener.h:18
C++ class: doctemplate.h.
Definition: bufferedoutput.cpp:13
Event concerning an highlighting operation (e.g., formatting, entering a new state,...
Definition: highlightevent.h:18