Overture / Stackoverflow / VDM项目已损坏/消失

时间:2015-03-29 18:10:25

标签: eclipse vdm++

过去两周我一直在为大学做一个课程,我已经完成了90%的课程。我现在决定打开Overture,看起来我的所有项目都已损坏:(((((

http://gyazo.com/8e25549bbca700a22399e736a88a1996

如果有人对我如何从中恢复有任何建议/想法,我会非常感激。我尝试过与 - 比较 - >当地历史'但没有奏效。现在有点不高兴:[

1 个答案:

答案 0 :(得分:0)

Overture项目中的VDM源文件是简单文本。如果这些文件没有损坏(使用文本编辑器在Overture外部打开它们),则创建一个新工作区,创建新项目并将文件复制到其中。

如果源文件已损坏,唯一的希望就是如果你有某种备份,我担心。

我们以前从未见过Overture腐败的消息来源。唯一可以做到这一点的组件是编辑器,它一次处理一个文件。你知道为什么或何时发生这种情况吗?你在运行什么版本和平台?