3 import java.beans.PropertyChangeEvent;
4 import java.beans.PropertyChangeListener;
6 public class JalviewChangeSupport implements PropertyChangeListener
8 public void propertyChange(PropertyChangeEvent evt)
10 // Handle change events - most are simply routed to other sources
11 changeSupport.firePropertyChange(evt);
15 * change listeners are notified of changes to resources so they can update
16 * their state. E.g. - the 'services' property notifies when the available
17 * set of web service endpoints have changed.
19 private java.beans.PropertyChangeSupport changeSupport = new java.beans.PropertyChangeSupport(
25 * @see java.beans.PropertyChangeSupport#addPropertyChangeListener(java.lang.String,
26 * java.beans.PropertyChangeListener)
28 public void addJalviewPropertyChangeListener(String propertyName,
29 PropertyChangeListener listener)
31 changeSupport.addPropertyChangeListener(propertyName, listener);
36 * @see java.beans.PropertyChangeSupport#addPropertyChangeListener(java.beans.PropertyChangeListener)
38 public void addJalviewPropertyChangeListener(
39 PropertyChangeListener listener)
41 changeSupport.addPropertyChangeListener(listener);
52 * java.beans.PropertyChangeSupport#firePropertyChange(java.lang.String,
53 * java.lang.Object, java.lang.Object) public void firePropertyChange(String
54 * propertyName, Object oldValue, Object newValue) {
55 * changeSupport.firePropertyChange(propertyName, oldValue, newValue); }
61 * @see java.beans.PropertyChangeSupport#removePropertyChangeListener(java.lang.String,
62 * java.beans.PropertyChangeListener)
64 public void removeJalviewPropertyChangeListener(String propertyName,
65 PropertyChangeListener listener)
67 changeSupport.removePropertyChangeListener(propertyName, listener);