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    }