Java: Swing: Text components and Document: HTML: HTMLDocument

HTMLDocument

Features

StyleSheet (as StyleContext), default style sheet type (purpose?)

ParserCallback

baseURL (not as property), token threshold (as property), preserves unknown tags (not as property), parser (strangely both as property and not)

insertUpdate uses contentAttribute

setParagraphAttribute (fix for the weak implementation of DefaultStyledDocument that only allowed no intermediate section elements)

Iterator (only implemented for leaf tags), getElement 2x

leaf elements are RunElements, branch elements are BlockElements (main difference is that they have no resolver (but still resolve because of some AttributeSet implementation anomalies in AbstractDocument)

default root has a single P

frame hacks, map hacks

HTML modification methods: setInner/OuterHTML, insertBefore/AfterStart/End

complicated private element structure methods

reader (lots of hacks)

Uses of HTMLDocument

JEditorPane: read special, only for 'charset' handling?; scrollToReference only work for HTMLDocuments (by iterator)
HTMLEditorKit: read() only uses normal code if HTMLDocument, write decides which writer to use; much more
ImageView, IsindexView: for getBase()
StyleSheet: matchNameAttribute; ViewAttributeSet casts without requiring (assumes AttributeSet only makes sense for HTMLDocument)
TableView, ParagraphView, BlockView, InlineView, HRuleView: getStyleSheet()
FormView: getBase(), form methods
FrameView: getBase(), setFrameDocumentState (this could be done by a property)
HTMLWriter: getStyleSheet(), getMaps()