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