de.uni_hildesheim.sse.monitoring.runtime.plugins

Class DefaultTimerChangeListener

java.lang.Object

de.uni_hildesheim.sse.monitoring.runtime.plugins.DefaultTimerChangeListener

All Implemented Interfaces:

TimerChangeListener

public class DefaultTimerChangeListener
extends java.lang.Object
implements TimerChangeListener

Implements a default listener for timer events which prints out that a timer event happened.

Since:

1.00

Version:

1.00

Author:

Holger Eichelberger

Constructor Summary

Constructors

Constructor and Description
DefaultTimerChangeListener()

Method Summary

Modifier and Type	Method and Description
void	timerFinished(java.lang.String recId, long value) Is called when a user defined timer ends.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DefaultTimerChangeListener

public DefaultTimerChangeListener()

Method Detail

timerFinished

public void timerFinished(java.lang.String recId,
                          long value)

Is called when a user defined timer ends.

Specified by:

timerFinished in interface TimerChangeListener

Parameters:

recId - the recorder identification

value - the value of the timer

Since:

1.00