object
entity_diagram(Format)¶
Predicates for generating entity diagrams in the specified format with both inheritance and cross-referencing relation edges.
Author: Paulo Moura
Version: 2.46
Date: 2019/5/3
Compilation flags:
static, context_switching_callsImports:
public diagram(Format)Public interface¶
file/2¶
Creates a diagram for all entities in a loaded source file using the specified options. The file can be specified by name, basename, full path, or using library notation.
Compilation flags:
staticTemplate:
file(File,Options)Mode and number of proofs:
file(+atom,+list(compound)) - onefile/1¶
Creates a diagram for all entities in a loaded source file using default options. The file can be specified by name, basename, full path, or using library notation.
Compilation flags:
staticTemplate:
file(File)Mode and number of proofs:
file(+atom) - oneProtected interface¶
(see related entities)
Operators¶
(none)