From 9a22b61ab5653633c097f1269d7b05012d17b9e4 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Mon, 18 Nov 2002 12:37:50 +0000 Subject: [PATCH] generator patched for new semantics with structurated attribute names --- helm/gTopLevel/mQueryGenerator.ml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/helm/gTopLevel/mQueryGenerator.ml b/helm/gTopLevel/mQueryGenerator.ml index c05cba1c7..78ce04e6c 100644 --- a/helm/gTopLevel/mQueryGenerator.ml +++ b/helm/gTopLevel/mQueryGenerator.ml @@ -185,7 +185,7 @@ let execute_query query = let locate s = let module M = MathQL in - let q = M.Ref (M.Attribute true M.ExactOp ["objectName"] (M.Const [s])) in + let q = M.Ref (M.Attribute true M.RefineExact ("objectName", []) (M.Const [s])) in execute_query q let backward e c t level = @@ -193,8 +193,8 @@ let backward e c t level = let v_pos = M.Const ["MainConclusion"; "InConclusion"] in let q_where = M.Sub (M.RefOf ( M.Select ("uri", - M.Relation (false, M.ExactOp, ["refObj"], M.RVar "uri0", ["pos"]), - M.Ex ["uri"] (M.Meet (M.VVar "positions", M.Record ("uri", "pos"))) + M.Relation (false, M.RefineExact, ("refObj", []), M.RVar "uri0", ["pos"]), + M.Ex ["uri"] (M.Meet (M.VVar "positions", M.Record ("uri", ("pos", [])))) )), M.VVar "universe" ) in @@ -208,8 +208,8 @@ let backward e c t level = let build_select (r, b, v) = let pos = if b then "MainConclusion" else "InConclusion" in M.Select ("uri", - M.Relation (false, M.ExactOp, ["backPointer"], M.Ref (M.Const [r]), ["pos"]), - M.Ex ["uri"] (M.Sub (M.Const [pos], M.Record ("uri", "pos"))) + M.Relation (false, M.RefineExact, ("backPointer", []), M.Ref (M.Const [r]), ["pos"]), + M.Ex ["uri"] (M.Sub (M.Const [pos], M.Record ("uri", ("pos", [])))) ) in let rec build_intersect = function -- 2.39.2