01: // AttributeChangedEvent
02: // $Id: AttributeChangeEvent.java,v 1.5 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 AttributeChangeEvent extends PropertyChangeEvent {
13:
14: /**
15: * Creates an AttributeChangeEvent
16: * this correspond to a change in one Attribute of one resource
17: * @param source The resource whose attribute 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 AttributeChangeEvent(Object source, String name,
24: Object oldvalue, Object newvalue) {
25: super(source, name, oldvalue, newvalue);
26: }
27: }
|