org.universAAL.ri.rest.manager.push

Class PushManager

java.lang.Object

org.universAAL.ri.rest.manager.push.PushManager

public class PushManager
extends Object

Class that manages the push of callbacks to client remote node endpoints.

Author:

alfiva

Field Summary

Fields

Modifier and Type	Field and Description
static int	REMOTE_GCM Identifier for remote endpoints using Google Cloud Messaging
static int	REMOTE_POST Identifier for remote endpoints using HTTP POST
static int	REMOTE_UNKNOWN Identifier for remote endpoints using unknown protocols

Constructor Summary

Constructors

Constructor and Description
PushManager()

Method Summary

Modifier and Type	Method and Description
static int	determineEndpoint(String remote) Determines the type of endpoint
static void	pushContextEvent(String callback, String id, ContextEvent event)
static void	pushServiceCall(String callback, String id, ServiceCall call, String origin)

Methods inherited from class java.lang.Object

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

Field Detail

REMOTE_POST

public static final int REMOTE_POST

Identifier for remote endpoints using HTTP POST

See Also:

Constant Field Values

REMOTE_GCM

public static final int REMOTE_GCM

Identifier for remote endpoints using Google Cloud Messaging

See Also:

Constant Field Values

REMOTE_UNKNOWN

public static final int REMOTE_UNKNOWN

Identifier for remote endpoints using unknown protocols

See Also:

Constant Field Values

Constructor Detail

PushManager

public PushManager()

Method Detail

pushContextEvent

public static void pushContextEvent(String callback,
                                    String id,
                                    ContextEvent event)
                             throws PushException

Throws:

PushException

pushServiceCall

public static void pushServiceCall(String callback,
                                   String id,
                                   ServiceCall call,
                                   String origin)
                            throws PushException

Throws:

PushException

determineEndpoint

public static int determineEndpoint(String remote)

Determines the type of endpoint

Parameters:

remote - String representation of the endpoint

Returns:

RemoteAPI.REMOTE_POST if the endpoint is http or https

RemoteAPI.REMOTE_GCM if the endpoint is an Android GCM key

RemoteAPI.REMOTE_UNKNOWN if anything else