619620621622623624625626627628629
EventListener[] list = listenerList.getListeners(DomainListener.class); for (int i = 0; i < list.length; i++) { DomainListener temp = (DomainListener) list[i]; switch (e.getId()) { case MapEvent.ADD: temp.domainAdded(e); break; case MapEvent.CHANGE: temp.domainChanged(e); break; case MapEvent.REMOVE:
800801802803804805806807808809810
for (EventListener listener : listenerList.getListeners(DomainListener.class)) { DomainListener temp = (DomainListener) listener; switch (e.getId()) { case MapEvent.ADD: temp.domainAdded(e); break; case MapEvent.CHANGE: temp.domainChanged(e); break; case MapEvent.REMOVE: