Frama-C:
Plug-ins:
Libraries:

Frama-C API - MAKE_CUSTOM_LIST

A functor to build custom Gtk lists. You'll probably prefer to use the highlevel custom models in the next module named Custom.List. It may be part of a future lablgtk release. Do not change anything without changing lablgtk svn.

Parameters

module A : sig ... end

Signature

type custom_list = {
  1. finfo : A.t;
  2. fidx : int;
}
val inbound : int -> 'a array -> bool
class custom_list_class : GTree.column_list -> object ... end
val custom_list : unit -> custom_list_class
val make_view_column : custom_list_class -> ['b, 'a] GTree.cell_renderer_skel -> (A.t -> 'a list) -> title:string -> GTree.view_column