object

diagram

Generates entity diagram DOT files for source files and libraries.

author:
Paulo Moura
version:
1.5
date:
2013/10/16
compilation flags:
static, context_switching_calls

(no dependencies on other files)

Public interface

rlibrary/2

Creates a diagram for all entities in a library its sub-libraries using the specified options.

compilation flags:
static
template:
rlibrary(Library,Options)
mode – number_of_proofs:
rlibrary(+atom,+list) – one

rlibrary/1

Creates a diagram for all entities in a library and its sub-libraries using default options.

compilation flags:
static
template:
rlibrary(Library)
mode – number_of_proofs:
rlibrary(+atom) – one

library/2

Creates a diagram for all entities in a library using the specified options.

compilation flags:
static
template:
library(Library,Options)
mode – number_of_proofs:
library(+atom,+list) – one

library/1

Creates a diagram for all entities in a library using default options.

compilation flags:
static
template:
library(Library)
mode – number_of_proofs:
library(+atom) – one

file/2

Creates a diagram for all entities in a loaded source file using the specified options. The file can be given by name, basename, full path, or using library notation.

compilation flags:
static
template:
file(File,Options)
mode – number_of_proofs:
file(+atom,+list) – one

file/1

Creates a diagram for all entities in a loaded source file using default options. The file can be given by name, basename, full path, or using library notation.

compilation flags:
static
template:
file(File)
mode – number_of_proofs:
file(+atom) – one

default_options/1

Returns a list of the default options used when generating a diagram.

compilation flags:
static
template:
default_options(DefaultOptions)
mode – number_of_proofs:
default_options(-list) – one

Protected interface

(none)

Private predicates

included_entity_/1

compilation flags:
dynamic

referenced_entity_/1

compilation flags:
dynamic

Operators

(none)

Remarks

(none)