1-1-2

while (true) { if (op == null) return isSet(opts, XMLSCHEMA_MODE) && offset != con.limit ? -1 : offset; if (offset > con.limit || offset < con.start) return -1; switch (op.type) { case Op.CHAR: if (isSet(opts, IGNORE_CASE)) { int ch = op.getData(); if (dx > 0) { if (offset >= con.limit || !matchIgnoreCase(ch, target .setIndex( offset ) )) return -1; offset ++; } else { int o1 = offset-1; if (o1 >= con.limit || o1 < 0 || !matchIgnoreCase(ch, target .setIndex( o1 ) )) return -1; offset = o1; } } else { int ch = op.getData(); if (dx > 0) { if (offset >= con.limit || ch != target .setIndex( offset ) ) return -1; offset ++; } else { int o1 = offset-1; if (o1 >= con.limit || o1 < 0 || ch != target .setIndex( o1 ) ) return -1; offset = o1; } } op = op.next; break; case Op.DOT: if (dx > 0) { if (offset >= con.limit) return -1; int ch = target .setIndex( offset ) ; if (isSet(opts, SINGLE_LINE)) { if (REUtil.isHighSurrogate(ch) && offset+1 < con.limit) offset ++; } else { if (REUtil.isHighSurrogate(ch) && offset+1 < con.limit) ch = REUtil.composeFromSurrogates(ch, target .setIndex( ++offset ) ); if (isEOLChar(ch)) return -1; } offset ++; } else { int o1 = offset-1; if (o1 >= con.limit || o1 < 0) return -1; int ch = target .setIndex( o1 ) ; if (isSet(opts, SINGLE_LINE)) { if (REUtil.isLowSurrogate(ch) && o1-1 >= 0) o1 --; } else { if (REUtil.isLowSurrogate(ch) && o1-1 >= 0) ch = REUtil.composeFromSurrogates( target .setIndex( --o1 ) , ch); if (!isEOLChar(ch)) return -1; } offset = o1; } op = op.next; break; case Op.RANGE: case Op.NRANGE: if (dx > 0) { if (offset >= con.limit) return -1; int ch = target .setIndex( offset ) ; if (REUtil.isHighSurrogate(ch) && offset+1 < con.limit) ch = REUtil.composeFromSurrogates(ch, target .setIndex( ++offset ) ); RangeToken tok = op.getToken(); if (isSet(opts, IGNORE_CASE)) { tok = tok.getCaseInsensitiveToken(); if (!tok.match(ch)) { if (ch >= 0x10000) return -1; char uch; if (!tok.match(uch = Character.toUpperCase((char)ch)) && !tok.match(Character.toLowerCase(uch))) return -1; } } else { if (!tok.match(ch)) return -1; } offset ++; } else { int o1 = offset-1; if (o1 >= con.limit || o1 < 0) return -1; int ch = target .setIndex( o1 ) ; if (REUtil.isLowSurrogate(ch) && o1-1 >= 0) ch = REUtil.composeFromSurrogates( target .setIndex( --o1 ) , ch); RangeToken tok = op.getToken(); if (isSet(opts, IGNORE_CASE)) { tok = tok.getCaseInsensitiveToken(); if (!tok.match(ch)) { if (ch >= 0x10000) return -1; char uch; if (!tok.match(uch = Character.toUpperCase((char)ch)) && !tok.match(Character.toLowerCase(uch))) return -1; } } else { if (!tok.match(ch)) return -1; } offset = o1; } op = op.next; break; case Op.ANCHOR: boolean go = false; switch (op.getData()) { case '^': if (isSet(opts, MULTIPLE_LINES)) { if (!(offset == con.start || offset > con.start && isEOLChar( target .setIndex( offset-1 ) ))) return -1; } else { if (offset != con.start) return -1; } break; case '@': // Internal use only. // The @ always matches line beginnings. if (!(offset == con.start || offset > con.start && isEOLChar( target .setIndex( offset-1 ) ))) return -1; break; case '$': if (isSet(opts, MULTIPLE_LINES)) { if (!(offset == con.limit || offset < con.limit && isEOLChar( target .setIndex( offset ) ))) return -1; } else { if (!(offset == con.limit || offset+1 == con.limit && isEOLChar( target .setIndex( offset ) ) || offset+2 == con.limit && target .setIndex( offset ) == CARRIAGE_RETURN && target .setIndex( offset+1 ) == LINE_FEED)) return -1; } break; case 'A': if (offset != con.start) return -1; break; case 'Z': if (!(offset == con.limit || offset+1 == con.limit && isEOLChar( target .setIndex( offset ) ) || offset+2 == con.limit && target .setIndex( offset ) == CARRIAGE_RETURN && target .setIndex( offset+1 ) == LINE_FEED)) return -1; break; case 'z': if (offset != con.limit) return -1; break; case 'b': if (con.length == 0) return -1; { int after = getWordType(target, con.start, con.limit, offset, opts); if (after == WT_IGNORE) return -1; int before = getPreviousWordType(target, con.start, con.limit, offset, opts); if (after == before) return -1; } break; case 'B': if (con.length == 0) go = true; else { int after = getWordType(target, con.start, con.limit, offset, opts); go = after == WT_IGNORE || after == getPreviousWordType(target, con.start, con.limit, offset, opts); } if (!go) return -1; break; case '<': if (con.length == 0 || offset == con.limit) return -1; if (getWordType(target, con.start, con.limit, offset, opts) != WT_LETTER || getPreviousWordType(target, con.start, con.limit, offset, opts) != WT_OTHER) return -1; break; case '>': if (con.length == 0 || offset == con.start) return -1; if (getWordType(target, con.start, con.limit, offset, opts) != WT_OTHER || getPreviousWordType(target, con.start, con.limit, offset, opts) != WT_LETTER) return -1; break; } // switch anchor type op = op.next; break; case Op.BACKREFERENCE: { int refno = op.getData(); if (refno <= 0 || refno >= this.nofparen) throw new RuntimeException("Internal Error: Reference number must be more than zero: "+refno); if (con.match.getBeginning(refno) < 0 || con.match.getEnd(refno) < 0) return -1; // ******** int o2 = con.match.getBeginning(refno); int literallen = con.match.getEnd(refno)-o2; if (!isSet(opts, IGNORE_CASE)) { if (dx > 0) { if (!regionMatches(target, offset, con.limit, o2, literallen)) return -1; offset += literallen; } else { if (!regionMatches(target, offset-literallen, con.limit, o2, literallen)) return -1; offset -= literallen; } } else { if (dx > 0) { if (!regionMatchesIgnoreCase(target, offset, con.limit, o2, literallen)) return -1; offset += literallen; } else { if (!regionMatchesIgnoreCase(target, offset-literallen, con.limit, o2, literallen)) return -1; offset -= literallen; } } } op = op.next; break; case Op.STRING: { String literal = op.getString(); int literallen = literal.length(); if (!isSet(opts, IGNORE_CASE)) { if (dx > 0) { if (!regionMatches(target, offset, con.limit, literal, literallen)) return -1; offset += literallen; } else { if (!regionMatches(target, offset-literallen, con.limit, literal, literallen)) return -1; offset -= literallen; } } else { if (dx > 0) { if (!regionMatchesIgnoreCase(target, offset, con.limit, literal, literallen)) return -1; offset += literallen; } else { if (!regionMatchesIgnoreCase(target, offset-literallen, con.limit, literal, literallen)) return -1; offset -= literallen; } } } op = op.next; break; case Op.CLOSURE: { /* * Saves current position to avoid * zero-width repeats. */ int id = op.getData(); if (id >= 0) { int previousOffset = con.offsets[id]; if (previousOffset < 0 || previousOffset != offset) { con.offsets[id] = offset; } else { con.offsets[id] = -1; op = op.next; break; } } int ret = this. matchCharacterIterator (con, op.getChild(), offset, dx, opts); if (id >= 0) con.offsets[id] = -1; if (ret >= 0) return ret; op = op.next; } break; case Op.QUESTION: { int ret = this. matchCharacterIterator (con, op.getChild(), offset, dx, opts); if (ret >= 0) return ret; op = op.next; } break; case Op.NONGREEDYCLOSURE: case Op.NONGREEDYQUESTION: { int ret = this. matchCharacterIterator (con, op.next, offset, dx, opts); if (ret >= 0) return ret; op = op.getChild(); } break; case Op.UNION: for (int i = 0; i < op.size(); i ++) { int ret = this. matchCharacterIterator (con, op.elementAt(i), offset, dx, opts); if (DEBUG) { System.err.println("UNION: "+i+", ret="+ret); } if (ret >= 0) return ret; } return -1; case Op.CAPTURE: int refno = op.getData(); if (con.match != null && refno > 0) { int save = con.match.getBeginning(refno); con.match.setBeginning(refno, offset); int ret = this. matchCharacterIterator (con, op.next, offset, dx, opts); if (ret < 0) con.match.setBeginning(refno, save); return ret; } else if (con.match != null && refno < 0) { int index = -refno; int save = con.match.getEnd(index); con.match.setEnd(index, offset); int ret = this. matchCharacterIterator (con, op.next, offset, dx, opts); if (ret < 0) con.match.setEnd(index, save); return ret; } op = op.next; break; case Op.LOOKAHEAD: if (0 > this. matchCharacterIterator (con, op.getChild(), offset, 1, opts)) return -1; op = op.next; break; case Op.NEGATIVELOOKAHEAD: if (0 <= this. matchCharacterIterator (con, op.getChild(), offset, 1, opts)) return -1; op = op.next; break; case Op.LOOKBEHIND: if (0 > this. matchCharacterIterator (con, op.getChild(), offset, -1, opts)) return -1; op = op.next; break; case Op.NEGATIVELOOKBEHIND: if (0 <= this. matchCharacterIterator (con, op.getChild(), offset, -1, opts)) return -1; op = op.next; break; case Op.INDEPENDENT: { int ret = this. matchCharacterIterator (con, op.getChild(), offset, dx, opts); if (ret < 0) return ret; offset = ret; op = op.next; } break; case Op.MODIFIER: { int localopts = opts; localopts |= op.getData(); localopts &= ~op.getData2(); //System.err.println("MODIFIER: "+Integer.toString(opts, 16)+" -> "+Integer.toString(localopts, 16)); int ret = this. matchCharacterIterator (con, op.getChild(), offset, dx, localopts); if (ret < 0) return ret; offset = ret; op = op.next; } break; case Op.CONDITION: { Op.ConditionOp cop = (Op.ConditionOp)op; boolean matchp = false; if (cop.refNumber > 0) { if (cop.refNumber >= this.nofparen) throw new RuntimeException("Internal Error: Reference number must be more than zero: "+cop.refNumber); matchp = con.match.getBeginning(cop.refNumber) >= 0 && con.match.getEnd(cop.refNumber) >= 0; } else { matchp = 0 <= this. matchCharacterIterator (con, cop.condition, offset, dx, opts); } if (matchp) { op = cop.yes; } else if (cop.no != null) { op = cop.no; } else { op = cop.next; } } break; default: throw new RuntimeException("Unknown operation type: "+op.type); } // switch (op.type) }

while (true) { if (op == null) return isSet(opts, XMLSCHEMA_MODE) && offset != con.limit ? -1 : offset; if (offset > con.limit || offset < con.start) return -1; switch (op.type) { case Op.CHAR: if (isSet(opts, IGNORE_CASE)) { int ch = op.getData(); if (dx > 0) { if (offset >= con.limit || !matchIgnoreCase(ch, target .charAt( offset ) )) return -1; offset ++; } else { int o1 = offset-1; if (o1 >= con.limit || o1 < 0 || !matchIgnoreCase(ch, target .charAt( o1 ) )) return -1; offset = o1; } } else { int ch = op.getData(); if (dx > 0) { if (offset >= con.limit || ch != target .charAt( offset ) ) return -1; offset ++; } else { int o1 = offset-1; if (o1 >= con.limit || o1 < 0 || ch != target .charAt( o1 ) ) return -1; offset = o1; } } op = op.next; break; case Op.DOT: if (dx > 0) { if (offset >= con.limit) return -1; int ch = target .charAt( offset ) ; if (isSet(opts, SINGLE_LINE)) { if (REUtil.isHighSurrogate(ch) && offset+1 < con.limit) offset ++; } else { if (REUtil.isHighSurrogate(ch) && offset+1 < con.limit) ch = REUtil.composeFromSurrogates(ch, target .charAt( ++offset ) ); if (isEOLChar(ch)) return -1; } offset ++; } else { int o1 = offset-1; if (o1 >= con.limit || o1 < 0) return -1; int ch = target .charAt( o1 ) ; if (isSet(opts, SINGLE_LINE)) { if (REUtil.isLowSurrogate(ch) && o1-1 >= 0) o1 --; } else { if (REUtil.isLowSurrogate(ch) && o1-1 >= 0) ch = REUtil.composeFromSurrogates( target .charAt( --o1 ) , ch); if (!isEOLChar(ch)) return -1; } offset = o1; } op = op.next; break; case Op.RANGE: case Op.NRANGE: if (dx > 0) { if (offset >= con.limit) return -1; int ch = target .charAt( offset ) ; if (REUtil.isHighSurrogate(ch) && offset+1 < con.limit) ch = REUtil.composeFromSurrogates(ch, target .charAt( ++offset ) ); RangeToken tok = op.getToken(); if (isSet(opts, IGNORE_CASE)) { tok = tok.getCaseInsensitiveToken(); if (!tok.match(ch)) { if (ch >= 0x10000) return -1; char uch; if (!tok.match(uch = Character.toUpperCase((char)ch)) && !tok.match(Character.toLowerCase(uch))) return -1; } } else { if (!tok.match(ch)) return -1; } offset ++; } else { int o1 = offset-1; if (o1 >= con.limit || o1 < 0) return -1; int ch = target .charAt( o1 ) ; if (REUtil.isLowSurrogate(ch) && o1-1 >= 0) ch = REUtil.composeFromSurrogates( target .charAt( --o1 ) , ch); RangeToken tok = op.getToken(); if (isSet(opts, IGNORE_CASE)) { tok = tok.getCaseInsensitiveToken(); if (!tok.match(ch)) { if (ch >= 0x10000) return -1; char uch; if (!tok.match(uch = Character.toUpperCase((char)ch)) && !tok.match(Character.toLowerCase(uch))) return -1; } } else { if (!tok.match(ch)) return -1; } offset = o1; } op = op.next; break; case Op.ANCHOR: boolean go = false; switch (op.getData()) { case '^': if (isSet(opts, MULTIPLE_LINES)) { if (!(offset == con.start || offset > con.start && isEOLChar( target .charAt( offset-1 ) ))) return -1; } else { if (offset != con.start) return -1; } break; case '@': // Internal use only. // The @ always matches line beginnings. if (!(offset == con.start || offset > con.start && isEOLChar( target .charAt( offset-1 ) ))) return -1; break; case '$': if (isSet(opts, MULTIPLE_LINES)) { if (!(offset == con.limit || offset < con.limit && isEOLChar( target .charAt( offset ) ))) return -1; } else { if (!(offset == con.limit || offset+1 == con.limit && isEOLChar( target .charAt( offset ) ) || offset+2 == con.limit && target .charAt( offset ) == CARRIAGE_RETURN && target .charAt( offset+1 ) == LINE_FEED)) return -1; } break; case 'A': if (offset != con.start) return -1; break; case 'Z': if (!(offset == con.limit || offset+1 == con.limit && isEOLChar( target .charAt( offset ) ) || offset+2 == con.limit && target .charAt( offset ) == CARRIAGE_RETURN && target .charAt( offset+1 ) == LINE_FEED)) return -1; break; case 'z': if (offset != con.limit) return -1; break; case 'b': if (con.length == 0) return -1; { int after = getWordType(target, con.start, con.limit, offset, opts); if (after == WT_IGNORE) return -1; int before = getPreviousWordType(target, con.start, con.limit, offset, opts); if (after == before) return -1; } break; case 'B': if (con.length == 0) go = true; else { int after = getWordType(target, con.start, con.limit, offset, opts); go = after == WT_IGNORE || after == getPreviousWordType(target, con.start, con.limit, offset, opts); } if (!go) return -1; break; case '<': if (con.length == 0 || offset == con.limit) return -1; if (getWordType(target, con.start, con.limit, offset, opts) != WT_LETTER || getPreviousWordType(target, con.start, con.limit, offset, opts) != WT_OTHER) return -1; break; case '>': if (con.length == 0 || offset == con.start) return -1; if (getWordType(target, con.start, con.limit, offset, opts) != WT_OTHER || getPreviousWordType(target, con.start, con.limit, offset, opts) != WT_LETTER) return -1; break; } // switch anchor type op = op.next; break; case Op.BACKREFERENCE: { int refno = op.getData(); if (refno <= 0 || refno >= this.nofparen) throw new RuntimeException("Internal Error: Reference number must be more than zero: "+refno); if (con.match.getBeginning(refno) < 0 || con.match.getEnd(refno) < 0) return -1; // ******** int o2 = con.match.getBeginning(refno); int literallen = con.match.getEnd(refno)-o2; if (!isSet(opts, IGNORE_CASE)) { if (dx > 0) { if (!regionMatches(target, offset, con.limit, o2, literallen)) return -1; offset += literallen; } else { if (!regionMatches(target, offset-literallen, con.limit, o2, literallen)) return -1; offset -= literallen; } } else { if (dx > 0) { if (!regionMatchesIgnoreCase(target, offset, con.limit, o2, literallen)) return -1; offset += literallen; } else { if (!regionMatchesIgnoreCase(target, offset-literallen, con.limit, o2, literallen)) return -1; offset -= literallen; } } } op = op.next; break; case Op.STRING: { String literal = op.getString(); int literallen = literal.length(); if (!isSet(opts, IGNORE_CASE)) { if (dx > 0) { if (!regionMatches(target, offset, con.limit, literal, literallen)) return -1; offset += literallen; } else { if (!regionMatches(target, offset-literallen, con.limit, literal, literallen)) return -1; offset -= literallen; } } else { if (dx > 0) { if (!regionMatchesIgnoreCase(target, offset, con.limit, literal, literallen)) return -1; offset += literallen; } else { if (!regionMatchesIgnoreCase(target, offset-literallen, con.limit, literal, literallen)) return -1; offset -= literallen; } } } op = op.next; break; case Op.CLOSURE: { /* * Saves current position to avoid * zero-width repeats. */ int id = op.getData(); if (id >= 0) { int previousOffset = con.offsets[id]; if (previousOffset < 0 || previousOffset != offset) { con.offsets[id] = offset; } else { con.offsets[id] = -1; op = op.next; break; } } int ret = this. matchString (con, op.getChild(), offset, dx, opts); if (id >= 0) con.offsets[id] = -1; if (ret >= 0) return ret; op = op.next; } break; case Op.QUESTION: { int ret = this. matchString (con, op.getChild(), offset, dx, opts); if (ret >= 0) return ret; op = op.next; } break; case Op.NONGREEDYCLOSURE: case Op.NONGREEDYQUESTION: { int ret = this. matchString (con, op.next, offset, dx, opts); if (ret >= 0) return ret; op = op.getChild(); } break; case Op.UNION: for (int i = 0; i < op.size(); i ++) { int ret = this. matchString (con, op.elementAt(i), offset, dx, opts); if (DEBUG) { System.err.println("UNION: "+i+", ret="+ret); } if (ret >= 0) return ret; } return -1; case Op.CAPTURE: int refno = op.getData(); if (con.match != null && refno > 0) { int save = con.match.getBeginning(refno); con.match.setBeginning(refno, offset); int ret = this. matchString (con, op.next, offset, dx, opts); if (ret < 0) con.match.setBeginning(refno, save); return ret; } else if (con.match != null && refno < 0) { int index = -refno; int save = con.match.getEnd(index); con.match.setEnd(index, offset); int ret = this. matchString (con, op.next, offset, dx, opts); if (ret < 0) con.match.setEnd(index, save); return ret; } op = op.next; break; case Op.LOOKAHEAD: if (0 > this. matchString (con, op.getChild(), offset, 1, opts)) return -1; op = op.next; break; case Op.NEGATIVELOOKAHEAD: if (0 <= this. matchString (con, op.getChild(), offset, 1, opts)) return -1; op = op.next; break; case Op.LOOKBEHIND: if (0 > this. matchString (con, op.getChild(), offset, -1, opts)) return -1; op = op.next; break; case Op.NEGATIVELOOKBEHIND: if (0 <= this. matchString (con, op.getChild(), offset, -1, opts)) return -1; op = op.next; break; case Op.INDEPENDENT: { int ret = this. matchString (con, op.getChild(), offset, dx, opts); if (ret < 0) return ret; offset = ret; op = op.next; } break; case Op.MODIFIER: { int localopts = opts; localopts |= op.getData(); localopts &= ~op.getData2(); //System.err.println("MODIFIER: "+Integer.toString(opts, 16)+" -> "+Integer.toString(localopts, 16)); int ret = this. matchString (con, op.getChild(), offset, dx, localopts); if (ret < 0) return ret; offset = ret; op = op.next; } break; case Op.CONDITION: { Op.ConditionOp cop = (Op.ConditionOp)op; boolean matchp = false; if (cop.refNumber > 0) { if (cop.refNumber >= this.nofparen) throw new RuntimeException("Internal Error: Reference number must be more than zero: "+cop.refNumber); matchp = con.match.getBeginning(cop.refNumber) >= 0 && con.match.getEnd(cop.refNumber) >= 0; } else { matchp = 0 <= this. matchString (con, cop.condition, offset, dx, opts); } if (matchp) { op = cop.yes; } else if (cop.no != null) { op = cop.no; } else { op = cop.next; } } break; default: throw new RuntimeException("Unknown operation type: "+op.type); } // switch (op.type) }





while (true) {↵
              if (op == null)↵
                  return isSet(opts, XMLSCHEMA_MODE) && offset != con.limit ? -1 : offset;↵
              if (offset > con.limit || offset < con.start)↵
                  return -1;↵
              switch (op.type) {↵
              case Op.CHAR:↵
                  if (isSet(opts, IGNORE_CASE)) {↵
                      int ch = op.getData();↵
                      if (dx > 0) {↵
                          if (offset >= con.limit || !matchIgnoreCase(ch,  target .charAt(  offset ) ))↵
                              return -1;↵
                          offset ++;↵
                      } else {↵
                          int o1 = offset-1;↵
                          if (o1 >= con.limit || o1 < 0 || !matchIgnoreCase(ch,  target .charAt(  o1 ) ))↵
                              return -1;↵
                          offset = o1;↵
                      }↵
                  } else {↵
                      int ch = op.getData();↵
                      if (dx > 0) {↵
                          if (offset >= con.limit || ch !=  target .charAt(  offset ) )↵
                              return -1;↵
                          offset ++;↵
                      } else {↵
                          int o1 = offset-1;↵
                          if (o1 >= con.limit || o1 < 0 || ch !=  target .charAt(  o1 ) )↵
                              return -1;↵
                          offset = o1;↵
                      }↵
                  }↵
                  op = op.next;↵
                  break;↵

              case Op.DOT:↵
                  if (dx > 0) {↵
                      if (offset >= con.limit)↵
                          return -1;↵
                      int ch =  target .charAt(  offset ) ;↵
                      if (isSet(opts, SINGLE_LINE)) {↵
                          if (REUtil.isHighSurrogate(ch) && offset+1 < con.limit)↵
                              offset ++;↵
                      } else {↵
                          if (REUtil.isHighSurrogate(ch) && offset+1 < con.limit)↵
                              ch = REUtil.composeFromSurrogates(ch,  target .charAt(  ++offset ) );↵
                          if (isEOLChar(ch))↵
                              return -1;↵
                      }↵
                      offset ++;↵
                  } else {↵
                      int o1 = offset-1;↵
                      if (o1 >= con.limit || o1 < 0)↵
                          return -1;↵
                      int ch =  target .charAt(  o1 ) ;↵
                      if (isSet(opts, SINGLE_LINE)) {↵
                          if (REUtil.isLowSurrogate(ch) && o1-1 >= 0)↵
                              o1 --;↵
                      } else {↵
                          if (REUtil.isLowSurrogate(ch) && o1-1 >= 0)↵
                              ch = REUtil.composeFromSurrogates( target .charAt(  --o1 ) , ch);↵
                          if (!isEOLChar(ch))↵
                              return -1;↵
                      }↵
                      offset = o1;↵
                  }↵
                  op = op.next;↵
                  break;↵

              case Op.RANGE:↵
              case Op.NRANGE:↵
                  if (dx > 0) {↵
                      if (offset >= con.limit)↵
                          return -1;↵
                      int ch =  target .charAt(  offset ) ;↵
                      if (REUtil.isHighSurrogate(ch) && offset+1 < con.limit)↵
                          ch = REUtil.composeFromSurrogates(ch,  target .charAt(  ++offset ) );↵
                      RangeToken tok = op.getToken();↵
                      if (isSet(opts, IGNORE_CASE)) {↵
                          tok = tok.getCaseInsensitiveToken();↵
                          if (!tok.match(ch)) {↵
                              if (ch >= 0x10000)  return -1;↵
                              char uch;↵
                              if (!tok.match(uch = Character.toUpperCase((char)ch))↵
                                  && !tok.match(Character.toLowerCase(uch)))↵
                                  return -1;↵
                          }↵
                      } else {↵
                          if (!tok.match(ch))  return -1;↵
                      }↵
                      offset ++;↵
                  } else {↵
                      int o1 = offset-1;↵
                      if (o1 >= con.limit || o1 < 0)↵
                          return -1;↵
                      int ch =  target .charAt(  o1 ) ;↵
                      if (REUtil.isLowSurrogate(ch) && o1-1 >= 0)↵
                          ch = REUtil.composeFromSurrogates( target .charAt(  --o1 ) , ch);↵
                      RangeToken tok = op.getToken();↵
                      if (isSet(opts, IGNORE_CASE)) {↵
                          tok = tok.getCaseInsensitiveToken();↵
                          if (!tok.match(ch)) {↵
                              if (ch >= 0x10000)  return -1;↵
                              char uch;↵
                              if (!tok.match(uch = Character.toUpperCase((char)ch))↵
                                  && !tok.match(Character.toLowerCase(uch)))↵
                                  return -1;↵
                          }↵
                      } else {↵
                          if (!tok.match(ch))  return -1;↵
                      }↵
                      offset = o1;↵
                  }↵
                  op = op.next;↵
                  break;↵

              case Op.ANCHOR:↵
                  boolean go = false;↵
                  switch (op.getData()) {↵
                  case '^':↵
                      if (isSet(opts, MULTIPLE_LINES)) {↵
                          if (!(offset == con.start↵
                                || offset > con.start && isEOLChar( target .charAt(  offset-1 ) )))↵
                              return -1;↵
                      } else {↵
                          if (offset != con.start)↵
                              return -1;↵
                      }↵
                      break;↵

                  case '@':                         // Internal use only.↵
                      // The @ always matches line beginnings.↵
                      if (!(offset == con.start↵
                            || offset > con.start && isEOLChar( target .charAt(  offset-1 ) )))↵
                          return -1;↵
                      break;↵

                  case '$':↵
                      if (isSet(opts, MULTIPLE_LINES)) {↵
                          if (!(offset == con.limit↵
                                || offset < con.limit && isEOLChar( target .charAt(  offset ) )))↵
                              return -1;↵
                      } else {↵
                          if (!(offset == con.limit↵
                                || offset+1 == con.limit && isEOLChar( target .charAt(  offset ) )↵
                                || offset+2 == con.limit &&  target .charAt(  offset )  == CARRIAGE_RETURN↵
                                &&  target .charAt(  offset+1 )  == LINE_FEED))↵
                              return -1;↵
                      }↵
                      break;↵

                  case 'A':↵
                      if (offset != con.start)  return -1;↵
                      break;↵

                  case 'Z':↵
                      if (!(offset == con.limit↵
                            || offset+1 == con.limit && isEOLChar( target .charAt(  offset ) )↵
                            || offset+2 == con.limit &&  target .charAt(  offset )  == CARRIAGE_RETURN↵
                            &&  target .charAt(  offset+1 )  == LINE_FEED))↵
                          return -1;↵
                      break;↵

                  case 'z':↵
                      if (offset != con.limit)  return -1;↵
                      break;↵

                  case 'b':↵
                      if (con.length == 0)  return -1;↵
                      {↵
                          int after = getWordType(target, con.start, con.limit, offset, opts);↵
                          if (after == WT_IGNORE)  return -1;↵
                          int before = getPreviousWordType(target, con.start, con.limit, offset, opts);↵
                          if (after == before)  return -1;↵
                      }↵
                      break;↵

                  case 'B':↵
                      if (con.length == 0)↵
                          go = true;↵
                      else {↵
                          int after = getWordType(target, con.start, con.limit, offset, opts);↵
                          go = after == WT_IGNORE↵
                               || after == getPreviousWordType(target, con.start, con.limit, offset, opts);↵
                      }↵
                      if (!go)  return -1;↵
                      break;↵

                  case '<':↵
                      if (con.length == 0 || offset == con.limit)  return -1;↵
                      if (getWordType(target, con.start, con.limit, offset, opts) != WT_LETTER↵
                          || getPreviousWordType(target, con.start, con.limit, offset, opts) != WT_OTHER)↵
                          return -1;↵
                      break;↵

                  case '>':↵
                      if (con.length == 0 || offset == con.start)  return -1;↵
                      if (getWordType(target, con.start, con.limit, offset, opts) != WT_OTHER↵
                          || getPreviousWordType(target, con.start, con.limit, offset, opts) != WT_LETTER)↵
                          return -1;↵
                      break;↵
                  } // switch anchor type↵
                  op = op.next;↵
                  break;↵

              case Op.BACKREFERENCE:↵
                  {↵
                      int refno = op.getData();↵
                      if (refno <= 0 || refno >= this.nofparen)↵
                          throw new RuntimeException("Internal Error: Reference number must be more than zero: "+refno);↵
                      if (con.match.getBeginning(refno) < 0↵
                          || con.match.getEnd(refno) < 0)↵
                          return -1;                // ********↵
                      int o2 = con.match.getBeginning(refno);↵
                      int literallen = con.match.getEnd(refno)-o2;↵
                      if (!isSet(opts, IGNORE_CASE)) {↵
                          if (dx > 0) {↵
                              if (!regionMatches(target, offset, con.limit, o2, literallen))↵
                                  return -1;↵
                              offset += literallen;↵
                          } else {↵
                              if (!regionMatches(target, offset-literallen, con.limit, o2, literallen))↵
                                  return -1;↵
                              offset -= literallen;↵
                          }↵
                      } else {↵
                          if (dx > 0) {↵
                              if (!regionMatchesIgnoreCase(target, offset, con.limit, o2, literallen))↵
                                  return -1;↵
                              offset += literallen;↵
                          } else {↵
                              if (!regionMatchesIgnoreCase(target, offset-literallen, con.limit,↵
                                                           o2, literallen))↵
                                  return -1;↵
                              offset -= literallen;↵
                          }↵
                      }↵
                  }↵
                  op = op.next;↵
                  break;↵
              case Op.STRING:↵
                  {↵
                      String literal = op.getString();↵
                      int literallen = literal.length();↵
                      if (!isSet(opts, IGNORE_CASE)) {↵
                          if (dx > 0) {↵
                              if (!regionMatches(target, offset, con.limit, literal, literallen))↵
                                  return -1;↵
                              offset += literallen;↵
                          } else {↵
                              if (!regionMatches(target, offset-literallen, con.limit, literal, literallen))↵
                                  return -1;↵
                              offset -= literallen;↵
                          }↵
                      } else {↵
                          if (dx > 0) {↵
                              if (!regionMatchesIgnoreCase(target, offset, con.limit, literal, literallen))↵
                                  return -1;↵
                              offset += literallen;↵
                          } else {↵
                              if (!regionMatchesIgnoreCase(target, offset-literallen, con.limit,↵
                                                           literal, literallen))↵
                                  return -1;↵
                              offset -= literallen;↵
                          }↵
                      }↵
                  }↵
                  op = op.next;↵
                  break;↵

              case Op.CLOSURE:↵
                  {↵
                      /*↵
                       * Saves current position to avoid↵
                       * zero-width repeats.↵
                       */↵
                      int id = op.getData();↵
                      if (id >= 0) {↵
                          int previousOffset = con.offsets[id];↵
                          if (previousOffset < 0 || previousOffset != offset) {↵
                              con.offsets[id] = offset;↵
                          } else {↵
                              con.offsets[id] = -1;↵
                              op = op.next;↵
                              break;↵
                          }↵
                      }↵

                      int ret = this. matchString (con, op.getChild(), offset, dx, opts);↵
                      if (id >= 0)  con.offsets[id] = -1;↵
                      if (ret >= 0)  return ret;↵
                      op = op.next;↵
                  }↵
                  break;↵

              case Op.QUESTION:↵
                  {↵
                      int ret = this. matchString (con, op.getChild(), offset, dx, opts);↵
                      if (ret >= 0)  return ret;↵
                      op = op.next;↵
                  }↵
                  break;↵

              case Op.NONGREEDYCLOSURE:↵
              case Op.NONGREEDYQUESTION:↵
                  {↵
                      int ret = this. matchString (con, op.next, offset, dx, opts);↵
                      if (ret >= 0)  return ret;↵
                      op = op.getChild();↵
                  }↵
                  break;↵

              case Op.UNION:↵
                  for (int i = 0;  i < op.size();  i ++) {↵
                      int ret = this. matchString (con, op.elementAt(i), offset, dx, opts);↵
                      if (DEBUG) {↵
                          System.err.println("UNION: "+i+", ret="+ret);↵
                      }↵
                      if (ret >= 0)  return ret;↵
                  }↵
                  return -1;↵

              case Op.CAPTURE:↵
                  int refno = op.getData();↵
                  if (con.match != null && refno > 0) {↵
                      int save = con.match.getBeginning(refno);↵
                      con.match.setBeginning(refno, offset);↵
                      int ret = this. matchString (con, op.next, offset, dx, opts);↵
                      if (ret < 0)  con.match.setBeginning(refno, save);↵
                      return ret;↵
                  } else if (con.match != null && refno < 0) {↵
                      int index = -refno;↵
                      int save = con.match.getEnd(index);↵
                      con.match.setEnd(index, offset);↵
                      int ret = this. matchString (con, op.next, offset, dx, opts);↵
                      if (ret < 0)  con.match.setEnd(index, save);↵
                      return ret;↵
                  }↵
                  op = op.next;↵
                  break;↵

              case Op.LOOKAHEAD:↵
                  if (0 > this. matchString (con, op.getChild(), offset, 1, opts))  return -1;↵
                  op = op.next;↵
                  break;↵
              case Op.NEGATIVELOOKAHEAD:↵
                  if (0 <= this. matchString (con, op.getChild(), offset, 1, opts))  return -1;↵
                  op = op.next;↵
                  break;↵
              case Op.LOOKBEHIND:↵
                  if (0 > this. matchString (con, op.getChild(), offset, -1, opts))  return -1;↵
                  op = op.next;↵
                  break;↵
              case Op.NEGATIVELOOKBEHIND:↵
                  if (0 <= this. matchString (con, op.getChild(), offset, -1, opts))  return -1;↵
                  op = op.next;↵
                  break;↵

              case Op.INDEPENDENT:↵
                  {↵
                      int ret = this. matchString (con, op.getChild(), offset, dx, opts);↵
                      if (ret < 0)  return ret;↵
                      offset = ret;↵
                      op = op.next;↵
                  }↵
                  break;↵

              case Op.MODIFIER:↵
                  {↵
                      int localopts = opts;↵
                      localopts |= op.getData();↵
                      localopts &= ~op.getData2();↵
                      //System.err.println("MODIFIER: "+Integer.toString(opts, 16)+" -> "+Integer.toString(localopts, 16));↵
                      int ret = this. matchString (con, op.getChild(), offset, dx, localopts);↵
                      if (ret < 0)  return ret;↵
                      offset = ret;↵
                      op = op.next;↵
                  }↵
                  break;↵

              case Op.CONDITION:↵
                  {↵
                      Op.ConditionOp cop = (Op.ConditionOp)op;↵
                      boolean matchp = false;↵
                      if (cop.refNumber > 0) {↵
                          if (cop.refNumber >= this.nofparen)↵
                              throw new RuntimeException("Internal Error: Reference number must be more than zero: "+cop.refNumber);↵
                          matchp = con.match.getBeginning(cop.refNumber) >= 0↵
                                   && con.match.getEnd(cop.refNumber) >= 0;↵
                      } else {↵
                          matchp = 0 <= this. matchString (con, cop.condition, offset, dx, opts);↵
                      }↵

                      if (matchp) {↵
                          op = cop.yes;↵
                      } else if (cop.no != null) {↵
                          op = cop.no;↵
                      } else {↵
                          op = cop.next;↵
                      }↵
                  }↵
                  break;↵

              default:↵
                  throw new RuntimeException("Unknown operation type: "+op.type);↵
              } // switch (op.type)↵
          }


Clone fragments detected by clone detection tool
File path: /emf-2.4.1/src/org/eclipse/emf/ecore/xml/type/internal/RegEx.java		File path: /emf-2.4.1/src/org/eclipse/emf/ecore/xml/type/internal/RegEx.java
Method name: `int matchCharacterIterator(Context, Op, int, int, int)`		Method name: `int matchString(Context, Op, int, int, int)`
Number of AST nodes: 314		Number of AST nodes: 314

1	while (true) {↵		1	while (true) {↵
2	if (op == null)↵		2	if (op == null)↵
3	return isSet(opts, XMLSCHEMA_MODE) && offset != con.limit ? -1 : offset;↵		3	return isSet(opts, XMLSCHEMA_MODE) && offset != con.limit ? -1 : offset;↵
4	if (offset > con.limit \|\| offset < con.start)↵		4	if (offset > con.limit \|\| offset < con.start)↵
5	return -1;↵		5	return -1;↵
6	switch (op.type) {↵		6	switch (op.type) {↵
7	case Op.CHAR:↵		7	case Op.CHAR:↵
8	if (isSet(opts, IGNORE_CASE)) {↵		8	if (isSet(opts, IGNORE_CASE)) {↵
9	int ch = op.getData();↵		9	int ch = op.getData();↵
10	if (dx > 0) {↵		10	if (dx > 0) {↵
11	if (offset >= con.limit \|\| !matchIgnoreCase(ch, target .setIndex( offset ) ))↵		11	if (offset >= con.limit \|\| !matchIgnoreCase(ch, target .charAt( offset ) ))↵
12	return -1;↵		12	return -1;↵
13	offset ++;↵		13	offset ++;↵
14	} else {↵		14	} else {↵
15	int o1 = offset-1;↵		15	int o1 = offset-1;↵
16	if (o1 >= con.limit \|\| o1 < 0 \|\| !matchIgnoreCase(ch, target .setIndex( o1 ) ))↵		16	if (o1 >= con.limit \|\| o1 < 0 \|\| !matchIgnoreCase(ch, target .charAt( o1 ) ))↵
17	return -1;↵		17	return -1;↵
18	offset = o1;↵		18	offset = o1;↵
19	}↵		19	}↵
20	} else {↵		20	} else {↵
21	int ch = op.getData();↵		21	int ch = op.getData();↵
22	if (dx > 0) {↵		22	if (dx > 0) {↵
23	if (offset >= con.limit \|\| ch != target .setIndex( offset ) )↵		23	if (offset >= con.limit \|\| ch != target .charAt( offset ) )↵
24	return -1;↵		24	return -1;↵
25	offset ++;↵		25	offset ++;↵
26	} else {↵		26	} else {↵
27	int o1 = offset-1;↵		27	int o1 = offset-1;↵
28	if (o1 >= con.limit \|\| o1 < 0 \|\| ch != target .setIndex( o1 ) )↵		28	if (o1 >= con.limit \|\| o1 < 0 \|\| ch != target .charAt( o1 ) )↵
29	return -1;↵		29	return -1;↵
30	offset = o1;↵		30	offset = o1;↵
31	}↵		31	}↵
32	}↵		32	}↵
33	op = op.next;↵		33	op = op.next;↵
34	break;↵		34	break;↵
35	case Op.DOT:↵		35	case Op.DOT:↵
36	if (dx > 0) {↵		36	if (dx > 0) {↵
37	if (offset >= con.limit)↵		37	if (offset >= con.limit)↵
38	return -1;↵		38	return -1;↵
39	int ch = target .setIndex( offset ) ;↵		39	int ch = target .charAt( offset ) ;↵
40	if (isSet(opts, SINGLE_LINE)) {↵		40	if (isSet(opts, SINGLE_LINE)) {↵
41	if (REUtil.isHighSurrogate(ch) && offset+1 < con.limit)↵		41	if (REUtil.isHighSurrogate(ch) && offset+1 < con.limit)↵
42	offset ++;↵		42	offset ++;↵
43	} else {↵		43	} else {↵
44	if (REUtil.isHighSurrogate(ch) && offset+1 < con.limit)↵		44	if (REUtil.isHighSurrogate(ch) && offset+1 < con.limit)↵
45	ch = REUtil.composeFromSurrogates(ch, target .setIndex( ++offset ) );↵		45	ch = REUtil.composeFromSurrogates(ch, target .charAt( ++offset ) );↵
46	if (isEOLChar(ch))↵		46	if (isEOLChar(ch))↵
47	return -1;↵		47	return -1;↵
48	}↵		48	}↵
49	offset ++;↵		49	offset ++;↵
50	} else {↵		50	} else {↵
51	int o1 = offset-1;↵		51	int o1 = offset-1;↵
52	if (o1 >= con.limit \|\| o1 < 0)↵		52	if (o1 >= con.limit \|\| o1 < 0)↵
53	return -1;↵		53	return -1;↵
54	int ch = target .setIndex( o1 ) ;↵		54	int ch = target .charAt( o1 ) ;↵
55	if (isSet(opts, SINGLE_LINE)) {↵		55	if (isSet(opts, SINGLE_LINE)) {↵
56	if (REUtil.isLowSurrogate(ch) && o1-1 >= 0)↵		56	if (REUtil.isLowSurrogate(ch) && o1-1 >= 0)↵
57	o1 --;↵		57	o1 --;↵
58	} else {↵		58	} else {↵
59	if (REUtil.isLowSurrogate(ch) && o1-1 >= 0)↵		59	if (REUtil.isLowSurrogate(ch) && o1-1 >= 0)↵
60	ch = REUtil.composeFromSurrogates( target .setIndex( --o1 ) , ch);↵		60	ch = REUtil.composeFromSurrogates( target .charAt( --o1 ) , ch);↵
61	if (!isEOLChar(ch))↵		61	if (!isEOLChar(ch))↵
62	return -1;↵		62	return -1;↵
63	}↵		63	}↵
64	offset = o1;↵		64	offset = o1;↵
65	}↵		65	}↵
66	op = op.next;↵		66	op = op.next;↵
67	break;↵		67	break;↵
68	case Op.RANGE:↵		68	case Op.RANGE:↵
69	case Op.NRANGE:↵		69	case Op.NRANGE:↵
70	if (dx > 0) {↵		70	if (dx > 0) {↵
71	if (offset >= con.limit)↵		71	if (offset >= con.limit)↵
72	return -1;↵		72	return -1;↵
73	int ch = target .setIndex( offset ) ;↵		73	int ch = target .charAt( offset ) ;↵
74	if (REUtil.isHighSurrogate(ch) && offset+1 < con.limit)↵		74	if (REUtil.isHighSurrogate(ch) && offset+1 < con.limit)↵
75	ch = REUtil.composeFromSurrogates(ch, target .setIndex( ++offset ) );↵		75	ch = REUtil.composeFromSurrogates(ch, target .charAt( ++offset ) );↵
76	RangeToken tok = op.getToken();↵		76	RangeToken tok = op.getToken();↵
77	if (isSet(opts, IGNORE_CASE)) {↵		77	if (isSet(opts, IGNORE_CASE)) {↵
78	tok = tok.getCaseInsensitiveToken();↵		78	tok = tok.getCaseInsensitiveToken();↵
79	if (!tok.match(ch)) {↵		79	if (!tok.match(ch)) {↵
80	if (ch >= 0x10000) return -1;↵		80	if (ch >= 0x10000) return -1;↵
81	char uch;↵		81	char uch;↵
82	if (!tok.match(uch = Character.toUpperCase((char)ch))↵		82	if (!tok.match(uch = Character.toUpperCase((char)ch))↵
83	&& !tok.match(Character.toLowerCase(uch)))↵		83	&& !tok.match(Character.toLowerCase(uch)))↵
84	return -1;↵		84	return -1;↵
85	}↵		85	}↵
86	} else {↵		86	} else {↵
87	if (!tok.match(ch)) return -1;↵		87	if (!tok.match(ch)) return -1;↵
88	}↵		88	}↵
89	offset ++;↵		89	offset ++;↵
90	} else {↵		90	} else {↵
91	int o1 = offset-1;↵		91	int o1 = offset-1;↵
92	if (o1 >= con.limit \|\| o1 < 0)↵		92	if (o1 >= con.limit \|\| o1 < 0)↵
93	return -1;↵		93	return -1;↵
94	int ch = target .setIndex( o1 ) ;↵		94	int ch = target .charAt( o1 ) ;↵
95	if (REUtil.isLowSurrogate(ch) && o1-1 >= 0)↵		95	if (REUtil.isLowSurrogate(ch) && o1-1 >= 0)↵
96	ch = REUtil.composeFromSurrogates( target .setIndex( --o1 ) , ch);↵		96	ch = REUtil.composeFromSurrogates( target .charAt( --o1 ) , ch);↵
97	RangeToken tok = op.getToken();↵		97	RangeToken tok = op.getToken();↵
98	if (isSet(opts, IGNORE_CASE)) {↵		98	if (isSet(opts, IGNORE_CASE)) {↵
99	tok = tok.getCaseInsensitiveToken();↵		99	tok = tok.getCaseInsensitiveToken();↵
100	if (!tok.match(ch)) {↵		100	if (!tok.match(ch)) {↵
101	if (ch >= 0x10000) return -1;↵		101	if (ch >= 0x10000) return -1;↵
102	char uch;↵		102	char uch;↵
103	if (!tok.match(uch = Character.toUpperCase((char)ch))↵		103	if (!tok.match(uch = Character.toUpperCase((char)ch))↵
104	&& !tok.match(Character.toLowerCase(uch)))↵		104	&& !tok.match(Character.toLowerCase(uch)))↵
105	return -1;↵		105	return -1;↵
106	}↵		106	}↵
107	} else {↵		107	} else {↵
108	if (!tok.match(ch)) return -1;↵		108	if (!tok.match(ch)) return -1;↵
109	}↵		109	}↵
110	offset = o1;↵		110	offset = o1;↵
111	}↵		111	}↵
112	op = op.next;↵		112	op = op.next;↵
113	break;↵		113	break;↵
114	case Op.ANCHOR:↵		114	case Op.ANCHOR:↵
115	boolean go = false;↵		115	boolean go = false;↵
116	switch (op.getData()) {↵		116	switch (op.getData()) {↵
117	case '^':↵		117	case '^':↵
118	if (isSet(opts, MULTIPLE_LINES)) {↵		118	if (isSet(opts, MULTIPLE_LINES)) {↵
119	if (!(offset == con.start↵		119	if (!(offset == con.start↵
120	\|\| offset > con.start && isEOLChar( target .setIndex( offset-1 ) )))↵		120	\|\| offset > con.start && isEOLChar( target .charAt( offset-1 ) )))↵
121	return -1;↵		121	return -1;↵
122	} else {↵		122	} else {↵
123	if (offset != con.start)↵		123	if (offset != con.start)↵
124	return -1;↵		124	return -1;↵
125	}↵		125	}↵
126	break;↵		126	break;↵
127	case '@': // Internal use only.↵		127	case '@': // Internal use only.↵
128	// The @ always matches line beginnings.↵		128	// The @ always matches line beginnings.↵
129	if (!(offset == con.start↵		129	if (!(offset == con.start↵
130	\|\| offset > con.start && isEOLChar( target .setIndex( offset-1 ) )))↵		130	\|\| offset > con.start && isEOLChar( target .charAt( offset-1 ) )))↵
131	return -1;↵		131	return -1;↵
132	break;↵		132	break;↵
133	case '$':↵		133	case '$':↵
134	if (isSet(opts, MULTIPLE_LINES)) {↵		134	if (isSet(opts, MULTIPLE_LINES)) {↵
135	if (!(offset == con.limit↵		135	if (!(offset == con.limit↵
136	\|\| offset < con.limit && isEOLChar( target .setIndex( offset ) )))↵		136	\|\| offset < con.limit && isEOLChar( target .charAt( offset ) )))↵
137	return -1;↵		137	return -1;↵
138	} else {↵		138	} else {↵
139	if (!(offset == con.limit↵		139	if (!(offset == con.limit↵
140	\|\| offset+1 == con.limit && isEOLChar( target .setIndex( offset ) )↵		140	\|\| offset+1 == con.limit && isEOLChar( target .charAt( offset ) )↵
141	\|\| offset+2 == con.limit && target .setIndex( offset ) == CARRIAGE_RETURN↵		141	\|\| offset+2 == con.limit && target .charAt( offset ) == CARRIAGE_RETURN↵
142	&& target .setIndex( offset+1 ) == LINE_FEED))↵		142	&& target .charAt( offset+1 ) == LINE_FEED))↵
143	return -1;↵		143	return -1;↵
144	}↵		144	}↵
145	break;↵		145	break;↵
146	case 'A':↵		146	case 'A':↵
147	if (offset != con.start) return -1;↵		147	if (offset != con.start) return -1;↵
148	break;↵		148	break;↵
149	case 'Z':↵		149	case 'Z':↵
150	if (!(offset == con.limit↵		150	if (!(offset == con.limit↵
151	\|\| offset+1 == con.limit && isEOLChar( target .setIndex( offset ) )↵		151	\|\| offset+1 == con.limit && isEOLChar( target .charAt( offset ) )↵
152	\|\| offset+2 == con.limit && target .setIndex( offset ) == CARRIAGE_RETURN↵		152	\|\| offset+2 == con.limit && target .charAt( offset ) == CARRIAGE_RETURN↵
153	&& target .setIndex( offset+1 ) == LINE_FEED))↵		153	&& target .charAt( offset+1 ) == LINE_FEED))↵
154	return -1;↵		154	return -1;↵
155	break;↵		155	break;↵
156	case 'z':↵		156	case 'z':↵
157	if (offset != con.limit) return -1;↵		157	if (offset != con.limit) return -1;↵
158	break;↵		158	break;↵
159	case 'b':↵		159	case 'b':↵
160	if (con.length == 0) return -1;↵		160	if (con.length == 0) return -1;↵
161	{↵		161	{↵
162	int after = getWordType(target, con.start, con.limit, offset, opts);↵		162	int after = getWordType(target, con.start, con.limit, offset, opts);↵
163	if (after == WT_IGNORE) return -1;↵		163	if (after == WT_IGNORE) return -1;↵
164	int before = getPreviousWordType(target, con.start, con.limit, offset, opts);↵		164	int before = getPreviousWordType(target, con.start, con.limit, offset, opts);↵
165	if (after == before) return -1;↵		165	if (after == before) return -1;↵
166	}↵		166	}↵
167	break;↵		167	break;↵
168	case 'B':↵		168	case 'B':↵
169	if (con.length == 0)↵		169	if (con.length == 0)↵
170	go = true;↵		170	go = true;↵
171	else {↵		171	else {↵
172	int after = getWordType(target, con.start, con.limit, offset, opts);↵		172	int after = getWordType(target, con.start, con.limit, offset, opts);↵
173	go = after == WT_IGNORE↵		173	go = after == WT_IGNORE↵
174	\|\| after == getPreviousWordType(target, con.start, con.limit, offset, opts);↵		174	\|\| after == getPreviousWordType(target, con.start, con.limit, offset, opts);↵
175	}↵		175	}↵
176	if (!go) return -1;↵		176	if (!go) return -1;↵
177	break;↵		177	break;↵
178	case '<':↵		178	case '<':↵
179	if (con.length == 0 \|\| offset == con.limit) return -1;↵		179	if (con.length == 0 \|\| offset == con.limit) return -1;↵
180	if (getWordType(target, con.start, con.limit, offset, opts) != WT_LETTER↵		180	if (getWordType(target, con.start, con.limit, offset, opts) != WT_LETTER↵
181	\|\| getPreviousWordType(target, con.start, con.limit, offset, opts) != WT_OTHER)↵		181	\|\| getPreviousWordType(target, con.start, con.limit, offset, opts) != WT_OTHER)↵
182	return -1;↵		182	return -1;↵
183	break;↵		183	break;↵
184	case '>':↵		184	case '>':↵
185	if (con.length == 0 \|\| offset == con.start) return -1;↵		185	if (con.length == 0 \|\| offset == con.start) return -1;↵
186	if (getWordType(target, con.start, con.limit, offset, opts) != WT_OTHER↵		186	if (getWordType(target, con.start, con.limit, offset, opts) != WT_OTHER↵
187	\|\| getPreviousWordType(target, con.start, con.limit, offset, opts) != WT_LETTER)↵		187	\|\| getPreviousWordType(target, con.start, con.limit, offset, opts) != WT_LETTER)↵
188	return -1;↵		188	return -1;↵
189	break;↵		189	break;↵
190	} // switch anchor type↵		190	} // switch anchor type↵
191	op = op.next;↵		191	op = op.next;↵
192	break;↵		192	break;↵
193	case Op.BACKREFERENCE:↵		193	case Op.BACKREFERENCE:↵
194	{↵		194	{↵
195	int refno = op.getData();↵		195	int refno = op.getData();↵
196	if (refno <= 0 \|\| refno >= this.nofparen)↵		196	if (refno <= 0 \|\| refno >= this.nofparen)↵
197	throw new RuntimeException("Internal Error: Reference number must be more than zero: "+refno);↵		197	throw new RuntimeException("Internal Error: Reference number must be more than zero: "+refno);↵
198	if (con.match.getBeginning(refno) < 0↵		198	if (con.match.getBeginning(refno) < 0↵
199	\|\| con.match.getEnd(refno) < 0)↵		199	\|\| con.match.getEnd(refno) < 0)↵
200	return -1; // ********↵		200	return -1; // ********↵
201	int o2 = con.match.getBeginning(refno);↵		201	int o2 = con.match.getBeginning(refno);↵
202	int literallen = con.match.getEnd(refno)-o2;↵		202	int literallen = con.match.getEnd(refno)-o2;↵
203	if (!isSet(opts, IGNORE_CASE)) {↵		203	if (!isSet(opts, IGNORE_CASE)) {↵
204	if (dx > 0) {↵		204	if (dx > 0) {↵
205	if (!regionMatches(target, offset, con.limit, o2, literallen))↵		205	if (!regionMatches(target, offset, con.limit, o2, literallen))↵
206	return -1;↵		206	return -1;↵
207	offset += literallen;↵		207	offset += literallen;↵
208	} else {↵		208	} else {↵
209	if (!regionMatches(target, offset-literallen, con.limit, o2, literallen))↵		209	if (!regionMatches(target, offset-literallen, con.limit, o2, literallen))↵
210	return -1;↵		210	return -1;↵
211	offset -= literallen;↵		211	offset -= literallen;↵
212	}↵		212	}↵
213	} else {↵		213	} else {↵
214	if (dx > 0) {↵		214	if (dx > 0) {↵
215	if (!regionMatchesIgnoreCase(target, offset, con.limit, o2, literallen))↵		215	if (!regionMatchesIgnoreCase(target, offset, con.limit, o2, literallen))↵
216	return -1;↵		216	return -1;↵
217	offset += literallen;↵		217	offset += literallen;↵
218	} else {↵		218	} else {↵
219	if (!regionMatchesIgnoreCase(target, offset-literallen, con.limit,↵		219	if (!regionMatchesIgnoreCase(target, offset-literallen, con.limit,↵
220	o2, literallen))↵		220	o2, literallen))↵
221	return -1;↵		221	return -1;↵
222	offset -= literallen;↵		222	offset -= literallen;↵
223	}↵		223	}↵
224	}↵		224	}↵
225	}↵		225	}↵
226	op = op.next;↵		226	op = op.next;↵
227	break;↵		227	break;↵
228	case Op.STRING:↵		228	case Op.STRING:↵
229	{↵		229	{↵
230	String literal = op.getString();↵		230	String literal = op.getString();↵
231	int literallen = literal.length();↵		231	int literallen = literal.length();↵
232	if (!isSet(opts, IGNORE_CASE)) {↵		232	if (!isSet(opts, IGNORE_CASE)) {↵
233	if (dx > 0) {↵		233	if (dx > 0) {↵
234	if (!regionMatches(target, offset, con.limit, literal, literallen))↵		234	if (!regionMatches(target, offset, con.limit, literal, literallen))↵
235	return -1;↵		235	return -1;↵
236	offset += literallen;↵		236	offset += literallen;↵
237	} else {↵		237	} else {↵
238	if (!regionMatches(target, offset-literallen, con.limit, literal, literallen))↵		238	if (!regionMatches(target, offset-literallen, con.limit, literal, literallen))↵
239	return -1;↵		239	return -1;↵
240	offset -= literallen;↵		240	offset -= literallen;↵
241	}↵		241	}↵
242	} else {↵		242	} else {↵
243	if (dx > 0) {↵		243	if (dx > 0) {↵
244	if (!regionMatchesIgnoreCase(target, offset, con.limit, literal, literallen))↵		244	if (!regionMatchesIgnoreCase(target, offset, con.limit, literal, literallen))↵
245	return -1;↵		245	return -1;↵
246	offset += literallen;↵		246	offset += literallen;↵
247	} else {↵		247	} else {↵
248	if (!regionMatchesIgnoreCase(target, offset-literallen, con.limit,↵		248	if (!regionMatchesIgnoreCase(target, offset-literallen, con.limit,↵
249	literal, literallen))↵		249	literal, literallen))↵
250	return -1;↵		250	return -1;↵
251	offset -= literallen;↵		251	offset -= literallen;↵
252	}↵		252	}↵
253	}↵		253	}↵
254	}↵		254	}↵
255	op = op.next;↵		255	op = op.next;↵
256	break;↵		256	break;↵
257	case Op.CLOSURE:↵		257	case Op.CLOSURE:↵
258	{↵		258	{↵
259	/*↵		259	/*↵
260	* Saves current position to avoid↵		260	* Saves current position to avoid↵
261	* zero-width repeats.↵		261	* zero-width repeats.↵
262	*/↵		262	*/↵
263	int id = op.getData();↵		263	int id = op.getData();↵
264	if (id >= 0) {↵		264	if (id >= 0) {↵
265	int previousOffset = con.offsets[id];↵		265	int previousOffset = con.offsets[id];↵
266	if (previousOffset < 0 \|\| previousOffset != offset) {↵		266	if (previousOffset < 0 \|\| previousOffset != offset) {↵
267	con.offsets[id] = offset;↵		267	con.offsets[id] = offset;↵
268	} else {↵		268	} else {↵
269	con.offsets[id] = -1;↵		269	con.offsets[id] = -1;↵
270	op = op.next;↵		270	op = op.next;↵
271	break;↵		271	break;↵
272	}↵		272	}↵
273	}↵		273	}↵
274	↵
275	int ret = this. matchCharacterIterator (con, op.getChild(), offset, dx, opts);↵		274	int ret = this. matchString (con, op.getChild(), offset, dx, opts);↵
276	if (id >= 0) con.offsets[id] = -1;↵		275	if (id >= 0) con.offsets[id] = -1;↵
277	if (ret >= 0) return ret;↵		276	if (ret >= 0) return ret;↵
278	op = op.next;↵		277	op = op.next;↵
279	}↵		278	}↵
280	break;↵		279	break;↵
281	case Op.QUESTION:↵		280	case Op.QUESTION:↵
282	{↵		281	{↵
283	int ret = this. matchCharacterIterator (con, op.getChild(), offset, dx, opts);↵		282	int ret = this. matchString (con, op.getChild(), offset, dx, opts);↵
284	if (ret >= 0) return ret;↵		283	if (ret >= 0) return ret;↵
285	op = op.next;↵		284	op = op.next;↵
286	}↵		285	}↵
287	break;↵		286	break;↵
288	case Op.NONGREEDYCLOSURE:↵		287	case Op.NONGREEDYCLOSURE:↵
289	case Op.NONGREEDYQUESTION:↵		288	case Op.NONGREEDYQUESTION:↵
290	{↵		289	{↵
291	int ret = this. matchCharacterIterator (con, op.next, offset, dx, opts);↵		290	int ret = this. matchString (con, op.next, offset, dx, opts);↵
292	if (ret >= 0) return ret;↵		291	if (ret >= 0) return ret;↵
293	op = op.getChild();↵		292	op = op.getChild();↵
294	}↵		293	}↵
295	break;↵		294	break;↵
296	case Op.UNION:↵		295	case Op.UNION:↵
297	for (int i = 0; i < op.size(); i ++) {↵		296	for (int i = 0; i < op.size(); i ++) {↵
298	int ret = this. matchCharacterIterator (con, op.elementAt(i), offset, dx, opts);↵		297	int ret = this. matchString (con, op.elementAt(i), offset, dx, opts);↵
299	if (DEBUG) {↵		298	if (DEBUG) {↵
300	System.err.println("UNION: "+i+", ret="+ret);↵		299	System.err.println("UNION: "+i+", ret="+ret);↵
301	}↵		300	}↵
302	if (ret >= 0) return ret;↵		301	if (ret >= 0) return ret;↵
303	}↵		302	}↵
304	return -1;↵		303	return -1;↵
305	case Op.CAPTURE:↵		304	case Op.CAPTURE:↵
306	int refno = op.getData();↵		305	int refno = op.getData();↵
307	if (con.match != null && refno > 0) {↵		306	if (con.match != null && refno > 0) {↵
308	int save = con.match.getBeginning(refno);↵		307	int save = con.match.getBeginning(refno);↵
309	con.match.setBeginning(refno, offset);↵		308	con.match.setBeginning(refno, offset);↵
310	int ret = this. matchCharacterIterator (con, op.next, offset, dx, opts);↵		309	int ret = this. matchString (con, op.next, offset, dx, opts);↵
311	if (ret < 0) con.match.setBeginning(refno, save);↵		310	if (ret < 0) con.match.setBeginning(refno, save);↵
312	return ret;↵		311	return ret;↵
313	} else if (con.match != null && refno < 0) {↵		312	} else if (con.match != null && refno < 0) {↵
314	int index = -refno;↵		313	int index = -refno;↵
315	int save = con.match.getEnd(index);↵		314	int save = con.match.getEnd(index);↵
316	con.match.setEnd(index, offset);↵		315	con.match.setEnd(index, offset);↵
317	int ret = this. matchCharacterIterator (con, op.next, offset, dx, opts);↵		316	int ret = this. matchString (con, op.next, offset, dx, opts);↵
318	if (ret < 0) con.match.setEnd(index, save);↵		317	if (ret < 0) con.match.setEnd(index, save);↵
319	return ret;↵		318	return ret;↵
320	}↵		319	}↵
321	op = op.next;↵		320	op = op.next;↵
322	break;↵		321	break;↵
323	case Op.LOOKAHEAD:↵		322	case Op.LOOKAHEAD:↵
324	if (0 > this. matchCharacterIterator (con, op.getChild(), offset, 1, opts)) return -1;↵		323	if (0 > this. matchString (con, op.getChild(), offset, 1, opts)) return -1;↵
325	op = op.next;↵		324	op = op.next;↵
326	break;↵		325	break;↵
327	case Op.NEGATIVELOOKAHEAD:↵		326	case Op.NEGATIVELOOKAHEAD:↵
328	if (0 <= this. matchCharacterIterator (con, op.getChild(), offset, 1, opts)) return -1;↵		327	if (0 <= this. matchString (con, op.getChild(), offset, 1, opts)) return -1;↵
329	op = op.next;↵		328	op = op.next;↵
330	break;↵		329	break;↵
331	case Op.LOOKBEHIND:↵		330	case Op.LOOKBEHIND:↵
332	if (0 > this. matchCharacterIterator (con, op.getChild(), offset, -1, opts)) return -1;↵		331	if (0 > this. matchString (con, op.getChild(), offset, -1, opts)) return -1;↵
333	op = op.next;↵		332	op = op.next;↵
334	break;↵		333	break;↵
335	case Op.NEGATIVELOOKBEHIND:↵		334	case Op.NEGATIVELOOKBEHIND:↵
336	if (0 <= this. matchCharacterIterator (con, op.getChild(), offset, -1, opts)) return -1;↵		335	if (0 <= this. matchString (con, op.getChild(), offset, -1, opts)) return -1;↵
337	op = op.next;↵		336	op = op.next;↵
338	break;↵		337	break;↵
339	case Op.INDEPENDENT:↵		338	case Op.INDEPENDENT:↵
340	{↵		339	{↵
341	int ret = this. matchCharacterIterator (con, op.getChild(), offset, dx, opts);↵		340	int ret = this. matchString (con, op.getChild(), offset, dx, opts);↵
342	if (ret < 0) return ret;↵		341	if (ret < 0) return ret;↵
343	offset = ret;↵		342	offset = ret;↵
344	op = op.next;↵		343	op = op.next;↵
345	}↵		344	}↵
346	break;↵		345	break;↵
347	case Op.MODIFIER:↵		346	case Op.MODIFIER:↵
348	{↵		347	{↵
349	int localopts = opts;↵		348	int localopts = opts;↵
350	localopts \|= op.getData();↵		349	localopts \|= op.getData();↵
351	localopts &= ~op.getData2();↵		350	localopts &= ~op.getData2();↵
352	//System.err.println("MODIFIER: "+Integer.toString(opts, 16)+" -> "+Integer.toString(localopts, 16));↵		351	//System.err.println("MODIFIER: "+Integer.toString(opts, 16)+" -> "+Integer.toString(localopts, 16));↵
353	int ret = this. matchCharacterIterator (con, op.getChild(), offset, dx, localopts);↵		352	int ret = this. matchString (con, op.getChild(), offset, dx, localopts);↵
354	if (ret < 0) return ret;↵		353	if (ret < 0) return ret;↵
355	offset = ret;↵		354	offset = ret;↵
356	op = op.next;↵		355	op = op.next;↵
357	}↵		356	}↵
358	break;↵		357	break;↵
359	case Op.CONDITION:↵		358	case Op.CONDITION:↵
360	{↵		359	{↵
361	Op.ConditionOp cop = (Op.ConditionOp)op;↵		360	Op.ConditionOp cop = (Op.ConditionOp)op;↵
362	boolean matchp = false;↵		361	boolean matchp = false;↵
363	if (cop.refNumber > 0) {↵		362	if (cop.refNumber > 0) {↵
364	if (cop.refNumber >= this.nofparen)↵		363	if (cop.refNumber >= this.nofparen)↵
365	throw new RuntimeException("Internal Error: Reference number must be more than zero: "+cop.refNumber);↵		364	throw new RuntimeException("Internal Error: Reference number must be more than zero: "+cop.refNumber);↵
366	matchp = con.match.getBeginning(cop.refNumber) >= 0↵		365	matchp = con.match.getBeginning(cop.refNumber) >= 0↵
367	&& con.match.getEnd(cop.refNumber) >= 0;↵		366	&& con.match.getEnd(cop.refNumber) >= 0;↵
368	} else {↵		367	} else {↵
369	matchp = 0 <= this. matchCharacterIterator (con, cop.condition, offset, dx, opts);↵		368	matchp = 0 <= this. matchString (con, cop.condition, offset, dx, opts);↵
370	}↵		369	}↵
371	if (matchp) {↵		370	if (matchp) {↵
372	op = cop.yes;↵		371	op = cop.yes;↵
373	} else if (cop.no != null) {↵		372	} else if (cop.no != null) {↵
374	op = cop.no;↵		373	op = cop.no;↵
375	} else {↵		374	} else {↵
376	op = cop.next;↵		375	op = cop.next;↵
377	}↵		376	}↵
378	}↵		377	}↵
379	break;↵		378	break;↵
380	default:↵		379	default:↵
381	throw new RuntimeException("Unknown operation type: "+op.type);↵		380	throw new RuntimeException("Unknown operation type: "+op.type);↵
382	} // switch (op.type)↵		381	} // switch (op.type)↵
383	}		382	}
See real code fragment		See real code fragment

Summary
Number of common nesting structure subtrees	1
Number of refactorable cases	0
Number of non-refactorable cases	1
Time elapsed for finding largest common nesting structure subtrees (ms)	1081.9
Clones location	Clones are declared in the same class
Number of node comparisons	7256

{Non-refactorable}

Mapping Summary
Number of mapped statements	314
Number of unmapped statements in the first code fragment	0
Number of unmapped statements in the second code fragment	0
Time elapsed for statement mapping (ms)	7381.8
Clone type	Type 2


while (true)
if (op == null)
return isSet(opts, XMLSCHEMA_MODE) && offset != con.limit ? -1 : offset;
if (offset > con.limit || offset < con.start)
return -1;
switch (op.type)
case Op.CHAR:
if (isSet(opts, IGNORE_CASE))
int ch = op.getData();
if (dx > 0)
if (offset >= con.limit || !matchIgnoreCase(ch, target.charAt(offset)))
return -1;
offset++;
else
int o1 = offset - 1;
if (o1 >= con.limit || o1 < 0 || !matchIgnoreCase(ch, target.charAt(o1)))
return -1;
offset = o1;
else
int ch = op.getData();
if (dx > 0)
if (offset >= con.limit || ch != target.charAt(offset))
return -1;
offset++;
else
int o1 = offset - 1;
if (o1 >= con.limit || o1 < 0 || ch != target.charAt(o1))
return -1;
offset = o1;
op = op.next;
break;
case Op.DOT:
if (dx > 0)
if (offset >= con.limit)
return -1;
int ch = target.charAt(offset);
if (isSet(opts, SINGLE_LINE))
if (REUtil.isHighSurrogate(ch) && offset + 1 < con.limit)
offset++;
else
if (REUtil.isHighSurrogate(ch) && offset + 1 < con.limit)
ch = REUtil.composeFromSurrogates(ch, target.charAt(++offset));
if (isEOLChar(ch))
return -1;
offset++;
else
int o1 = offset - 1;
if (o1 >= con.limit || o1 < 0)
return -1;
int ch = target.charAt(o1);
if (isSet(opts, SINGLE_LINE))
if (REUtil.isLowSurrogate(ch) && o1 - 1 >= 0)
o1--;
else
if (REUtil.isLowSurrogate(ch) && o1 - 1 >= 0)
ch = REUtil.composeFromSurrogates(target.charAt(--o1), ch);
if (!isEOLChar(ch))
return -1;
offset = o1;
op = op.next;
break;
case Op.RANGE:
case Op.NRANGE:
if (dx > 0)
if (offset >= con.limit)
return -1;
int ch = target.charAt(offset);
if (REUtil.isHighSurrogate(ch) && offset + 1 < con.limit)
ch = REUtil.composeFromSurrogates(ch, target.charAt(++offset));
RangeToken tok = op.getToken();
if (isSet(opts, IGNORE_CASE))
tok = tok.getCaseInsensitiveToken();
if (!tok.match(ch))
if (ch >= 0x10000)
return -1;
char uch;
if (!tok.match(uch = Character.toUpperCase((char)ch)) && !tok.match(Character.toLowerCase(uch)))
return -1;
else
if (!tok.match(ch))
return -1;
offset++;
else
int o1 = offset - 1;
if (o1 >= con.limit || o1 < 0)
return -1;
int ch = target.charAt(o1);
if (REUtil.isLowSurrogate(ch) && o1 - 1 >= 0)
ch = REUtil.composeFromSurrogates(target.charAt(--o1), ch);
RangeToken tok = op.getToken();
if (isSet(opts, IGNORE_CASE))
tok = tok.getCaseInsensitiveToken();
if (!tok.match(ch))
if (ch >= 0x10000)
return -1;
char uch;
if (!tok.match(uch = Character.toUpperCase((char)ch)) && !tok.match(Character.toLowerCase(uch)))
return -1;
else
if (!tok.match(ch))
return -1;
offset = o1;
op = op.next;
break;
case Op.ANCHOR:
boolean go = false;
switch (op.getData())
case '^':
if (isSet(opts, MULTIPLE_LINES))
if (!(offset == con.start || offset > con.start && isEOLChar(target.charAt(offset - 1))))
return -1;
else
if (offset != con.start)
return -1;
break;
case '@':
if (!(offset == con.start || offset > con.start && isEOLChar(target.charAt(offset - 1))))
return -1;
break;
case '$':
if (isSet(opts, MULTIPLE_LINES))
if (!(offset == con.limit || offset < con.limit && isEOLChar(target.charAt(offset))))
return -1;
else
if (!(offset == con.limit || offset + 1 == con.limit && isEOLChar(target.charAt(offset)) || offset + 2 == con.limit && target.charAt(offset) == CARRIAGE_RETURN && target.charAt(offset + 1) == LINE_FEED))
return -1;
break;
case 'A':
if (offset != con.start)
return -1;
break;
case 'Z':
if (!(offset == con.limit || offset + 1 == con.limit && isEOLChar(target.charAt(offset)) || offset + 2 == con.limit && target.charAt(offset) == CARRIAGE_RETURN && target.charAt(offset + 1) == LINE_FEED))
return -1;
break;
case 'z':
if (offset != con.limit)
return -1;
break;
case 'b':
if (con.length == 0)
return -1;
int after = getWordType(target, con.start, con.limit, offset, opts);
if (after == WT_IGNORE)
return -1;
int before = getPreviousWordType(target, con.start, con.limit, offset, opts);
if (after == before)
return -1;
break;
case 'B':
if (con.length == 0)
go = true;
else
int after = getWordType(target, con.start, con.limit, offset, opts);
go = after == WT_IGNORE || after == getPreviousWordType(target, con.start, con.limit, offset, opts);
if (!go)
return -1;
break;
case '<':
if (con.length == 0 || offset == con.limit)
return -1;
if (getWordType(target, con.start, con.limit, offset, opts) != WT_LETTER || getPreviousWordType(target, con.start, con.limit, offset, opts) != WT_OTHER)
return -1;
break;
case '>':
if (con.length == 0 || offset == con.start)
return -1;
if (getWordType(target, con.start, con.limit, offset, opts) != WT_OTHER || getPreviousWordType(target, con.start, con.limit, offset, opts) != WT_LETTER)
return -1;
break;
op = op.next;
break;
case Op.BACKREFERENCE:
int refno = op.getData();
if (refno <= 0 || refno >= this.nofparen)
throw new RuntimeException("Internal Error: Reference number must be more than zero: " + refno);
if (con.match.getBeginning(refno) < 0 || con.match.getEnd(refno) < 0)
return -1;
int o2 = con.match.getBeginning(refno);
int literallen = con.match.getEnd(refno) - o2;
if (!isSet(opts, IGNORE_CASE))
if (dx > 0)
if (!regionMatches(target, offset, con.limit, o2, literallen))
return -1;
offset += literallen;
else
if (!regionMatches(target, offset - literallen, con.limit, o2, literallen))
return -1;
offset -= literallen;
else
if (dx > 0)
if (!regionMatchesIgnoreCase(target, offset, con.limit, o2, literallen))
return -1;
offset += literallen;
else
if (!regionMatchesIgnoreCase(target, offset - literallen, con.limit, o2, literallen))
return -1;
offset -= literallen;
op = op.next;
break;
case Op.STRING:
String literal = op.getString();
int literallen = literal.length();
if (!isSet(opts, IGNORE_CASE))
if (dx > 0)
if (!regionMatches(target, offset, con.limit, literal, literallen))
return -1;
offset += literallen;
else
if (!regionMatches(target, offset - literallen, con.limit, literal, literallen))
return -1;
offset -= literallen;
else
if (dx > 0)
if (!regionMatchesIgnoreCase(target, offset, con.limit, literal, literallen))
return -1;
offset += literallen;
else
if (!regionMatchesIgnoreCase(target, offset - literallen, con.limit, literal, literallen))
return -1;
offset -= literallen;
op = op.next;
break;
case Op.CLOSURE:
int id = op.getData();
if (id >= 0)
int previousOffset = con.offsets[id];
if (previousOffset < 0 || previousOffset != offset)
con.offsets[id] = offset;
else
con.offsets[id] = -1;
op = op.next;
break;
int ret = this.matchString(con, op.getChild(), offset, dx, opts);
if (id >= 0)
con.offsets[id] = -1;
if (ret >= 0)
return ret;
op = op.next;
break;
case Op.QUESTION:
int ret = this.matchString(con, op.getChild(), offset, dx, opts);
if (ret >= 0)
return ret;
op = op.next;
break;
case Op.NONGREEDYCLOSURE:
case Op.NONGREEDYQUESTION:
int ret = this.matchString(con, op.next, offset, dx, opts);
if (ret >= 0)
return ret;
op = op.getChild();
break;
case Op.UNION:
for (int i = 0; i < op.size(); i++)
int ret = this.matchString(con, op.elementAt(i), offset, dx, opts);
if (DEBUG)
System.err.println("UNION: " + i + ", ret=" + ret);
if (ret >= 0)
return ret;
return -1;
case Op.CAPTURE:
int refno = op.getData();
if (con.match != null && refno > 0)
int save = con.match.getBeginning(refno);
con.match.setBeginning(refno, offset);
int ret = this.matchString(con, op.next, offset, dx, opts);
if (ret < 0)
con.match.setBeginning(refno, save);
return ret;
else if (con.match != null && refno < 0)
int index = -refno;
int save = con.match.getEnd(index);
con.match.setEnd(index, offset);
int ret = this.matchString(con, op.next, offset, dx, opts);
if (ret < 0)
con.match.setEnd(index, save);
return ret;
op = op.next;
break;
case Op.LOOKAHEAD:
if (0 > this.matchString(con, op.getChild(), offset, 1, opts))
return -1;
op = op.next;
break;
case Op.NEGATIVELOOKAHEAD:
if (0 <= this.matchString(con, op.getChild(), offset, 1, opts))
return -1;
op = op.next;
break;
case Op.LOOKBEHIND:
if (0 > this.matchString(con, op.getChild(), offset, -1, opts))
return -1;
op = op.next;
break;
case Op.NEGATIVELOOKBEHIND:
if (0 <= this.matchString(con, op.getChild(), offset, -1, opts))
return -1;
op = op.next;
break;
case Op.INDEPENDENT:
int ret = this.matchString(con, op.getChild(), offset, dx, opts);
if (ret < 0)
return ret;
offset = ret;
op = op.next;
break;
case Op.MODIFIER:
int localopts = opts;
localopts |= op.getData();
localopts &= ~op.getData2();
int ret = this.matchString(con, op.getChild(), offset, dx, localopts);
if (ret < 0)
return ret;
offset = ret;
op = op.next;
break;
case Op.CONDITION:
Op.ConditionOp cop = (Op.ConditionOp)op;
boolean matchp = false;
if (cop.refNumber > 0)
if (cop.refNumber >= this.nofparen)
throw new RuntimeException("Internal Error: Reference number must be more than zero: " + cop.refNumber);
matchp = con.match.getBeginning(cop.refNumber) >= 0 && con.match.getEnd(cop.refNumber) >= 0;
else
matchp = 0 <= this.matchString(con, cop.condition, offset, dx, opts);
if (matchp)
op = cop.yes;
else if (cop.no != null)
op = cop.no;
else
op = cop.next;
break;
default:
throw new RuntimeException("Unknown operation type: " + op.type);

Precondition Violations (105)
Row	Violation
1	Expression target.setIndex(offset) cannot be parameterized, because it has dependencies to/from statements that will be extracted
2	Expression target.charAt(offset) cannot be parameterized, because it has dependencies to/from statements that will be extracted
3	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
4	Expression target.setIndex(o1) cannot be parameterized, because it has dependencies to/from statements that will be extracted
5	Expression target.charAt(o1) cannot be parameterized, because it has dependencies to/from statements that will be extracted
6	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
7	Expression target.setIndex(offset) cannot be parameterized, because it has dependencies to/from statements that will be extracted
8	Expression target.charAt(offset) cannot be parameterized, because it has dependencies to/from statements that will be extracted
9	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
10	Expression target.setIndex(o1) cannot be parameterized, because it has dependencies to/from statements that will be extracted
11	Expression target.charAt(o1) cannot be parameterized, because it has dependencies to/from statements that will be extracted
12	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
13	Expression target.setIndex(offset) cannot be parameterized, because it has dependencies to/from statements that will be extracted
14	Expression target.charAt(offset) cannot be parameterized, because it has dependencies to/from statements that will be extracted
15	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
16	Expression target.setIndex(++offset) cannot be parameterized, because it has dependencies to/from statements that will be extracted
17	Expression target.charAt(++offset) cannot be parameterized, because it has dependencies to/from statements that will be extracted
18	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
19	Expression target.setIndex(o1) cannot be parameterized, because it has dependencies to/from statements that will be extracted
20	Expression target.charAt(o1) cannot be parameterized, because it has dependencies to/from statements that will be extracted
21	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
22	Expression target.setIndex(--o1) cannot be parameterized, because it has dependencies to/from statements that will be extracted
23	Expression target.charAt(--o1) cannot be parameterized, because it has dependencies to/from statements that will be extracted
24	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
25	Expression target.setIndex(offset) cannot be parameterized, because it has dependencies to/from statements that will be extracted
26	Expression target.charAt(offset) cannot be parameterized, because it has dependencies to/from statements that will be extracted
27	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
28	Expression target.setIndex(++offset) cannot be parameterized, because it has dependencies to/from statements that will be extracted
29	Expression target.charAt(++offset) cannot be parameterized, because it has dependencies to/from statements that will be extracted
30	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
31	Expression target.setIndex(o1) cannot be parameterized, because it has dependencies to/from statements that will be extracted
32	Expression target.charAt(o1) cannot be parameterized, because it has dependencies to/from statements that will be extracted
33	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
34	Expression target.setIndex(--o1) cannot be parameterized, because it has dependencies to/from statements that will be extracted
35	Expression target.charAt(--o1) cannot be parameterized, because it has dependencies to/from statements that will be extracted
36	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
37	Expression target.setIndex(offset - 1) cannot be parameterized, because it has dependencies to/from statements that will be extracted
38	Expression target.charAt(offset - 1) cannot be parameterized, because it has dependencies to/from statements that will be extracted
39	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
40	Expression target.setIndex(offset - 1) cannot be parameterized, because it has dependencies to/from statements that will be extracted
41	Expression target.charAt(offset - 1) cannot be parameterized, because it has dependencies to/from statements that will be extracted
42	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
43	Expression target.setIndex(offset) cannot be parameterized, because it has dependencies to/from statements that will be extracted
44	Expression target.charAt(offset) cannot be parameterized, because it has dependencies to/from statements that will be extracted
45	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
46	Expression target.setIndex(offset) cannot be parameterized, because it has dependencies to/from statements that will be extracted
47	Expression target.charAt(offset) cannot be parameterized, because it has dependencies to/from statements that will be extracted
48	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
49	Expression target.setIndex(offset) cannot be parameterized, because it has dependencies to/from statements that will be extracted
50	Expression target.charAt(offset) cannot be parameterized, because it has dependencies to/from statements that will be extracted
51	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
52	Expression target.setIndex(offset + 1) cannot be parameterized, because it has dependencies to/from statements that will be extracted
53	Expression target.charAt(offset + 1) cannot be parameterized, because it has dependencies to/from statements that will be extracted
54	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
55	Expression target.setIndex(offset) cannot be parameterized, because it has dependencies to/from statements that will be extracted
56	Expression target.charAt(offset) cannot be parameterized, because it has dependencies to/from statements that will be extracted
57	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
58	Expression target.setIndex(offset) cannot be parameterized, because it has dependencies to/from statements that will be extracted
59	Expression target.charAt(offset) cannot be parameterized, because it has dependencies to/from statements that will be extracted
60	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
61	Expression target.setIndex(offset + 1) cannot be parameterized, because it has dependencies to/from statements that will be extracted
62	Expression target.charAt(offset + 1) cannot be parameterized, because it has dependencies to/from statements that will be extracted
63	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
64	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
65	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
66	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
67	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
68	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
69	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
70	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
71	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
72	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
73	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
74	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
75	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
76	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
77	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
78	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
79	Type java.text.CharacterIterator of variable target does not match with type java.lang.String of variable target
80	Expression this.matchCharacterIterator(con,op.getChild(),offset,dx,opts) cannot be parameterized, because it has dependencies to/from statements that will be extracted
81	Expression this.matchString(con,op.getChild(),offset,dx,opts) cannot be parameterized, because it has dependencies to/from statements that will be extracted
82	Expression this.matchCharacterIterator(con,op.getChild(),offset,dx,opts) cannot be parameterized, because it has dependencies to/from statements that will be extracted
83	Expression this.matchString(con,op.getChild(),offset,dx,opts) cannot be parameterized, because it has dependencies to/from statements that will be extracted
84	Expression this.matchCharacterIterator(con,op.next,offset,dx,opts) cannot be parameterized, because it has dependencies to/from statements that will be extracted
85	Expression this.matchString(con,op.next,offset,dx,opts) cannot be parameterized, because it has dependencies to/from statements that will be extracted
86	Expression this.matchCharacterIterator(con,op.elementAt(i),offset,dx,opts) cannot be parameterized, because it has dependencies to/from statements that will be extracted
87	Expression this.matchString(con,op.elementAt(i),offset,dx,opts) cannot be parameterized, because it has dependencies to/from statements that will be extracted
88	Expression this.matchCharacterIterator(con,op.next,offset,dx,opts) cannot be parameterized, because it has dependencies to/from statements that will be extracted
89	Expression this.matchString(con,op.next,offset,dx,opts) cannot be parameterized, because it has dependencies to/from statements that will be extracted
90	Expression this.matchCharacterIterator(con,op.next,offset,dx,opts) cannot be parameterized, because it has dependencies to/from statements that will be extracted
91	Expression this.matchString(con,op.next,offset,dx,opts) cannot be parameterized, because it has dependencies to/from statements that will be extracted
92	Expression this.matchCharacterIterator(con,op.getChild(),offset,1,opts) cannot be parameterized, because it has dependencies to/from statements that will be extracted
93	Expression this.matchString(con,op.getChild(),offset,1,opts) cannot be parameterized, because it has dependencies to/from statements that will be extracted
94	Expression this.matchCharacterIterator(con,op.getChild(),offset,1,opts) cannot be parameterized, because it has dependencies to/from statements that will be extracted
95	Expression this.matchString(con,op.getChild(),offset,1,opts) cannot be parameterized, because it has dependencies to/from statements that will be extracted
96	Expression this.matchCharacterIterator(con,op.getChild(),offset,-1,opts) cannot be parameterized, because it has dependencies to/from statements that will be extracted
97	Expression this.matchString(con,op.getChild(),offset,-1,opts) cannot be parameterized, because it has dependencies to/from statements that will be extracted
98	Expression this.matchCharacterIterator(con,op.getChild(),offset,-1,opts) cannot be parameterized, because it has dependencies to/from statements that will be extracted
99	Expression this.matchString(con,op.getChild(),offset,-1,opts) cannot be parameterized, because it has dependencies to/from statements that will be extracted
100	Expression this.matchCharacterIterator(con,op.getChild(),offset,dx,opts) cannot be parameterized, because it has dependencies to/from statements that will be extracted
101	Expression this.matchString(con,op.getChild(),offset,dx,opts) cannot be parameterized, because it has dependencies to/from statements that will be extracted
102	Expression this.matchCharacterIterator(con,op.getChild(),offset,dx,localopts) cannot be parameterized, because it has dependencies to/from statements that will be extracted
103	Expression this.matchString(con,op.getChild(),offset,dx,localopts) cannot be parameterized, because it has dependencies to/from statements that will be extracted
104	Expression this.matchCharacterIterator(con,cop.condition,offset,dx,opts) cannot be parameterized, because it has dependencies to/from statements that will be extracted
105	Expression this.matchString(con,cop.condition,offset,dx,opts) cannot be parameterized, because it has dependencies to/from statements that will be extracted