--- layout: fc_discuss_archives title: Message 50 from Frama-C-discuss on November 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] RE : Problem on Plugin development with WP plugin



Thank you very much.
It's helpful.

-david
On Nov 7, 2013 10:10 PM, "SIGNOLES Julien" <julien.signoles at cea.fr> wrote:

> Hello,
>
> The documentation is actually misleading. I will fix it. Anyway you can
> access to this function by writing the following code:
> ==========
> let () = Dynamic.load_module "Wp"
> module Wpo = Type.Abstract(struct let name = "Wpo.po" end)
> let iter_on_goals =
>   Dynamic.get ~plugin:"Wp" "Wpo.iter_on_goals"
>     (Datatype.func (Datatype.func Wpo.ty Datatype.unit) Datatype.unit)
> ==========
>
> Hope this helps,
> Julien
> ________________________________________
> De : frama-c-discuss-bounces at lists.gforge.inria.fr [
> frama-c-discuss-bounces at lists.gforge.inria.fr] de la part de David Yang [
> abiao.yang at gmail.com]
> Date d'envoi : vendredi 1 novembre 2013 21:01
> ? : Frama-C public discussion
> Objet : [Frama-c-discuss] Problem on Plugin development with WP plugin
>
> Dear all,
>
> Is there anybody who used the api of frama-c dynamic plugins before?
>
> Here i have a problem on using the api of Wp dynamic plugin:
>
> This is an example interface of the Dynamic_plugins.Wp.Wpo :
>
> val iter_on_goals : (po -> unit) -> unit
> Access it by Dynamic.get ~plugin:"Wp.Wpo" "iter_on_goals"
> (Datatype.func (Datatype.func Wpo.ty Datatype.unit) Datatype.unit)
>
> while i accessing this interface by using:
>
> let iter_on_goals =
>     Dynamic.get ~plugin:"Wp.Wpo" "iter_on_goals" (Datatype.func
> (Datatype.func Wpo.ty Datatype.unit) Datatype.unit)
> in
>
>
> Then, I compiled my plugin with make, an Error came with:
> "Error: Unbound module Wpo"
>
> I couldn't open the Wpo module like open other frama-c kernel
> modules(e.g. Db moudle and Cil_types module). So i don't know how to
> fix this problem.
>
> Any suggestion on using these dynamic frama-c apis?
>
> Thank you very much and looking forward to hearing from you.
>
> Best regards,
> -Yibiao
>
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
>
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20131108/f94f6e0c/attachment.html>