[ The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

library(pretty_printer)

This library pretty-prints a file in different formats.

Predicates

pretty_print(++Files)
Print a file in html format
pretty_print(++Files, ++Options)
Print a file in one of different formats
pretty_print(?, ?, ?)
No description available
pretty_print(?, ?, ?, ?)
No description available
pretty_print_close(?)
No description available
pretty_print_open(?, ?, ?)
No description available
pretty_print_term(?, ?, ?, ?, ?)
No description available

Description

This library prints a file in different formats. It can either produce

About


Generated from pretty_printer.eci on Mon Mar 31 03:16:29 2008