| |
| // 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__ |