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