| |
| // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*- |
| |
| #ifndef __gnu_java_awt_peer_gtk_GdkScreenGraphicsDevice__ |
| #define __gnu_java_awt_peer_gtk_GdkScreenGraphicsDevice__ |
| |
| #pragma interface |
| |
| #include <java/awt/GraphicsDevice.h> |
| #include <gcj/array.h> |
| |
| extern "Java" |
| { |
| namespace gnu |
| { |
| namespace classpath |
| { |
| class Pointer; |
| } |
| namespace java |
| { |
| namespace awt |
| { |
| namespace peer |
| { |
| namespace gtk |
| { |
| class GdkGraphicsConfiguration; |
| class GdkGraphicsEnvironment; |
| class GdkScreenGraphicsDevice; |
| class GdkScreenGraphicsDevice$X11DisplayMode; |
| } |
| } |
| } |
| } |
| } |
| namespace java |
| { |
| namespace awt |
| { |
| class DisplayMode; |
| class GraphicsConfiguration; |
| class Rectangle; |
| class Window; |
| } |
| } |
| } |
| |
| class gnu::java::awt::peer::gtk::GdkScreenGraphicsDevice : public ::java::awt::GraphicsDevice |
| { |
| |
| public: // actually package-private |
| static void initIDs(); |
| GdkScreenGraphicsDevice(::gnu::java::awt::peer::gtk::GdkGraphicsEnvironment *); |
| virtual void init(); |
| virtual ::java::awt::DisplayMode * nativeGetFixedDisplayMode(::gnu::java::awt::peer::gtk::GdkGraphicsEnvironment *); |
| public: |
| virtual jint getType(); |
| virtual ::java::lang::String * getIDstring(); |
| private: |
| ::java::lang::String * nativeGetIDString(); |
| public: |
| virtual JArray< ::java::awt::GraphicsConfiguration * > * getConfigurations(); |
| virtual ::java::awt::GraphicsConfiguration * getDefaultConfiguration(); |
| virtual ::java::awt::DisplayMode * getDisplayMode(); |
| public: // actually package-private |
| virtual jint nativeGetDisplayModeIndex(::gnu::java::awt::peer::gtk::GdkGraphicsEnvironment *); |
| virtual jint nativeGetDisplayModeRate(::gnu::java::awt::peer::gtk::GdkGraphicsEnvironment *); |
| public: |
| virtual JArray< ::java::awt::DisplayMode * > * getDisplayModes(); |
| public: // actually package-private |
| virtual JArray< ::gnu::java::awt::peer::gtk::GdkScreenGraphicsDevice$X11DisplayMode * > * nativeGetDisplayModes(::gnu::java::awt::peer::gtk::GdkGraphicsEnvironment *); |
| public: |
| virtual jboolean isFullScreenSupported(); |
| virtual jboolean isDisplayChangeSupported(); |
| virtual void setDisplayMode(::java::awt::DisplayMode *); |
| public: // actually package-private |
| virtual void nativeSetDisplayMode(::gnu::java::awt::peer::gtk::GdkGraphicsEnvironment *, jint, jshort); |
| public: |
| virtual void setFullScreenWindow(::java::awt::Window *); |
| virtual ::java::awt::Window * getFullScreenWindow(); |
| public: // actually package-private |
| virtual ::java::awt::Rectangle * getBounds(); |
| virtual ::java::awt::Rectangle * nativeGetBounds(); |
| private: |
| jint __attribute__((aligned(__alignof__( ::java::awt::GraphicsDevice)))) native_state; |
| ::java::awt::Window * fullscreenWindow; |
| jboolean oldWindowDecorationState; |
| ::java::awt::Rectangle * oldWindowBounds; |
| ::java::awt::Rectangle * bounds; |
| JArray< ::gnu::java::awt::peer::gtk::GdkGraphicsConfiguration * > * configurations; |
| public: // actually package-private |
| ::gnu::java::awt::peer::gtk::GdkGraphicsEnvironment * env; |
| ::java::lang::String * idString; |
| JArray< ::gnu::java::awt::peer::gtk::GdkScreenGraphicsDevice$X11DisplayMode * > * displayModes; |
| ::java::awt::DisplayMode * fixedDisplayMode; |
| private: |
| ::gnu::classpath::Pointer * screen; |
| public: |
| static ::java::lang::Class class$; |
| }; |
| |
| #endif // __gnu_java_awt_peer_gtk_GdkScreenGraphicsDevice__ |