Package org.tweetyproject.preferences.update

Class UpdateStream<T>

java.lang.Object

org.tweetyproject.preferences.update.UpdateStream<T>

Type Parameters:

T - generic preference order type

public class UpdateStream<T>
extends Object

Konzeption: Der Update-Stream ist eine Datenstruktur, die benutzt wird, um eine Reihe von Updates fuer dynamische POs einzuspeisen und zu verwalten. In dem Stream stehen Update-Elemente vom Typ Update, die wie folgt aufgebaut sind: Update(Praeferenzordnung, Operation, Anzahl der Operationen, Element) (Update<PreferenceOrder<T>, Operation, Integer, T>) Pro Aggregator-Instanz wird ein UpdateStream sowie Reader/Writer von dessen Konstruktor erzeugt. Fragen/Probleme: - Writer exklusiv zugaenglich fuer die Listener eines Aggregators?

Author:

Bastian Wolf

Constructor Summary

Constructors

Constructor	Description
UpdateStream()	Constructs an empty UpdateStream.

Method Summary

Modifier and Type	Method	Description
void	add(Update<T> update)	Adds an update to the end of the stream.
boolean	isEmpty()	Checks if the stream is empty.
Update<T>	next()	Retrieves and removes the first update in the stream.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

UpdateStream

public UpdateStream()

Constructs an empty UpdateStream.

Method Details

add

public void add(Update<T> update)

Adds an update to the end of the stream.

Parameters:

update - The update to be added.

next

public Update<T> next()

Retrieves and removes the first update in the stream.

Returns:

The first update in the stream.

Throws:

NoSuchElementException - if the stream is empty.

isEmpty

public boolean isEmpty()

Checks if the stream is empty.

Returns:

true if the stream is empty, false otherwise.