X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2Fapplications%2Fradtest%2Fproperty.mli;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2Fapplications%2Fradtest%2Fproperty.mli;h=ccf265077577bcaf06a2cbb38f94dcb6e7f6f7c1;hb=7aa91a2cd4497f68ebf5b9dd85b5f2c791f738a1;hp=0000000000000000000000000000000000000000;hpb=044a71416237d8e2b575678b5f49b8c9380ca409;p=helm.git

diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/radtest/property.mli b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/radtest/property.mli
new file mode 100644
index 000000000..ccf265077
--- /dev/null
+++ b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/applications/radtest/property.mli
@@ -0,0 +1,96 @@
+(* $Id$ *)
+
+open Gtk.Tags
+open Common
+
+class virtual vprop :
+  name:string ->		(* property's name *)
+  init:string ->		(* default value *)
+  set:('a -> bool) ->
+  object
+    val name : string
+    val mutable s : string
+    method code : string	(* encoded value *)
+    method get : string
+    method modified : bool
+    method name : string
+    method private virtual parse : string -> 'a
+    method virtual range : range
+    method save_code : string
+    method set : string -> unit
+  end
+
+class prop_int :
+  name:string -> init:string -> set:(int -> bool) -> prop
+
+class prop_float :
+  name:string ->
+  init:string -> min:float -> max:float -> set:(float -> bool) -> prop
+
+class prop_string :
+  name:string -> init:string -> set:(string -> bool) -> prop
+
+class prop_bool :
+  name:string -> init:string -> set:(bool -> bool) -> prop
+(*
+class prop_variant :
+  values:(string * 'a) list ->
+  name:string -> init:string -> set:('a -> bool) -> prop
+*)
+class prop_shadow :
+  name:string -> init:string -> set:(shadow_type -> bool) -> prop
+
+class prop_policy :
+  name:string -> init:string -> set:(policy_type -> bool) -> prop
+
+class prop_orientation :
+  name:string ->
+  init:string -> set:(Gtk.Tags.orientation -> bool) -> prop
+
+class prop_toolbar_style :
+  name:string ->
+  init:string -> set:(Gtk.Tags.toolbar_style -> bool) -> prop
+
+class prop_toolbar_space_style :
+  name:string -> init:string -> set:([ `EMPTY | `LINE] -> bool) -> prop
+
+class prop_relief_style :
+  name:string ->
+  init:string -> set:(Gtk.Tags.relief_style -> bool) -> prop
+
+class prop_position :
+  name:string ->
+  init:string -> set:(Gtk.Tags.position -> bool) -> prop
+
+class prop_combo_use_arrows :
+  name:string ->
+  init:string -> set:([ `NEVER | `DEFAULT | `ALWAYS] -> bool) -> prop
+
+class prop_spin_button_update_policy :
+  name:string ->
+  init:string -> set:(Gtk.Tags.spin_button_update_policy -> bool) -> prop
+
+class prop_button_box_style :
+  name:string ->
+  init:string -> set:(Gtk.Tags.button_box_style -> bool) -> prop
+
+class prop_update_type :
+  name:string ->
+  init:string -> set:(Gtk.Tags.update_type -> bool) -> prop
+
+class prop_enum_dyn :
+  values:(unit -> string list) -> name:string ->
+  init:string -> set:(unit -> bool) -> prop
+
+class prop_adjustment :
+  name:string -> init:string ->
+    set:(float * float * float * float * float -> bool) -> prop
+
+class prop_clist_titles :
+  name:string -> init:string ->
+    set:(string list -> bool) -> prop
+
+class prop_file :
+  name:string -> init:string -> set:(string -> bool) -> prop
+
+