| Code Block | ||||
|---|---|---|---|---|
| ||||
FUNCTION xpfValidateInstance (instanceIdxpfValidateInstancesWithParameters(instances : GENERIC; diagnosticFile : STRING; options : INTEGER; ruleSchemaId : GENERIC; userOutputFile : STRING; VAR validationResultsId : GENERIC; validationResultId : GENERIC; VAR returnValue : GENERIC; numberOfParameters : INTEGER; argument1, ... , argumentN : GENERIC) result : LOGICAL; |
Use this This function invokes the EDMmodelChecker 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.
Arguments
...
| Type | Name | Comment |
| GENERIC | instanceIdinstances | Instance id of the instance to be validated |
| STRING | diagnosticFile | Path to the diagnostic file |
| INTEGER | options | options, see below |
| GENERIC | ruleSchemaId | Unique id of the rule schema within the EDMdatabase |
| STRING | userOutputFile | Path to the output file |
| GENERIC | validationResultsId | |
| GENERIC | returnValue | |
| INTEGER | numberOfParameters | Number of parameters to be sent to the validation process |
| GENERIC | argument(1) | Arguments for the validation process |
Return Value
...
| Type | Name | Comment |
| LOGICAL | result | comments |
...
| Filter by label (Content by label) | ||||||
|---|---|---|---|---|---|---|
|
SYNTAX:
To be completed.
This function invokes the EDMmodelCheckerTM 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 EDMinterfaceTM function edmiValidateInstancesWithParameters.