object

doclet

Utility object to help automate (re)generating documentation for a project.

Author: Paulo Moura
Version: 0.5
Date: 2017/1/5
Compilation flags:
static, context_switching_calls
Remarks:
(none)

Public predicates

update/0

Updates the project documentation, first by calling a sequence of goals and second by executing a sequence of shell commands. Fails if any goal or shell command fails.

Compilation flags:
static
Mode and number of proofs:
update - zero_or_one

doc_goal/1

Table of goals, typically using the diagrams and the lgtdoc tools, used to generate the documentation. Goals are called in the order they are defined and in the context of the user pseudo-object.

Compilation flags:
static
Template:
doc_goal(Goal)
Mode and number of proofs:
doc_goal(?callable) - one_or_more

shell_command/1

Table of shell commands to convert intermediate documentation files into user-friendly documentation. Commands are executed in the order they are defined.

Compilation flags:
static
Template:
shell_command(Command)
Mode and number of proofs:
shell_command(?atom) - one_or_more

Protected predicates

(see entity ancestors)

Private predicates

(see entity ancestors)