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