cnfgen.clitools.msg module¶
Screen messages for CNFgen interaction
-
exception
InternalBug
(msg)¶ Bases:
Exception
Bug related to internal consistency
-
error_msg
(msg, filltext=None)¶ Writes an error message.
-
interactive_msg
(msg, filltext=None)¶ Writes a message to the interactive user (if present).
When the input comes from an interactive user on the terminal, it is useful to give them feedback regarding the expected output. This message is sent to stderr in order to help interactive usage, but it is not sent out if input comes from a non interactive terminal.
-
msg_prefix
(new_prefix='')¶ Set prefix for all interactive messages