Sollya User's Manual

Name:

unsuppressmessage unsuppresses the displaying of messages with a certain number

Library names:

void sollya_lib_unsuppressmessage(sollya_obj_t, ...); void sollya_lib_v_unsuppressmessage(sollya_obj_t, va_list);

Usage:

unsuppressmessage(msg num 1, ..., msg num n) : (integer, ..., integer) -> void unsuppressmessage(msg list) : list -> void

Parameters:

msg num 1 thru msg num n represent the numbers of n messages to be suppressed
msg list represents a list with numbers of messages to be suppressed

Description:

The unsuppressmessage command allows particular warning and information messages that have been suppressed from message output to be unsuppressed, i.e. activated for display again. Every Sollya warning or information message (that is not fatal to the tool's execution) has a message number. When these message numbers msg num 1 thru msg num n are given to unsuppressmessage, the corresponding message are displayed again, as they are by default at according verbosity levels. Actually, the unsuppressmessage command just reverts the effects of the suppressmessage command.
Instead of giving unsuppressmessage several message numbers msg num 1 thru msg num n or calling unsuppressmessage several times, it is possible to give a whole list msg list of message numbers to unsuppressmessage.
The user should be aware that unsuppressmessage presents sticky behavior for the warning and information messages suppressed from output. In fact, unsuppressmessage just unsuppresses the warning or information messages given in argument. All other suppressed messages stay suppressed until they get unsuppressed by subsequent calls to unsuppressmessage or the Sollya tool is restarted. This behavior distinguishes message suppression from other global states of the Sollya tool. The user may use getsuppressedmessages to obtain a list of currently suppressed messages. In particular, in order to unsuppressed all currently suppressed warning or information messages, the user may feed the output of getsuppressedmessages (a list) into unsuppressmessage.
The user should also note that unsuppressing warning or information messages with unsuppressmessage just reverts the effects of the suppressmessage command but that other conditions exist that affect the actual displaying of a message, such as global verbosity (see verbosity) and modes like rounding warnings (see roundingwarnings). A message will not just get displayed because it was unsuppressed with unsuppressmessage.
When unsuppressmessage is used on message numbers that do not exist in the current version of the tool, a warning is displayed. The call has no other effect though.

Example 1:

   > verbosity = 1;
   The verbosity level has been set to 1.
   > 0.1;
   Warning: Rounding occurred when converting the constant "0.1" to floating-point with 165 bits.
   If safe computation is needed, try to increase the precision.
   Warning: For at least 1 of the constants displayed in decimal, rounding has happened.
   0.1
   > suppressmessage(174);
   > 0.1;
   Warning: For at least 1 of the constants displayed in decimal, rounding has happened.
   0.1
   > suppressmessage(174);
   > 0.1;
   Warning: For at least 1 of the constants displayed in decimal, rounding has happened.
   0.1

Example 2:

   > verbosity = 12;
   The verbosity level has been set to 12.
   > showmessagenumbers = on;
   Displaying of message numbers has been activated.
   > diff(exp(x * 0.1));
   Warning (174): Rounding occurred when converting the constant "0.1" to floating-point with 165 bits.
   If safe computation is needed, try to increase the precision.
   Information (196): formally differentiating a function.
   Information (197): differentiating the expression 'exp(x * 0.1)'
   Information (207): no Horner simplification will be performed because the given tree is already in Horner form.
   Warning (478): For at least 1 of the constants previously displayed in decimal, rounding has happened.
   Warning (478): For at least 2 of the constants displayed in decimal, rounding has happened.
   exp(x * 0.1) * 0.1
   > suppressmessage([| 174, 207, 196 |]);
   > diff(exp(x * 0.1));
   Information (197): differentiating the expression 'exp(x * 0.1)'
   Warning (478): For at least 1 of the constants previously displayed in decimal, rounding has happened.
   Warning (478): For at least 2 of the constants displayed in decimal, rounding has happened.
   exp(x * 0.1) * 0.1
   > unsuppressmessage([| 174, 196 |]);

Example 3:

   > verbosity = 12;
   The verbosity level has been set to 12.
   > showmessagenumbers = on;
   Displaying of message numbers has been activated.
   > suppressmessage(207, 387, 390, 388, 391, 196, 195, 197, 205);
   > getsuppressedmessages();
   [|195, 196, 197, 205, 207, 387, 388, 390, 391|]
   > evaluate(x/sin(x) - 1, [-1;1]);
   Warning (478): For at least 1 of the constants displayed in decimal, rounding has happened.
   [0;0.8508157176809256179117532413986501934703966550941]
   > unsuppressmessage(getsuppressedmessages());
   > getsuppressedmessages();
   [| |]

Go back to the list of commands