public interface PropertiesChangeListener
Modifier and Type | Method and Description |
---|---|
void |
propertiesChange(java.util.Map<java.lang.String,Pair<java.lang.Object,java.lang.Object>> events)
Properties have changed.
|
void propertiesChange(java.util.Map<java.lang.String,Pair<java.lang.Object,java.lang.Object>> events)
events
- key is property name, pair contains old and new value.@enterprise 9.0.33982 Copyright © 2001-2023 Groiss Informatics GmbH. All Rights Reserved.