freenet.clients.http.updateableelements

Class PushDataManager

java.lang.Object

freenet.clients.http.updateableelements.PushDataManager

public class PushDataManager
extends java.lang.Object

A manager class that manages all the pushing. All it's public method must be synchronized to maintain consistency.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	PushDataManager.UpdateEvent An event that tells the client what and how it should be updated

Constructor Summary

Constructors

Constructor and Description
PushDataManager(Ticker ticker)

Method Summary

Modifier and Type	Method and Description
void	elementRendered(java.lang.String requestUniqueId, BaseUpdateableElement element) A pushed element is rendered and needs to be tracked.
boolean	failover(java.lang.String originalRequestId, java.lang.String newRequestId) Fails a request and copies all notifications directed to it to another request.
PushDataManager.UpdateEvent	getNextNotification(java.lang.String requestId) Waits and return the next notification.
BaseUpdateableElement	getRenderedElement(java.lang.String requestId, java.lang.String id) Returns the element's current state.
boolean	keepAliveReceived(java.lang.String requestId) A keepalive received.
boolean	leaving(java.lang.String requestId) The request leaves, so it needs to be deleted
void	updateElement(java.lang.String id) An element is updated and needs to be pushed to all requests.

Methods inherited from class java.lang.Object

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

Constructor Detail

PushDataManager

public PushDataManager(Ticker ticker)

Method Detail

updateElement

public void updateElement(java.lang.String id)

An element is updated and needs to be pushed to all requests.

Parameters:

id - - The id of the element that changed

elementRendered

public void elementRendered(java.lang.String requestUniqueId,
                            BaseUpdateableElement element)

A pushed element is rendered and needs to be tracked.

Parameters:

requestUniqueId - - The requestId that rendered the element

element - - The element that is rendered

getRenderedElement

public BaseUpdateableElement getRenderedElement(java.lang.String requestId,
                                                java.lang.String id)

Returns the element's current state.

Parameters:

requestId - - The requestId that needs the element.

id - - The element's id

failover

public boolean failover(java.lang.String originalRequestId,
                        java.lang.String newRequestId)

Fails a request and copies all notifications directed to it to another request. It is invoked when a leadership change occurs.

Parameters:

originalRequestId - - The failing leader's id

newRequestId - - The new leader's id

Returns:

Was the failover successful?

leaving

public boolean leaving(java.lang.String requestId)

The request leaves, so it needs to be deleted

Parameters:

requestId - - The id of the request that is leaving

Returns:

Was a request deleted?

keepAliveReceived

public boolean keepAliveReceived(java.lang.String requestId)

A keepalive received.

Parameters:

requestId - - The id of the request that sent the keepalive

Returns:

Was it successful?

getNextNotification

public PushDataManager.UpdateEvent getNextNotification(java.lang.String requestId)

Waits and return the next notification. Calling this method setup the notification list.

Parameters:

requestId - - The id of the request

Returns:

The next notification when present