X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQIConn.mli;h=b83453ae9683ba8a183233019ff032a88c1d8b79;hb=refs%2Fheads%2Funlabeled-1.4.2;hp=26cb291f9aae70ea3fe62a2e3623c3f1b6fa9082;hpb=39b9497090ee5cc501de1e3d9044d71fdc5cf1fb;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mQIConn.mli b/helm/ocaml/mathql_interpreter/mQIConn.mli
index 26cb291f9..b83453ae9 100644
--- a/helm/ocaml/mathql_interpreter/mQIConn.mli
+++ b/helm/ocaml/mathql_interpreter/mQIConn.mli
@@ -23,25 +23,30 @@
  * http://cs.unibo.it/helm/.
  *)
 
-type flag = Postgres | Galax | Stat | Quiet | Warn
+(*  AUTOR: Ferruccio Guidi <fguidi@cs.unibo.it>
+ *)
+
+type flag = Galax | Postgres | Queries | Result | Source | Times | Warn
 
 val string_of_flags : flag list -> string
 val flags_of_string : string -> flag list
 
-exception InvalidConnection
-
 type handle
 
-val init      : flag list -> (string -> unit) -> handle
+val init      : ?flags:(flag list) -> ?log:(string -> unit) -> unit -> handle
 val close     : handle -> unit
 val connected : handle -> bool
 
-val init_if_connected : flag list -> (string -> unit) -> handle
+val init_if_connected : ?flags:(flag list) -> ?log:(string -> unit) -> unit -> handle
 
 (* The following functions allow to read the handle internal fields. 
  * For exclusive use of the interpreter.  
  *)
 
-val log       : handle -> string -> unit
-val set       : handle -> flag -> bool   
-val pgc       : handle -> Postgres.connection
+val log     : handle -> string -> unit
+val set     : handle -> flag -> bool   
+val pgc     : handle -> Postgres.connection option
+val flags   : handle -> flag list  
+val tables  : handle -> MathQL.path -> MQIMap.pg_tables
+val field   : handle -> MathQL.path -> string -> string
+val resolve : handle -> string -> string