1 11 package org.eclipse.jface.resource; 12 13 import java.util.Set ; 14 15 import org.eclipse.core.commands.common.EventManager; 16 import org.eclipse.jface.util.IPropertyChangeListener; 17 import org.eclipse.jface.util.PropertyChangeEvent; 18 19 24 public abstract class ResourceRegistry extends EventManager { 25 26 31 public void addListener(IPropertyChangeListener listener) { 32 addListenerObject(listener); 33 } 34 35 38 protected abstract void clearCaches(); 39 40 44 public abstract Set getKeySet(); 45 46 52 public abstract boolean hasValueFor(String key); 53 54 61 protected void fireMappingChanged(String name, Object oldValue, 62 Object newValue) { 63 final Object [] myListeners = getListeners(); 64 if (myListeners.length > 0) { 65 PropertyChangeEvent event = new PropertyChangeEvent(this, name, 66 oldValue, newValue); 67 for (int i = 0; i < myListeners.length; ++i) { 68 try { 69 ((IPropertyChangeListener) myListeners[i]) 70 .propertyChange(event); 71 } catch (Exception e) { 72 } 74 } 75 } 76 } 77 78 84 public void removeListener(IPropertyChangeListener listener) { 85 removeListenerObject(listener); 86 } 87 } 88 | Popular Tags |