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

Constraint : cdadt017

Constraint Name
cdadt017 (type: ERROR, kind: )
Constraint Class
IVLTSSpec
Package
cdadt
Description
In IVL<TS> 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.low.value.oclIsUndefined() or IVLTSSpec::compareTime(self.low.value, self.high.value)