--- layout: fc_discuss_archives title: Message 18 from Frama-C-discuss on March 2012 ---
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