Class UpdateEvent<T>
java.lang.Object
java.util.EventObject
org.tweetyproject.preferences.events.UpdateEvent<T>
- Type Parameters:
T
- generic preference order type
- All Implemented Interfaces:
Serializable
The class for event objects used in dynamic preference aggregation
- Author:
- Bastian Wolf
- See Also:
-
Constructor Summary
ConstructorDescriptionUpdateEvent
(Object source, PreferenceOrder<T> result) constructor for an update containing the aggregation result -
Method Summary
Modifier and TypeMethodDescriptionreturns the result for this update eventboolean
setResult
(PreferenceOrder<T> result) Sets the result in for this update eventMethods inherited from class java.util.EventObject
getSource, toString
-
Constructor Details
-
UpdateEvent
constructor for an update containing the aggregation result- Parameters:
source
- where the event occurredresult
- of the occurring event
-
-
Method Details
-
setResult
Sets the result in for this update event- Parameters:
result
- of this update event- Returns:
- true iff the operation was successful
-
getResult
returns the result for this update event- Returns:
- the result for this update event
-