X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fmqint.mli;h=4145153088bd8a059b1f96ff30f861486e1dbd5b;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=55836d94033210a8150279210c3171d69aa9f89f;hpb=8abd42ec1af0d5daef1d026ec550b49b07de8340;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mqint.mli b/helm/ocaml/mathql_interpreter/mqint.mli
index 55836d940..414515308 100644
--- a/helm/ocaml/mathql_interpreter/mqint.mli
+++ b/helm/ocaml/mathql_interpreter/mqint.mli
@@ -23,23 +23,24 @@
  * http://cs.unibo.it/helm/.
  *)
 
-(*
- * interfaccia dell'interprete MathQL
- *)
+val init         : string -> unit                (* open database *)
 
-open Mathql;;
+val execute      : MathQL.query -> MathQL.result (* execute query *)
 
-(*
- * inizializzazione del database
- *)
-val init: unit -> unit
+val close        : unit -> unit                  (* close database *)
+
+val check        : unit -> unit                  (* check connection *)
+
+val set_stat     : bool -> unit                  (* set stat emission *)
+
+val get_stat     : unit -> bool                  (* check stat emission *)
+
+val postgres_db   : string			 (* postgres *)	
+
+val galax_db     : string			 (* galax *)
+
+val set_database : string -> unit                (* switch postgres/galax *)
+
+val get_database : unit -> string                (* check db used *)
 
-(*
- * esecuzione di query
- *)
-val execute: mquery -> mqresult;;
 
-(*
- * chiusura del database
- *)
-val close: unit -> unit