equal
deleted
inserted
replaced
247 */ |
247 */ |
248 public MatchResult toMatchResult() { |
248 public MatchResult toMatchResult() { |
249 Matcher result = new Matcher(this.parentPattern, text.toString()); |
249 Matcher result = new Matcher(this.parentPattern, text.toString()); |
250 result.first = this.first; |
250 result.first = this.first; |
251 result.last = this.last; |
251 result.last = this.last; |
252 result.groups = (int[])(this.groups.clone()); |
252 result.groups = this.groups.clone(); |
253 return result; |
253 return result; |
254 } |
254 } |
255 |
255 |
256 /** |
256 /** |
257 * Changes the <tt>Pattern</tt> that this <tt>Matcher</tt> uses to |
257 * Changes the <tt>Pattern</tt> that this <tt>Matcher</tt> uses to |