Slide 12 : 19
Properties of the HTML mirrors
An HTML mirror is automatically derived from a DTD
Well-formed and valid documents
Guaranties generation of well-formed and valid HTML documents
Structural document representation
The mirror functions return
abstract syntax trees
which can be rendered as 'HTML text'
HTML layout
Supports optional
pretty printing
of the resulting HTML code
Convenient rendering of reserved HTML characters
'<'
and
'>'
are rendered as the corresponding character entities
![Next page: Document styles [Section] -- Keyboard shortcut: 'n'](./images/nav-right.gif "Next page: Document styles [Section] -- Keyboard shortcut: 'n'")
