org.granite.gravity

Interface Gravity.Listener

Enclosing interface:

Gravity

public static interface Gravity.Listener

Method Summary

Methods

Modifier and Type	Method and Description
void	authenticated(Channel channel, java.security.Principal principal)
void	connected(Channel channel)
void	disconnected(Channel channel)
void	subscribed(Channel channel, java.lang.String subscriptionId)
void	unsubscribed(Channel channel, java.lang.String subscriptionId)

Method Detail

connected

void connected(Channel channel)

subscribed

void subscribed(Channel channel,
              java.lang.String subscriptionId)

authenticated

void authenticated(Channel channel,
                 java.security.Principal principal)

disconnected

void disconnected(Channel channel)

unsubscribed

void unsubscribed(Channel channel,
                java.lang.String subscriptionId)