Rendering takes a document grove and renders it in some format for a specified media. For all documents types which can be parsed, there should be at least a renderer for the Screen MEDIA type.
De-parsing takes a document grove and converts it into some file type which, if it can be parsed, would produce an identical document grove. Not all files which result from de-parsing could be parsed back into document groves. For example, de-parsing and html file into a plain text file will lose too much information for it to be re-parse.
pedantiWEB.renderers.GenericRenderer
pedantiWEB.renderers.MEDIA.Screen.GenericRenderer
pedantiWEB.renderers.MEDIA.Paged.GenericRenderer
pedantiWEB.renderers.MEDIA.Print.GenericRenderer
pedantiWEB.renderers.MEDIA.Projection.GenericRenderer
pedantiWEB.renderers.MEDIA.Aural.GenericRenderer
pedantiWEB.renderers.MEDIA.Screen.text.html.GenericRenderer
pedantiWEB.renderers.MEDIA.Paged.text.html.GenericRenderer
pedantiWEB.renderers.MEDIA.Print.text.html.GenericRenderer
pedantiWEB.renderers.MEDIA.Projection.text.html.GenericRenderer
pedantiWEB.renderers.MEDIA.Aural.text.html.GenericRenderer
pedantiWEB.renderers.MEDIA.Screen.text.xml.GenericRenderer
pedantiWEB.renderers.MEDIA.Paged.text.xml.GenericRenderer
pedantiWEB.renderers.MEDIA.Print.text.xml.GenericRenderer
pedantiWEB.renderers.MEDIA.Projection.text.xml.GenericRenderer
pedantiWEB.renderers.MEDIA.Aural.text.xml.GenericRenderer
pedantiWEB.renderers.MEDIA.Screen.text.plain.GenericRenderer
pedantiWEB.renderers.MEDIA.Paged.text.plain.GenericRenderer
pedantiWEB.renderers.MEDIA.Print.text.plain.GenericRenderer
pedantiWEB.renderers.MEDIA.Projection.text.plain.GenericRenderer
pedantiWEB.renderers.MEDIA.Aural.text.plain.GenericRenderer
pedantiWEB.renderers.MEDIA.Screen.TABLE
pedantiWEB.renderers.MEDIA.Screen.text.html.IMG
pedantiWEB.renderers.MEDIA.Screen.text.html.HEAD
pedantiWEB.renderers.MEDIA.Screen.text.html.LINK
pedantiWEB.deparsers.GenericDeparser
pedantiWEB.deparsers.MIME.text.plain.GenericDeparser
pedantiWEB.deparsers.MIME.text.html.GenericDeparser
pedantiWEB.deparsers.MIME.text.xml.GenericDeparser
pedantiWEB.deparsers.MIME.text.postscript.GenericDeparser
pedantiWEB.deparsers.MIME.text.css.GenericDeparser
pedantiWEB.deparsers.MIME.image.GenericDeparser
pedantiWEB, a GPL, Java web browser
Last Updated on Wednesday, December 03, 1997.
$Id: renderers.html,v 1.2 1997/12/12 16:36:25 bereza Exp bereza $