public interface AlarmPropagator
extends java.io.Serializable
Modifier and Type | Method and Description |
---|---|
void |
propagate(Element element)
propagate the alarm state of the specified element.
|
void propagate(Element element)
element
- the element alarm state changed.Copyright © 2002 - 2010 Serva Software. All Rights Reserved.