[news.eclipse.modeling.mdt.ocl] Re: How to check the types of containmen

[Gilbert Mirenque <formatzeh@xxxxxx>]

Hi Ed,

> context AbstractModel
> inv: containedModel->forAll(a, b |
>     a <> b implies a.oclType() <> b.oclType())

that's a nice solution :)