[ The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

library(document)

Tools for generating documentation from ECLiPSe sources

Predicates

comment_to_html(?, ?)
No description available
eci_to_html(++EciFile, ++HtmlTopDir, ++LinkBack)
Create HTML documentation from one .eci file
ecis_to_htmls
Generate the HTML documentation tree for all ECLiPSe libraries
ecis_to_htmls(++LibDirs, ++HtmlTopDir, ++LinkBack)
Generate an HTML documentation tree for the given library directories
ecis_to_htmls(++LibDirs, ++HtmlTopDir, ++LinkBack, ++SystemName)
Generate an HTML documentation tree for the given library directories
htmlify_string(?, ?)
No description available
icompile(+File)
Generates an information file from the ECLiPSe source File.
icompile(+File, +Destination)
Generates an information file from the ECLiPSe source File in directory Destination.
object_spec_to_filename(?, ?)
No description available

Description

This library contains the tools necessary to generate documentation from ECLiPSe sources. It complements the file-to-file compiler library(fcompile) as follows:
    xyz.ecl  ---fcompile-->  xyz.eco
    xyz.ecl  ---icompile-->  xyz.eci  ---eci_to_html-->  xyz/...html
    

About


Generated from document.eci on Sat Aug 7 01:44:28 2004