UnCoVer (Using Coverability for Verification)
|
Encapsulates a timer, which is started when the TerminationMessage is created. More...
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. | |
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.
|
inline |
Destroys this TerminationMessage.
This also prints a log message stating that the scenario has terminated and printing the elapsed time.