Rev 4562 | Rev 5921 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 4562 | Rev 5766 | ||
---|---|---|---|
Line 2... | Line 2... | ||
2 | $lst_tit positionof$lst_titend$type_both |
2 | $lst_tit positionof$lst_titend$type_both |
3 | $lst_alias position, positions |
3 | $lst_alias position, positions |
4 | $(lst_syntax)positionof [$(emph)type$emphend] $emph s $emphend in $emph |
4 | $(lst_syntax)positionof [$(emph)type$emphend] $emph s $emphend in $emph |
5 | string$emphend</tt> |
5 | string$emphend</tt> |
6 | $lst_mean Reports the positions of the object $emph s $emphend in |
6 | $lst_mean Reports the positions of the object $emph s $emphend in |
7 | $emph string$emphend. <br> |
7 | $emph string$emphend. <br/> |
8 | $emph type$emphend can be <tt>char</tt>, <tt>word</tt>, <tt>item</tt> or |
8 | $emph type$emphend can be <tt>char</tt>, <tt>word</tt>, <tt>item</tt> or |
9 | <tt>line</tt>. If it is specified, then the comparison only takes place for |
9 | <tt>line</tt>. If it is specified, then the comparison only takes place for |
10 | corresponding objects of $emph string$emphend which are identical to |
10 | corresponding objects of $emph string$emphend which are identical to |
11 | $emph s$emphend. <br> |
11 | $emph s$emphend. <br/> |
12 | The output of the command is a list of positions (char, word, item or |
12 | The output of the command is a list of positions (char, word, item or |
13 | line, according to the value of $emph type$emphend) where $emph s$emphend |
13 | line, according to the value of $emph type$emphend) where $emph s$emphend |
14 | is found in $emph string$emphend. <br> |
14 | is found in $emph string$emphend. <br/> |
15 | If $emph type$emphend is missing, then $emph s$emphend is searched in |
15 | If $emph type$emphend is missing, then $emph s$emphend is searched in |
16 | $emph string $emphend as a substring, and the positions reported are |
16 | $emph string $emphend as a substring, and the positions reported are |
17 | character positions. |
17 | character positions. |
18 | 18 | ||
19 | 19 |