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

Constraint : cdadt017

Constraint Name
cdadt017 (type: ERROR, kind: )
Constraint Class
IVLINTSpec
Package
cdadt
Description
In IVL<INT> datatypes, the low value SHALL be lessOrEqual the high value (CDADT-017)
OCL 
self.low.oclIsUndefined() or self.high.oclIsUndefined() or self.low.value.oclIsUndefined() or self.high.value.oclIsUndefined() or 
self.low.value<= self.high.value