如何在我的Rodin Platform Event-B项目中修复未知的配置org.animb.valuation.valBase？

Question

我在我最新版本的Rodin Platform中导入了一个完全精炼的模型，我试图在这个项目中使用带有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">

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