public interface ModificationEvent
The event that occurs on configuration changes. Register to listen for these events
via
Configuration.onChange(Consumer, String...)
.- See Also:
-
Nested Class Summary
Modifier and TypeInterfaceDescriptionstatic interface
Build and publish modifications to the configuration. -
Method Summary
Modifier and TypeMethodDescriptionReturn the updated configuration.Return the set of keys where the properties where modified.name()
Return the name of the event (e.g "reload").
-
Method Details
-
name
String name()Return the name of the event (e.g "reload"). -
configuration
Configuration configuration()Return the updated configuration. -
modifiedKeys
Return the set of keys where the properties where modified.
-