source_files_chooser_host
inherit host
method main_window : GWindow.window_skel
method reset : unit -> unit
Frama-C