1 7 8 package java.util.prefs; 9 10 import java.io.NotSerializableException ; 11 12 28 29 public class NodeChangeEvent extends java.util.EventObject { 30 35 private Preferences child; 36 37 43 public NodeChangeEvent(Preferences parent, Preferences child) { 44 super(parent); 45 this.child = child; 46 } 47 48 53 public Preferences getParent() { 54 return (Preferences ) getSource(); 55 } 56 57 62 public Preferences getChild() { 63 return child; 64 } 65 66 70 private void writeObject(java.io.ObjectOutputStream out) 71 throws NotSerializableException { 72 throw new NotSerializableException ("Not serializable."); 73 } 74 75 79 private void readObject(java.io.ObjectInputStream in) 80 throws NotSerializableException { 81 throw new NotSerializableException ("Not serializable."); 82 } 83 84 private static final long serialVersionUID = 8068949086596572957L; 87 } 88 89 | Popular Tags |