Uses of Class
org.tweetyproject.preferences.events.UpdateEvent
-
Uses of UpdateEvent in org.tweetyproject.preferences.events
Modifier and TypeMethodDescriptionvoid
UpdateListener.eventOccurred(UpdateEvent<T> e)
UpdateListener is informed as soon as an update occursvoid
UpdatePrinter.eventOccurred(UpdateEvent<T> e)
This method is called every time an update occurs