Warning Domain Violation

Type

Selection

Range

The settings listed below

Default

Error

This option determines what happens when domains are violated, depending on the following settings:

  • Off

Do not issue a warning.

  • Warning_collect

Issue a warning and post it to the global error and warning collector.

  • Common_warning_default

Take action depending on the option ‘Common warning default’.

  • Warning_handle

Issue a warning and post it to the nearest error handler.

  • Strict_warning_default

Take action depending on the option ‘Strict warning default’.

  • Error

Issue an error.

  • Error_in_develop_else_warning

In a developer system same as Error, in a deployment system same as Warning_handle

  • Error_in_develop_else_off

In a developer system same as Error, in a deployment system same as Off

  • Warning_in_develop_else_off

In a developer system same as Warning_handle, in a deployment system same as Off

An example of such a situation arises when executing the following model:

Set Cities {
    Definition: data { Paris, London };
}
Set FrenchCities {
    SubsetOf: Cities;
}
Procedure MainExecution {
    Body: {
        FrenchCities := { Paris, Toulouse };
    }
}

When executing procedure ‘MainExecution’, there is a domain violation, because ‘Toulouse’ is not an element of the set ‘Cities’.

Note

  • If you set this option to ‘Off’ or ‘Warning’, data will be assigned to elements that are outside the domain.

  • With the option Maximal Number of Warnings Reported you can set the maximal number of warnings that are shown in errors/warnings and message window.

Learn more about