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