1 11 package org.eclipse.jdt.launching; 12 13 14 import java.util.EventObject ; 15 25 public class PropertyChangeEvent extends EventObject { 26 27 30 private static final long serialVersionUID = 1L; 31 32 35 private String propertyName; 36 37 41 private Object oldValue; 42 43 47 private Object newValue; 48 49 60 public PropertyChangeEvent( 61 Object source, 62 String property, 63 Object oldValue, 64 Object newValue) { 65 66 super(source); 67 if (property == null) { 68 throw new IllegalArgumentException (); 69 } 70 this.propertyName = property; 71 this.oldValue = oldValue; 72 this.newValue = newValue; 73 } 74 75 80 public String getProperty() { 81 return propertyName; 82 } 83 84 90 public Object getNewValue() { 91 return newValue; 92 } 93 94 100 public Object getOldValue() { 101 return oldValue; 102 } 103 } 104 | Popular Tags |