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

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