Sollya User's Manual

Name:

suppressmessage suppresses the displaying of messages with a certain number

Library names:

void sollya_lib_suppressmessage(sollya_obj_t, ...); void sollya_lib_v_suppressmessage(sollya_obj_t, va_list);

Usage:

suppressmessage(msg num 1, ..., msg num n) : (integer, ..., integer) -> void suppressmessage(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 suppressmessage command allows particular warning and information messages to be suppressed from message output, while maintaining global verbosity levels (see verbosity) high. 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 suppressmessage, the corresponding message are no longer displayed. The unsuppressmessage command reverts this suppression from output for a particular message.
Instead of giving suppressmessage several message numbers msg num 1 thru msg num n or calling suppressmessage several times, it is possible to give a whole list msg list of message numbers to suppressmessage.
The user should be aware that suppressmessage presents sticky behavior for the warning and information messages suppressed from output. This means that even if subsequent calls to suppressmessage occur, a message suppressed by a call to suppressmessage stays suppressed until it is unsuppressed using unsuppressmessage or the 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.
When suppressmessage 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(407);
   > 0.1;
   Warning: For at least 1 of the constants displayed in decimal, rounding has happened.
   0.1
   > verbosity = 12;
   The verbosity level has been set to 12.
   > showmessagenumbers = on;
   Displaying of message numbers has been activated.
   > diff(exp(x * 0.1));
   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(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);
   > 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.
   Warning (478): 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

Go back to the list of commands