2018-10-05 16:30:52 +02:00
|
|
|
package org.gcube.portlets.user.workspace.client.gridevent;
|
2013-09-09 17:37:49 +02:00
|
|
|
|
|
|
|
import com.google.gwt.event.shared.GwtEvent;
|
|
|
|
|
2018-10-05 18:08:41 +02:00
|
|
|
|
2013-09-09 17:37:49 +02:00
|
|
|
/**
|
2018-10-05 18:08:41 +02:00
|
|
|
* The Class GridRefreshEvent.
|
2013-09-09 17:37:49 +02:00
|
|
|
*
|
2019-02-22 14:40:30 +01:00
|
|
|
* @author Francesco Mangiacrapa francesco.mangiacrapa{@literal @}isti.cnr.it
|
2018-10-05 18:08:41 +02:00
|
|
|
* Oct 5, 2018
|
2013-09-09 17:37:49 +02:00
|
|
|
*/
|
|
|
|
public class GridRefreshEvent extends GwtEvent<GridRefreshEventHandler> {
|
|
|
|
public static Type<GridRefreshEventHandler> TYPE = new Type<GridRefreshEventHandler>();
|
|
|
|
|
2018-10-05 18:08:41 +02:00
|
|
|
/**
|
|
|
|
* Instantiates a new grid refresh event.
|
|
|
|
*/
|
2013-09-09 17:37:49 +02:00
|
|
|
public GridRefreshEvent() {
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2018-10-05 18:08:41 +02:00
|
|
|
/* (non-Javadoc)
|
|
|
|
* @see com.google.gwt.event.shared.GwtEvent#getAssociatedType()
|
|
|
|
*/
|
2013-09-09 17:37:49 +02:00
|
|
|
@Override
|
|
|
|
public Type<GridRefreshEventHandler> getAssociatedType() {
|
|
|
|
return TYPE;
|
|
|
|
}
|
2018-10-05 18:08:41 +02:00
|
|
|
|
|
|
|
/* (non-Javadoc)
|
|
|
|
* @see com.google.gwt.event.shared.GwtEvent#dispatch(com.google.gwt.event.shared.EventHandler)
|
|
|
|
*/
|
2013-09-09 17:37:49 +02:00
|
|
|
@Override
|
|
|
|
protected void dispatch(GridRefreshEventHandler handler) {
|
|
|
|
handler.onGridRefresh(this);
|
2018-10-05 18:08:41 +02:00
|
|
|
|
2013-09-09 17:37:49 +02:00
|
|
|
}
|
|
|
|
}
|