public interface EreignisListener
extends java.util.EventListener
Modifier and Type | Method and Description |
---|---|
void |
ereignisseAktualisiert(EreignisseAktualisiertEvent e)
Teilt dem Listener die Änderung mit.
|
void ereignisseAktualisiert(EreignisseAktualisiertEvent e)
e
- das Event, welches die Mengenänderung kapselt.