723724725726727728729730731732733
for (EventListener listener : listenerList.getListeners(DomainListener.class)) { DomainListener temp = (DomainListener) listener; switch (e.getId()) { case MapEvent.CHANGE: temp.domainChanged(e); break; default: throw new IllegalArgumentException("Invalid DomainEvent type: " + e.getId()); } }
790791792793794795796797798799800
for (EventListener listener : listenerList.getListeners(DomainListener.class)) { DomainListener temp = (DomainListener) listener; switch (e.getId()) { case MapEvent.CHANGE: temp.domainChanged(e); break; default: throw new IllegalArgumentException("Invalid DomainEvent type: " + e.getId()); }
622623624625626627628629630631632
switch (e.getId()) { case MapEvent.ADD: temp.domainAdded(e); break; case MapEvent.CHANGE: temp.domainChanged(e); break; case MapEvent.REMOVE: temp.domainRemoved(e); break; default:
803804805806807808809810811812813