2856
2857
2858
2859
2860
2861
2862
2863
2864
2865
2866
2867
2868
2869
|
-
Push zero to the stack.
*
Update the current choice point with the location and direction.
_
Push a mark to the stack.
again
End a block with begin or if, allowing it to occur more than once; it
is repeated until it no longer matches. If the first word is begin,
then it must match at least once; if it is if, then it can match zero
|
>
>
>
>
>
>
>
>
>
>
>
|
2856
2857
2858
2859
2860
2861
2862
2863
2864
2865
2866
2867
2868
2869
2870
2871
2872
2873
2874
2875
2876
2877
2878
2879
2880
|
-
Push zero to the stack.
*
Update the current choice point with the location and direction.
/
Succeeds only if the pattern prior to this command succeeds but the
pattern after this command (which still has the same state as the
prior pattern) fails. This should not be used inside of loops and
should not be used in a (P*) or (,P*) or (=P*) block. If this command
occurs more than once, then the most recent / that is successfully
matched determines the return value if the final match fails.
,/
Undoes the effect of the / command.
_
Push a mark to the stack.
again
End a block with begin or if, allowing it to occur more than once; it
is repeated until it no longer matches. If the first word is begin,
then it must match at least once; if it is if, then it can match zero
|