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_callsRemarks:
Limitations: Debug messages are suppressed by the compiler when the
optimizeflag 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:
staticTemplate:
enable(Component)Mode and number of proofs:
enable(@term) - onedisable/1
Disables all debug and debug(Group) messages for the given component.
Compilation flags:
staticTemplate:
disable(Component)enabled/1
Enumerates by backtracking the components with enabled debug and debug(Group) messages.
Compilation flags:
staticTemplate:
enabled(Component)Mode and number of proofs:
enabled(?term) - zero_or_moreenable/2
Enables debug(Group) messages for the given component and group.
Compilation flags:
staticTemplate:
enable(Component,Group)Mode and number of proofs:
enable(@term,@term) - oneProtected 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:
dynamicTemplate:
enabled_(Component)Mode and number of proofs:
enabled_(?term) - zero_or_moreenabled_/2
Table of currently enabled debug(Group) per component.
Compilation flags:
dynamicTemplate:
enabled_(Component,Group)Mode and number of proofs:
enabled_(?term,?term) - zero_or_more