使用eclipse進行Frama-C開發：自動完成在某些情況下不起作用

Question

我正在開發一個Frama-C插件。 我使用Eclipse進行開發。 如果我編寫“普通”OCaml函數調用（自己的函數和系統函數），工具提示會顯示我可用的函數。 例如：如果我鍵入String.i eclipse在框中提供String.iter和其他函數作為可能性。

如果我想調用一個frama-c函數，比如Ast.g表示Ast.get()或Db.Value. ，這不起作用，沒有提供匹配功能的信息。

是否有可能激活它？

Answer 1

我終於找到了適合我的解決方案：

1. 我從Frama-C網站下載了源代碼。

2. 我將src-folder的內容復制到/ usr / src / frama-c

3. 我在我的項目中添加了一個文件夾（在我自己的.ml文件所在的目錄中）

4. 創建時 - >點擊高級 - >“鏈接到備用位置”

5. 在這里，我將/ usr / src / frama -c定義為位置

6. 單擊Finish后，可以使用frama-c-functions的自動完成功能。

- >達成目標。

其他可能的問題：框架的更新 - >源不會更新，因為手動添加 - >可能沒有提供功能（與我無關，項目不夠大，有很多框架更改）

謝謝Lucky J.的幫助:)