protocol
loggingp¶
Logging events to files protocol.
Author: Paulo Moura
Version: 1.0
Date: 2011/1/6
Compilation flags:
staticDependencies:
(none)
Remarks:
(none)
Public predicates¶
log_file/2¶
Access to the table of log files.
Compilation flags:
staticTemplate:
log_file(Alias,File)Mode and number of proofs:
log_file(?atom,?atom) - zero_or_moredefine_log_file/2¶
Defines a log file with alias Alias and file name File. If the log file already exists, its contents are kept. Logging is enabled by default.
Compilation flags:
staticTemplate:
define_log_file(Alias,File)Mode and number of proofs:
define_log_file(+atom,+atom) - oneinit_log_file/2¶
Initializes a new log file with alias Alias and file name File. If the log file already exists, its contents are erased. Logging is enabled by default.
Compilation flags:
staticTemplate:
init_log_file(Alias,File)Mode and number of proofs:
init_log_file(+atom,+atom) - onelog_event/2¶
Logs an event Event to a log file with alias Alias. Fails if a log file with alias Alias is not defined.
Compilation flags:
staticTemplate:
log_event(Alias,Event)Mode and number of proofs:
log_event(+atom,+nonvar) - zero_or_onelogging/1¶
True if logging to file with alias Alias is enabled.
Compilation flags:
staticTemplate:
logging(Alias)Mode and number of proofs:
logging(+atom) - zero_or_oneenable_logging/1¶
Enables logging to file with alias Alias. Fails if a log file with alias Alias is not defined.
Compilation flags:
staticTemplate:
enable_logging(Alias)Mode and number of proofs:
enable_logging(+atom) - zero_or_onedisable_logging/1¶
Disables logging to file with alias Alias. Fails if a log file with alias Alias is not defined.
Compilation flags:
staticTemplate:
disable_logging(Alias)Mode and number of proofs:
disable_logging(+atom) - zero_or_oneProtected predicates¶
(none)
Private predicates¶
(none)