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

[Frama-c-discuss] Problem between Project change and modifying Ast information through visitors



Pierre-Lo?c Garoche a ?crit :
> I'm trying to update some information of the ast using the visitors provided in the Frama-C API.
> I followed the exemple of the plugin dev manual without success.
> 
> My goal is just to update the value of the mutable annotation status.

Maybe you should try to use :
   Db.Properties.Status.CodeAnnotation.update
function ?
I think that the status is not stored in the AST anymore
(but I might be wrong...)

Hope it will help.
-- 
Anne.