Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[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>