01: // ResourceChangedEvent
02: // $Id: ResourceChangeEvent.java,v 1.4 2000/08/16 21:37:28 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.events;
07:
08: import java.beans.PropertyChangeEvent;
09:
10: import org.w3c.jigadm.RemoteResourceWrapper;
11:
12: public class ResourceChangeEvent extends PropertyChangeEvent {
13:
14: /**
15: * Creates a ResourceChangeEvent
16: * this correspond to a change in one resource
17: * @param source The resource father whose resource has changed.
18: * @param name The name of the attribute that has changed.
19: * @param oldvalue The old attribute value.
20: * @param newvalue The new attribuyte value.
21: */
22:
23: public ResourceChangeEvent(Object source, String name,
24: Object oldvalue, Object newvalue) {
25: super(source, name, oldvalue, newvalue);
26: }
27: }
|