[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [Newsgroup Home]
[news.eclipse.modeling.mdt.ocl] Re: How to check the types of containment?

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?