...
| Type | Name | Comment |
| GENERIC | modelId | A numeric Id that uniquely identifies the model in the EDMdatabase that holds the model of interest. |
| STRING | diagnosticFile | Specifies the file name for diagnostic information generated by this function. If no file name is supplied, i.e. the <diagnosticFile> argument is set to NULL, all diagnostic information will be written to the current output device. |
| INTEGER | options | see below |
| STRINGGENERIC | ruleSchemaId | A numeric Id that uniquely identifies the name of the EDMruleSchema to use in the validation operation. Rule schema names are case insensitive. The rules and constraint defined in the dictionary model (Express schema) that is the underlying schema of the specified data model will be validated when <ruleSchemaName> = NULL. |
| STRING | userOutputFile | Specifies the name of a file that will be used to receive the result of executing the xpxPrintf and xpxOutputValue function during the validation operation. |
| GENERIC | validationErrorId | The address of a variable of type GENERIC that will receive a numeric instanceID that uniquely identifies an instance of type validation_error in a population of the EDM_Validation_Result_Schema that contains all details of the violations detected in the last invocation of the EDMmodelChecker. No population of the EDM_Validation_Result_Schema will be produced when the <validationErrorId> argument is NULL on input. |
| GENERIC | returnValue | |
| INTEGER | numberOfParameters | Number of arguments to be sent to the validation process |
| GENERIC | argument(n) | Arguments to be sent to the validation process |
...