2 // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-
4 #ifndef __java_util_prefs_PreferenceChangeEvent__
5 #define __java_util_prefs_PreferenceChangeEvent__
9 #include <java/util/EventObject.h>
11 class java::util::prefs::PreferenceChangeEvent
: public ::java::util::EventObject
15 PreferenceChangeEvent(::java::util::prefs::Preferences
*, ::java::lang::String
*, ::java::lang::String
*);
16 virtual ::java::util::prefs::Preferences
* getNode();
17 virtual ::java::lang::String
* getKey();
18 virtual ::java::lang::String
* getNewValue();
20 void readObject(::java::io::ObjectInputStream
*);
21 void writeObject(::java::io::ObjectOutputStream
*);
22 static const jlong serialVersionUID
= 793724513368024975LL;
23 ::java::lang::String
* __attribute__((aligned(__alignof__( ::java::util::EventObject
)))) key
;
24 ::java::lang::String
* newValue
;
26 static ::java::lang::Class
class$
;
29 #endif // __java_util_prefs_PreferenceChangeEvent__