--- layout: fc_discuss_archives title: Message 50 from Frama-C-discuss on November 2013 ---
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>