helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/applications/radtest/common.mli

   1 (* $Id$ *)
   2
   3 type range =
   4   |  String
   5   | Int
   6   | Float of float * float
   7   | Enum of string list
   8   | Enum_string of string list
   9   | Adjust
  10   | CList_titles
  11   | File
  12
  13 class type prop =
  14   object
  15     method name : string        (* name of the property *)
  16     method range : range        (* range of its values *)
  17     method get : string         (* current value *)
  18     method set : string -> unit (* change value *)
  19     method modified : bool      (* value differs from default *)
  20     method code : string        (* encoded value for the ml code *)
  21     method save_code : string   (* encoded value for saving *)
  22   end
  23
  24 class type tiwidget_base = object
  25   method name : string
  26   method proplist : (string * prop) list
  27 end