sdaiValidateArraySparseness
Note: This function can only be used with the EDMmodelChecker license key fully installed.
Checks that all ARRAY aggregates that are not defined as OPTIONAL, owned by the specified instance, have a value assigned to all elements. A value is assigned to an aggregate element when the element value is unequal to indeterminate.
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 sdaiValidateArraySparseness(SdaiAppInstance instance);
Arguments:
instance |
A numeric instanceID that uniquely identifies the instance of interest in the EDMdatabase. All ARRAY aggregates, owned by this instance that are not declared as OPTIONAL will be checked for unset elements. An ARRAY element is unset when the element value is indeterminate. |
Returns:
A SdaiLogical value that has the following value:
sdaiTRUE : No ARRAY aggregates that are not declared with the OPTIONAL keyword, owned by the specified instance, have any unset element values, i.e. no elements have the value indeterminate.
sdaiFALSE: At least one of the ARRAY aggregates that are not defined with the OPTIONAL keyword, owned by the specified instance, have at least one unset element value, i.e. have the element value indeterminate.
sdaiUNKNOWN: Use sdaiErrorQuery to check for error in operation.
Examples:
SdaiAppInstance anInst;
SdaiLogical result;
...
result = sdaiValidateArraySparseness (anInst);
switch (result) {
case sdaiTRUE:
. . . /* No array sparseness violation */
break;
case sdaiFALSE:
. . . /* Array sparseness violation detected */
break;
default:
. . . /* Unset elements or possibly errors in operation */
}
. . .