[m-rev.] for review: add a stylesheet to convert 234 trees to HTML

[Julien Fischer]

On Wed, 29 Jun 2005, Ian MacLarty wrote:

> For review by anyone.
>
> Estimated hours taken: 1
> Branches: main
>
This should probably go onto the release branch as well.  Ths fix
to xul_tree.xsl definately should.

> Add an XSLT style sheet to convert 234 trees to HTML tables.
>
> Fix a bug in the XUL stylesheet.
>
> extras/xml_stylesheets/README:
> 	Document the new stylesheet.
>
> extras/xml_stylesheets/html_tree234.xsl:
> 	The stylesheet traverses the 234 tree in order, emitting
> 	HTML table rows as it goes.
>
> extras/xml_stylesheets/xul_tree.xsl:
> 	Pass the fieldtermpath template parameter correctly.
>
> Index: extras/xml_stylesheets/README
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/extras/xml_stylesheets/README,v
> retrieving revision 1.1
> diff -u -r1.1 README
> --- extras/xml_stylesheets/README	7 Dec 2004 04:55:49 -0000	1.1
> +++ extras/xml_stylesheets/README	29 Jun 2005 07:58:35 -0000
> @@ -6,6 +6,9 @@
>  include a reference to the stylesheet in the XML document and have your browser
>  apply the stylesheet, although this only works with some browsers.
>
> +These stylesheets can also be used with mdb's `browse --xml' command
> +(see the user guide for more details on `browse --xml').
> +
>  mercury_term.xsl
>  	Stylesheet to convert an XML document generated with
>  	term_to_xml.write_xml_doc/6 back to a Mercury term suitable for reading
> @@ -15,3 +18,11 @@
>  	Stylesheet to convert an XML document generated with
>  	term_to_xml.write_xml_doc/6 to a XUL tree structure suitable for
>  	browsing with Mozilla or Firefox.
> +
> +html_234tree.xsl
> +	Converts a 234 tree (as defined in the standard library) to an XHTML
> +	table.  The paths of each key and value are also shown.  This
> +	is useful for looking up values or keys in 234 trees from the
> +	debugger by using the search facilities of your web browser,
> +	although it's impractical for very large 234 trees and doesn't work
> +	with nested 234 trees.

It's probably worth mentioning that 234 trees are used to implement
the standard library's map type.

That's fine otherwise.

Cheers,
Julien.



--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------