de.uni_hildesheim.sse.monitoring.runtime.plugins

Interface TimerChangeListener

All Known Implementing Classes:

DefaultTimerChangeListener

public interface TimerChangeListener

Defines a listener for timer events, i.e. when a user defined timer ends

Since:

1.00

Version:

1.00

Author:

Holger Eichelberger

Method Summary

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

Method Detail

timerFinished

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

Is called when a user defined timer ends.

Parameters:

recId - the recorder identification

value - the value of the timer

Since:

1.00