测试OCL中方法的输入参数类型

Question

我有一个UML类，看起来像这样（用德语写，但我认为没关系）：

第一种方法采用4“ Rohstoffkarte ”的数组。这是一个抽象类，我有5个具体的子类。现在我想检查（使用OCL）数组中的所有4个实例来自同一个子类。

知道怎么做吗？我正在使用MagicDraw。

感谢。

Answer 1

你可以使用

oclIsKindOf，oclIsTypeOf检查类型一致性，并使用oclType获取对象的类型。

参见OMG对象约束语言规范版本2.3.1，第22页

http://www.omg.org/spec/OCL/2.3.1