From: Paolo Marinelli Date: Wed, 26 Mar 2003 15:41:22 +0000 (+0000) Subject: added an example of a long fxgrep expression X-Git-Tag: before_refactoring~83 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0651430b19393f32927b4ee8d7a210eff8ba97e6;p=helm.git added an example of a long fxgrep expression --- diff --git a/helm/DEVEL/mathml_editor/doc/spec.tex b/helm/DEVEL/mathml_editor/doc/spec.tex index de575c719..93ca81a76 100644 --- a/helm/DEVEL/mathml_editor/doc/spec.tex +++ b/helm/DEVEL/mathml_editor/doc/spec.tex @@ -406,6 +406,19 @@ cursor with \ONODE{}, append $\tadvance$ after the \ONODE{} node \begin{description} + %********* rules that try to express situations completely specified (there is an effective deletion) ****** + + % in the rules below, a token is either an i node, an n node, an o node, an s node or an empty c node. + % an empty c node is either an undefined macro or an empty macro. These c node are handled as they actually were + % tokens (i, n, o, s). + + % there is an optional sequence of groups with id, all of which having one and only one child. The last + % child of this sequence (or the root, if the sequence is empty) is a group with id, has as first element a + % token and has as second and last element an eventually empty sequence of groups with id, all of which having + %one and only one child. The last element of this sequence has the cursor as its child. + \item{\verb+(g[@id][^*$]/++\verb+)?g[@id][^(i|n|o|s|c[ ])#$]/(g[@id][^*$]/++\verb+)?cursor+}\\ + replace the whole fragment with the cursor. + %******************************************************************************************************* %************** rules handling the case in which the cursor has a preceding node *********************** %*******************************************************************************************************