org.gjt.sp.jedit.search
Class PatternSearchMatcher
java.lang.Object
org.gjt.sp.jedit.search.SearchMatcher
org.gjt.sp.jedit.search.PatternSearchMatcher
public class PatternSearchMatcher
- extends SearchMatcher
A regular expression string matcher using java.util.regex.
- Since:
- jEdit 4.3pre5
Constructor Summary |
PatternSearchMatcher(java.lang.String search,
boolean ignoreCase)
Creates a new regular expression string matcher. |
Method Summary |
SearchMatcher.Match |
nextMatch(java.lang.CharSequence text,
boolean start,
boolean end,
boolean firstTime,
boolean reverse)
Returns the offset of the first match of the specified text
within this matcher. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
PatternSearchMatcher
public PatternSearchMatcher(java.lang.String search,
boolean ignoreCase)
- Creates a new regular expression string matcher.
- Since:
- jEdit 4.3pre5
nextMatch
public SearchMatcher.Match nextMatch(java.lang.CharSequence text,
boolean start,
boolean end,
boolean firstTime,
boolean reverse)
- Returns the offset of the first match of the specified text
within this matcher.
- Specified by:
nextMatch
in class SearchMatcher
- Parameters:
text
- The text to search instart
- True if the start of the segment is the beginning
of the bufferend
- True if the end of the segment is the end of the
bufferfirstTime
- If false and the search string matched at the
start offset with length zero, automatically
find next matchreverse
- Unsupported for PatternSearchMatcher. Should
always be "false".
- Returns:
- A
SearchMatcher.Match
object. - Since:
- jEdit 4.3pre5