object

xref_diagram(Format)

  • Format - Graph language file format

Predicates for generating predicate call cross-referencing diagrams.

Author: Paulo Moura
Version: 2:66:2
Date: 2022-07-08
Compilation flags:
static, context_switching_calls
Remarks:
(none)

Public predicates

entity/2

Creates a diagram for a single entity using the specified options.

Compilation flags:
static
Template:
entity(Entity,Options)
Mode and number of proofs:
entity(+entity_identifier,+list(compound)) - one

entity/1

Creates a diagram for a single entity using default options.

Compilation flags:
static
Template:
entity(Entity)
Mode and number of proofs:
entity(+entity_identifier) - one

Protected predicates

(no local declarations; see entity ancestors if any)

Private predicates

included_predicate_/1

Table of predicates already included in the diagram for the entity under processing.

Compilation flags:
dynamic
Template:
included_predicate_(Predicate)
Mode and number of proofs:
included_predicate_(?predicate_indicator) - zero_or_more

referenced_predicate_/1

Table of referenced predicates for the entity under processing.

Compilation flags:
dynamic
Template:
referenced_predicate_(Predicate)
Mode and number of proofs:
referenced_predicate_(?predicate_indicator) - zero_or_more

external_predicate_/1

Table of external predicate references for all the entities under processing.

Compilation flags:
dynamic
Template:
external_predicate_(Reference)
Mode and number of proofs:
external_predicate_(?compound) - zero_or_more

Operators

(none)