object

lgtdoc

Documenting tool.

author:
Paulo Moura
version:
3.0
date:
2016/3/6
compilation flags:
static, context_switching_calls
implements:
public lgtdocp

Public interface

(see related entities)

Protected interface

(see related entities)

Private predicates

option_/2

Table of option values.

compilation flags:
dynamic
template:
option_(Option,Value)
mode – number of proofs:
option_(?atom,?nonvar) – zero_or_more

directory_entity_/2

Table of documented entities per directory.

compilation flags:
dynamic
template:
directory_entity_(Directory,Entity)
mode – number of proofs:
directory_entity_(?atom,?atom) – zero_or_more

type_entity_/2

Table of documented entities per type.

compilation flags:
dynamic
template:
type_entity_(Type,Entity)
mode – number of proofs:
type_entity_(?atom,?atom) – zero_or_more

predicate_entity_/2

Table of public predicates for all documented entities.

compilation flags:
dynamic
template:
predicate_entity_(Predicate,Entity)
mode – number of proofs:
predicate_entity_(?predicate_indicator,?entity_identifier) – zero_or_more

Operators

(none)

Remarks

(none)