X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2FgtkArgv.ml;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0%2FgtkArgv.ml;h=0000000000000000000000000000000000000000;hp=5e60c8d5e420e9d0bac69d9d9dd16f4a55f66c54;hb=869549224eef6278a48c16ae27dd786376082b38;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8

diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gtkArgv.ml b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gtkArgv.ml
deleted file mode 100644
index 5e60c8d5e..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0/gtkArgv.ml
+++ /dev/null
@@ -1,106 +0,0 @@
-(* $Id$ *)
-
-open Gaux
-open Gtk
-
-type data =
-  | NONE
-  | CHAR of char
-  | BOOL of bool
-  | INT of int
-  | FLOAT of float
-  | STRING of string option
-  | OBJECT of unit obj option
-  | POINTER of Gpointer.boxed option
-
-type 'a result =
-  [ `NONE
-  | `CHAR of char | `BOOL of bool | `INT of int
-  | `UINT of int32 | `LONG of nativeint | `ULONG of nativeint
-  | `FLOAT of float | `DOUBLE of float
-  | `STRING of string option | `ENUM of int | `FLAGS of int32
-  | `BOXED of Gpointer.boxed option
-  | `POINTER of Gpointer.boxed option
-  | `OBJECT of 'a obj option ]
-
-module Arg = struct
-  type t
-  external shift : t -> pos:int -> t = "ml_gtk_arg_shift"
-  external get_type : t -> gtk_type = "ml_gtk_arg_get_type"
-  external get : t -> data = "ml_gtk_arg_get"
-  external set_retloc : t -> 'a result -> unit = "ml_gtk_arg_set_retloc"
-  external get_pointer : t -> Gpointer.boxed = "ml_gtk_arg_get_pointer"
-  external get_nativeint : t -> nativeint = "ml_gtk_arg_get_nativeint"
-
-  (* Safely get an argument *)
-  (*
-  external get_char : t -> char = "ml_gtk_arg_get_char"
-  external get_bool : t -> bool = "ml_gtk_arg_get_bool"
-  external get_int : t -> int = "ml_gtk_arg_get_int"
-  external get_float : t -> float = "ml_gtk_arg_get_float"
-  external get_string : t -> string option = "ml_gtk_arg_get_string"
-  external get_object : t -> unit obj option = "ml_gtk_arg_get_object"
-  *)
-  (* Safely set a result
-     Beware: this is not the opposite of get, arguments and results
-     are two different ways to use GtkArg. *)
-  (*
-  external set_char : t -> char -> unit = "ml_gtk_arg_set_char"
-  external set_bool : t -> bool -> unit = "ml_gtk_arg_set_bool"
-  external set_int : t -> int -> unit = "ml_gtk_arg_set_int"
-  external set_nativeint : t -> nativeint -> unit = "ml_gtk_arg_set_nativeint"
-  external set_float : t -> float -> unit = "ml_gtk_arg_set_float"
-  external set_string : t -> string -> unit = "ml_gtk_arg_set_string"
-  external set_pointer : t -> Gpointer.boxed -> unit = "ml_gtk_arg_set_pointer"
-  external set_object : t -> 'a obj -> unit = "ml_gtk_arg_set_object"
-  *)
-end
-
-open Arg
-type raw_obj
-type t = { referent: raw_obj; nargs: int; args: Arg.t }
-let nth arg ~pos =
-  if pos < 0 || pos >= arg.nargs then invalid_arg "GtkArg.Vect.nth";
-  shift arg.args ~pos
-let result arg =
-  if arg.nargs < 0 then invalid_arg "GtkArgv.result";
-  shift arg.args ~pos:arg.nargs
-external wrap_object : raw_obj -> unit obj = "Val_GtkObject"
-let referent arg =
-  if arg.referent == Obj.magic (-1) then invalid_arg "GtkArgv.referent";
-  wrap_object arg.referent
-let get_result_type arg = get_type (result arg)
-let get_type arg ~pos = get_type (nth arg ~pos)
-let get arg ~pos = get (nth arg ~pos)
-let set_result arg = set_retloc (result arg)
-
-let get_args arg =
-  let rec loop args ~pos =
-    if pos < 0 then args
-    else loop (get arg ~pos :: args) ~pos:(pos-1)
-  in loop [] ~pos:(arg.nargs - 1)
-
-let get_pointer arg ~pos = get_pointer (nth arg ~pos)
-let get_nativeint arg ~pos = get_nativeint (nth arg ~pos)
-
-(*
-let get_char arg ~pos = get_char (nth arg ~pos)
-let get_bool arg ~pos = get_bool (nth arg ~pos)
-let get_int arg ~pos = get_int (nth arg ~pos)
-let get_float arg ~pos = get_float (nth arg ~pos)
-let get_string arg ~pos = get_string (nth arg ~pos)
-let get_object arg ~pos = get_object (nth arg ~pos)
-let set_result_char arg = set_char (result arg)
-let set_result_bool arg = set_bool (result arg)
-let set_result_int arg = set_int (result arg)
-let set_result_nativeint arg = set_nativeint (result arg)
-let set_result_float arg = set_float (result arg)
-let set_result_string arg = set_string (result arg)
-let set_result_pointer arg = set_pointer (result arg)
-let set_result_object arg = set_object (result arg)
-*)
-
-external string_at_pointer : ?pos:int -> ?len:int -> Gpointer.boxed -> string
-    = "ml_string_at_pointer"
-external int_at_pointer : Gpointer.boxed -> int
-    = "ml_int_at_pointer"