package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

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.