Search code examples
eclipseautocompleteocamlframa-c

Frama-C development with eclipse: autocompletion not working in some cases

I am developing a Frama-C plugin. I use Eclipse for the development. If I write "normal" OCaml-function-calls (of own functions and system-functions), the tooltip shows me available functions. For example: if I type String.i eclipse provides String.iter and other functions as possibilities in a box.

If I want to call a frama-c function, like Ast.g for Ast.get(), or Db.Value., this doesn't work that way, no information of matching functions is provided.

Is it possible to activate that?

Solution

  • I finally found a solution that works for me:

    1. I downloaded the sources from the Frama-C site.

    2. I copied the content of the src-folder to /usr/src/frama-c

    3. I added a folder to my project (in the directory where my own .ml-files are located)

    4. When creating -> click on advanced -> "Link to alternate location"

    5. Here, I defined /usr/src/frama-c as location

    6. After clicking on Finish, the autocompletion for the frama-c-functions are available.

    ->Goal reached.

    Possible Problems for others: Update of the framework -> The sources will not be updated, because manually added -> Functions may be not provided (not relevant for me, project not big enough that there are lots of framework-changes)

    Thanks Lucky J. for the help :)