Hi Christian, didn't you mean the containedModel->isUnique(..) method? context CompositionModel inv: containedModel->unique(eClass()) eClass() is emf specific and not pure ocl spec isn't it?
Hi Christian, didn't you mean the containedModel->isUnique(..) method?
context CompositionModel inv: containedModel->unique(eClass())
eClass() is emf specific and not pure ocl spec isn't it?