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