regexodus.Matcher Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of jtransc-rt Show documentation
Show all versions of jtransc-rt Show documentation
JVM AOT compiler currently generating JavaScript, C++, Haxe, with initial focus on Kotlin and games.
/**
* Copyright (c) 2001, Sergey A. Samokhodkin
* All rights reserved.
*
* Redistribution and use in source and binary forms, with or without modification,
* are permitted provided that the following conditions are met:
*
* - Redistributions of source code must retain the above copyright notice,
* this list of conditions and the following disclaimer.
* - Redistributions in binary form
* must reproduce the above copyright notice, this list of conditions and the following
* disclaimer in the documentation and/or other materials provided with the distribution.
* - Neither the name of jregex nor the names of its contributors may be used
* to endorse or promote products derived from this software without specific prior
* written permission.
*
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY
* EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
* IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
* INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
* LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS;
* OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
* CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY
* WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*
* @version 1.2_01
*/
package regexodus;
import com.jtransc.annotation.JTranscInvisible;
import regexodus.ds.IntBitSet;
import java.io.IOException;
import java.io.Reader;
import java.io.Serializable;
import java.util.ArrayList;
import java.util.Arrays;
import java.util.NoSuchElementException;
import static regexodus.Replacer.wrap;
/**
* Matcher is an automaton that actually performs matching. It provides the following methods:
*
* - searching for a matching sub-strings : matcher.find() or matcher.findAll();
* - testing whether a text matches a whole pattern : matcher.matches();
* - testing whether the text matches the beginning of a pattern : matcher.matchesPrefix();
* - searching with custom options : matcher.find(int options)
*
*
* Obtaining results
*
* After the search succeeded, i.e. if one of above methods returned true
* one may obtain an information on the match:
*
* - may check whether some group is captured : matcher.isCaptured(int);
* - may obtain start and end positions of the match and its length : matcher.start(int),matcher.end(int),matcher.length(int);
* - may obtain match contents as String : matcher.group(int).
*
*
* The same way can be obtained the match prefix and suffix information.
* The appropriate methods are grouped in MatchResult interface, which the Matcher class implements.
*
* You typically obtain a Matcher through a Pattern instance's matcher() method. See the Pattern documentation for the
* normal ways to create a Pattern; if you are already familiar with java.util.regex.Pattern, constructing a regexodus
* Pattern should be no different.
*
* Matcher (and Pattern) objects are not thread-safe, so only one thread may use a matcher instance at a time.
*/
@JTranscInvisible
public class Matcher implements MatchResult, Serializable {
private static final long serialVersionUID = -3628346657932720807L;
/* Matching options*/
/**
* The same effect as "^" without REFlags.MULTILINE.
*
* @see Matcher#find(int)
*/
public static final int ANCHOR_START = 1;
/**
* The same effect as "\\G".
*
* @see Matcher#find(int)
*/
public static final int ANCHOR_LASTMATCH = 2;
/**
* The same effect as "$" without REFlags.MULTILINE.
*
* @see Matcher#find(int)
*/
public static final int ANCHOR_END = 4;
/**
* Experimental option; if a text ends up before the end of a pattern,report a match.
*
* @see Matcher#find(int)
*/
public static final int ACCEPT_INCOMPLETE = 8;
//see search(ANCHOR_START|...)
private static Term startAnchor = new Term(Term.START);
//see search(ANCHOR_LASTMATCH|...)
private static Term lastMatchAnchor = new Term(Term.LAST_MATCH_END);
private Pattern re;
private int[] counters;
private MemReg[] memregs;
private LAEntry[] lookaheads;
private int counterCount;
private int memregCount;
private int lookaheadCount;
private char[] data;
private int offset, end, wOffset, wEnd;
private boolean shared;
private SearchEntry top; //stack entry
private SearchEntry first; //object pool entry
private SearchEntry defaultEntry; //called when moving the window
private boolean called;
private int minQueueLength;
private CharSequence cache;
//cache may be longer than the actual data
//and contrariwise; so cacheOffset may have both signs.
//cacheOffset is actually -(data offset).
private int cacheOffset, cacheLength;
private MemReg prefixBounds, suffixBounds, targetBounds;
public Matcher copy()
{
Matcher m = new Matcher(re, cache);
m.wEnd = this.wEnd;
m.wOffset = this.wOffset;
m.called = this.called;
m.offset = this.offset;
m.end = this.end;
return m;
}
private Matcher()
{
}
public Matcher(Pattern regex) {
setPattern(regex);
}
public Matcher(Pattern regex, CharSequence target)
{
setPattern(regex);
setTarget(target);
}
/**
* Sets the regex Pattern this tries to match. Won't do anything until the target is set as well.
* @param regex the Pattern this should match
*/
public void setPattern(Pattern regex)
{
this.re = regex;
int memregCount, counterCount, lookaheadCount;
if ((memregCount = regex.memregs) > 0) {
MemReg[] memregs = new MemReg[memregCount];
for (int i = 0; i < memregCount; i++) {
memregs[i] = new MemReg(-1); //unlikely to SearchEntry, in this case we know memreg indices by definition
}
this.memregs = memregs;
}
if ((counterCount = regex.counters) > 0) counters = new int[counterCount];
if ((lookaheadCount = regex.lookaheads) > 0) {
LAEntry[] lookaheads = new LAEntry[lookaheadCount];
for (int i = 0; i < lookaheadCount; i++) {
lookaheads[i] = new LAEntry();
}
this.lookaheads = lookaheads;
}
this.memregCount = memregCount;
this.counterCount = counterCount;
this.lookaheadCount = lookaheadCount;
first = new SearchEntry();
defaultEntry = new SearchEntry();
minQueueLength = regex.stringRepr.length() / 2; // just evaluation!!!
}
/**
* This method allows to efficiently pass data between matchers.
* Note that a matcher may pass data to itself:
* Matcher m=new Pattern("\\w+").matcher(myString);
* if(m.find())m.setTarget(m,m.SUFFIX); //forget all that is not a suffix
*
* Resets current search position to zero.
*
* @param m - a matcher that is a source of data
* @param groupId - which group to take data from
* @see Matcher#setTarget(java.lang.CharSequence)
* @see Matcher#setTarget(java.lang.CharSequence, int, int)
* @see Matcher#setTarget(char[], int, int)
* @see Matcher#setTarget(java.io.Reader, int)
*/
public final void setTarget(Matcher m, int groupId) {
MemReg mr = m.bounds(groupId);
if (mr == null) throw new IllegalArgumentException("group #" + groupId + " is not assigned");
data = m.data;
offset = mr.in;
end = mr.out;
cache = m.cache;
cacheLength = m.cacheLength;
cacheOffset = m.cacheOffset;
if (m != this) {
shared = true;
m.shared = true;
}
init();
}
/**
* Supplies a text to search in/match with.
* Resets current search position to zero.
*
* @param text - a data
* @see Matcher#setTarget(regexodus.Matcher, int)
* @see Matcher#setTarget(java.lang.CharSequence, int, int)
* @see Matcher#setTarget(char[], int, int)
* @see Matcher#setTarget(java.io.Reader, int)
*/
public void setTarget(CharSequence text) {
setTarget(text, 0, text.length());
}
/**
* Supplies a text to search in/match with, as a part of String.
* Resets current search position to zero.
*
* @param text - a data source
* @param start - where the target starts
* @param len - how long is the target
* @see Matcher#setTarget(regexodus.Matcher, int)
* @see Matcher#setTarget(java.lang.CharSequence)
* @see Matcher#setTarget(char[], int, int)
* @see Matcher#setTarget(java.io.Reader, int)
*/
public void setTarget(CharSequence text, int start, int len) {
char[] mychars = data;
if (mychars == null || shared || mychars.length < len) {
data = mychars = new char[(int) (1.7f * len)];
shared = false;
}
for (int i = start, p = 0; i < len; i++, p++) {
mychars[p] = text.charAt(i);
}
//text.getChars(start, len, mychars, 0); //(srcBegin,srcEnd,dst[],dstBegin)
offset = 0;
end = len;
cache = text;
cacheOffset = -start;
cacheLength = text.length();
init();
}
/**
* Supplies a text to search in/match with, as a part of char array.
* Resets current search position to zero.
*
* @param text - a data source
* @param start - where the target starts
* @param len - how long is the target
* @see Matcher#setTarget(regexodus.Matcher, int)
* @see Matcher#setTarget(java.lang.CharSequence)
* @see Matcher#setTarget(java.lang.CharSequence, int, int)
* @see Matcher#setTarget(java.io.Reader, int)
*/
public void setTarget(char[] text, int start, int len) {
setTarget(text, start, len, true);
}
/**
* To be used with much care.
* Supplies a text to search in/match with, as a part of a char array, as above, but also allows to permit
* to use the array as internal buffer for subsequent inputs. That is, if we call it with shared=false:
* myMatcher.setTarget(myCharArray,x,y,false); //we declare that array contents is NEITHER shared NOR will be used later, so may modifications on it are permitted
*
* then we should expect the array contents to be changed on subsequent setTarget(..) operations.
* Such method may yield some increase in perfomance in the case of multiple setTarget() calls.
* Resets current search position to zero.
*
* @param text - a data source
* @param start - where the target starts
* @param len - how long is the target
* @param shared - if true: data are shared or used later, don't modify it; if false: possible modifications of the text on subsequent setTarget() calls are perceived and allowed.
* @see Matcher#setTarget(regexodus.Matcher, int)
* @see Matcher#setTarget(java.lang.CharSequence)
* @see Matcher#setTarget(java.lang.CharSequence, int, int)
* @see Matcher#setTarget(char[], int, int)
* @see Matcher#setTarget(java.io.Reader, int)
*/
public void setTarget(char[] text, int start, int len, boolean shared) {
cache = null;
data = text;
offset = start;
end = start + len;
this.shared = shared;
init();
}
/**
* Supplies a text to search in/match with through a stream.
* Resets current search position to zero.
*
* @param in - a data stream;
* @param len - how much characters should be read; if len is -1, read the entire stream.
* @see Matcher#setTarget(regexodus.Matcher, int)
* @see Matcher#setTarget(java.lang.CharSequence)
* @see Matcher#setTarget(java.lang.CharSequence, int, int)
* @see Matcher#setTarget(char[], int, int)
*/
@GwtIncompatible
public void setTarget(Reader in, int len) throws IOException {
if (len < 0) {
setAll(in);
return;
}
char[] mychars = data;
boolean shared = this.shared;
if (mychars == null || shared || mychars.length < len) {
mychars = new char[len];
shared = false;
}
int count = 0;
int c;
while ((c = in.read(mychars, count, len)) >= 0) {
len -= c;
count += c;
if (len == 0) break;
}
setTarget(mychars, 0, count, shared);
}
@GwtIncompatible
public void setAll(Reader in) throws IOException {
char[] mychars = data;
int free;
if (mychars == null || shared) {
mychars = new char[free = 1024];
} else free = mychars.length;
int count = 0;
int c;
while ((c = in.read(mychars, count, free)) >= 0) {
free -= c;
count += c;
if (free == 0) {
int newsize = count * 3;
char[] newchars = new char[newsize];
System.arraycopy(mychars, 0, newchars, 0, count);
mychars = newchars;
free = newsize - count;
}
}
setTarget(mychars, 0, count, false);
}
public String getString(int start, int end) {
/*if(end < 0)
{
return "<<>> " + cache;
}*/
if (cache != null) {
int co = cacheOffset;
return cache.toString().substring(start - co, end - co);
}
CharSequence src;
int tOffset = this.offset, tLen = this.end - tOffset;
char[] data = this.data;
if ((end - start) >= (tLen / 3)) {
//it makes sense to make a cache
cache = new String(data);
src = new String(data, tOffset, tLen);
cacheOffset = tOffset;
cacheLength = tLen;
return src.toString(); //.toString().substring(start - tOffset, end - tOffset);
}
return new String(data, start, end - start);
}
/* Matching */
/**
* Tells whether the entire target matches the beginning of the pattern.
* The whole pattern is also regarded as its beginning.
* This feature allows to find a mismatch by examining only a beginning part of
* the target (as if the beginning of the target doesn't match the beginning of the pattern, then the entire target
* also couldn't match).
* For example the following assertions yield true:
* Pattern p=new Pattern("abcd");
* p.matcher("").matchesPrefix();
* p.matcher("a").matchesPrefix();
* p.matcher("ab").matchesPrefix();
* p.matcher("abc").matchesPrefix();
* p.matcher("abcd").matchesPrefix();
*
* and the following yield false:
* p.matcher("b").isPrefix();
* p.matcher("abcdef").isPrefix();
* p.matcher("x").isPrefix();
*
*
* @return true if the entire target matches the beginning of the pattern
*/
public final boolean matchesPrefix() {
setPosition(0);
return search(ANCHOR_START | ACCEPT_INCOMPLETE | ANCHOR_END);
}
/**
* Just an old name for isPrefix().
* Retained for backwards compatibility.
*
* @deprecated Replaced by isPrefix()
*/
public final boolean isStart() {
return matchesPrefix();
}
/**
* Tells whether a current target matches the whole pattern.
* For example the following yields the true:
* Pattern p=new Pattern("\\w+");
* p.matcher("a").matches();
* p.matcher("ab").matches();
* p.matcher("abc").matches();
*
* and the following yields the false:
* p.matcher("abc def").matches();
* p.matcher("bcd ").matches();
* p.matcher(" bcd").matches();
* p.matcher("#xyz#").matches();
*
*
* @return whether a current target matches the whole pattern.
*/
public final boolean matches() {
if (called) setPosition(0);
return search(ANCHOR_START | ANCHOR_END);
}
/**
* Just a combination of setTarget(String) and matches().
*
* @param s the target string;
* @return whether the specified string matches the whole pattern.
*/
public final boolean matches(String s) {
setTarget(s);
return search(ANCHOR_START | ANCHOR_END);
}
/**
* Allows to set a position the subsequent find()/find(int) will start from.
*
* @param pos the position to start from;
* @see Matcher#find()
* @see Matcher#find(int)
*/
public void setPosition(int pos) {
wOffset = offset + pos;
wEnd = -1;
called = false;
flush();
}
/**
* Searches through a target for a matching substring, starting from just after the end of last match.
* If there wasn't any search performed, starts from zero.
*
* @return true if a match found.
*/
public final boolean find() {
if (called) skip();
return search(0);
}
/**
* Searches through a target for a matching substring, starting from just after the end of last match.
* If there wasn't any search performed, starts from zero.
*
* @param anchors a zero or a combination(bitwise OR) of ANCHOR_START,ANCHOR_END,ANCHOR_LASTMATCH,ACCEPT_INCOMPLETE
* @return true if a match found.
*/
public boolean find(int anchors) {
if (called) skip();
return search(anchors);
}
/**
* The same as findAll(int), but with default behaviour;
*/
public MatchIterator findAll() {
return findAll(0);
}
/**
* Returns an iterator over the matches found by subsequently calling find(options), the search starts from the zero position.
*/
public MatchIterator findAll(final int options) {
//setPosition(0);
return new MatchIterator() {
private boolean checked = false;
private boolean hasMore = false;
public boolean hasMore() {
if (!checked) check();
return hasMore;
}
public MatchResult nextMatch() {
if (!checked) check();
if (!hasMore) throw new NoSuchElementException();
checked = false;
return Matcher.this;
}
private void check() {
hasMore = find(options);
checked = true;
}
public int count() {
if (!checked) check();
if (!hasMore) return 0;
int c = 1;
while (find(options)) c++;
checked = false;
return c;
}
};
}
/**
* Continues to search from where the last search left off.
* The same as proceed(0).
*
* @see Matcher#proceed(int)
*/
public final boolean proceed() {
return proceed(0);
}
/**
* Continues to search from where the last search left off using specified options:
* Matcher m=new Pattern("\\w+").matcher("abc");
* while(m.proceed(0)){
* System.out.println(m.group(0));
* }
*
* Output:
* abc
* ab
* a
* bc
* b
* c
*
* For example, let's find all odd numbers occurring in a text:
* Matcher m=new Pattern("\\d+").matcher("123");
* while(m.proceed(0)){
* String match=m.group(0);
* if(isOdd(Integer.parseInt(match))) System.out.println(match);
* }
*
* static boolean isOdd(int i){
* return (i&1)>0;
* }
*
* This outputs:
* 123
* 1
* 23
* 3
*
* Note that using find() method we would find '123' only.
*
* @param options search options, some of ANCHOR_START|ANCHOR_END|ANCHOR_LASTMATCH|ACCEPT_INCOMPLETE; zero value(default) stands for usual search for substring.
*/
public boolean proceed(int options) {
if (called) {
if (top == null) {
wOffset++;
}
}
return search(0);
}
/**
* Sets the current search position just after the end of last match.
*/
public void skip() {
int we = wEnd;
if (wOffset == we) { //requires special handling
//if no variants at 'wOutside',advance pointer and clear
if (top == null) {
wOffset++;
flush();
}
//otherwise, if there exist a variant,
//don't clear(), i.e. allow it to match
return;
} else {
if (we < 0) wOffset = 0;
else wOffset = we;
}
//rflush(); //rflush() works faster on simple regexes (with a small group/branch number)
flush();
}
private void init() {
//wOffset=-1;
wOffset = offset;
wEnd = -1;
called = false;
flush();
}
/**
* Resets the internal state.
*/
public void flush() {
top = null;
defaultEntry.reset(0);
first.reset(minQueueLength);
for (int i = memregs.length - 1; i > 0; i--) {
MemReg mr = memregs[i];
mr.in = mr.out = -1;
}
/*
for (int i = memregs.length - 1; i > 0; i--) {
MemReg mr = memregs[i];
mr.in = mr.out = -1;
}*/
called = false;
}
//reverse flush
//may work significantly faster,
//need testing
private void rflush() {
SearchEntry entry = top;
top = null;
MemReg[] memregs = this.memregs;
int[] counters = this.counters;
while (entry != null) {
SearchEntry next = entry.sub;
SearchEntry.popState(entry, memregs, counters);
entry = next;
}
SearchEntry.popState(defaultEntry, memregs, counters);
}
/**
*/
public String toString() {
return toString_d();
//return getString(wOffset, wEnd);
}
public Pattern pattern() {
return re;
}
public String target() {
return getString(offset, end);
}
/**
*/
public char[] targetChars() {
shared = true;
return data;
}
/**
*/
public int targetStart() {
return offset;
}
/**
*/
public int targetEnd() {
return end;
}
/**
*/
public int dataStart() {
return 0;
}
/**
*/
public int dataEnd() {
return data.length;
}
public char charAt(int i) {
int in = this.wOffset;
int out = this.wEnd;
if (in < 0 || out < in) throw new IllegalStateException("unassigned");
return data[in + i];
}
public char charAt(int i, int groupId) {
MemReg mr = bounds(groupId);
if (mr == null) throw new IllegalStateException("group #" + groupId + " is not assigned");
int in = mr.in;
if (i < 0 || i > (mr.out - in)) throw new StringIndexOutOfBoundsException("" + i);
return data[in + i];
}
public final int length() {
return wEnd - wOffset;
}
/**
* Returns the start index of the match.
* @return The index of the first character matched
*/
public final int start() {
return wOffset - offset;
}
/**
* Returns the offset after the last character matched.
* @return The offset after the last character matched
*/
public final int end() {
return wEnd - offset;
}
/**
*/
public String prefix() {
return getString(offset, wOffset);
}
/**
*/
public String suffix() {
return getString(wEnd, end);
}
/**
* Returns the number of capturing groups in this match result's pattern.
*
* Group zero denotes the entire pattern by convention. It is not
* included in this count.
*
*
Any non-negative integer smaller than or equal to the value
* returned by this method is guaranteed to be a valid group index for
* this matcher.
*
* @return The number of capturing groups in this matcher's pattern
*/
public int groupCount() {
return memregs.length - 1;
}
/**
* Returns the input subsequence captured by the given group during the
* previous match operation.
*
* For a matcher m, input sequence s, and group index
* g, the expressions m.group(g) and
* s.substring(m.start(g), m.end(g))
* are equivalent.
*
* Capturing groups are indexed from left
* to right, starting at one. Group zero denotes the entire pattern, so
* the expression m.group(0) is equivalent to m.group().
*
*
* If the match was successful but the group specified failed to match
* any part of the input sequence, then null is returned. Note
* that some groups, for example (a*), match the empty string.
* This method will return the empty string when such a group successfully
* matches the empty string in the input.
*
* @param group
* The index of a capturing group in this matcher's pattern
*
* @return The (possibly empty) subsequence captured by the group
* during the previous match, or "" if the group
* failed to match part of the input
*/
public String group(int group) {
MemReg mr = bounds(group);
if (mr == null) return null;
return getString(mr.in, mr.out);
}
/**
* Returns the input subsequence matched by the previous match.
*
* For a matcher m with input sequence s,
* the expressions m.group() and
* s.substring(m.start(), m.end())
* are equivalent.
*
* Note that some patterns, for example a*, match the empty
* string. This method will return the empty string when the pattern
* successfully matches the empty string in the input.
*
* @return The (possibly empty) subsequence matched by the previous match,
* in string form
*/
public String group()
{
return group(0);
}
/**
* Returns the input subsequence captured by the given named group during the
* previous match operation.
*
* Like {@link #group(int) group} but for named groups instead of numbered.
* @param name
* The name of a capturing group in this matcher's pattern
*
* @return The (possibly empty) subsequence captured by the group
* during the previous match, or null if the group
* failed to match part of the input
*/
public String group(String name) {
Integer id = re.groupId(name);
if (id == null) throw new IllegalArgumentException("<" + name + "> isn't defined");
return group(id);
}
public boolean getGroup(int group, TextBuffer tb) {
return getGroup(group, tb, 0);
}
public boolean getGroup(int group, TextBuffer tb, int modes) {
MemReg mr = bounds(group);
if (mr == null) return false;
int in = mr.in;
if(modes == 0)
{
tb.append(data, in, mr.out - in);
}
else
{
char[] working = new char[mr.out - in];
char t;
if((modes & PerlSubstitution.MODE_REVERSE) > 0)
{
for (int i = working.length - 1, j = in; i >= 0; i--, j++) {
t = data[j];
if((modes & PerlSubstitution.MODE_INSENSITIVE) > 0)
t = Category.caseFold(t);
if((modes & PerlSubstitution.MODE_BRACKET) > 0)
t = Category.matchBracket(t);
working[i] = t;
}
}
else
{
for (int i = 0, j = in; i < working.length; i++, j++) {
t = data[j];
if((modes & PerlSubstitution.MODE_INSENSITIVE) > 0)
t = Category.caseFold(t);
if((modes & PerlSubstitution.MODE_BRACKET) > 0)
t = Category.matchBracket(t);
working[i] = t;
}
}
tb.append(working, 0, working.length);
}
return true;
}
public boolean getGroup(String name, TextBuffer tb) {
return getGroup(name, tb, 0);
}
public boolean getGroup(String name, TextBuffer tb, int modes) {
Integer id = re.groupId(name);
if (id == null) throw new IllegalArgumentException("unknown group: \"" + name + "\"");
return getGroup(id, tb);
}
public boolean getGroup(int group, StringBuilder sb) {
return getGroup(group, sb, 0);
}
public boolean getGroup(int group, StringBuilder sb, int modes) {
MemReg mr = bounds(group);
if (mr == null) return false;
int in = mr.in;
if(modes == 0)
{
sb.append(data, in, mr.out - in);
}
else
{
char[] working = new char[mr.out - in];
char t;
if((modes & PerlSubstitution.MODE_REVERSE) > 0)
{
for (int i = working.length - 1, j = in; i >= 0; i--, j++) {
t = data[j];
if((modes & PerlSubstitution.MODE_INSENSITIVE) > 0)
t = Category.caseFold(t);
if((modes & PerlSubstitution.MODE_BRACKET) > 0)
t = Category.matchBracket(t);
working[i] = t;
}
}
else
{
for (int i = 0, j = in; i < working.length; i++, j++) {
t = data[j];
if((modes & PerlSubstitution.MODE_INSENSITIVE) > 0)
t = Category.caseFold(t);
if((modes & PerlSubstitution.MODE_BRACKET) > 0)
t = Category.matchBracket(t);
working[i] = t;
}
}
sb.append(working);
}
return true;
}
public boolean getGroup(String name, StringBuilder sb) {
return getGroup(name, sb, 0);
}
public boolean getGroup(String name, StringBuilder sb, int modes) {
Integer id = re.groupId(name);
if (id == null) throw new IllegalArgumentException("unknown group: \"" + name + "\"");
return getGroup(id, sb);
}
/**
*/
public String[] groups() {
MemReg[] memregs = this.memregs;
String[] groups = new String[memregs.length];
int in, out;
MemReg mr;
for (int i = 0; i < memregs.length; i++) {
mr = memregs[i];
out = mr.out;
if ((in = mr.in) < 0 || mr.out < in) continue;
groups[i] = getString(in, out);
}
return groups;
}
/**
*/
public ArrayList groupv() {
MemReg[] memregs = this.memregs;
ArrayList v = new ArrayList();
MemReg mr;
for (int i = 0; i < memregs.length; i++) {
mr = bounds(i);
if (mr == null) {
v.add("empty");
continue;
}
String s = getString(mr.in, mr.out);
v.add(s);
}
return v;
}
private MemReg bounds(int id) {
MemReg mr;
if(id >= memregs.length)
return null;
if (id >= 0) {
mr = memregs[id];
} else switch (id) {
case PREFIX:
mr = prefixBounds;
if (mr == null) prefixBounds = mr = new MemReg(PREFIX);
mr.in = offset;
mr.out = wOffset;
break;
case SUFFIX:
mr = suffixBounds;
if (mr == null) suffixBounds = mr = new MemReg(SUFFIX);
mr.in = wEnd;
mr.out = end;
break;
case TARGET:
mr = targetBounds;
if (mr == null) targetBounds = mr = new MemReg(TARGET);
mr.in = offset;
mr.out = end;
break;
default:
throw new IllegalArgumentException("illegal group id: " + id + "; must either nonnegative int, or MatchResult.PREFIX, or MatchResult.SUFFIX");
}
int in;
if ((in = mr.in) < 0 || mr.out < in) return null;
return mr;
}
/**
*/
public final boolean isCaptured() {
return wOffset >= 0 && wEnd >= wOffset;
}
/**
*/
public final boolean isCaptured(int id) {
return bounds(id) != null;
}
/**
*/
public final boolean isCaptured(String groupName) {
Integer id = re.groupId(groupName);
if (id == null) throw new IllegalArgumentException("unknown group: \"" + groupName + "\"");
return isCaptured(id);
}
/**
*/
public final int length(int id) {
MemReg mr = bounds(id);
if(mr != null)
return mr.out - mr.in;
return 0;
}
/**
* Returns the start index of the subsequence captured by the given group
* during this match.
*
* Capturing groups are indexed from left
* to right, starting at one. Group zero denotes the entire pattern, so
* the expression m.start(0) is equivalent to
* m.start().
* @param id
* The index of a capturing group in this matcher's pattern
* @return The index of the first character captured by the group,
* or -1 if the match was successful but the group
* itself did not match anything
*/
public final int start(int id) {
MemReg b = bounds(id);
if(b == null)
return -1;
return b.in - offset;
}
/**
* Returns the start index of the subsequence captured by the given
* named-capturing group during the previous match operation.
*
* @param name The name of a named capturing group in this matcher's pattern
* @return The index of the first character captured by the group,
* or -1 if the match was successful but the group
* itself did not match anything
*/
@Override
public int start(String name) {
Integer id = re.groupId(name);
if (id == null) throw new IllegalArgumentException("<" + name + "> isn't defined");
return start(id);
}
/**
* Returns the offset after the last character of the subsequence captured
* by the given named-capturing group during the previous match operation.
*
* @param name The name of a named capturing group in this matcher's pattern
* @return The offset after the last character captured by the group,
* or -1 if the match was successful
* but the group itself did not match anything
*/
@Override
public int end(String name) {
Integer id = re.groupId(name);
if (id == null) throw new IllegalArgumentException("<" + name + "> isn't defined");
return end(id);
}
/**
* Returns the offset after the last character of the subsequence
* captured by the given group during this match.
*
* Capturing groups are indexed from left
* to right, starting at one. Group zero denotes the entire pattern, so
* the expression m.end(0) is equivalent to
* m.end().
*
* @param id
* The index of a capturing group in this matcher's pattern
*
* @return The offset after the last character captured by the group,
* or -1 if the match was successful
* but the group itself did not match anything
*/
public final int end(int id) {
MemReg b = bounds(id);
if(b == null)
return -1;
return b.out - offset;
}
public boolean search(int anchors) {
called = true;
final int end = this.end;
int offset = this.offset;
char[] data = this.data;
int wOffset = this.wOffset;
int wEnd = this.wEnd;
MemReg[] memregs = this.memregs;
int[] counters = this.counters;
LAEntry[] lookaheads = this.lookaheads;
//int memregCount=memregs.length;
//int cntCount=counters.length;
SearchEntry defaultEntry = this.defaultEntry;
SearchEntry first = this.first;
SearchEntry top = this.top;
SearchEntry actual;
int cnt, regLen;
int i;
final boolean matchEnd = (anchors & ANCHOR_END) > 0;
final boolean allowIncomplete = (anchors & ACCEPT_INCOMPLETE) > 0;
Pattern re = this.re;
Term root = re.root;
Term term;
if (top == null) {
if ((anchors & ANCHOR_START) > 0) {
term = re.root0; //raw root
root = startAnchor;
} else if ((anchors & ANCHOR_LASTMATCH) > 0) {
term = re.root0; //raw root
root = lastMatchAnchor;
} else {
term = root; //optimized root
}
i = wOffset;
actual = first;
SearchEntry.popState(defaultEntry, memregs, counters);
} else {
top = (actual = top).sub;
term = actual.term;
i = actual.index;
SearchEntry.popState(actual, memregs, counters);
}
cnt = actual.cnt;
regLen = actual.regLen;
main:
while (wOffset <= end) {
matchHere:
for (; ; ) {
int memreg, cntreg;
char c;
if(term != null) {
switch (term.type) {
case Term.FIND: {
int jump = find(data, i + term.distance, end, term.target); //don't eat the last match
if (jump < 0) break main; //return false
i += jump;
wOffset = i; //force window to move
if (term.eat) {
if (i == end) break;
i++;
}
term = term.next;
continue matchHere;
}
case Term.FINDREG: {
MemReg mr = memregs[term.target.memreg];
int sampleOff = mr.in;
int sampleLen = mr.out - sampleOff;
//if(sampleOff<0 || sampleLen<0) throw new Error("backreference used before definition: \\"+term.memreg);
/*@since 1.2*/
if (sampleOff < 0 || sampleLen < 0) {
break;
} else if (sampleLen == 0) {
term = term.next;
continue matchHere;
}
int jump = findReg(data, i + term.distance, sampleOff, sampleLen, term.target, end); //don't eat the last match
if (jump < 0) break main; //return false
i += jump;
wOffset = i; //force window to move
if (term.eat) {
i += sampleLen;
if (i > end) break;
}
term = term.next;
continue matchHere;
}
case Term.VOID:
term = term.next;
continue matchHere;
case Term.CHAR:
//can only be 1-char-wide
// \/
if (i >= end || (re.caseless ? Category.caseFold(data[i]) : data[i]) != term.c)
break;
i++;
term = term.next;
continue matchHere;
case Term.ANY_CHAR:
//can only be 1-char-wide
// \/
if (i >= end) break;
i++;
term = term.next;
continue matchHere;
case Term.ANY_CHAR_NE:
//can only be 1-char-wide
// \/
if (i >= end || (c = data[i]) == '\r' || c == '\n') break;
i++;
term = term.next;
continue matchHere;
case Term.END:
if (i >= end) { //meets
term = term.next;
continue matchHere;
}
break;
case Term.END_EOL: //perl's $
if (i >= end) { //meets
term = term.next;
continue matchHere;
} else {
boolean matches =
i >= end |
((i + 1) == end && data[i] == '\n') |
((i + 2) == end && data[i] == '\r' && data[i + 1] == '\n');
if (matches) {
term = term.next;
continue matchHere;
} else break;
}
case Term.LINE_END:
if (i >= end) { //meets
term = term.next;
continue matchHere;
} else {
/*
if(((c=data[i])=='\r' || c=='\n') &&
(c=data[i-1])!='\r' && c!='\n'){
term=term.next;
continue matchHere;
}
*/
//5 aug 2001
if ((c = data[i]) == '\n' ||
c == '\u0085' ||
c == '\u2028' ||
c == '\u2029' ||
(i < data.length - 1 && data[i + 1] == '\n' && c == '\r') ||
c == '\r') {
term = term.next;
continue matchHere;
}
}
break;
case Term.START: //Perl's "^"
if (i == offset) { //meets
term = term.next;
continue matchHere;
}
//break;
//changed on 27-04-2002
//due to a side effect: if ALLOW_INCOMPLETE is enabled,
//the anchorStart moves up to the end and succeeds
//(see comments at the last lines of matchHere, ~line 1830)
//Solution: if there are some entries on the stack ("^a|b$"),
//try them; otherwise it's a final 'no'
//if(top!=null) break;
//else break main;
//changed on 25-05-2002
//rationale: if the term is startAnchor,
//it's the root term by definition,
//so if it doesn't match, the entire pattern
//couldn't match too;
//otherwise we could have the following problem:
//"c|^a" against "abc" finds only "a"
if (top != null) break;
if (term != startAnchor) break;
else break main;
case Term.LAST_MATCH_END:
if (i == wEnd) { //meets
term = term.next;
continue matchHere;
}
break main; //return false
case Term.LINE_START:
if (i == offset) { //meets
term = term.next;
continue matchHere;
} else if (i < end) {
/*
if(((c=data[i-1])=='\r' || c=='\n') &&
(c=data[i])!='\r' && c!='\n'){
term=term.next;
continue matchHere;
}
*/
//5 aug 2001
//if((c=data[i-1])=='\r' || c=='\n'){ ??
if ((c = data[i - 1]) == '\n' ||
c == '\u0085' ||
c == '\u2028' ||
c == '\u2029' ||
(data[i] == '\n' && c == '\r') ||
c == '\r') {
term = term.next;
continue matchHere;
}
}
break;
case Term.BITSET: {
//can only be 1-char-wide
// \/
if (i >= end) break;
c = re.caseless ? Category.caseFold(data[i]) : data[i];
if (!(c <= 255 && term.bitset.get(c)) ^ term.inverse) break;
i++;
term = term.next;
continue matchHere;
}
case Term.BITSET2: {
//can only be 1-char-wide
// \/
if (i >= end) break;
c = re.caseless ? Category.caseFold(data[i]) : data[i];
IntBitSet arr = term.bitset2[c >> 8];
if (arr == null || !arr.get(c & 255) ^ term.inverse) break;
i++;
term = term.next;
continue matchHere;
}
case Term.BOUNDARY: {
boolean ch1Meets = false, ch2Meets = false;
IntBitSet bitset = term.bitset;
test1:
{
int j = i - 1;
//if(j=end) break test1;
if (j < offset) break test1;
c = re.caseless ? Category.caseFold(data[j]) : data[j];
ch1Meets = (c < 256 && bitset.get(c));
}
test2:
{
//if(i=end) break test2;
if (i >= end) break test2;
c = re.caseless ? Category.caseFold(data[i]) : data[i];
ch2Meets = (c < 256 && bitset.get(c));
}
if (ch1Meets ^ ch2Meets ^ term.inverse) { //meets
term = term.next;
continue matchHere;
} else break;
}
case Term.UBOUNDARY: {
boolean ch1Meets = false, ch2Meets = false;
IntBitSet[] bitset2 = term.bitset2;
test1:
{
int j = i - 1;
//if(j=end) break test1;
if (j < offset) break test1;
c = re.caseless ? Category.caseFold(data[j]) : data[j];
IntBitSet bits = bitset2[c >> 8];
ch1Meets = bits != null && bits.get(c & 0xff);
}
test2:
{
//if(i=end) break test2;
if (i >= end) break test2;
c = re.caseless ? Category.caseFold(data[i]) : data[i];
IntBitSet bits = bitset2[c >> 8];
ch2Meets = bits != null && bits.get(c & 0xff);
}
if (ch1Meets ^ ch2Meets ^ term.inverse) { //is boundary ^ inv
term = term.next;
continue matchHere;
} else break;
}
case Term.DIRECTION: {
boolean ch1Meets = false, ch2Meets = false;
IntBitSet bitset = term.bitset;
boolean inv = term.inverse;
int j = i - 1;
//if(j>=offset && j= offset) {
c = re.caseless ? Category.caseFold(data[j]) : data[j];
ch1Meets = c < 256 && bitset.get(c);
}
if (ch1Meets ^ inv) break;
//if(i>=offset && i=offset && j= offset) {
c = re.caseless ? Category.caseFold(data[j]) : data[j];
IntBitSet bits = bitset2[c >> 8];
ch1Meets = bits != null && bits.get(c & 0xff);
}
if (ch1Meets ^ inv) break;
//if(i>=offset && i> 8];
ch2Meets = bits != null && bits.get(c & 0xff);
}
if (!ch2Meets ^ inv) break;
term = term.next;
continue matchHere;
}
case Term.REG:
case Term.REG_I: {
if (term.memreg >= memregs.length)
break;
MemReg mr = memregs[term.memreg];
int sampleOffset = mr.in;
int sampleOutside = mr.out;
int rLen;
if (sampleOffset < 0 || (rLen = sampleOutside - sampleOffset) < 0) {
break;
} else if (rLen == 0) {
term = term.next;
continue matchHere;
}
// don't prevent us from reaching the 'end'
if ((i + rLen) > end) break;
if (compareRegions(data, sampleOffset, i, rLen, end, term)) {
i += rLen;
term = term.next;
continue matchHere;
}
break;
}
/*case Term.REG_I: {
MemReg mr = memregs[term.memreg];
int sampleOffset = mr.in;
int sampleOutside = mr.out;
int rLen;
if (sampleOffset < 0 || (rLen = sampleOutside - sampleOffset) < 0) {
break;
} else if (rLen == 0) {
term = term.next;
continue matchHere;
}
// don't prevent us from reaching the 'end'
if ((i + rLen) > end) break;
if (compareRegionsI(data, sampleOffset, i, rLen, end)) {
i += rLen;
term = term.next;
continue matchHere;
}
break;
}*/
case Term.REPEAT_0_INF: {
//i+=(cnt=repeat(data,i,end,term.target));
if ((cnt = repeat(data, i, end, term.target)) <= 0) {
term = term.next;
continue;
}
i += cnt;
//branch out the backtracker (that is term.failNext, see Term.make*())
actual.cnt = cnt;
actual.term = term.failNext;
actual.index = i;
actual = (top = actual).on;
if (actual == null) {
actual = new SearchEntry();
top.on = actual;
actual.sub = top;
}
term = term.next;
continue;
}
case Term.REPEAT_MIN_INF: {
cnt = repeat(data, i, end, term.target);
if (cnt < term.minCount) break;
i += cnt;
//branch out the backtracker (that is term.failNext, see Term.make*())
actual.cnt = cnt;
actual.term = term.failNext;
actual.index = i;
actual = (top = actual).on;
if (actual == null) {
actual = new SearchEntry();
top.on = actual;
actual.sub = top;
}
term = term.next;
continue;
}
case Term.REPEAT_MIN_MAX: {
int out2 = i + term.maxCount;
cnt = repeat(data, i, end < out2 ? end : out2, term.target);
if (cnt < term.minCount) break;
i += cnt;
//branch out the backtracker (that is term.failNext, see Term.make*())
actual.cnt = cnt;
actual.term = term.failNext;
actual.index = i;
actual = (top = actual).on;
if (actual == null) {
actual = new SearchEntry();
top.on = actual;
actual.sub = top;
}
term = term.next;
continue;
}
case Term.REPEAT_REG_MIN_INF: {
MemReg mr = memregs[term.memreg];
int sampleOffset = mr.in;
int sampleOutside = mr.out;
/*@since 1.2*/
int bitset;
if (sampleOffset < 0 || (bitset = sampleOutside - sampleOffset) < 0) {
break;
} else if (bitset == 0) {
term = term.next;
continue matchHere;
}
cnt = 0;
while (compareRegions(data, i, sampleOffset, bitset, end, term)) {
cnt++;
i += bitset;
}
if (cnt < term.minCount) break;
actual.cnt = cnt;
actual.term = term.failNext;
actual.index = i;
actual.regLen = bitset;
actual = (top = actual).on;
if (actual == null) {
actual = new SearchEntry();
top.on = actual;
actual.sub = top;
}
term = term.next;
continue;
}
case Term.REPEAT_REG_MIN_MAX: {
MemReg mr = memregs[term.memreg];
int sampleOffset = mr.in;
int sampleOutside = mr.out;
/*@since 1.2*/
int bitset;
if (sampleOffset < 0 || (bitset = sampleOutside - sampleOffset) < 0) {
break;
} else if (bitset == 0) {
term = term.next;
continue matchHere;
}
cnt = 0;
int countBack = term.maxCount;
while (countBack > 0 && compareRegions(data, i, sampleOffset, bitset, end, term)) {
cnt++;
i += bitset;
countBack--;
}
if (cnt < term.minCount) break;
actual.cnt = cnt;
actual.term = term.failNext;
actual.index = i;
actual.regLen = bitset;
actual = (top = actual).on;
if (actual == null) {
actual = new SearchEntry();
top.on = actual;
actual.sub = top;
}
term = term.next;
continue;
}
case Term.BACKTRACK_0:
cnt = actual.cnt;
if (cnt > 0) {
cnt--;
i--;
actual.cnt = cnt;
actual.index = i;
actual.term = term;
actual = (top = actual).on;
if (actual == null) {
actual = new SearchEntry();
top.on = actual;
actual.sub = top;
}
term = term.next;
continue;
} else break;
case Term.BACKTRACK_MIN:
cnt = actual.cnt;
if (cnt > term.minCount) {
cnt--;
i--;
actual.cnt = cnt;
actual.index = i;
actual.term = term;
actual = (top = actual).on;
if (actual == null) {
actual = new SearchEntry();
top.on = actual;
actual.sub = top;
}
term = term.next;
continue;
} else break;
case Term.BACKTRACK_FIND_MIN: {
cnt = actual.cnt;
int minCnt;
if (cnt > (minCnt = term.minCount)) {
int start = i + term.distance;
if (start > end) {
int exceed = start - end;
cnt -= exceed;
if (cnt <= minCnt) break;
i -= exceed;
}
int back = findBack(data, i + term.distance, cnt - minCnt, term.target);
if (back < 0) break;
//cnt-=back;
//i-=back;
if ((cnt -= back) <= minCnt) {
i -= back;
if (term.eat) i++;
term = term.next;
continue;
}
i -= back;
actual.cnt = cnt;
actual.index = i;
if (term.eat) i++;
actual.term = term;
actual = (top = actual).on;
if (actual == null) {
actual = new SearchEntry();
top.on = actual;
actual.sub = top;
}
term = term.next;
continue;
} else break;
}
case Term.BACKTRACK_FINDREG_MIN: {
cnt = actual.cnt;
int minCnt;
if (cnt > (minCnt = term.minCount)) {
int start = i + term.distance;
if (start > end) {
int exceed = start - end;
cnt -= exceed;
if (cnt <= minCnt) break;
i -= exceed;
}
MemReg mr = memregs[term.target.memreg];
int sampleOff = mr.in;
int sampleLen = mr.out - sampleOff;
/*@since 1.2*/
int back;
if (sampleOff < 0 || sampleLen < 0) {
//the group is not def., as in the case of '(\w+)\1'
//treat as usual BACKTRACK_MIN
cnt--;
i--;
actual.cnt = cnt;
actual.index = i;
actual.term = term;
actual = (top = actual).on;
if (actual == null) {
actual = new SearchEntry();
top.on = actual;
actual.sub = top;
}
term = term.next;
continue;
} else if (sampleLen == 0) {
back = -1;
} else {
back = findBackReg(data, i + term.distance, sampleOff, sampleLen, cnt - minCnt, term.target, end);
if (back < 0) break;
}
cnt -= back;
i -= back;
actual.cnt = cnt;
actual.index = i;
if (term.eat) i += sampleLen;
actual.term = term;
actual = (top = actual).on;
if (actual == null) {
actual = new SearchEntry();
top.on = actual;
actual.sub = top;
}
term = term.next;
continue;
} else break;
}
case Term.BACKTRACK_REG_MIN:
cnt = actual.cnt;
if (cnt > term.minCount) {
regLen = actual.regLen;
cnt--;
i -= regLen;
actual.cnt = cnt;
actual.index = i;
actual.term = term;
//actual.regLen=regLen;
actual = (top = actual).on;
if (actual == null) {
actual = new SearchEntry();
top.on = actual;
actual.sub = top;
}
term = term.next;
continue;
} else break;
case Term.GROUP_IN: {
memreg = term.memreg;
//memreg=0 is a regex itself; we don't need to handle it
//because regex bounds already are in wOffset and wEnd
if (memreg > 0) {
memregs[memreg].tmp = i; //assume
}
term = term.next;
continue;
}
case Term.GROUP_OUT:
memreg = term.memreg;
//see above
if (memreg > 0) {
MemReg mr = memregs[memreg];
SearchEntry.saveMemregState((top != null) ? top : defaultEntry, memreg, mr);
mr.in = mr.tmp; //commit
mr.out = i;
}
term = term.next;
continue;
case Term.PLOOKBEHIND_IN: {
int tmp = i - term.distance;
if (tmp < offset) break;
LAEntry le = lookaheads[term.lookaheadId];
le.index = i;
i = tmp;
le.actual = actual;
le.top = top;
term = term.next;
continue;
}
case Term.INDEPENDENT_IN:
case Term.PLOOKAHEAD_IN: {
LAEntry le = lookaheads[term.lookaheadId];
le.index = i;
le.actual = actual;
le.top = top;
term = term.next;
continue;
}
case Term.LOOKBEHIND_CONDITION_OUT:
case Term.LOOKAHEAD_CONDITION_OUT:
case Term.PLOOKAHEAD_OUT:
case Term.PLOOKBEHIND_OUT: {
LAEntry le = lookaheads[term.lookaheadId];
i = le.index;
actual = le.actual;
top = le.top;
term = term.next;
continue;
}
case Term.INDEPENDENT_OUT: {
LAEntry le = lookaheads[term.lookaheadId];
actual = le.actual;
top = le.top;
term = term.next;
continue;
}
case Term.NLOOKBEHIND_IN: {
int tmp = i - term.distance;
if (tmp < offset) {
term = term.failNext;
continue;
}
LAEntry le = lookaheads[term.lookaheadId];
le.actual = actual;
le.top = top;
actual.term = term.failNext;
actual.index = i;
i = tmp;
actual = (top = actual).on;
if (actual == null) {
actual = new SearchEntry();
top.on = actual;
actual.sub = top;
}
term = term.next;
continue;
}
case Term.NLOOKAHEAD_IN: {
LAEntry le = lookaheads[term.lookaheadId];
le.actual = actual;
le.top = top;
actual.term = term.failNext;
actual.index = i;
actual = (top = actual).on;
if (actual == null) {
actual = new SearchEntry();
top.on = actual;
actual.sub = top;
}
term = term.next;
continue;
}
case Term.NLOOKBEHIND_OUT:
case Term.NLOOKAHEAD_OUT: {
LAEntry le = lookaheads[term.lookaheadId];
actual = le.actual;
top = le.top;
break;
}
case Term.LOOKBEHIND_CONDITION_IN: {
int tmp = i - term.distance;
if (tmp < offset) {
term = term.failNext;
continue;
}
LAEntry le = lookaheads[term.lookaheadId];
le.index = i;
le.actual = actual;
le.top = top;
actual.term = term.failNext;
actual.index = i;
actual = (top = actual).on;
if (actual == null) {
actual = new SearchEntry();
top.on = actual;
actual.sub = top;
}
i = tmp;
term = term.next;
continue;
}
case Term.LOOKAHEAD_CONDITION_IN: {
LAEntry le = lookaheads[term.lookaheadId];
le.index = i;
le.actual = actual;
le.top = top;
actual.term = term.failNext;
actual.index = i;
actual = (top = actual).on;
if (actual == null) {
actual = new SearchEntry();
top.on = actual;
actual.sub = top;
}
term = term.next;
continue;
}
case Term.MEMREG_CONDITION: {
MemReg mr = memregs[term.memreg];
int sampleOffset = mr.in;
int sampleOutside = mr.out;
if (sampleOffset >= 0 && sampleOutside >= 0 && sampleOutside >= sampleOffset) {
term = term.next;
} else {
term = term.failNext;
}
continue;
}
case Term.BRANCH_STORE_CNT_AUX1:
actual.regLen = regLen;
case Term.BRANCH_STORE_CNT:
actual.cnt = cnt;
case Term.BRANCH:
actual.term = term.failNext;
actual.index = i;
actual = (top = actual).on;
if (actual == null) {
actual = new SearchEntry();
top.on = actual;
actual.sub = top;
}
term = term.next;
continue;
case Term.SUCCESS:
if (!matchEnd || i == end) {
this.wOffset = memregs[0].in = wOffset;
this.wEnd = memregs[0].out = i;
this.top = top;
return true;
} else break;
case Term.CNT_SET_0:
cnt = 0;
term = term.next;
continue;
case Term.CNT_INC:
cnt++;
term = term.next;
continue;
case Term.CNT_GT_EQ:
if (cnt >= term.maxCount) {
term = term.next;
continue;
} else break;
case Term.READ_CNT_LT:
cnt = actual.cnt;
if (cnt < term.maxCount) {
term = term.next;
continue;
} else break;
case Term.CRSTORE_CRINC: {
int cntvalue = counters[cntreg = term.cntreg];
SearchEntry.saveCntState((top != null) ? top : defaultEntry, cntreg, cntvalue);
counters[cntreg] = ++cntvalue;
term = term.next;
continue;
}
case Term.CR_SET_0:
counters[term.cntreg] = 0;
term = term.next;
continue;
case Term.CR_LT:
if (counters[term.cntreg] < term.maxCount) {
term = term.next;
continue;
} else break;
case Term.CR_GT_EQ:
if (counters[term.cntreg] >= term.maxCount) {
term = term.next;
continue;
} else break;
default:
throw new Error("unknown term type: " + term.type);
}
}
else
{
this.wOffset = memregs[0].in = wOffset;
this.wEnd = memregs[0].out = i;
this.top = top;
return true;
}
if (allowIncomplete && i == end) {
//an attempt to implement matchesPrefix()
//not sure it's a good way
//27-04-2002: just as expected,
//the side effect was found (and POSSIBLY fixed);
//see the case Term.START
//newly added June-18-2016
this.wOffset = memregs[0].in = wOffset;
this.wEnd = memregs[0].out = i;
this.top = top;
return true;
}
if (top == null) {
break;
}
//pop the stack
top = (actual = top).sub;
term = actual.term;
i = actual.index;
if (actual.isState) {
SearchEntry.popState(actual, memregs, counters);
}
}
if (defaultEntry.isState) SearchEntry.popState(defaultEntry, memregs, counters);
term = root;
//wOffset++;
//i=wOffset;
i = ++wOffset;
}
this.wOffset = wOffset;
this.top = top;
return false;
}
private static boolean compareRegions(char[] arr, int off1, int off2, int len, int out, Term opts) {
if(opts.mode_reverse)
{
return compareRegionsReverse(arr, off1, off2, len, out, opts.mode_insensitive, opts.mode_bracket);
}
else
{
return compareRegionsForward(arr, off1, off2, len, out, opts.mode_insensitive, opts.mode_bracket);
}
}
private static boolean compareRegionsForward(char[] arr, int off1, int off2, int len, int out,
boolean insensitive, boolean bracket) {
int p1 = off1 + len - 1;
int p2 = off2 + len - 1;
if (p1 >= out || p2 >= out) {
return false;
}
char a, b;
for (int c = len; c > 0; c--, p1--, p2--) {
a = arr[p1];
b = arr[p2];
if(insensitive)
{
a = Category.caseFold(a);
b = Category.caseFold(b);
}
if(bracket)
{
b = Category.matchBracket(b);
}
if (a != b) {
return false;
}
}
return true;
}
private static boolean compareRegionsReverse(char[] arr, int off1, int off2, int len, int out,
boolean insensitive, boolean bracket) {
int p1 = off1 + len - 1;
int p2 = off2;
if (p1 >= out || p2 >= out) {
return false;
}
char a, b;
for (int c = len; c > 0 && p2 < out; c--, p1--, p2++) {
a = arr[p1];
b = arr[p2];
if(insensitive)
{
a = Category.caseFold(a);
b = Category.caseFold(b);
}
if(bracket)
{
b = Category.matchBracket(b);
}
if (a != b) {
return false;
}
}
return true;
}
private static boolean compareRegionsI(char[] arr, int off1, int off2, int len, int out) {
int p1 = off1 + len - 1;
int p2 = off2 + len - 1;
if (p1 >= out || p2 >= out) {
return false;
}
for (int c = len; c > 0; c--, p1--, p2--) {
if(Category.caseFold(arr[p1]) != Category.caseFold(arr[p2])) return false;
/*
if ((c1 = arr[p1]) != Character.toLowerCase(c2 = arr[p2]) &&
c1 != Character.toUpperCase(c2) &&
c1 != Character.toTitleCase(c2)) return false;
*/
}
return true;
}
//repeat while matches
private static int repeat(char[] data, int off, int out, Term term) {
switch (term.type) {
case Term.CHAR: {
char c = term.c;
int i = off;
while (i < out) {
if (data[i] != c) break;
i++;
}
return i - off;
}
case Term.ANY_CHAR: {
return out - off;
}
case Term.ANY_CHAR_NE: {
int i = off;
char c;
while (i < out) {
if ((c = data[i]) == '\r' || c == '\n') break;
i++;
}
return i - off;
}
case Term.BITSET: {
IntBitSet arr = term.bitset;
int i = off;
char c;
if (term.inverse) while (i < out) {
if ((c = data[i]) <= 255 && arr.get(c)) break;
else i++;
}
else while (i < out) {
if ((c = data[i]) <= 255 && arr.get(c)) i++;
else break;
}
return i - off;
}
case Term.BITSET2: {
int i = off;
IntBitSet[] bitset2 = term.bitset2;
char c;
if (term.inverse) while (i < out) {
IntBitSet arr = bitset2[(c = data[i]) >> 8];
if (arr != null && arr.get(c & 0xff)) break;
else i++;
}
else while (i < out) {
IntBitSet arr = bitset2[(c = data[i]) >> 8];
if (arr != null && arr.get(c & 0xff)) i++;
else break;
}
return i - off;
}
}
throw new Error("this kind of term can't be quantified:" + term.type);
}
//repeat while doesn't match
private static int find(char[] data, int off, int out, Term term) {
if (off >= out) return -1;
switch (term.type) {
case Term.CHAR: {
char c = term.c;
int i = off;
while (i < out) {
if (data[i] == c) break;
i++;
}
return i - off;
}
case Term.BITSET: {
IntBitSet arr = term.bitset;
int i = off;
char c;
if (!term.inverse) while (i < out) {
if ((c = data[i]) <= 255 && arr.get(c)) break;
else i++;
}
else while (i < out) {
if ((c = data[i]) <= 255 && arr.get(c)) i++;
else break;
}
return i - off;
}
case Term.BITSET2: {
int i = off;
IntBitSet[] bitset2 = term.bitset2;
char c;
if (!term.inverse) while (i < out) {
IntBitSet arr = bitset2[(c = data[i]) >> 8];
if (arr != null && arr.get(c & 0xff)) break;
else i++;
}
else while (i < out) {
IntBitSet arr = bitset2[(c = data[i]) >> 8];
if (arr != null && arr.get(c & 0xff)) i++;
else break;
}
return i - off;
}
}
throw new IllegalArgumentException("can't seek this kind of term:" + term.type);
}
private static int findReg(char[] data, int off, int regOff, int regLen, Term term, int out) {
if (off >= out) return -1;
int i = off;
if (term.type == Term.REG || term.type == Term.REG_I) {
while (i < out) {
if (compareRegions(data, i, regOff, regLen, out, term)) break;
i++;
}
} else throw new IllegalArgumentException("wrong findReg() target:" + term.type);
return off - i;
}
private static int findBack(char[] data, int off, int maxCount, Term term) {
switch (term.type) {
case Term.CHAR: {
char c = term.c;
int i = off;
int iMin = off - maxCount;
for (; ; ) {
if (data[--i] == c) break;
if (i <= iMin) return -1;
}
return off - i;
}
case Term.BITSET: {
IntBitSet arr = term.bitset;
int i = off;
char c;
int iMin = off - maxCount;
if (!term.inverse) for (; ; ) {
if ((c = data[--i]) <= 255 && arr.get(c)) break;
if (i <= iMin) return -1;
}
else for (; ; ) {
if ((c = data[--i]) > 255 || !arr.get(c)) break;
if (i <= iMin) return -1;
}
return off - i;
}
case Term.BITSET2: {
IntBitSet[] bitset2 = term.bitset2;
int i = off;
char c;
int iMin = off - maxCount;
if (!term.inverse) for (; ; ) {
IntBitSet arr = bitset2[(c = data[--i]) >> 8];
if (arr != null && arr.get(c & 0xff)) break;
if (i <= iMin) return -1;
}
else for (; ; ) {
IntBitSet arr = bitset2[(c = data[--i]) >> 8];
if (arr == null || arr.get(c & 0xff)) break;
if (i <= iMin) return -1;
}
return off - i;
}
}
throw new IllegalArgumentException("can't find this kind of term:" + term.type);
}
private static int findBackReg(char[] data, int off, int regOff, int regLen, int maxCount, Term term, int out) {
//assume that the cases when regLen==0 or maxCount==0 are handled by caller
int i = off;
int iMin = off - maxCount;
if (term.type == Term.REG || term.type == Term.REG_I) {
/*@since 1.2*/
char first = data[regOff];
regOff++;
regLen--;
for (; ; ) {
i--;
if (data[i] == first && compareRegions(data, i + 1, regOff, regLen, out, term)) break;
if (i <= iMin) return -1;
}
}/* else if (term.type == Term.REG_I) {
char c, firstChar = Category.caseFold(data[regOff]);
regOff++;
regLen--;
for (; ; ) {
i--;
if (((c = Category.caseFold(data[i])) == firstChar) && compareRegionsI(data, i + 1, regOff, regLen, out))
break;
if (i <= iMin) return -1;
}
return off - i;
}*/
else throw new IllegalArgumentException("wrong findBackReg() target type :" + term.type);
return off - i;
}
private String toString_d() {
StringBuilder s = new StringBuilder();
s.append("counters: ");
s.append(counters == null ? 0 : counters.length);
s.append("\r\nmemregs: ");
s.append(memregs.length);
for (int i = 0; i < memregs.length; i++) {
if(memregs[i].in < 0 || memregs[i].out < 0)
s.append("\r\n #").append(i).append(": [INVALID]");
else
s.append("\r\n #").append(i).append(": [").append(memregs[i].in).append(",").append(memregs[i].out).append("](\"").append(getString(memregs[i].in, memregs[i].out)).append("\")");
}
s.append("\r\ndata: ");
if (data != null) s.append(data.length);
else s.append("[none]");
s.append("\r\noffset: ");
s.append(offset);
s.append("\r\nend: ");
s.append(end);
s.append("\r\nwOffset: ");
s.append(wOffset);
s.append("\r\nwEnd: ");
s.append(wEnd);
s.append("\r\nregex: ");
s.append(re);
return s.toString();
}
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
Matcher matcher = (Matcher) o;
if (counterCount != matcher.counterCount) return false;
if (memregCount != matcher.memregCount) return false;
if (lookaheadCount != matcher.lookaheadCount) return false;
if (offset != matcher.offset) return false;
if (end != matcher.end) return false;
if (wOffset != matcher.wOffset) return false;
if (wEnd != matcher.wEnd) return false;
if (shared != matcher.shared) return false;
if (called != matcher.called) return false;
if (minQueueLength != matcher.minQueueLength) return false;
if (cacheOffset != matcher.cacheOffset) return false;
if (cacheLength != matcher.cacheLength) return false;
if (re != null ? !re.equals(matcher.re) : matcher.re != null) return false;
if (!Arrays.equals(counters, matcher.counters)) return false;
// Probably incorrect - comparing Object[] arrays with Arrays.equals
if (!Arrays.equals(memregs, matcher.memregs)) return false;
// Probably incorrect - comparing Object[] arrays with Arrays.equals
if (!Arrays.equals(lookaheads, matcher.lookaheads)) return false;
if (!Arrays.equals(data, matcher.data)) return false;
if (top != null ? !top.equals(matcher.top) : matcher.top != null) return false;
if (first != null ? !first.equals(matcher.first) : matcher.first != null) return false;
if (defaultEntry != null ? !defaultEntry.equals(matcher.defaultEntry) : matcher.defaultEntry != null)
return false;
if (cache != null ? !cache.equals(matcher.cache) : matcher.cache != null) return false;
return prefixBounds != null ? prefixBounds.equals(matcher.prefixBounds) : matcher.prefixBounds == null && (suffixBounds != null ? suffixBounds.equals(matcher.suffixBounds) : matcher.suffixBounds == null && (targetBounds != null ? targetBounds.equals(matcher.targetBounds) : matcher.targetBounds == null));
}
@Override
public int hashCode() {
int result = re != null ? re.hashCode() : 0;
result = 31 * result + Arrays.hashCode(counters);
result = 31 * result + Arrays.hashCode(memregs);
result = 31 * result + Arrays.hashCode(lookaheads);
result = 31 * result + counterCount;
result = 31 * result + memregCount;
result = 31 * result + lookaheadCount;
result = 31 * result + Arrays.hashCode(data);
result = 31 * result + offset;
result = 31 * result + end;
result = 31 * result + wOffset;
result = 31 * result + wEnd;
result = 31 * result + (shared ? 1 : 0);
result = 31 * result + (top != null ? top.hashCode() : 0);
result = 31 * result + (first != null ? first.hashCode() : 0);
result = 31 * result + (defaultEntry != null ? defaultEntry.hashCode() : 0);
result = 31 * result + (called ? 1 : 0);
result = 31 * result + minQueueLength;
result = 31 * result + (cache != null ? cache.hashCode() : 0);
result = 31 * result + cacheOffset;
result = 31 * result + cacheLength;
result = 31 * result + (prefixBounds != null ? prefixBounds.hashCode() : 0);
result = 31 * result + (suffixBounds != null ? suffixBounds.hashCode() : 0);
result = 31 * result + (targetBounds != null ? targetBounds.hashCode() : 0);
return result;
}
/**
* Replaces the first match this Matcher can find with replacement, as interpreted by PerlSubstitution (so $1 refers
* to the first group and so on). Advances the search position for this Matcher, so it can also be used to
* repeatedly replace the next match when called successively.
* @param replacement the String to replace the first match with
* @return this Matcher's String it operated on, after a replacement
*/
public String replaceFirst(String replacement)
{
TextBuffer tb = wrap(new StringBuilder(data.length));
Replacer.replace(this, new PerlSubstitution(replacement), tb, 1);
return tb.toString();
}
/**
* Replaces the first amount matches this Matcher can find with replacement, as interpreted by PerlSubstitution (so
* $1 refers to the first group and so on). Advances the search position for this Matcher, so it can also be used to
* repeatedly replace the next amount matches when called successively.
* @param replacement the String to replace the first match with
* @param amount the number of replacements to perform
* @return this Matcher's String it operated on, after replacements
*/
public String replaceAmount(String replacement, int amount)
{
TextBuffer tb = wrap(new StringBuilder(data.length));
Replacer.replace(this, new PerlSubstitution(replacement), tb, amount);
return tb.toString();
}
/**
* Replaces all matches this Matcher can find with replacement, as interpreted by PerlSubstitution (so $1 refers to
* the first group and so on).
* @param replacement the String to replace the first match with
* @return this Matcher's String it operated on, after replacements
*/
public String replaceAll(String replacement)
{
TextBuffer tb = wrap(new StringBuilder(data.length));
Replacer.replace(this, new PerlSubstitution(replacement), tb);
return tb.toString();
}
/**
* Replaces the first match this Matcher can find with replacement, as interpreted by PerlSubstitution (so $1 refers
* to the first group and so on). Advances the search position for this Matcher, so it can also be used to
* repeatedly replace the next match when called successively.
* @param replacement the String to replace the first match with
* @return this Matcher's String it operated on, after a replacement
*/
public String replaceFirst(Substitution replacement)
{
TextBuffer tb = wrap(new StringBuilder(data.length));
Replacer.replace(this, replacement, tb, 1);
return tb.toString();
}
/**
* Replaces the first amount matches this Matcher can find with replacement, as interpreted by PerlSubstitution (so
* $1 refers to the first group and so on). Advances the search position for this Matcher, so it can also be used to
* repeatedly replace the next amount matches when called successively.
* @param replacement the String to replace the first match with
* @param amount the number of replacements to perform
* @return this Matcher's String it operated on, after replacements
*/
public String replaceAmount(Substitution replacement, int amount)
{
TextBuffer tb = wrap(new StringBuilder(data.length));
Replacer.replace(this, replacement, tb, amount);
return tb.toString();
}
/**
* Replaces all matches this Matcher can find with replacement, as interpreted by PerlSubstitution (so $1 refers to
* the first group and so on).
* @param replacement the String to replace the first match with
* @return this Matcher's String it operated on, after replacements
*/
public String replaceAll(Substitution replacement)
{
TextBuffer tb = wrap(new StringBuilder(data.length));
Replacer.replace(this, replacement, tb);
return tb.toString();
}
}
@JTranscInvisible
class SearchEntry implements Serializable {
private static final long serialVersionUID = -3628346657932720807L;
Term term;
int index;
int cnt;
int regLen;
boolean isState;
SearchEntry sub, on;
private static class MState {
int index, in, out;
MState next, prev;
}
private static class CState {
int index, value;
CState next, prev;
}
private MState mHead, mCurrent;
private CState cHead, cCurrent;
static void saveMemregState(SearchEntry entry, int memreg, MemReg mr) {
entry.isState = true;
MState current = entry.mCurrent;
if (current == null) {
MState head = entry.mHead;
if (head == null) entry.mHead = entry.mCurrent = current = new MState();
else current = head;
} else {
MState next = current.next;
if (next == null) {
current.next = next = new MState();
next.prev = current;
}
current = next;
}
current.index = memreg;
current.in = mr.in;
current.out = mr.out;
entry.mCurrent = current;
}
static void saveCntState(SearchEntry entry, int cntreg, int value) {
entry.isState = true;
CState current = entry.cCurrent;
if (current == null) {
CState head = entry.cHead;
if (head == null) entry.cHead = entry.cCurrent = current = new CState();
else current = head;
} else {
CState next = current.next;
if (next == null) {
current.next = next = new CState();
next.prev = current;
}
current = next;
}
current.index = cntreg;
current.value = value;
entry.cCurrent = current;
}
static void popState(SearchEntry entry, MemReg[] memregs, int[] counters) {
MState ms = entry.mCurrent;
while (ms != null) {
MemReg mr = memregs[ms.index];
mr.in = ms.in;
mr.out = ms.out;
ms = ms.prev;
}
CState cs = entry.cCurrent;
while (cs != null) {
counters[cs.index] = cs.value;
cs = cs.prev;
}
entry.mCurrent = null;
entry.cCurrent = null;
entry.isState = false;
}
final void reset(int restQueue) {
term = null;
index = cnt = regLen = 0;
mCurrent = null;
cCurrent = null;
isState = false;
SearchEntry on = this.on;
if (on != null) {
if (restQueue > 0) on.reset(restQueue - 1);
else {
this.on = null;
on.sub = null;
}
}
}
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
SearchEntry that = (SearchEntry) o;
if (index != that.index) return false;
if (cnt != that.cnt) return false;
if (regLen != that.regLen) return false;
if (isState != that.isState) return false;
if (term != null ? !term.equals(that.term) : that.term != null) return false;
if (sub != null ? !sub.equals(that.sub) : that.sub != null) return false;
if (on != null ? !on.equals(that.on) : that.on != null) return false;
if (mHead != null ? !mHead.equals(that.mHead) : that.mHead != null) return false;
return mCurrent != null ? mCurrent.equals(that.mCurrent) : that.mCurrent == null && (cHead != null ? cHead.equals(that.cHead) : that.cHead == null && (cCurrent != null ? cCurrent.equals(that.cCurrent) : that.cCurrent == null));
}
@Override
public int hashCode() {
int result = term != null ? term.hashCode() : 0;
result = 31 * result + index;
result = 31 * result + cnt;
result = 31 * result + regLen;
result = 31 * result + (isState ? 1 : 0);
result = 31 * result + (mHead != null ? mHead.hashCode() : 0);
result = 31 * result + (mCurrent != null ? mCurrent.hashCode() : 0);
result = 31 * result + (cHead != null ? cHead.hashCode() : 0);
result = 31 * result + (cCurrent != null ? cCurrent.hashCode() : 0);
return result;
}
@Override
public String toString() {
return "SearchEntry{???}";
}
}
@JTranscInvisible
class MemReg implements Serializable {
private static final long serialVersionUID = -3628346657932720807L;
private int index;
int in = -1, out = -1;
int tmp = -1; //for assuming at GROUP_IN
MemReg(int index) {
this.index = index;
}
void reset() {
in = out = -1;
}
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
MemReg memReg = (MemReg) o;
if (index != memReg.index) return false;
return in == memReg.in && out == memReg.out && tmp == memReg.tmp;
}
@Override
public int hashCode() {
int result = index;
result = 31 * result + in;
result = 31 * result + out;
result = 31 * result + tmp;
return result;
}
@Override
public String toString() {
return "MemReg{" +
"index=" + index +
", in=" + in +
", out=" + out +
", tmp=" + tmp +
'}';
}
}
@JTranscInvisible
class LAEntry implements Serializable {
private static final long serialVersionUID = -3628346657932720807L;
int index;
SearchEntry top, actual;
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
LAEntry laEntry = (LAEntry) o;
return index == laEntry.index && (top != null ? top.equals(laEntry.top) : laEntry.top == null && (actual != null ? actual.equals(laEntry.actual) : laEntry.actual == null));
}
@Override
public int hashCode() {
int result = index;
result = 31 * result + (top != null ? top.hashCode() : 0);
result = 31 * result + (actual != null ? actual.hashCode() : 0);
return result;
}
@Override
public String toString() {
return "LAEntry{" +
"index=" + index +
", top=" + top +
", actual=" + actual +
'}';
}
}