package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

sha256=d2fbb3b8d0ff83945872e9e6fa258e934a706360e698dae3b4d5f971addf7493

Dialog for choosing a file. The default file type is `FILE.

inherit string Frama_c_gui.Widget.signal

method add_filter : descr:string -> patterns:string list -> unit

method select : ?dir:string -> ?file:string -> unit -> unit

Open the dialog. The selected file is signaled via the connected listeners.