--- layout: fc_discuss_archives title: Message 56 from Frama-C-discuss on June 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Use of a deprecated function: Dynamic.Main.extend



Hello,

St?phane Duprat a ?crit :
> Hi,
> 
> When I use Dynamic.Main.extend as in the Hello World exemple, I receive 
> the message "Use of a deprecated function: Dynamic.Main.extend" when I 
> run Frama-C.
> What is the new function for that ?

That is Db.Main.extend. Maybe the message should mention that.

The "hello world" example of the plug-in development guide 
(http://frama-c.cea.fr/download/plug-in_development_guide.pdf) uses the 
right function (Section 2.1.3, page 13), but you're right: the "hello 
world" example in the source distribution (directory 
src/dummy/hello_world) uses this deprecated function.

Hope this helps,
Julien Signoles