// DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-

#ifndef __java_beans_PropertyChangeEvent__
#define __java_beans_PropertyChangeEvent__

#pragma interface

#include <java/util/EventObject.h>

extern "Java"
{
  namespace java
  {
    namespace beans
    {
      class PropertyChangeEvent;
    }
  }
};

class ::java::beans::PropertyChangeEvent : public ::java::util::EventObject
{
public:
  PropertyChangeEvent (::java::lang::Object *, ::java::lang::String *, ::java::lang::Object *, ::java::lang::Object *);
  virtual ::java::lang::String *getPropertyName () { return propertyName; }
  virtual ::java::lang::Object *getOldValue () { return oldValue; }
  virtual ::java::lang::Object *getNewValue () { return newValue; }
  virtual void setPropagationId (::java::lang::Object *);
  virtual ::java::lang::Object *getPropagationId () { return propagationId; }
public: // actually package-private
  ::java::lang::String *propertyName;
  ::java::lang::Object *oldValue;
  ::java::lang::Object *newValue;
  ::java::lang::Object *propagationId;
private:
  static const jlong serialVersionUID = 7042693688939648123LL;
public:

  static ::java::lang::Class class$;
};

#endif /* __java_beans_PropertyChangeEvent__ */
