()
| 1352 | // utility methods to make XML parsing easier ... |
| 1353 | |
| 1354 | public int nextTag() throws XmlPullParserException, IOException { |
| 1355 | |
| 1356 | next(); |
| 1357 | if (type == TEXT && isWhitespace) |
| 1358 | next(); |
| 1359 | |
| 1360 | if (type != END_TAG && type != START_TAG) |
| 1361 | exception("unexpected type"); |
| 1362 | |
| 1363 | return type; |
| 1364 | } |
| 1365 | |
| 1366 | public void require(int type, String namespace, String name) |
| 1367 | throws XmlPullParserException, IOException { |