(final String string, final char[] separators)
| 202 | // } |
| 203 | //#endif |
| 204 | public static Vector split(final String string, final char[] separators) { |
| 205 | int len = string.length(); |
| 206 | int lastpos = 0; |
| 207 | int pos = 0; |
| 208 | final Vector res = new Vector(); |
| 209 | |
| 210 | while ((pos = indexOf(string, separators, lastpos)) != -1 && pos < len) { |
| 211 | res.addElement(string.substring(lastpos, pos)); |
| 212 | lastpos = pos + 1; |
| 213 | } |
| 214 | res.addElement(string.substring(lastpos)); |
| 215 | |
| 216 | return res; |
| 217 | } |
| 218 | |
| 219 | public static int indexOf( |
| 220 | final String string, final char[] needles, final int start) { |
no test coverage detected