From 58848ea9446dd2d55da06bbd5fc8b0eea68735df Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Mon, 20 May 2002 15:09:22 +0000 Subject: [PATCH] dded semantic notes on --- helm/mathql/grammar.txt | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/helm/mathql/grammar.txt b/helm/mathql/grammar.txt index a9fbcf214..a7587fdd0 100644 --- a/helm/mathql/grammar.txt +++ b/helm/mathql/grammar.txt @@ -99,3 +99,16 @@ MATHEMATICAL QUERY LANGUAGE (MathQL) teorema ci sono? - L'ordinamento di default e' quello alfabetico crescente in base al nome delle rvar +- Note su + Contiene un'espressione regolare per selezionare delle "reference" + (cioe` delle uri eventualmente seguite da un fragment identifier) + L'espressione regolare contiene i seguenti costrutti: + + costrutto semanticamente fa match con + ? un singolo carattere diverso da / e # + * la piu' lunga sottostringa che non contiene / e # + ** la piu' lunga sottostringa che non contiene # + altro carattere solo se' stesso + + Il costrutto ** non puo' comparire nella parte dell'espressione che + fa match con un fragment identifier. -- 2.39.2