package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
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.