123456789101112131415161718192021222324252627282930313233343536373839404142434445 |
- // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-
- #ifndef __javax_swing_JSpinner$NumberEditor__
- #define __javax_swing_JSpinner$NumberEditor__
- #pragma interface
- #include <javax/swing/JSpinner$DefaultEditor.h>
- extern "Java"
- {
- namespace java
- {
- namespace text
- {
- class DecimalFormat;
- }
- }
- namespace javax
- {
- namespace swing
- {
- class JSpinner;
- class JSpinner$NumberEditor;
- class SpinnerNumberModel;
- }
- }
- }
- class javax::swing::JSpinner$NumberEditor : public ::javax::swing::JSpinner$DefaultEditor
- {
- public:
- JSpinner$NumberEditor(::javax::swing::JSpinner *);
- JSpinner$NumberEditor(::javax::swing::JSpinner *, ::java::lang::String *);
- virtual ::java::text::DecimalFormat * getFormat();
- virtual ::javax::swing::SpinnerNumberModel * getModel();
- private:
- static const jlong serialVersionUID = 3791956183098282942LL;
- public:
- static ::java::lang::Class class$;
- };
- #endif // __javax_swing_JSpinner$NumberEditor__
|