Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

  • Subject: [Frama-c-discuss] navigating the Pretty_source and Source_viewer
  • From: dak at adelard.com (Damien Karkinsky)
  • Date: Thu, 08 Sep 2011 15:17:18 +0100
  • In-reply-to: <CABbVA-C1DnyGVmc4b_0PsQp=5p43rst1o7eDt1SsT=6v9a5vGw@mail.gmail.com>
  • References: <4E68C0E5.1040505@adelard.com> <CABbVA-C1DnyGVmc4b_0PsQp=5p43rst1o7eDt1SsT=6v9a5vGw@mail.gmail.com>
Dear Boris,

Much appreciated !

Kind Regards
Damien

On 08/09/2011 14:28, Boris Yakobowski wrote:
> Hi,
>
> On Thu, Sep 8, 2011 at 3:19 PM, Damien Karkinsky <dak at adelard.com> wrote:
>> 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.
> A Cil_types.kinstr is either Kglobal (which represents nothing, and
> thus cannot be navigated to), or Kstmt of stmt. Thus you actually need
> to navigate to a given statement. The method [view_stmt] of the Design
> module should do what you want. Alternatively, to view other things
> such as declarations, you can use the method [scroll] of the same
> file. The list of [localizable],  that [scroll] scrolls to, is in the
> module Pretty_source.
>
> Hope this helps,
>