Sollya User's Manual

Name:

showmessagenumbers activates, deactivates or inspects the state variable controlling the displaying of numbers for messages

Library names:

void sollya_lib_set_showmessagenumbers_and_print(sollya_obj_t) void sollya_lib_set_showmessagenumbers(sollya_obj_t) sollya_obj_t sollya_lib_get_showmessagenumbers()

Usage:

showmessagenumbers = activation value : on|off -> void showmessagenumbers = activation value ! : on|off -> void showmessagenumbers : on|off

Parameters:

activation value represents on or off, i.e. activation or deactivation

Description:

An assignment showmessagenumbers = activation value, where activation value is one of on or off, activates respectively deactivates the displaying of numbers for warning and information messages. 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, the message numbers are displayed together with the message. This allows the user to recover the number of a particular message in order to suppress resp. unsuppress the displaying of this particular message (see suppressmessage and unsuppressmessage).
The user should be aware of the fact that message number display activation resp. deactivation through showmessagenumbers does not affect message displaying in general. For instance, even with message number displaying activated, messages with only displayed when general verbosity and rounding warning mode are set accordingly.
If the assignment showmessagenumbers = activation value is followed by an exclamation mark, no message indicating the new state is displayed. Otherwise the user is informed of the new state of the global mode by an indication.

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
   > showmessagenumbers = on;
   Displaying of message numbers has been activated.
   > 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
   > showmessagenumbers;
   on
   > showmessagenumbers = off!;
   > 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

Example 2:

   > showmessagenumbers = on;
   Displaying of message numbers has been activated.
   > verbosity = 1;
   The verbosity level has been set to 1.
   > diff(0.1 * x + 1.5 * x^2);
   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 + x * 3
   > verbosity = 0;
   The verbosity level has been set to 0.
   > diff(0.1 * x + 1.5 * x^2);
   0.1 + x * 3
   > verbosity = 12;
   The verbosity level has been set to 12.
   > diff(0.1 * x + 1.5 * x^2);
   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 '0.1 * x + 1.5 * x^2'
   Information (195): expression '0.1 + 2 * 1.5 * x' has been simplified to expression '0.1 + 3 * x'.
   Warning (478): For at least 3 of the constants previously displayed in decimal, rounding has happened.
   Warning (478): For at least 1 of the constants displayed in decimal, rounding has happened.
   0.1 + x * 3

Go back to the list of commands