Initial revision

[helm.git] / helm / ocaml / mathql_interpreter / mqint.mli

diff --git a/helm/ocaml/mathql_interpreter/mqint.mli b/helm/ocaml/mathql_interpreter/mqint.mli
index f6f8827c617d12f7c802448120844ab0189897b5..4145153088bd8a059b1f96ff30f861486e1dbd5b 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mqint.mli
+++ b/helm/ocaml/mathql_interpreter/mqint.mli
@@ -23,14 +23,24 @@
  * http://cs.unibo.it/helm/.
  *)
 
-val init     : string -> unit                (* open database *)
+val init         : string -> unit                (* open database *)
 
-val execute  : MathQL.query -> MathQL.result (* execute query *)
+val execute      : MathQL.query -> MathQL.result (* execute query *)
 
-val close    : unit -> unit                  (* close database *)
+val close        : unit -> unit                  (* close database *)
 
-val check    : unit -> unit                  (* check connection *)
+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 *)
 
-val set_stat : bool -> unit                  (* set stat emission *)
 
-val get_stat : unit -> bool                  (* check stat emission *)