object
debug_messages
¶
Supports selective enabling and disabling of debug
and debug(Group)
messages.
Author: Paulo Moura
Version: 1:0:0
Date: 2019-01-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.
Inherited public predicates:
(none)
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
Protected predicates¶
(no local declarations; see entity ancestors if any)
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