From 637eb6adc7e25105a7d317a280d553826f8c5369 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Tue, 15 Oct 2002 16:04:30 +0000 Subject: [PATCH] support for topLevel switch -s added --- helm/ocaml/mathql_interpreter/mqint.ml | 4 +++- helm/ocaml/mathql_interpreter/mqint.mli | 12 ++++++++---- 2 files changed, 11 insertions(+), 5 deletions(-) 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 *) -- 2.39.2