| |
| // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*- |
| |
| #ifndef __gnu_java_awt_java2d_PixelCoverage__ |
| #define __gnu_java_awt_java2d_PixelCoverage__ |
| |
| #pragma interface |
| |
| #include <java/lang/Object.h> |
| extern "Java" |
| { |
| namespace gnu |
| { |
| namespace java |
| { |
| namespace awt |
| { |
| namespace java2d |
| { |
| class PixelCoverage; |
| class PixelCoverage$Bucket; |
| } |
| } |
| } |
| } |
| } |
| |
| class gnu::java::awt::java2d::PixelCoverage : public ::java::lang::Object |
| { |
| |
| public: // actually package-private |
| PixelCoverage(); |
| void rewind(); |
| void clear(); |
| void add(jint, jint, jint); |
| private: |
| ::gnu::java::awt::java2d::PixelCoverage$Bucket * findOrInsert(jint); |
| ::gnu::java::awt::java2d::PixelCoverage$Bucket * __attribute__((aligned(__alignof__( ::java::lang::Object)))) head; |
| ::gnu::java::awt::java2d::PixelCoverage$Bucket * current; |
| ::gnu::java::awt::java2d::PixelCoverage$Bucket * last; |
| public: |
| static ::java::lang::Class class$; |
| }; |
| |
| #endif // __gnu_java_awt_java2d_PixelCoverage__ |