Interface ModificationEvent


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

    Nested Classes
    Modifier and Type
    Interface
    Description
    static interface 
    Build and publish modifications to the configuration.
  • Method Summary

    Modifier and Type
    Method
    Description
    Return the updated configuration.
    Return the set of keys where the properties where modified.
    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

      Set<String> modifiedKeys()
      Return the set of keys where the properties where modified.