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 var1, String var2, Object var3, Object var4) {
- super(var1);
- this.propertyName = var2;
- this.newValue = var4;
- this.oldValue = var3;
- }
-
- public String getPropertyName() {
- return this.propertyName;
- }
-
- public Object getNewValue() {
- return this.newValue;
- }
-
- public Object getOldValue() {
- return this.oldValue;
- }
-
- public void setPropagationId(Object var1) {
- this.propagationId = var1;
- }
-
- public Object getPropagationId() {
- return this.propagationId;
- }
- }
-