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.0
date:
2014/12/30
compilation flags:
static, context_switching_calls
imports:
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:
static
template:
file(File,Options)
mode – number of proofs:
file(+atom,+list(compound)) – one

file/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:
static
template:
file(File)
mode – number of proofs:
file(+atom) – one

Protected interface

(see related entities)

Private predicates

included_entity_/1

compilation flags:
dynamic

referenced_entity_/1

compilation flags:
dynamic

referenced_module_/1

compilation flags:
dynamic

Operators

(none)

Remarks

(none)