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 .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 .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 .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)↵
          }


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 matchString(Context, Op, int, int, int)`		Method name: `int matchCharacterIterator(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 .charAt( offset ) ))↵		11	if (offset >= con.limit \|\| !matchIgnoreCase(ch, target .setIndex( 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 .charAt( o1 ) ))↵		16	if (o1 >= con.limit \|\| o1 < 0 \|\| !matchIgnoreCase(ch, target .setIndex( 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 .charAt( offset ) )↵		23	if (offset >= con.limit \|\| ch != target .setIndex( 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 .charAt( o1 ) )↵		28	if (o1 >= con.limit \|\| o1 < 0 \|\| ch != target .setIndex( 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 .charAt( offset ) ;↵		39	int ch = target .setIndex( 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 .charAt( ++offset ) );↵		45	ch = REUtil.composeFromSurrogates(ch, target .setIndex( ++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 .charAt( o1 ) ;↵		54	int ch = target .setIndex( 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 .charAt( --o1 ) , ch);↵		60	ch = REUtil.composeFromSurrogates( target .setIndex( --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 .charAt( offset ) ;↵		73	int ch = target .setIndex( 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 .charAt( ++offset ) );↵		75	ch = REUtil.composeFromSurrogates(ch, target .setIndex( ++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 .charAt( o1 ) ;↵		94	int ch = target .setIndex( o1 ) ;↵
95	if (REUtil.isLowSurrogate(ch) && o1-1 >= 0)↵		95	if (REUtil.isLowSurrogate(ch) && o1-1 >= 0)↵
96	ch = REUtil.composeFromSurrogates( target .charAt( --o1 ) , ch);↵		96	ch = REUtil.composeFromSurrogates( target .setIndex( --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 .charAt( offset-1 ) )))↵		120	\|\| offset > con.start && isEOLChar( target .setIndex( 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 .charAt( offset-1 ) )))↵		130	\|\| offset > con.start && isEOLChar( target .setIndex( 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 .charAt( offset ) )))↵		136	\|\| offset < con.limit && isEOLChar( target .setIndex( 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 .charAt( offset ) )↵		140	\|\| offset+1 == con.limit && isEOLChar( target .setIndex( offset ) )↵
141	\|\| offset+2 == con.limit && target .charAt( offset ) == CARRIAGE_RETURN↵		141	\|\| offset+2 == con.limit && target .setIndex( offset ) == CARRIAGE_RETURN↵
142	&& target .charAt( offset+1 ) == LINE_FEED))↵		142	&& target .setIndex( 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 .charAt( offset ) )↵		151	\|\| offset+1 == con.limit && isEOLChar( target .setIndex( offset ) )↵
152	\|\| offset+2 == con.limit && target .charAt( offset ) == CARRIAGE_RETURN↵		152	\|\| offset+2 == con.limit && target .setIndex( offset ) == CARRIAGE_RETURN↵
153	&& target .charAt( offset+1 ) == LINE_FEED))↵		153	&& target .setIndex( 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	↵
274	int ret = this. matchString (con, op.getChild(), offset, dx, opts);↵		275	int ret = this. matchCharacterIterator (con, op.getChild(), offset, dx, opts);↵
275	if (id >= 0) con.offsets[id] = -1;↵		276	if (id >= 0) con.offsets[id] = -1;↵
276	if (ret >= 0) return ret;↵		277	if (ret >= 0) return ret;↵
277	op = op.next;↵		278	op = op.next;↵
278	}↵		279	}↵
279	break;↵		280	break;↵
280	case Op.QUESTION:↵		281	case Op.QUESTION:↵
281	{↵		282	{↵
282	int ret = this. matchString (con, op.getChild(), offset, dx, opts);↵		283	int ret = this. matchCharacterIterator (con, op.getChild(), offset, dx, opts);↵
283	if (ret >= 0) return ret;↵		284	if (ret >= 0) return ret;↵
284	op = op.next;↵		285	op = op.next;↵
285	}↵		286	}↵
286	break;↵		287	break;↵
287	case Op.NONGREEDYCLOSURE:↵		288	case Op.NONGREEDYCLOSURE:↵
288	case Op.NONGREEDYQUESTION:↵		289	case Op.NONGREEDYQUESTION:↵
289	{↵		290	{↵
290	int ret = this. matchString (con, op.next, offset, dx, opts);↵		291	int ret = this. matchCharacterIterator (con, op.next, offset, dx, opts);↵
291	if (ret >= 0) return ret;↵		292	if (ret >= 0) return ret;↵
292	op = op.getChild();↵		293	op = op.getChild();↵
293	}↵		294	}↵
294	break;↵		295	break;↵
295	case Op.UNION:↵		296	case Op.UNION:↵
296	for (int i = 0; i < op.size(); i ++) {↵		297	for (int i = 0; i < op.size(); i ++) {↵
297	int ret = this. matchString (con, op.elementAt(i), offset, dx, opts);↵		298	int ret = this. matchCharacterIterator (con, op.elementAt(i), offset, dx, opts);↵
298	if (DEBUG) {↵		299	if (DEBUG) {↵
299	System.err.println("UNION: "+i+", ret="+ret);↵		300	System.err.println("UNION: "+i+", ret="+ret);↵
300	}↵		301	}↵
301	if (ret >= 0) return ret;↵		302	if (ret >= 0) return ret;↵
302	}↵		303	}↵
303	return -1;↵		304	return -1;↵
304	case Op.CAPTURE:↵		305	case Op.CAPTURE:↵
305	int refno = op.getData();↵		306	int refno = op.getData();↵
306	if (con.match != null && refno > 0) {↵		307	if (con.match != null && refno > 0) {↵
307	int save = con.match.getBeginning(refno);↵		308	int save = con.match.getBeginning(refno);↵
308	con.match.setBeginning(refno, offset);↵		309	con.match.setBeginning(refno, offset);↵
309	int ret = this. matchString (con, op.next, offset, dx, opts);↵		310	int ret = this. matchCharacterIterator (con, op.next, offset, dx, opts);↵
310	if (ret < 0) con.match.setBeginning(refno, save);↵		311	if (ret < 0) con.match.setBeginning(refno, save);↵
311	return ret;↵		312	return ret;↵
312	} else if (con.match != null && refno < 0) {↵		313	} else if (con.match != null && refno < 0) {↵
313	int index = -refno;↵		314	int index = -refno;↵
314	int save = con.match.getEnd(index);↵		315	int save = con.match.getEnd(index);↵
315	con.match.setEnd(index, offset);↵		316	con.match.setEnd(index, offset);↵
316	int ret = this. matchString (con, op.next, offset, dx, opts);↵		317	int ret = this. matchCharacterIterator (con, op.next, offset, dx, opts);↵
317	if (ret < 0) con.match.setEnd(index, save);↵		318	if (ret < 0) con.match.setEnd(index, save);↵
318	return ret;↵		319	return ret;↵
319	}↵		320	}↵
320	op = op.next;↵		321	op = op.next;↵
321	break;↵		322	break;↵
322	case Op.LOOKAHEAD:↵		323	case Op.LOOKAHEAD:↵
323	if (0 > this. matchString (con, op.getChild(), offset, 1, opts)) return -1;↵		324	if (0 > this. matchCharacterIterator (con, op.getChild(), offset, 1, opts)) return -1;↵
324	op = op.next;↵		325	op = op.next;↵
325	break;↵		326	break;↵
326	case Op.NEGATIVELOOKAHEAD:↵		327	case Op.NEGATIVELOOKAHEAD:↵
327	if (0 <= this. matchString (con, op.getChild(), offset, 1, opts)) return -1;↵		328	if (0 <= this. matchCharacterIterator (con, op.getChild(), offset, 1, opts)) return -1;↵
328	op = op.next;↵		329	op = op.next;↵
329	break;↵		330	break;↵
330	case Op.LOOKBEHIND:↵		331	case Op.LOOKBEHIND:↵
331	if (0 > this. matchString (con, op.getChild(), offset, -1, opts)) return -1;↵		332	if (0 > this. matchCharacterIterator (con, op.getChild(), offset, -1, opts)) return -1;↵
332	op = op.next;↵		333	op = op.next;↵
333	break;↵		334	break;↵
334	case Op.NEGATIVELOOKBEHIND:↵		335	case Op.NEGATIVELOOKBEHIND:↵
335	if (0 <= this. matchString (con, op.getChild(), offset, -1, opts)) return -1;↵		336	if (0 <= this. matchCharacterIterator (con, op.getChild(), offset, -1, opts)) return -1;↵
336	op = op.next;↵		337	op = op.next;↵
337	break;↵		338	break;↵
338	case Op.INDEPENDENT:↵		339	case Op.INDEPENDENT:↵
339	{↵		340	{↵
340	int ret = this. matchString (con, op.getChild(), offset, dx, opts);↵		341	int ret = this. matchCharacterIterator (con, op.getChild(), offset, dx, opts);↵
341	if (ret < 0) return ret;↵		342	if (ret < 0) return ret;↵
342	offset = ret;↵		343	offset = ret;↵
343	op = op.next;↵		344	op = op.next;↵
344	}↵		345	}↵
345	break;↵		346	break;↵
346	case Op.MODIFIER:↵		347	case Op.MODIFIER:↵
347	{↵		348	{↵
348	int localopts = opts;↵		349	int localopts = opts;↵
349	localopts \|= op.getData();↵		350	localopts \|= op.getData();↵
350	localopts &= ~op.getData2();↵		351	localopts &= ~op.getData2();↵
351	//System.err.println("MODIFIER: "+Integer.toString(opts, 16)+" -> "+Integer.toString(localopts, 16));↵		352	//System.err.println("MODIFIER: "+Integer.toString(opts, 16)+" -> "+Integer.toString(localopts, 16));↵
352	int ret = this. matchString (con, op.getChild(), offset, dx, localopts);↵		353	int ret = this. matchCharacterIterator (con, op.getChild(), offset, dx, localopts);↵
353	if (ret < 0) return ret;↵		354	if (ret < 0) return ret;↵
354	offset = ret;↵		355	offset = ret;↵
355	op = op.next;↵		356	op = op.next;↵
356	}↵		357	}↵
357	break;↵		358	break;↵
358	case Op.CONDITION:↵		359	case Op.CONDITION:↵
359	{↵		360	{↵
360	Op.ConditionOp cop = (Op.ConditionOp)op;↵		361	Op.ConditionOp cop = (Op.ConditionOp)op;↵
361	boolean matchp = false;↵		362	boolean matchp = false;↵
362	if (cop.refNumber > 0) {↵		363	if (cop.refNumber > 0) {↵
363	if (cop.refNumber >= this.nofparen)↵		364	if (cop.refNumber >= this.nofparen)↵
364	throw new RuntimeException("Internal Error: Reference number must be more than zero: "+cop.refNumber);↵		365	throw new RuntimeException("Internal Error: Reference number must be more than zero: "+cop.refNumber);↵
365	matchp = con.match.getBeginning(cop.refNumber) >= 0↵		366	matchp = con.match.getBeginning(cop.refNumber) >= 0↵
366	&& con.match.getEnd(cop.refNumber) >= 0;↵		367	&& con.match.getEnd(cop.refNumber) >= 0;↵
367	} else {↵		368	} else {↵
368	matchp = 0 <= this. matchString (con, cop.condition, offset, dx, opts);↵		369	matchp = 0 <= this. matchCharacterIterator (con, cop.condition, offset, dx, opts);↵
369	}↵		370	}↵
370	if (matchp) {↵		371	if (matchp) {↵
371	op = cop.yes;↵		372	op = cop.yes;↵
372	} else if (cop.no != null) {↵		373	} else if (cop.no != null) {↵
373	op = cop.no;↵		374	op = cop.no;↵
374	} else {↵		375	} else {↵
375	op = cop.next;↵		376	op = cop.next;↵
376	}↵		377	}↵
377	}↵		378	}↵
378	break;↵		379	break;↵
379	default:↵		380	default:↵
380	throw new RuntimeException("Unknown operation type: "+op.type);↵		381	throw new RuntimeException("Unknown operation type: "+op.type);↵
381	} // switch (op.type)↵		382	} // switch (op.type)↵
382	}		383	}
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)	281.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)	4410.3
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.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 '@':
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;
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.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();
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);

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