01: // FramesHelperListener.java
02: // $Id: FramesHelperListener.java,v 1.3 2000/08/16 21:37:27 ylafon Exp $
03: // (c) COPYRIGHT MIT and INRIA, 1997.
04: // Please first read the full copyright statement in file COPYRIGHT.html
05:
06: package org.w3c.jigadm.editors;
07:
08: import java.util.EventObject;
09:
10: import org.w3c.jigadm.RemoteResourceWrapper;
11:
12: import org.w3c.jigadm.events.ResourceChangeEvent;
13: import org.w3c.jigadm.events.ResourceListener;
14:
15: public class FramesHelperListener implements ResourceListener {
16:
17: FrameBrowser fb = null;
18:
19: public void resourceChanged(ResourceChangeEvent e) {
20: if (e.getNewValue() == null) { // deleted ?
21: if (e.getOldValue() != null) {
22: fb.removeNode((RemoteResourceWrapper) e.getOldValue());
23: }
24: } else { //added ?
25: if ((e.getSource() != null) && (e.getNewValue() != null)) {
26: if (e.getPropertyName().equals("added")) {
27: fb.insertNode(
28: (RemoteResourceWrapper) e.getSource(),
29: (RemoteResourceWrapper) e.getNewValue());
30: } else if (e.getPropertyName().equals("identifier")) {
31: fb.renameNode(
32: (RemoteResourceWrapper) e.getSource(),
33: (String) e.getNewValue());
34: }
35: }
36: }
37: }
38:
39: public FramesHelperListener(FrameBrowser fb) {
40: this.fb = fb;
41: }
42: }
|