Updated semantic notes on <pattern>

[helm.git] / helm / mathql / grammar.txt

diff --git a/helm/mathql/grammar.txt b/helm/mathql/grammar.txt
index a9fbcf214f1279e9ea368a9ee92301a0cdaaadb0..1408b0d2475267cd9e15e4bb3bca027db01b8280 100644 (file)
--- 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 <pattern>
+  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 (tutti gli altri si).