1

假设我在 UML 中有这个类图：

OCL中的递归

如何在 OCL 中指定 A 的实例不包含在 list_of_As 递归中？换句话说，A 的实例可能不包含在 A.list_of_As 中，也不包含在 A.list_of_As 中的所有 A 实例的所有 list_of_As 中……？

4

1 回答 1

4

您可以使用传递闭包运算符closure()来获取A 列表。然后，只需检查您不想在该列表中看到的元素是否不存在。

于 2012-12-23T23:16:19.693 回答