Validate Global Rule

Note: This function can only be used with the EDMmodelChecker licensed key fully installed.
Menu path: Data>Validate>Global rule
This command invokes the EDMmodelChecker to validate a specified global rule.
The validation result report will be written to the specified diagnostic file or to the EDMsupervisor output window when no diagnostic file is specified.
Optionally the validation process can be supplied with arguments, hence the validation process can be parameterized.
The interactive EDMdebugger and the EDMsupervisor expressions logging facility can be used for debugging and testing the actual rule as well as finding the reason for the rule being violated.
Arguments:

Repository:	Specify the name of the open repository that holds the model to be validated. Repository names are case sensitive. When activating the Select button, the name of all open repositories will be displayed in the related selection list.
Model:	Specify the name of the model to be validated. Model names are case sensitive. The model must be open. When activating the Select button, the name of all open models located in the repository(ies) specified by the <Repository> argument will be displayed in the related selection list.
Rule Schema	Specify the name of Rule schema(ta) in the EDMdatabase that defines the applicable rules. Schema names are case insensitive. When this argument is blank, the specified <Global Rule> must be defined in the underlying EXPRESS schema of the specified population (model) to validate. When activating the Select button, the names of all existing rule schemata will be displayed in the related selection list.
Global Rule	Specify the name of the actual global rule. If the argument <Rule Schema> is blank, the specified <Global Rule> must be defined in the underlying EXPRESS schema of the actual population (model) to validate. When a rule schema is defined by the <Rule Schema> argument, the specified <Global Rule> must be defined in this rule schema. When activating the Select button, the names of all available global rules will be displayed in the related selection list.
User output file	Output produced by the edm extension xpxPrintf function can be directed to a file. When activating the Select button, a window is opened to allow browsing the directory structure and select/specify the desired file.

Options:

accumulating command output:	A global option that appends the command output to the EDMsupervisor output window. Otherwise the output window is refreshed and only the last command output is displayed.
match selected input:	A global option that specifies that only items that partly or exactly matches the string in the related argument input field when activating a Select button, will be in the selection list. An empty (blank) string will match all items. This option has no effect on file name arguments.
activate debugger:	The EDMdebugger will be invoked when the first statement or expression will be executed by the EDMexpressVM.
user parameters	When this option is enabled, a new dialogue will be shown when the OK-button on the actual dialogue is pushed. In the new dialogue the number of arguments have to be specified, and for each argument the argument data type and argument data value have to be specified. The number of related input field in the new dialogue limits the number of arguments that can be supplied to the validation process.