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