Frama-C API - `warray`

inherit Frama_c_gui.Widget.widget

method set_entry : ('a -> entry) -> unit

Install the new-entry creator.

method set : 'a list -> unit

method get : 'a list

method mem : 'a -> bool

method append : 'a -> unit

method insert : ?after:'a -> 'a -> unit

method remove : 'a -> unit

method update : unit -> unit

Request update on each entry.