1 
2 // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-
3 
4 #ifndef __gnu_java_awt_java2d_PixelCoverage__
5 #define __gnu_java_awt_java2d_PixelCoverage__
6 
7 #pragma interface
8 
9 #include <java/lang/Object.h>
10 extern "Java"
11 {
12   namespace gnu
13   {
14     namespace java
15     {
16       namespace awt
17       {
18         namespace java2d
19         {
20             class PixelCoverage;
21             class PixelCoverage$Bucket;
22         }
23       }
24     }
25   }
26 }
27 
28 class gnu::java::awt::java2d::PixelCoverage : public ::java::lang::Object
29 {
30 
31 public: // actually package-private
32   PixelCoverage();
33   void rewind();
34   void clear();
35   void add(jint, jint, jint);
36 private:
37   ::gnu::java::awt::java2d::PixelCoverage$Bucket * findOrInsert(jint);
38   ::gnu::java::awt::java2d::PixelCoverage$Bucket * __attribute__((aligned(__alignof__( ::java::lang::Object)))) head;
39   ::gnu::java::awt::java2d::PixelCoverage$Bucket * current;
40   ::gnu::java::awt::java2d::PixelCoverage$Bucket * last;
41 public:
42   static ::java::lang::Class class$;
43 };
44 
45 #endif // __gnu_java_awt_java2d_PixelCoverage__
46