object
lgtdoc¶
Documenting tool. Generates XML documenting files for loaded entities and for library, directory, entity, and predicate indexes.
Author: Paulo Moura
Version: 4.12
Date: 2019/3/8
Compilation flags:
static, context_switching_callsImplements:
public lgtdocpPublic interface¶
(see related entities)
Protected interface¶
(see related entities)
Private predicates¶
option_/2¶
Table of option values.
Compilation flags:
dynamicTemplate:
option_(Option,Value)Mode and number of proofs:
option_(?atom,?nonvar) - zero_or_morelibrary_entity_/4¶
Table of documented entities per library.
Compilation flags:
dynamicTemplate:
library_entity_(Library,PrimarySortKey,SecondarySortKey,Entity)Mode and number of proofs:
library_entity_(?atom,?nonvar,?nonvar,?atom) - zero_or_moredirectory_entity_/4¶
Table of documented entities per directory.
Compilation flags:
dynamicTemplate:
directory_entity_(Directory,PrimarySortKey,SecondarySortKey,Entity)Mode and number of proofs:
directory_entity_(?atom,?nonvar,?nonvar,?atom) - zero_or_moretype_entity_/4¶
Table of documented entities per type.
Compilation flags:
dynamicTemplate:
type_entity_(Type,PrimarySortKey,SecondarySortKey,Entity)Mode and number of proofs:
type_entity_(?atom,?nonvar,?nonvar,?atom) - zero_or_morepredicate_entity_/4¶
Table of public predicates for all documented entities.
Compilation flags:
dynamicTemplate:
predicate_entity_(Predicate,PrimarySortKey,SecondarySortKey,Entity)Mode and number of proofs:
predicate_entity_(?predicate_indicator,?nonvar,?nonvar,?entity_identifier) - zero_or_moreOperators¶
(none)
Remarks¶
(none)