--- layout: fc_discuss_archives title: Message 18 from Frama-C-discuss on March 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Inserting global annotation into the AST



Hello,

I want to define global annotations that are associated to functions and
insert these into the AST. I use an inplace visitor and I want to
generate the global annotations in method vfunc, as they are associated
to the function being visited. I assume that I can't insert these
annotations by overriding vglob_aux as vglob_aux wouldn't be invoked if
there were no globals in the original source. Also, I want the global
annotations the be inserted before the function definition.

Are the functions that can be used for that purpose?
-- 
Best regards,
Boris