]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/radtest/property.mli
other files missing in 20001129
[helm.git] / 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