1
Я разрабатываю плагин Frama-C. Я использую Eclipse для разработки. Если я пишу «обычные» OCaml-функции-вызовы (собственных функций и системных функций), всплывающая подсказка показывает мне доступные функции. Например: если я набираю String.i, eclipse предоставляет String.iter и другие функции как возможности в коробке.Разработка Frama-C с затмением: автозаполнение не работает в некоторых случаях
Если я хочу вызвать функцию frama-c, например Ast.g для Ast.get(), или Db.Value., это не работает, информация о соответствующих функциях не предоставляется.
Можно ли активировать это?
вы настроили свой проект таким образом, что Eclipse, знает, где находятся (или соусы интерфейс) функций Frama-с? –
Я добавил/usr/share/frama-c и/usr/lib/frama-c к путям проекта свойств проекта. Я не нашел другого пути, который определен как Frama-C для моей системы. Я не знаю, должен ли путь быть более конкретным, или если есть другой путь к источникам. –
И вы указали, что используете библиотеку с функциями Frama-C? (пути - это одно, а библиотеки - другое) –