From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 15 Oct 2002 16:04:30 +0000 (+0000)
Subject: support for topLevel switch -s added
X-Git-Tag: new_mathql_before_first_merge~2
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=637eb6adc7e25105a7d317a280d553826f8c5369;p=helm.git

support for topLevel switch -s added
---

diff --git a/helm/ocaml/mathql_interpreter/mqint.ml b/helm/ocaml/mathql_interpreter/mqint.ml
index 89f635aff..c45f9dee8 100644
--- a/helm/ocaml/mathql_interpreter/mqint.ml
+++ b/helm/ocaml/mathql_interpreter/mqint.ml
@@ -51,10 +51,12 @@ let check () = Dbconn.pgc ()
 
 exception BooleExpTrue
 
-let stat = ref true
+let stat = ref false
 
 let set_stat b = stat := b
 
+let get_stat () = ! stat
+
 (* valuta una MathQL.set_exp e ritorna un MathQL.resource_set *)
 
 let rec exec_set_exp c = function
diff --git a/helm/ocaml/mathql_interpreter/mqint.mli b/helm/ocaml/mathql_interpreter/mqint.mli
index d7dcf9ebc..e969e5c66 100644
--- 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 *)