modeling - 如何修复我的罗丹平台 Event-B 项目中的未知配置 org.animb.valuation.valBase？

Question

我在我最新版本的罗丹平台中导入了一个完全精炼的模型，我正在尝试在这个项目中使用带有 ProB 动画师的 IUMLB。但由于该项目已经有一个预配置的 AnimB 动画师，最新的罗丹软件不支持。错误状态为“未知配置 org.animb.valuation.valBase”。

如何从项目中删除或修复此 AnimB 配置？

Answer 1

我设法自己解决了这个问题:)。

不是我所拥有的但这个特定的问题是通过在文本编辑器中打开显示错误的文件来解决的，我刚刚从 eventb.core.configuration 中删除了 org.animb.valuation.valBase，如下所示：

早些时候：

<org.eventb.core.contextFile org.eventb.core.configuration="org.eventb.core.fwd;org.animb.valuation.valBase;de.prob.symbolic.ctxBase;de.prob.units.mchBase" version="3">

之后：

<org.eventb.core.contextFile org.eventb.core.configuration="org.eventb.core.fwd;de.prob.symbolic.ctxBase;de.prob.units.mchBase" version="3">

这解决了我的问题。没有更多的错误:)