|  | 
 | // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*- | 
 |  | 
 | #ifndef __java_awt_PageAttributes__ | 
 | #define __java_awt_PageAttributes__ | 
 |  | 
 | #pragma interface | 
 |  | 
 | #include <java/lang/Object.h> | 
 | #include <gcj/array.h> | 
 |  | 
 | extern "Java" | 
 | { | 
 |   namespace java | 
 |   { | 
 |     namespace awt | 
 |     { | 
 |         class PageAttributes; | 
 |         class PageAttributes$ColorType; | 
 |         class PageAttributes$MediaType; | 
 |         class PageAttributes$OrientationRequestedType; | 
 |         class PageAttributes$OriginType; | 
 |         class PageAttributes$PrintQualityType; | 
 |     } | 
 |   } | 
 | } | 
 |  | 
 | class java::awt::PageAttributes : public ::java::lang::Object | 
 | { | 
 |  | 
 | public: | 
 |   PageAttributes(); | 
 |   PageAttributes(::java::awt::PageAttributes *); | 
 |   PageAttributes(::java::awt::PageAttributes$ColorType *, ::java::awt::PageAttributes$MediaType *, ::java::awt::PageAttributes$OrientationRequestedType *, ::java::awt::PageAttributes$OriginType *, ::java::awt::PageAttributes$PrintQualityType *, JArray< jint > *); | 
 |   ::java::lang::Object * clone(); | 
 |   void set(::java::awt::PageAttributes *); | 
 |   ::java::awt::PageAttributes$ColorType * getColor(); | 
 |   void setColor(::java::awt::PageAttributes$ColorType *); | 
 |   ::java::awt::PageAttributes$MediaType * getMedia(); | 
 |   void setMedia(::java::awt::PageAttributes$MediaType *); | 
 |   void setMediaToDefault(); | 
 |   ::java::awt::PageAttributes$OrientationRequestedType * getOrientationRequested(); | 
 |   void setOrientationRequested(::java::awt::PageAttributes$OrientationRequestedType *); | 
 |   void setOrientationRequested(jint); | 
 |   void setOrientationRequestedToDefault(); | 
 |   ::java::awt::PageAttributes$OriginType * getOrigin(); | 
 |   void setOrigin(::java::awt::PageAttributes$OriginType *); | 
 |   ::java::awt::PageAttributes$PrintQualityType * getPrintQuality(); | 
 |   void setPrintQuality(::java::awt::PageAttributes$PrintQualityType *); | 
 |   void setPrintQuality(jint); | 
 |   void setPrintQualityToDefault(); | 
 |   JArray< jint > * getPrinterResolution(); | 
 |   void setPrinterResolution(JArray< jint > *); | 
 |   void setPrinterResolution(jint); | 
 |   void setPrinterResolutionToDefault(); | 
 |   jboolean equals(::java::lang::Object *); | 
 |   jint hashCode(); | 
 |   ::java::lang::String * toString(); | 
 | private: | 
 |   ::java::awt::PageAttributes$ColorType * __attribute__((aligned(__alignof__( ::java::lang::Object)))) color; | 
 |   ::java::awt::PageAttributes$MediaType * media; | 
 |   ::java::awt::PageAttributes$OrientationRequestedType * orientation; | 
 |   ::java::awt::PageAttributes$OriginType * origin; | 
 |   ::java::awt::PageAttributes$PrintQualityType * quality; | 
 |   jint resolutionX; | 
 |   jint resolutionY; | 
 |   jint resolutionScale; | 
 | public: | 
 |   static ::java::lang::Class class$; | 
 | }; | 
 |  | 
 | #endif // __java_awt_PageAttributes__ |