lgtdocp — Logtalk APIs v3.47.0 documentation

protocol

# `lgtdocp`

Documenting tool protocol.

Author: Paulo Moura
Version: 4:0:0
Date: 2021-01-31
Compilation flags:
`static`
Dependencies:
(none)
Remarks:

> - Compiling files for generating XML documentation: All source files must be compiled with the `source_data` flag turned on.

> - xml_spec(Specification) option: XML documenting files specification format. Possible option values are `dtd` (DTD specification; default) and `xsd` (XML Schema specification).

> - xml_spec_reference(Reference) option: Reference to the XML specification file in XML documenting files. Possible values are `local` (default; DTD/XSD file in same folder as XML files), `web` (logtalk.org website DTD/XSD file), and `standalone` (no reference to specification files).

> - entity_xsl_file(File) option: XSLT file to use with generated XML documenting files. Default is `logtalk_entity_to_xml.xsl`, allowing the XML files to be viewed by opening them with a browser supporting XSLT (after running the `lgt2xml.sh` script on the output directory).

> - index_xsl_file(File) option: XSLT file to use with generated XML documenting files. Default is `logtalk_index_to_xml.xsl`, allowing the XML files to be viewed by opening them with a browser supporting XSLT (after running the `lgt2xml.sh` script on the output directory).

> - xml_docs_directory(Directory) option: Directory where the XML documenting files will be generated. The default value is `./xml_docs`, a sub-directory of the source files directory.

> - bom(Boolean) option: Defines if a BOM should be added to the generated XML documenting files.

> - encoding(Encoding) option: Encoding to be used for the generated XML documenting files.

> - omit_path_prefixes(Prefixes) option: List of path prefixes (atoms) to omit when writing directory paths. The default value is to omit the home directory.

> - exclude_files(List) option: List of files to exclude when generating the XML documenting files.

> - exclude_paths(List) option: List of (relative) library paths to exclude when generating the XML documenting files.

> - exclude_entities(List) option: List of entities to exclude when generating the XML documenting files.

> - sort_predicates(Boolean) option: Sort entity predicates (default is `false`)

> - Known issues: The most appropriated options may depends on the XSL processor you intend to use. Most XSL processors support DTDs but only some of them support XML Schemas. Some processors are buggy an may not work with the default option values.

Inherited public predicates:
(none)

- Public predicates

  - `rlibrary/2`

  - `rlibrary/1`

  - `library/2`

  - `library/1`

  - `rdirectory/2`

  - `rdirectory/1`

  - `directory/2`

  - `directory/1`

  - `file/2`

  - `file/1`

  - `all/1`

  - `all/0`

- Protected predicates

- Private predicates

- Operators

## Public predicates

### `rlibrary/2`

Creates XML documenting files for all entities in a library and its sub-libraries using the specified options.

Compilation flags:
`static`
Template:
`rlibrary(Library,Options)`
Mode and number of proofs:
`rlibrary(+atom,+list)` - `one`
Examples:
Generate XML documenting files for all tool entities for later conversion to Markdown files
`rlibrary(tools,[xslfile('lgtmd.xsl')])`
`yes`

### `rlibrary/1`

Creates XML documenting files for all entities in a library and its sub-libraries using default options.

Compilation flags:
`static`
Template:
`rlibrary(Library)`
Mode and number of proofs:
`rlibrary(+atom)` - `one`
Examples:
Generate XML documenting files for all tool entities for direct viewing in a browser (after indexing using the `lgt2xml` script)
`rlibrary(tools)`
`yes`

### `library/2`

Creates XML documenting files for all entities in a library using the specified options.

Compilation flags:
`static`
Template:
`library(Library,Options)`
Mode and number of proofs:
`library(+atom,+list)` - `one`
Examples:
Generate XML documenting files for all library entities for later conversion to PDF A4 files
`library(library,[xslfile('logtalk_entity_to_pdf_a4.xsl')])`
`yes`

### `library/1`

Creates XML documenting files for all entities in a library using default options.

Compilation flags:
`static`
Template:
`library(Library)`
Mode and number of proofs:
`library(+atom)` - `one`

### `rdirectory/2`

Creates XML documenting files for all entities in a directory and its sub-directories using the specified options.

Compilation flags:
`static`
Template:
`rdirectory(Directory,Options)`
Mode and number of proofs:
`rdirectory(+atom,+list)` - `one`
Examples:
Generate XML documenting files for all entities in the tools directory for later conversion to Markdown files
`rdirectory('./tools',[xslfile('lgtmd.xsl')])`
`yes`

### `rdirectory/1`

Creates XML documenting files for all entities in a directory and its sub-directories using default options.

Compilation flags:
`static`
Template:
`rdirectory(Directory)`
Mode and number of proofs:
`rdirectory(+atom)` - `one`
Examples:
Generate XML documenting files for all entities in the tools directory for direct viewing in a browser (after indexing using the `lgt2xml` script)
`rdirectory('./tools')`
`yes`

### `directory/2`

Creates XML documenting files for all entities in a directory using the specified options.

Compilation flags:
`static`
Template:
`directory(Directory,Options)`
Mode and number of proofs:
`directory(+atom,+list)` - `one`
Examples:
Generate XML documenting files for all the entities in the current directory for later conversion to PDF A4 files
`directory('.',[xslfile('logtalk_entity_to_pdf_a4.xsl')])`
`yes`

### `directory/1`

Creates XML documenting files for all entities in a directory using default options.

Compilation flags:
`static`
Template:
`directory(Directory)`
Mode and number of proofs:
`directory(+atom)` - `one`

### `file/2`

Creates XML documenting files for all entities in a loaded source file using the specified options. The file can be given by name, basename, full path, or using library notation.

Compilation flags:
`static`
Template:
`file(File,Options)`
Mode and number of proofs:
`file(+atom,+list)` - `one`

### `file/1`

Creates XML documenting files for all entities in a loaded source file using default options. The file can be given by name, basename, full path, or using library notation.

Compilation flags:
`static`
Template:
`file(File)`
Mode and number of proofs:
`file(+atom)` - `one`

### `all/1`

Creates XML documenting files for all loaded entities using the specified options.

Compilation flags:
`static`
Template:
`all(File)`
Mode and number of proofs:
`all(+list)` - `one`

### `all/0`

Creates XML documenting files for all loaded entities using default options.

Compilation flags:
`static`
Mode and number of proofs:
`all` - `one`

## Protected predicates

(none)

## Private predicates

(none)

## Operators

(none)

See also

lgtdoc