2014-05-16 11:50:16 +02:00
|
|
|
package org.gcube.portlets.user.td.widgetcommonevent.client.event;
|
|
|
|
|
|
|
|
import org.gcube.portlets.user.td.widgetcommonevent.client.type.SessionExpiredType;
|
|
|
|
|
|
|
|
import com.google.gwt.event.shared.EventHandler;
|
|
|
|
import com.google.gwt.event.shared.GwtEvent;
|
|
|
|
import com.google.gwt.event.shared.HandlerRegistration;
|
|
|
|
import com.google.gwt.event.shared.HasHandlers;
|
|
|
|
|
|
|
|
/**
|
|
|
|
*
|
2017-05-16 16:35:52 +02:00
|
|
|
* @author Giancarlo Panichi
|
|
|
|
*
|
2014-05-16 11:50:16 +02:00
|
|
|
*
|
|
|
|
*/
|
2014-05-16 11:55:57 +02:00
|
|
|
public class SessionExpiredEvent extends GwtEvent<SessionExpiredEvent.SessionExpiredEventHandler> {
|
2014-05-16 11:50:16 +02:00
|
|
|
|
2014-05-16 11:55:57 +02:00
|
|
|
public static Type<SessionExpiredEventHandler> TYPE = new Type<SessionExpiredEventHandler>();
|
2014-05-16 11:50:16 +02:00
|
|
|
private SessionExpiredType sessionExpiredType;
|
|
|
|
|
2014-05-16 11:55:57 +02:00
|
|
|
public interface SessionExpiredEventHandler extends EventHandler {
|
2014-05-16 11:50:16 +02:00
|
|
|
void onSessionExpired(SessionExpiredEvent event);
|
|
|
|
}
|
|
|
|
|
2014-05-16 11:55:57 +02:00
|
|
|
public interface HasSessionExpiredEventHandler extends HasHandlers{
|
|
|
|
public HandlerRegistration addSessionExpiredEventHandler(SessionExpiredEventHandler handler);
|
2014-05-16 11:50:16 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
public SessionExpiredEvent(SessionExpiredType sessionExpiredType) {
|
|
|
|
this.sessionExpiredType = sessionExpiredType;
|
|
|
|
}
|
|
|
|
|
|
|
|
public SessionExpiredType getSessionExpiredType() {
|
|
|
|
return sessionExpiredType;
|
|
|
|
}
|
|
|
|
|
|
|
|
@Override
|
2014-05-16 11:55:57 +02:00
|
|
|
protected void dispatch(SessionExpiredEventHandler handler) {
|
2014-05-16 11:50:16 +02:00
|
|
|
handler.onSessionExpired(this);
|
|
|
|
}
|
|
|
|
|
|
|
|
@Override
|
2014-05-16 11:55:57 +02:00
|
|
|
public Type<SessionExpiredEventHandler> getAssociatedType() {
|
2014-05-16 11:50:16 +02:00
|
|
|
return TYPE;
|
|
|
|
}
|
|
|
|
|
2014-05-16 11:55:57 +02:00
|
|
|
public static Type<SessionExpiredEventHandler> getType() {
|
2014-05-16 11:50:16 +02:00
|
|
|
return TYPE;
|
|
|
|
}
|
|
|
|
|
|
|
|
public static void fire(HasHandlers source, SessionExpiredType sessionExpiredType) {
|
|
|
|
source.fireEvent(new SessionExpiredEvent(sessionExpiredType));
|
|
|
|
}
|
|
|
|
|
|
|
|
@Override
|
|
|
|
public String toString() {
|
|
|
|
return "SessionExpiredEvent [sessionExpiredType=" + sessionExpiredType
|
|
|
|
+ "]";
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
}
|