Diades::Automata::Experimental::EventManagerPrettyPrinter< EventInfo, EventId > Class Template Reference

#include <Printer.hh>

Public Member Functions
	EventManagerPrettyPrinter (const EventManager< EventInfo, EventId > &mgr)
virtual ostream &	print (ostream &os, const EventId &event) const
Public Member Functions inherited from Diades::Automata::Experimental::Printer< EventId >
virtual ostream &	print (ostream &os, const EventId &object) const=0

Private Attributes
const EventManager< EventInfo, EventId > &	_mgr

Additional Inherited Members
Public Types inherited from Diades::Automata::Experimental::Printer< EventId >
using	Object = EventId

Detailed Description

template<typename EventInfo, typename EventId>
class Diades::Automata::Experimental::EventManagerPrettyPrinter< EventInfo, EventId >

This printer prints the EventInfo of any Event associated with a given EventManager for that Event. It requires that EventInfo has the operator <<

Definition at line 81 of file Printer.hh.

Constructor & Destructor Documentation

EventManagerPrettyPrinter()

template<typename EventInfo, typename EventId>

Diades::Automata::Experimental::EventManagerPrettyPrinter< EventInfo, EventId >::EventManagerPrettyPrinter ( const EventManager< EventInfo, EventId > &  mgr )

inline

Cosntructor

Parameters

mgr	the EventManager that will be permanently associated with the Printer

Definition at line 96 of file Printer.hh.

Member Function Documentation

print()

template<typename EventInfo, typename EventId>

virtual ostream& Diades::Automata::Experimental::EventManagerPrettyPrinter< EventInfo, EventId >::print ( ostream &  os, const EventId &  event  ) const

inlinevirtual

Print the given Event in the given output stream using the << operator of EventInfo that is associated with event in the associated manager

Parameters

os	output stream
event	the Event(Object) to print out

Returns

the updated output stream

Definition at line 107 of file Printer.hh.

References Diades::Automata::Experimental::EventManager< _Event, _EventId, NullEvent, NullEventId, Hash >::getEvent().

Referenced by Diades::Automata::Experimental::EventSetManagerPrettyPrinter< EventInfo, EventId >::print().

Member Data Documentation

_mgr

template<typename EventInfo, typename EventId>

const EventManager<EventInfo,EventId>& Diades::Automata::Experimental::EventManagerPrettyPrinter< EventInfo, EventId >::_mgr

private

Definition at line 88 of file Printer.hh.

---

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

• /home/yannick/laas/redmine/tools/diades/include/diades/automata/experimental/Printer.hh