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

【问题标题】：Test type of input parameter of a method in OCLOCL中方法的输入参数的测试类型
【发布时间】：2012-07-28 13:06:05
【问题描述】：

我在 UML 中有一个看起来像这样的类（它是德语，但我认为没关系）：

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

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

谢谢。

【问题讨论】：

【解决方案1】：

你可以使用

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

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

【讨论】：