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

Constraint : rmim018

Constraint Name
rmim018 (type: ERROR, kind: )
Constraint Class
ProcedureSpec
Package
cdabasic
Description
The methodCode elements of Procedure SHALL be distinct (RMIM-018)
OCL 
self.methodCode->forAll(ii : CE | 
	self.methodCode->select(jj : CE |
		jj.cdaEquals(ii)
	)->size()=1
)