protocol

lgtdocp

Documenting tool protocol.

Author: Paulo Moura
Version: 3.2
Date: 2017/11/4
Compilation flags:
static

(no dependencies on other entities)

Public interface

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

option/2

Returns, by backtracking, all options and their values.

Compilation flags:
static
Template:
option(Option,Value)
Mode and number of proofs:
option(?atom,?nonvar) - zero_or_more

set_option/2

Sets an option value.

Compilation flags:
static
Template:
set_option(Option,Value)
Mode and number of proofs:
set_option(+atom,+nonvar) - zero_or_one

Protected interface

(none)

Private predicates

(none)

Operators

(none)

Remarks

  • Compiling files for generating XML documentation: All source files must be compiled with the “source_data” compiler 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 the same folder as the 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 simply opening them with a browser supporting XSLT (after running the “lgt2xml.sh” script on the XML files 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 simply opening them with a browser supporting XSLT (after running the “lgt2xml.sh” script on the XML files 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.
  • 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.

See also

lgtdoc