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
- See Also:
Pattern
Constructor Summary |
PatternSearchMatcher(java.util.regex.Pattern re,
boolean ignoreCase)
Creates a new regular expression already compiled. |
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. |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
PatternSearchMatcher
public PatternSearchMatcher(java.lang.String search,
boolean ignoreCase)
- Creates a new regular expression string matcher.
- Parameters:
search
- the search patternignoreCase
- true
if you want to ignore case- Since:
- jEdit 4.3pre5
- See Also:
Pattern
PatternSearchMatcher
public PatternSearchMatcher(java.util.regex.Pattern re,
boolean ignoreCase)
- Creates a new regular expression already compiled.
- Parameters:
re
- the compiled regexignoreCase
- true
if you want to ignore case- Since:
- jEdit 4.3pre13
- See Also:
Pattern
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.
Reverse regex search is done by searching from the beginning to
just prior to the current match, so will be inefficient for large
buffers.
- Specified by:
nextMatch
in class SearchMatcher
- Parameters:
text
- The text to search instart
- True if the start of the text is the beginning of a lineend
- True if the end of the text is the end of a linefirstTime
- If false and the search string matched at the start
offset with length zero, automatically find next matchreverse
- If true, searching will be performed in a backward
direction.
- Returns:
- A
SearchMatcher.Match
object.
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object