object

diagrams(Format)

Predicates for generating all supported diagrams for libraries, directories, or files in one step using the specified format.

Author: Paulo Moura
Version: 2.3
Date: 2016/5/7
Compilation flags:
static, context_switching_calls

(no dependencies on other entities)

Public interface

libraries/3

Creates all supported diagrams for a set of libraries using the specified options. The Project argument is used as a prefix for the diagram file names.

Compilation flags:
static
Template:
libraries(Project,Libraries,Options)
Mode and number of proofs:
libraries(+atom,+list(atom),+list(compound)) - one

libraries/2

Creates all supported diagrams for a set of libraries using the default options. The Project argument is used as a prefix for the diagram file names.

Compilation flags:
static
Template:
libraries(Project,Libraries)
Mode and number of proofs:
libraries(+atom,+list(atom)) - one

libraries/1

Creates all supported diagrams for a set of libraries using the default options. The prefix “libraries” is used for the diagram file names.

Compilation flags:
static
Template:
libraries(Libraries)
Mode and number of proofs:
libraries(+list(atom)) - one

all_libraries/1

Creates all supported diagrams for all loaded libraries using the specified options.

Compilation flags:
static
Template:
all_libraries(Options)
Mode and number of proofs:
all_libraries(+list(compound)) - one

all_libraries/0

Creates all supported diagrams for all loaded libraries using default options.

Compilation flags:
static
Mode and number of proofs:
all_libraries - one

rlibrary/2

Creates all supported diagrams for a library and its sub-libraries using the specified options.

Compilation flags:
static
Template:
rlibrary(Library,Options)
Mode and number of proofs:
rlibrary(+atom,+list(compound)) - one

rlibrary/1

Creates all supported diagrams for a library and its sub-libraries using default options.

Compilation flags:
static
Template:
rlibrary(Library)
Mode and number of proofs:
rlibrary(+atom) - one

library/2

Creates all supported diagrams for a library using the specified options.

Compilation flags:
static
Template:
library(Library,Options)
Mode and number of proofs:
library(+atom,+list(compound)) - one

library/1

Creates all supported diagrams for a library using default options.

Compilation flags:
static
Template:
library(Library)
Mode and number of proofs:
library(+atom) - one

directories/3

Creates all supported diagrams for a set of directories using the specified options. The Project argument is used as a prefix for the diagram file names.

Compilation flags:
static
Template:
directories(Project,Directories,Options)
Mode and number of proofs:
directories(+atom,+list(atom),+list(compound)) - one

directories/2

Creates a diagram for a directory using default options. The Project argument is used as a prefix for the diagram file names.

Compilation flags:
static
Template:
directories(Project,Directories)
Mode and number of proofs:
directories(+atom,+list(atom)) - one

directory/3

Creates all supported diagrams for a directory using the specified options. The Project argument is used as a prefix for the diagram file names.

Compilation flags:
static
Template:
directory(Project,Directory,Options)
Mode and number of proofs:
directory(+atom,+atom,+list(compound)) - one

directory/2

Creates all supported diagrams for a directory using default options. The Project argument is used as a prefix for the diagram file names.

Compilation flags:
static
Template:
directory(Project,Directory)
Mode and number of proofs:
directory(+atom,+atom) - one

directory/1

Creates all supported diagrams for a directory using default options. The name of the directory is used as a prefix for the diagram file names.

Compilation flags:
static
Template:
directory(Directory)
Mode and number of proofs:
directory(+atom) - one

files/3

Creates all supported diagrams for a set of files using the specified options. The file can be specified by name, basename, full path, or using library notation. The Project argument is used as a prefix for the diagram file names.

Compilation flags:
static
Template:
files(Project,Files,Options)
Mode and number of proofs:
files(+atom,+list(atom),+list(compound)) - one

files/2

Creates all supported diagrams for a set of files using the default options. The file can be specified by name, basename, full path, or using library notation. The Project argument is used as a prefix for the diagram file names.

Compilation flags:
static
Template:
files(Project,Files)
Mode and number of proofs:
files(+atom,+list(atom)) - one

files/1

Creates a diagram for a set of files using the default options. The file can be specified by name, basename, full path, or using library notation. The prefix “files” is used for the diagram file names.

Compilation flags:
static
Template:
files(Files)
Mode and number of proofs:
files(+list(atom)) - one

all_files/1

Creates all supported diagrams for all loaded files using the specified options.

Compilation flags:
static
Template:
all_files(Options)
Mode and number of proofs:
all_files(+list(compound)) - one

all_files/0

Creates all supported diagrams for all loaded files using default options.

Compilation flags:
static
Mode and number of proofs:
all_files - one

Protected interface

(none)

Private predicates

(none)

Operators

(none)

Remarks

  • Common options: title/1, date/1, output_directory/1, relation_labels/1, node_type_captions/1, exclude_files/1, exclude_libraries/1, url_prefixes/1, omit_path_prefix/1, entity_url_suffix_target/2, and layout/1.
  • Limitations: Some of the provided predicates only make sense for some types of diagrams. Also, fine tuning may require generating individual diagrams directly instead of as a batch using this utility object.