From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Mon, 10 May 2004 13:31:57 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Tag: V_0_0_9~55
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=916a0fe8729686889ee4b1d21026904f1c2e4b84

*** empty log message ***
---

diff --git a/helm/ocaml/mathql_interpreter/mQIConn.mli b/helm/ocaml/mathql_interpreter/mQIConn.mli
index f13448834..94ea83f76 100644
--- a/helm/ocaml/mathql_interpreter/mQIConn.mli
+++ b/helm/ocaml/mathql_interpreter/mQIConn.mli
@@ -26,13 +26,23 @@
 (*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
  *)
 
+type connection = MySQL_C    of Mysql.dbd
+                | Postgres_C of Postgres.connection
+		| No_C
+                  
 type flag = Galax | Postgres | Queries | Result | Source | Times | Warn
 
+type handle = {
+   log : string -> unit; (* logging function        *)
+   set : flag list;      (* options                 *)
+   pgc : connection;     (* PG connection           *)
+   pgm : MQIMap.pg_map;  (* PG conversion function  *)
+   pga : MQIMap.pg_alias (* PG table aliases        *)
+}
+
 val string_of_flags : flag list -> string
 val flags_of_string : string -> flag list
 
-type handle
-
 val init      : ?flags:(flag list) -> ?log:(string -> unit) -> unit -> handle
 val close     : handle -> unit
 val connected : handle -> bool