Sollya User's Manual

Name:

getsuppressedmessages returns a list of numbers of messages that have been suppressed from message output

Library name:

sollya_obj_t sollya_lib_getsuppressedmessages();

Usage:

getsuppressedmessages() : void -> list

Description:

The getsuppressedmessages command allows the user to inspect the state of warning and information message suppression. When called, getsuppressedmessages returns a list of integers numbers that stand for the warning and information messages that have been suppressed. If no message is suppressed, getsuppressedmessages returns an empty list.
Every Sollya warning or information message (that is not fatal to the tool's execution) has a message number. By default, these numbers are not displayed when a message is output. When message number displaying is activated using showmessagenumbers, the message numbers are displayed together with the message. This allows the user to match the numbers returned in a list by getsuppressedmessages with the actual warning and information messages.
The list of message numbers returned by getsuppressedmessages is suitable to be fed into the unsuppressmessage command. This way, the user may unsuppress all warning and information messages that have been suppressed.

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
   > getsuppressedmessages();
   [|174, 407|]
   > suppressmessage(207, 196);
   > getsuppressedmessages();
   [|174, 196, 207, 407|]

Example 2:

   > suppressmessage(174, 209, 13, 24, 196);
   > suppressmessage([| 16, 17 |]);
   > suppressmessage(19);
   > unsuppressmessage([| 13, 17 |]);
   > getsuppressedmessages();
   [|16, 19, 24, 174, 196, 209|]
   > unsuppressmessage(getsuppressedmessages());
   > getsuppressedmessages();
   [| |]

Example 3:

   > verbosity = 12;
   The verbosity level has been set to 12.
   > suppressmessage(174);
   > exp(x * 0.1);
   Information: no Horner simplification will be performed because the given tree is already in Horner form.
   Warning: For at least 1 of the constants displayed in decimal, rounding has happened.
   exp(x * 0.1)
   > getsuppressedmessages();
   [|174|]
   > verbosity = 0;
   The verbosity level has been set to 0.
   > exp(x * 0.1);
   exp(x * 0.1)
   > getsuppressedmessages();
   [|174|]

Go back to the list of commands