UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
Public Member Functions | Private Attributes | List of all members
TerminationMessage Class Reference

Encapsulates a timer, which is started when the TerminationMessage is created. More...

Collaboration diagram for TerminationMessage:
Collaboration graph
[legend]

Public Member Functions

 TerminationMessage ()
 Creates a new TerminationMessage also staring the encapsulated Timer.
 
 ~TerminationMessage ()
 Destroys this TerminationMessage. More...
 

Private Attributes

Timer timer
 Stores a Timer to compute the elapsed time.
 

Detailed Description

Encapsulates a timer, which is started when the TerminationMessage is created.

When the TerminationMessage is destroyed, a log message is generated that the scenario has ended, printing also the elapsed time.

See Also
Timer
Author
Jan Stückrath

Constructor & Destructor Documentation

~TerminationMessage ( )
inline

Destroys this TerminationMessage.

This also prints a log message stating that the scenario has terminated and printing the elapsed time.


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