使用 Eclipse 进行 Frama-C 开发：自动完成在某些情况下不起作用答案

【问题标题】：Frama-C development with eclipse: autocompletion not working in some cases使用 Eclipse 进行 Frama-C 开发：自动完成在某些情况下不起作用
【发布时间】：2016-03-17 15:52:57
【问题描述】：

我正在开发一个 Frama-C 插件。我使用 Eclipse 进行开发。如果我编写“普通”OCaml 函数调用（自己的函数和系统函数），工具提示会显示可用的函数。例如：如果我输入String.i eclipse 提供String.iter 和其他功能作为可能性在一个框中。

如果我想调用一个frama-c函数，比如Ast.g for Ast.get()，或者Db.Value.，这样不行，没有提供匹配函数的信息。

可以激活吗？

【问题讨论】：

您是否配置了项目，以便 Eclipse 知道 Frama-c 函数的来源（或接口）在哪里？
我将 /usr/share/frama-c 和 /usr/lib/frama-c 添加到项目属性的项目路径中。我没有在我的系统上找到其他特定于 Frama-C 的路径。我不知道路径是否必须更具体，或者是否有其他路径到源。
您是否指定使用带有 Frama-C 函数的库？（路径是一回事，库是另一回事）
现在我尝试将路径添加到 Project-Properties -> Project->Libraries。这也没有奏效。将其添加到链接资源也没有解决问题。我在正确的地方吗？还是我必须在其他地方添加它？顺便说一句：使用插件作为参数执行框架时，它可以工作，但是如果不知道哪些功能可用，就很难编写代码。
我确信这是正确的方法，但我会尝试安装 Frama-C 的源代码并在项目中指出它们（不是作为项目的源代码，而是作为库的源代码） .

标签： eclipse autocomplete ocaml frama-c

【解决方案1】：

我终于找到了适合我的解决方案：

我从 Frama-C 网站下载了源代码。
我将src文件夹的内容复制到/usr/src/frama-c
我在我的项目中添加了一个文件夹（在我自己的 .ml 文件所在的目录中）
创建时->点击高级->“链接到备用位置”
在这里，我将 /usr/src/frama-c 定义为位置
点击完成后，frama-c-functions 的自动补全功能可用。

->目标达到。

其他人可能遇到的问题：框架更新 -> 源代码不会更新，因为手动添加 -> 可能没有提供功能（与我无关，项目不够大，框架变化很多）

感谢 Lucky J. 的帮助 :)

【讨论】：