helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/radtest/property.mli

   1 (* $Id$ *)
   2
   3 open Gtk.Tags
   4 open Common
   5
   6 class virtual vprop :
   7   name:string ->                (* property's name *)
   8   init:string ->                (* default value *)
   9   set:('a -> bool) ->
  10   object
  11     val name : string
  12     val mutable s : string
  13     method code : string        (* encoded value *)
  14     method get : string
  15     method modified : bool
  16     method name : string
  17     method private virtual parse : string -> 'a
  18     method virtual range : range
  19     method save_code : string
  20     method set : string -> unit
  21   end
  22
  23 class prop_int :
  24   name:string -> init:string -> set:(int -> bool) -> prop
  25
  26 class prop_float :
  27   name:string ->
  28   init:string -> min:float -> max:float -> set:(float -> bool) -> prop
  29
  30 class prop_string :
  31   name:string -> init:string -> set:(string -> bool) -> prop
  32
  33 class prop_bool :
  34   name:string -> init:string -> set:(bool -> bool) -> prop
  35 (*
  36 class prop_variant :
  37   values:(string * 'a) list ->
  38   name:string -> init:string -> set:('a -> bool) -> prop
  39 *)
  40 class prop_shadow :
  41   name:string -> init:string -> set:(shadow_type -> bool) -> prop
  42
  43 class prop_policy :
  44   name:string -> init:string -> set:(policy_type -> bool) -> prop
  45
  46 class prop_orientation :
  47   name:string ->
  48   init:string -> set:(Gtk.Tags.orientation -> bool) -> prop
  49
  50 class prop_toolbar_style :
  51   name:string ->
  52   init:string -> set:(Gtk.Tags.toolbar_style -> bool) -> prop
  53
  54 class prop_toolbar_space_style :
  55   name:string -> init:string -> set:([ `EMPTY | `LINE] -> bool) -> prop
  56
  57 class prop_relief_style :
  58   name:string ->
  59   init:string -> set:(Gtk.Tags.relief_style -> bool) -> prop
  60
  61 class prop_position :
  62   name:string ->
  63   init:string -> set:(Gtk.Tags.position -> bool) -> prop
  64
  65 class prop_combo_use_arrows :
  66   name:string ->
  67   init:string -> set:([ `NEVER | `DEFAULT | `ALWAYS] -> bool) -> prop
  68
  69 class prop_spin_button_update_policy :
  70   name:string ->
  71   init:string -> set:(Gtk.Tags.spin_button_update_policy -> bool) -> prop
  72
  73 class prop_button_box_style :
  74   name:string ->
  75   init:string -> set:(Gtk.Tags.button_box_style -> bool) -> prop
  76
  77 class prop_update_type :
  78   name:string ->
  79   init:string -> set:(Gtk.Tags.update_type -> bool) -> prop
  80
  81 class prop_enum_dyn :
  82   values:(unit -> string list) -> name:string ->
  83   init:string -> set:(unit -> bool) -> prop
  84
  85 class prop_adjustment :
  86   name:string -> init:string ->
  87     set:(float * float * float * float * float -> bool) -> prop
  88
  89 class prop_clist_titles :
  90   name:string -> init:string ->
  91     set:(string list -> bool) -> prop
  92
  93 class prop_file :
  94   name:string -> init:string -> set:(string -> bool) -> prop
  95
  96