1 
2 // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-
3 
4 #ifndef __javax_swing_text_html_HTMLDocument__
5 #define __javax_swing_text_html_HTMLDocument__
6 
7 #pragma interface
8 
9 #include <javax/swing/text/DefaultStyledDocument.h>
10 #include <gcj/array.h>
11 
12 extern "Java"
13 {
14   namespace java
15   {
16     namespace net
17     {
18         class URL;
19     }
20   }
21   namespace javax
22   {
23     namespace swing
24     {
25       namespace text
26       {
27           class AbstractDocument$AbstractElement;
28           class AbstractDocument$AttributeContext;
29           class AbstractDocument$Content;
30           class AbstractDocument$DefaultDocumentEvent;
31           class AttributeSet;
32           class DefaultStyledDocument$ElementSpec;
33           class Element;
34         namespace html
35         {
36             class HTML$Attribute;
37             class HTML$Tag;
38             class HTMLDocument;
39             class HTMLDocument$Iterator;
40             class HTMLEditorKit$Parser;
41             class HTMLEditorKit$ParserCallback;
42             class HTMLFrameHyperlinkEvent;
43             class StyleSheet;
44         }
45       }
46     }
47   }
48 }
49 
50 class javax::swing::text::html::HTMLDocument : public ::javax::swing::text::DefaultStyledDocument
51 {
52 
53 public:
54   HTMLDocument();
55   HTMLDocument(::javax::swing::text::html::StyleSheet *);
56   HTMLDocument(::javax::swing::text::AbstractDocument$Content *, ::javax::swing::text::html::StyleSheet *);
57   virtual ::javax::swing::text::html::StyleSheet * getStyleSheet();
58 public: // actually protected
59   virtual ::javax::swing::text::AbstractDocument$AbstractElement * createDefaultRoot();
60   virtual ::javax::swing::text::Element * createLeafElement(::javax::swing::text::Element *, ::javax::swing::text::AttributeSet *, jint, jint);
61   virtual ::javax::swing::text::Element * createBranchElement(::javax::swing::text::Element *, ::javax::swing::text::AttributeSet *);
62 public:
63   virtual ::javax::swing::text::html::HTMLEditorKit$Parser * getParser();
64   virtual void setParser(::javax::swing::text::html::HTMLEditorKit$Parser *);
65   virtual void setTokenThreshold(jint);
66   virtual jint getTokenThreshold();
67   virtual ::java::net::URL * getBase();
68   virtual void setBase(::java::net::URL *);
69   virtual jboolean getPreservesUnknownTags();
70   virtual void setPreservesUnknownTags(jboolean);
71   virtual void processHTMLFrameHyperlinkEvent(::javax::swing::text::html::HTMLFrameHyperlinkEvent *);
72 private:
73   ::javax::swing::text::Element * findFrame(::java::lang::String *);
74   void updateFrame(::javax::swing::text::Element *, ::java::net::URL *);
75   void updateFrameSet(::javax::swing::text::Element *, ::java::net::URL *);
76 public:
77   virtual ::javax::swing::text::html::HTMLDocument$Iterator * getIterator(::javax::swing::text::html::HTML$Tag *);
78   virtual ::javax::swing::text::html::HTMLEditorKit$ParserCallback * getReader(jint);
79   virtual ::javax::swing::text::html::HTMLEditorKit$ParserCallback * getReader(jint, jint, jint, ::javax::swing::text::html::HTML$Tag *);
80   virtual ::javax::swing::text::html::HTMLEditorKit$ParserCallback * getInsertingReader(jint, jint, jint, ::javax::swing::text::html::HTML$Tag *, ::javax::swing::text::Element *);
81   virtual ::javax::swing::text::Element * getElement(::javax::swing::text::Element *, ::java::lang::Object *, ::java::lang::Object *);
82   virtual ::javax::swing::text::Element * getElement(::java::lang::String *);
83   virtual void setInnerHTML(::javax::swing::text::Element *, ::java::lang::String *);
84   virtual void setOuterHTML(::javax::swing::text::Element *, ::java::lang::String *);
85   virtual void insertBeforeStart(::javax::swing::text::Element *, ::java::lang::String *);
86   virtual void insertBeforeEnd(::javax::swing::text::Element *, ::java::lang::String *);
87   virtual void insertAfterEnd(::javax::swing::text::Element *, ::java::lang::String *);
88   virtual void insertAfterStart(::javax::swing::text::Element *, ::java::lang::String *);
89 public: // actually protected
90   virtual void insertUpdate(::javax::swing::text::AbstractDocument$DefaultDocumentEvent *, ::javax::swing::text::AttributeSet *);
91 public: // actually package-private
92   virtual jboolean isFrameDocument();
93   virtual void setFrameDocument(jboolean);
94   virtual ::java::lang::String * getBaseTarget();
95   virtual void updateSpecialClass(::javax::swing::text::Element *, ::javax::swing::text::html::HTML$Attribute *, ::java::lang::String *);
96   static void access$0(::javax::swing::text::html::HTMLDocument *, JArray< ::javax::swing::text::DefaultStyledDocument$ElementSpec * > *);
97   static void access$1(::javax::swing::text::html::HTMLDocument *, jint, JArray< ::javax::swing::text::DefaultStyledDocument$ElementSpec * > *);
98   static ::javax::swing::text::AbstractDocument$AttributeContext * access$2(::javax::swing::text::html::HTMLDocument *);
99 public:
100   static ::java::lang::String * AdditionalComments;
101 public: // actually package-private
102   ::java::net::URL * __attribute__((aligned(__alignof__( ::javax::swing::text::DefaultStyledDocument)))) baseURL;
103   jboolean preservesUnknownTags;
104   jint tokenThreshold;
105   ::javax::swing::text::html::HTMLEditorKit$Parser * parser;
106 private:
107   jboolean frameDocument;
108 public: // actually package-private
109   ::java::lang::String * baseTarget;
110 public:
111   static ::java::lang::Class class$;
112 };
113 
114 #endif // __javax_swing_text_html_HTMLDocument__
115