Uses of Class
org.tweetyproject.preferences.events.UpdateEvent
-
Packages that use UpdateEvent Package Description org.tweetyproject.preferences.events -
-
Uses of UpdateEvent in org.tweetyproject.preferences.events
Methods in org.tweetyproject.preferences.events with parameters of type UpdateEvent Modifier and Type Method Description void
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
-