[cp-patches] RFC: HTMLDocument.HTMLReader partial implementation

[Anthony Balkissoon]

This is a partial implementation of HTMLDocument.HTMLReader.  I am still
working on this, so it will be more fully implemented soon.

I submit this as RFC because it has several methods that have nothing
more than "FIXME: Implement" as well as some debugging statements.
These are there so that Lillian and myself can work on the entire HTML
package.  Since some of the classes she's working on require
HTMLDocument.HTMLReader I want these methods to be available so her
classes can build even if they are not yet implemented, with the
understanding that I will implement them shortly.  The debugging
(System.out.println) statements are there so that as we run test apps we
can see how the different classes are linked together.

Since we are the only two people that I know of working on this
javax.swing.text.html package I don't think this should be a problem but
I'm still asking if anyone has objections to me checking in this patch
with stubs and println's.  Note that all of the stubs have "FIXME" notes
and that the println's can easily be taken out before the next release
if we haven't finished implementing the methods yet.

Objections?

2005-12-12  Anthony Balkissoon  <address@hidden>

        * javax/swing/text/html/HTMLDocument.java:
        (tokenThreshold): New field.
        (parser): New field.
        (getParser): New API method.
        (setParser): New API method.
        (getTokenThreshold): New API method.
        (setTokenThreshold): New API method.
        (HTMLReader): New API class, partially implemented.
        (HTMLReader.BlockAction): New API class, not implemented.
        (HTMLReader.CharacterAction): Likewise.
        (HTMLReader.FormAction): Likewise.
        (HTMLReader.HiddenAction): Likewise.
        (HTMLReader.IsindexAction): Likewise.
        (HTMLReader.ParagraphAction): Likewise.
        (HTMLReader.PreAction): Likewise.
        (HTMLReader.SpecialAction): Likewise.
        (HTMLReader.TagAction): New API class, implemented.
        * javax/swing/text/html/HTMLEditorKit.java:
        (createDefaultDocument): Set the parser for the new HTMLDocument.

--Tony

HTMLReader.diff
Description: Text Data