001 package com.google.gwt.maps.client.events.dragend; 002 003 import com.google.gwt.ajaxloader.client.Properties; 004 import com.google.gwt.maps.client.events.MapEvent; 005 006 public class DragEndMapEvent extends MapEvent<DragEndMapHandler, DragEndMapEvent> { 007 008 public static Type<DragEndMapHandler> TYPE = new Type<DragEndMapHandler>(); 009 010 public DragEndMapEvent(Properties properties) { 011 super(properties); 012 } 013 014 @Override 015 public com.google.gwt.event.shared.GwtEvent.Type<DragEndMapHandler> getAssociatedType() { 016 return TYPE; 017 } 018 019 @Override 020 protected void dispatch(DragEndMapHandler handler) { 021 handler.onEvent(this); 022 } 023 024 }