sdaiValidateInverseAttrs

Note: This function can only be used with the EDMmodelChecker^ license key fully installed.
This operation validates all INVERSE constraints defined for the specified instance.
This operation is applicable only to application instances.
The model that holds the actual instance must be open before this operation can be successfully performed.
Related functions: sdaiValidateInstance , edmiValidateInstance , edmiValidateInstanceType , edmiValidateInstanceTypeBN , edmiValidateModel , edmiValidateModelBN .
Header:
#include "sdai.h"
Prototype:
SdaiLogical sdaiValidateInverseAttrs(SdaiAppInstance instance);
Arguments:

instance

A numeric instanceID that uniquely identifies the instance of interest in the EDMdatabase^, that is the instance to be validated for all INVERSE constraints.
The instanceID is defined by a sdaiCreateInstance or a sdaiCreateInstanceBN function.

Returns:
A SdaiLogical value that has the following value:
sdaiTRUE : No INVERSE constraint violation for the specified instance.
sdaiFALSE: At least one INVERSE constraint violation.
sdaiUNKNOWN: Use sdaiErrorQuery to check for error in operation.
EXAMPLE
SdaiAppInstance anInst;
SdaiLogical result;
. . .
result = sdaiValidateInverseAttrs (anInst);
switch (result) {
case sdaiTRUE:
. . . /* No violation in operation */
break;
case sdaiFALSE:
. . . /* Violation detected */
break;
default:
. . . /* Unpredictable result */
break;
}
. . .