Validate remote global rule

This command invokes the EDMmodelChecker to validate a specified remote global rule.
The validation result report will be written to the specified output file or to the EDMsupervisor output window when no output file is specified.
Optionally the validation process can be supplied with arguments, hence the validation process can be parameterized.
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:

Server context name:	Specify name of server context. When activating the Select button, the name of all defined server contexts will be displayed in the related selection list.
Remote repository:	Specify the name of the remote repository that holds the remote model to be validated. Repository names are case sensitive. When activating the Select button, the name of all remote repositories in the specified server context will be displayed in the related selection list.
Remote model:	Specify the name of the remote 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 <Remote repository name> argument will be displayed in the related selection list.
Remote Rule Schema:	Specify the name of Rule schema(ta) in the remote EDMdatabase that defines the applicable rules. Schema names are case insensitive. When this argument is blank, the specified <Remote 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.
Remote global rule:	Specify the name of the actual global rule. If the argument <Remote rule schema> is blank, the specified <Remote 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 <Remote rule schema> argument, the specified <Remote 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.
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.
use defined logging options:	The logging conditions defined by the command Remote Systems>Aux>Define Logging Conditions are activated during validation of the rule.