object

debug_messages

Supports selective enabling and disabling of debug and debug(Group) messages.

Author: Paulo Moura
Version: 1.0
Date: 2019/1/16
Compilation flags:
static, context_switching_calls
Remarks:
  • Limitations: Debug messages are suppressed by the compiler when the optimize flag is turned on and thus cannot be enabled in this case.

Public predicates

enable/1

Enables all debug and debug(Group) messages for the given component.

Compilation flags:
static
Template:
enable(Component)
Mode and number of proofs:
enable(@term) - one

disable/1

Disables all debug and debug(Group) messages for the given component.

Compilation flags:
static
Template:
disable(Component)

enabled/1

Enumerates by backtracking the components with enabled debug and debug(Group) messages.

Compilation flags:
static
Template:
enabled(Component)
Mode and number of proofs:
enabled(?term) - zero_or_more

enable/2

Enables debug(Group) messages for the given component and group.

Compilation flags:
static
Template:
enable(Component,Group)
Mode and number of proofs:
enable(@term,@term) - one

disable/2

Disables debug(Group) messages for the given component and group.

Compilation flags:
static
Template:
disable(Component,Group)
Mode and number of proofs:
disable(@term,@term) - one
disable(@term,@term) - one

enabled/2

Enumerates by backtracking the enabled debug(Group) messages for each component.

Compilation flags:
static
Template:
enabled(Component,Group)
Mode and number of proofs:
enabled(?term,?term) - zero_or_more

Protected predicates

(see entity ancestors)

Private predicates

enabled_/1

Table of components with currently enabled debug and debug(Group) messages.

Compilation flags:
dynamic
Template:
enabled_(Component)
Mode and number of proofs:
enabled_(?term) - zero_or_more

enabled_/2

Table of currently enabled debug(Group) per component.

Compilation flags:
dynamic
Template:
enabled_(Component,Group)
Mode and number of proofs:
enabled_(?term,?term) - zero_or_more

Operators

(none)