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_callsProvides:
Public interface¶
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:
staticMode and number of proofs:
update - zero_or_onedoc_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:
staticTemplate:
doc_goal(Goal)Mode and number of proofs:
doc_goal(?callable) - one_or_moreshell_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:
staticTemplate:
shell_command(Command)Mode and number of proofs:
shell_command(?atom) - one_or_moreProtected interface¶
(see related entities)
Private predicates¶
(see related entities)
Operators¶
(none)