home *** CD-ROM | disk | FTP | other *** search
- package java.beans;
-
- import java.util.EventObject;
-
- public class PropertyChangeEvent extends EventObject {
- private String propertyName;
- private Object newValue;
- private Object oldValue;
- private Object propagationId;
-
- public PropertyChangeEvent(Object source, String propertyName, Object oldValue, Object newValue) {
- super(source);
- this.propertyName = propertyName;
- this.newValue = newValue;
- this.oldValue = oldValue;
- }
-
- public Object getNewValue() {
- return this.newValue;
- }
-
- public Object getOldValue() {
- return this.oldValue;
- }
-
- public Object getPropagationId() {
- return this.propagationId;
- }
-
- public String getPropertyName() {
- return this.propertyName;
- }
-
- public void setPropagationId(Object propagationId) {
- this.propagationId = propagationId;
- }
- }
-