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

Constraint : cdadt016

Constraint Name
cdadt016 (type: ERROR, kind: )
Constraint Class
RTOSpec
Package
cdadt
Description
In RTO datatype, the denominator SHALL NOT be zero (CDADT-016)
OCL 
(not self.nullFlavor.oclIsUndefined()) or 
(
	not self.denominator.oclIsUndefined() and
	self.denominator.nullFlavor.oclIsUndefined() and 
	(
		(not self.denominator.oclIsKindOf(INT)) or 
		(
			(not self.denominator.oclAsType(INT).value.oclIsUndefined()) and 
			self.denominator.oclAsType(INT).value<>0
		)
	)
)