Old modules (use.ml/mli, eval.ml/mli,...) eliminated.

[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 55836d94033210a8150279210c3171d69aa9f89f..f6f8827c617d12f7c802448120844ab0189897b5 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mqint.mli
+++ b/helm/ocaml/mathql_interpreter/mqint.mli
@@ -23,23 +23,14 @@
  * 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 *)
 
-(*
- * esecuzione di query
- *)
-val execute: mquery -> mqresult;;
+val check    : unit -> unit                  (* check connection *)
 
-(*
- * chiusura del database
- *)
-val close: unit -> unit
+val set_stat : bool -> unit                  (* set stat emission *)
+
+val get_stat : unit -> bool                  (* check stat emission *)