Test type of input parameter of a method in OCL
===

I have a class in UML that looks like this (it's in German, but I think it doesn't matter):

![enter image description here][1]

The first method takes an array of 4 "*Rohstoffkarte*". That's an abstract class and I have 5 concrete sub-classes for it. Now I want to check (with OCL) that all 4 instances in the array are from the same sub-class.

Any idea how to do this? I'm working with MagicDraw.

Thanks.


  [1]: http://i.stack.imgur.com/MhUyF.png