xpfValidateInstancesWithParameters

 
SYNTAX:
 
xpfValidateInstancesWithParameters(instances                  : GENERIC;
                                   diagnosticFile             : STRING;
                                   options                    : INTEGER;
                                   ruleSchemaId               : GENERIC;
                                   userOutputFile             : STRING;
                                   VAR validationResultId     : GENERIC;
                                   VAR returnValue            : GENERIC;
                                   numberOfParameters         : INTEGER;
                                   argument1, ... , argumentN : GENERIC)
                                   result                     : LOGICAL;
 
To be completed.
This function invokes the EDMmodelChecker^TM to validate any arbitrarily set of instances in one operation. The <aggrOrInstanceId> argument can be a modelId, instanceContainerId, inststanceId or an aggregateId (of instances).
The result of the validation (diagnosticFile) will be in the file specified by the <userOutputFile> argument.
This function is equivalent to the EDMinterface^TM function edmiValidateInstancesWithParameters.