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

[Frama-c-discuss] navigating the Pretty_source and Source_viewer



Hello,

Appologies for the specific technical question but I spent a few hours
searching the documentation and am still stuck. I am writing a GUI for
one of our plugins and I cant figure out how to cause the Pretty_source
and Source_viewer to navigate to a particular Cil_types.kinstr of
interest. Ideally I would like the same behaviour as clicking on
functions within the file tree.

Any advice on where to look would be greatly appreciated.

Kind Regards
Damien