Constraint Descriptor : cdadt003 (type: ERROR, kind: )

Constraint : cdadt003

Constraint Name
cdadt003 (type: ERROR, kind: )
Constraint Class
EDSpec
Package
cdadt
Description
if integrityCheck attribute is provided, it SHALL have a valid value according to its integrityCheckAlgorithm (CDADT-003)
OCL
self.integrityCheck.oclIsUndefined() or EDSpec::validateIntegrityCheck(self)