658 |
{ |
{ |
659 |
// We have a String format. This can lose in a number |
// We have a String format. This can lose in a number |
660 |
// of ways, but we give it a shot. |
// of ways, but we give it a shot. |
661 |
int next_index = sourceStr.indexOf(elements[i].trailer, index); |
int next_index; |
662 |
|
if (elements[i].trailer.length() > 0) |
663 |
|
next_index = sourceStr.indexOf(elements[i].trailer, index); |
664 |
|
else |
665 |
|
next_index = sourceStr.length(); |
666 |
if (next_index == -1) |
if (next_index == -1) |
667 |
{ |
{ |
668 |
pos.setErrorIndex(index); |
pos.setErrorIndex(index); |