【发布时间】：2014-03-07 17:04:09
【问题描述】：
如何使用 OCL 中的迭代功能编写 OCL 约束来检查特定键值对是否始终存在于 HashTable 中？我是 OCL 的初学者。任何提示或示例都会有所帮助。
【问题讨论】：
【发布时间】：2014-03-07 17:04:09
【问题描述】：
查看集合的 Unique 运算符。这可能是实现您想要的更简单的方法。
【讨论】：
-
如果您有兴趣用
iterate描述这种约束，OCL 规范已经包含了集合操作的正式定义。