使用 Eclipse 进行 Frama-C 开发：自动完成在某些情况下不起作用
Frama-C development with eclipse: autocompletion not working in some cases
我正在开发一个 Frama-C 插件。我使用 Eclipse 进行开发。
如果我写 "normal" OCaml-function-calls（自己的函数和系统函数），工具提示会显示可用的函数。
例如：如果我键入 String.i，eclipse 会在框中提供 String.iter 和其他功能作为可能性。
如果我想调用 frama-c 函数，例如 Ast.g 用于 Ast.get()，或 Db.Value.，这不会那样工作，没有匹配函数的信息提供。
可以激活吗？
我终于找到了适合我的解决方案：
我从 Frama-C 网站下载了资源。
我把src文件夹的内容复制到/usr/src/frama-c
我在我的项目中添加了一个文件夹（在我自己的 .ml 文件所在的目录中）
创建时->点击高级->"Link to alternate location"
这里我定义/usr/src/frama-c为location
点击完成后，可以使用 frama-c 函数的自动完成。
->目标达成。
其他人可能遇到的问题：
更新框架 -> 不会更新源，因为手动添加 -> 可能不提供功能（与我无关，项目不够大，有很多框架变化）
感谢 Lucky J. 的帮助:)
我正在开发一个 Frama-C 插件。我使用 Eclipse 进行开发。
如果我写 "normal" OCaml-function-calls（自己的函数和系统函数），工具提示会显示可用的函数。
例如：如果我键入 String.i，eclipse 会在框中提供 String.iter 和其他功能作为可能性。
如果我想调用 frama-c 函数，例如 Ast.g 用于 Ast.get()，或 Db.Value.，这不会那样工作，没有匹配函数的信息提供。
可以激活吗？
我终于找到了适合我的解决方案：
我从 Frama-C 网站下载了资源。
我把src文件夹的内容复制到/usr/src/frama-c
我在我的项目中添加了一个文件夹（在我自己的 .ml 文件所在的目录中）
创建时->点击高级->"Link to alternate location"
这里我定义/usr/src/frama-c为location
点击完成后，可以使用 frama-c 函数的自动完成。
->目标达成。
其他人可能遇到的问题： 更新框架 -> 不会更新源，因为手动添加 -> 可能不提供功能（与我无关，项目不够大，有很多框架变化）
感谢 Lucky J. 的帮助:)