Frama-C:
Plug-ins:
Libraries:

Frama-C API - pane

method show : Wp.Wpo.t -> unit
method on_click : (Wp.Wpo.t -> Wp.VCS.prover option -> unit) -> unit
method on_right_click : (Wp.Wpo.t -> Wp.VCS.prover option -> unit) -> unit
method on_double_click : (Wp.Wpo.t -> Wp.VCS.prover option -> unit) -> unit
method reload : unit
method update : Wp.Wpo.t -> unit
method update_all : unit
method count_selected : int
method on_selection : (int -> unit) -> unit
method iter_selected : (Wp.Wpo.t -> unit) -> unit
method add : Wp.Wpo.t -> unit
method size : int
method index : Wp.Wpo.t -> int
method get : int -> Wp.Wpo.t
method coerce : GObj.widget