From 4fa5b9f1173f4d45c0f01d573392c9adcb4269eb Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 19 Jun 2003 17:54:03 +0000 Subject: [PATCH] * mquery_interpreter logging and debugging activated * bug fixed: the universe of the complete search pattern must exclude the InBody occurrences --- helm/gTopLevel/gTopLevel.ml | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/helm/gTopLevel/gTopLevel.ml b/helm/gTopLevel/gTopLevel.ml index e3f498931..83947a24a 100644 --- a/helm/gTopLevel/gTopLevel.ml +++ b/helm/gTopLevel/gTopLevel.ml @@ -43,7 +43,10 @@ module MQG = MQueryGenerator (* GLOBAL CONSTANTS *) +let mqi_flags = [MQIC.Postgres ; MQIC.Stat ; MQIC.Warn ; MQIC.Log] (* default MathQL interpreter options *) +(* let mqi_flags = [] (* default MathQL interpreter options *) +*) let mqi_handle = MQIC.init mqi_flags prerr_string let xlinkns = Gdome.domString "http://www.w3.org/1999/xlink";; @@ -1920,7 +1923,16 @@ let completeSearchPattern () = let metasenv,expr = inputt#get_metasenv_and_term ~context:[] ~metasenv:[] in let must = MQueryLevels2.get_constraints expr in let must',only = refine_constraints must in - let query = MQG.query_of_constraints None must' only in + let query = + MQG.query_of_constraints + (Some + ["http://www.cs.unibo.it/helm/schemas/schema-helm#MainConclusion" ; + "http://www.cs.unibo.it/helm/schemas/schema-helm#MainHypothesis" ; + "http://www.cs.unibo.it/helm/schemas/schema-helm#InConclusion" ; + "http://www.cs.unibo.it/helm/schemas/schema-helm#InHypothesis" + ]) + must' only + in let results = MQI.execute mqi_handle query in show_query_results results with -- 2.39.2