obtained gcc-4.6.4.tar.bz2 from upstream website;upstream

verified gcc-4.6.4.tar.bz2.sig;
imported gcc-4.6.4 source tree from verified upstream tarball.

downloading a git-generated archive based on the 'upstream' tag
should provide you with a source tree that is binary identical
to the one extracted from the above tarball.

if you have obtained the source via the command 'git clone',
however, do note that line-endings of files in your working
directory might differ from line-endings of the respective
files in the upstream repository.

1 files changed, 114 insertions, 0 deletions

diff --git a/libjava/javax/swing/text/html/HTMLDocument.h b/libjava/javax/swing/text/html/HTMLDocument.h
new file mode 100644
index 000000000..014f818af
--- /dev/null
+++ b/libjava/javax/swing/text/html/HTMLDocument.h
@@ -0,0 +1,114 @@
+
+// DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-
+
+#ifndef __javax_swing_text_html_HTMLDocument__
+#define __javax_swing_text_html_HTMLDocument__
+
+#pragma interface
+
+#include <javax/swing/text/DefaultStyledDocument.h>
+#include <gcj/array.h>
+
+extern "Java"
+{
+  namespace java
+  {
+    namespace net
+    {
+        class URL;
+    }
+  }
+  namespace javax
+  {
+    namespace swing
+    {
+      namespace text
+      {
+          class AbstractDocument$AbstractElement;
+          class AbstractDocument$AttributeContext;
+          class AbstractDocument$Content;
+          class AbstractDocument$DefaultDocumentEvent;
+          class AttributeSet;
+          class DefaultStyledDocument$ElementSpec;
+          class Element;
+        namespace html
+        {
+            class HTML$Attribute;
+            class HTML$Tag;
+            class HTMLDocument;
+            class HTMLDocument$Iterator;
+            class HTMLEditorKit$Parser;
+            class HTMLEditorKit$ParserCallback;
+            class HTMLFrameHyperlinkEvent;
+            class StyleSheet;
+        }
+      }
+    }
+  }
+}
+
+class javax::swing::text::html::HTMLDocument : public ::javax::swing::text::DefaultStyledDocument
+{
+
+public:
+  HTMLDocument();
+  HTMLDocument(::javax::swing::text::html::StyleSheet *);
+  HTMLDocument(::javax::swing::text::AbstractDocument$Content *, ::javax::swing::text::html::StyleSheet *);
+  virtual ::javax::swing::text::html::StyleSheet * getStyleSheet();
+public: // actually protected
+  virtual ::javax::swing::text::AbstractDocument$AbstractElement * createDefaultRoot();
+  virtual ::javax::swing::text::Element * createLeafElement(::javax::swing::text::Element *, ::javax::swing::text::AttributeSet *, jint, jint);
+  virtual ::javax::swing::text::Element * createBranchElement(::javax::swing::text::Element *, ::javax::swing::text::AttributeSet *);
+public:
+  virtual ::javax::swing::text::html::HTMLEditorKit$Parser * getParser();
+  virtual void setParser(::javax::swing::text::html::HTMLEditorKit$Parser *);
+  virtual void setTokenThreshold(jint);
+  virtual jint getTokenThreshold();
+  virtual ::java::net::URL * getBase();
+  virtual void setBase(::java::net::URL *);
+  virtual jboolean getPreservesUnknownTags();
+  virtual void setPreservesUnknownTags(jboolean);
+  virtual void processHTMLFrameHyperlinkEvent(::javax::swing::text::html::HTMLFrameHyperlinkEvent *);
+private:
+  ::javax::swing::text::Element * findFrame(::java::lang::String *);
+  void updateFrame(::javax::swing::text::Element *, ::java::net::URL *);
+  void updateFrameSet(::javax::swing::text::Element *, ::java::net::URL *);
+public:
+  virtual ::javax::swing::text::html::HTMLDocument$Iterator * getIterator(::javax::swing::text::html::HTML$Tag *);
+  virtual ::javax::swing::text::html::HTMLEditorKit$ParserCallback * getReader(jint);
+  virtual ::javax::swing::text::html::HTMLEditorKit$ParserCallback * getReader(jint, jint, jint, ::javax::swing::text::html::HTML$Tag *);
+  virtual ::javax::swing::text::html::HTMLEditorKit$ParserCallback * getInsertingReader(jint, jint, jint, ::javax::swing::text::html::HTML$Tag *, ::javax::swing::text::Element *);
+  virtual ::javax::swing::text::Element * getElement(::javax::swing::text::Element *, ::java::lang::Object *, ::java::lang::Object *);
+  virtual ::javax::swing::text::Element * getElement(::java::lang::String *);
+  virtual void setInnerHTML(::javax::swing::text::Element *, ::java::lang::String *);
+  virtual void setOuterHTML(::javax::swing::text::Element *, ::java::lang::String *);
+  virtual void insertBeforeStart(::javax::swing::text::Element *, ::java::lang::String *);
+  virtual void insertBeforeEnd(::javax::swing::text::Element *, ::java::lang::String *);
+  virtual void insertAfterEnd(::javax::swing::text::Element *, ::java::lang::String *);
+  virtual void insertAfterStart(::javax::swing::text::Element *, ::java::lang::String *);
+public: // actually protected
+  virtual void insertUpdate(::javax::swing::text::AbstractDocument$DefaultDocumentEvent *, ::javax::swing::text::AttributeSet *);
+public: // actually package-private
+  virtual jboolean isFrameDocument();
+  virtual void setFrameDocument(jboolean);
+  virtual ::java::lang::String * getBaseTarget();
+  virtual void updateSpecialClass(::javax::swing::text::Element *, ::javax::swing::text::html::HTML$Attribute *, ::java::lang::String *);
+  static void access$0(::javax::swing::text::html::HTMLDocument *, JArray< ::javax::swing::text::DefaultStyledDocument$ElementSpec * > *);
+  static void access$1(::javax::swing::text::html::HTMLDocument *, jint, JArray< ::javax::swing::text::DefaultStyledDocument$ElementSpec * > *);
+  static ::javax::swing::text::AbstractDocument$AttributeContext * access$2(::javax::swing::text::html::HTMLDocument *);
+public:
+  static ::java::lang::String * AdditionalComments;
+public: // actually package-private
+  ::java::net::URL * __attribute__((aligned(__alignof__( ::javax::swing::text::DefaultStyledDocument)))) baseURL;
+  jboolean preservesUnknownTags;
+  jint tokenThreshold;
+  ::javax::swing::text::html::HTMLEditorKit$Parser * parser;
+private:
+  jboolean frameDocument;
+public: // actually package-private
+  ::java::lang::String * baseTarget;
+public:
+  static ::java::lang::Class class$;
+};
+
+#endif // __javax_swing_text_html_HTMLDocument__