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 }