123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051 |
- // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-
- #ifndef __javax_swing_text_DefaultHighlighter$LayerHighlightEntry__
- #define __javax_swing_text_DefaultHighlighter$LayerHighlightEntry__
- #pragma interface
- #include <javax/swing/text/DefaultHighlighter$HighlightEntry.h>
- extern "Java"
- {
- namespace java
- {
- namespace awt
- {
- class Graphics;
- class Rectangle;
- class Shape;
- }
- }
- namespace javax
- {
- namespace swing
- {
- namespace text
- {
- class DefaultHighlighter;
- class DefaultHighlighter$LayerHighlightEntry;
- class Highlighter$HighlightPainter;
- class JTextComponent;
- class Position;
- class View;
- }
- }
- }
- }
- class javax::swing::text::DefaultHighlighter$LayerHighlightEntry : public ::javax::swing::text::DefaultHighlighter$HighlightEntry
- {
- public: // actually package-private
- DefaultHighlighter$LayerHighlightEntry(::javax::swing::text::DefaultHighlighter *, ::javax::swing::text::Position *, ::javax::swing::text::Position *, ::javax::swing::text::Highlighter$HighlightPainter *);
- virtual void paintLayeredHighlight(::java::awt::Graphics *, jint, jint, ::java::awt::Shape *, ::javax::swing::text::JTextComponent *, ::javax::swing::text::View *);
- ::java::awt::Rectangle * __attribute__((aligned(__alignof__( ::javax::swing::text::DefaultHighlighter$HighlightEntry)))) paintRect;
- ::javax::swing::text::DefaultHighlighter * this$0;
- public:
- static ::java::lang::Class class$;
- };
- #endif // __javax_swing_text_DefaultHighlighter$LayerHighlightEntry__
|