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

Constraint : cdadt034

Constraint Name
cdadt034 (type: ERROR, kind: )
Constraint Class
ENSpec
Package
cdadt
Description
In EN datatype, the use attribute SHALL have distinct values (CDADT-034)
OCL
self.use->forAll(st : String | 
	self.use->select(st1 : String | 
		st1=st
	)->size()=1
)