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

[Frama-c-discuss] Executing a visitor



Hello,

On 02/09/2012 08:27 AM, Boris Hollas wrote:
> in example 5.14.7 of the plugin-developer guide, the copy visitor is
> initialized with File.create_project_from_visitor. However, this doesn't
> execute the visitor and I get
> [kernel] warning: no input file

This message only indicates that you do not specify any C file on the 
Frama-C command line. It should not be related to your visitor.

> if I try run the plugin on a test c-file. What's missing?

The example provided in the Plug-in Developer Guide is out-of-date and, 
if I remember correctly, it does not compile anymore with the last 
version of Frama-C, even if the call to File.create_project_from_visitor 
should be correct. Thus you probably try something else. What do you 
exactly try?

Best regards,
Julien