package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

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

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.

OCaml

Innovation. Community. Security.