eclipse-plugin - Eclipse Papyrus 上的 OCL 约束检查

Question

有没有人设法检查在 Eclipse Papyrus 中建模的类图上的 OCL 约束？我已经定义了一个简单的测试配置文件，其中只有一个构造型属性约束:

{OCL} self.property > 0

构造型扩展了 Property 元类，所以我将它应用到一个类属性上，并将构造型的属性设置为 0。但是我从未在 Validation > Validate Model 命令中遇到错误上下文菜单。

如有任何帮助，我们将不胜感激。

提前致谢。

Answer 1

我为可能有同样问题的其他人回答自己。

OCL 约束检查不适用于 Papyrus 0.9.x 您必须下载 OCL 和 Papyrus 的最新夜间版本。

您可以从这些存储库下载它们:

• http://download.eclipse.org/modeling/mdt/papyrus/updates/nightly/kepler/
• http://download.eclipse.org/modeling/mdt/ocl/updates/nightly

请注意，您必须使用 Eclipse Kepler 而不是 Juno。