Manche Klassen, darunter die Standardimplementierungen BasicDocument
und BasicPage
versenden Benachrichtigungen bei Änderungen an
ihren Properties. Um diese Benachrichtigungen zu empfangen, können auf dem Document
als DocumentListener
beziehungsweise auf der Page
als PageListener
registriert werden. Beide Interfaces erben
die Funktionalität der altbekannten Schnittstelle
java.beans.PropertyChangeListener
. Da sowohl das Document
als auch die Page
über die Änderungen an den Properties hinaus für
Änderungen ihren Objekteigenschaften ensprechende
PropertyChangeEvent
s versenden, werden den Keys der Properties im
PropertyChangeEvent
die Zeichenfolge
properties.
vorangestellt. Das folgende Beispiel verdeutlicht den
Sachverhalt.
Art der Änderung |
PropertyChangeEvent |
||
---|---|---|---|
Name | OldValue | NewValue | |
Hinzufügen der Property SourceFile |
property.SourceFile |
null |
File("someFile.txt") |
Ändern der Property SourceFile |
property.SourceFile |
File("someFile.txt") |
File("someOtherFile.txt") |
Entfernen der Property SourceFile |
property.SourceFile |
File("someOtherFile.txt") |
null |
Ändern des Document-State auf
setState(CLOSED) |
state |
BasicState.READY |
BasicState.CLOSED |