support for topLevel switch -s added

[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 d7dcf9ebcd2f35e23f1d517f3a715d8c294ee176..e969e5c663cf6ad053733a3cf8feaa03a9a40f25 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mqint.mli
+++ b/helm/ocaml/mathql_interpreter/mqint.mli
@@ -23,10 +23,14 @@
  * 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 -> Postgres.connection   (* controllo connessione *)
+val check    : unit -> Postgres.connection   (* check connection *)
+
+val set_stat : bool -> unit                  (* set stat emission *)
+
+val get_stat : unit -> bool                  (* check stat emission *)