object
dump_trace
Simple solution for redirecting a debugger trace to a file.
Author: Paulo Moura
Version: 1:0:1
Date: 2021-11-12
Compilation flags:
static, context_switching_callsUses:
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates
start_redirect_to_file/2
Starts redirecting debugger trace messages to a file.
Compilation flags:
staticTemplate:
start_redirect_to_file(File,Goal)Meta-predicate template:
start_redirect_to_file(*,0)Mode and number of proofs:
start_redirect_to_file(+atom,+callable) - zero_or_morestop_redirect_to_file/0
Stops redirecting debugger trace messages to a file.
Compilation flags:
staticMode and number of proofs:
stop_redirect_to_file - oneProtected predicates
(no local declarations; see entity ancestors if any)
Private predicates
(no local declarations; see entity ancestors if any)
Operators
(none)