()
| 898 | } |
| 899 | |
| 900 | private final String readName() |
| 901 | throws IOException, XmlPullParserException { |
| 902 | |
| 903 | int pos = txtPos; |
| 904 | int c = peek(0); |
| 905 | if ((c < 'a' || c > 'z') |
| 906 | && (c < 'A' || c > 'Z') |
| 907 | && c != '_' |
| 908 | && c != ':' |
| 909 | && c < 0x0c0 |
| 910 | && !relaxed) |
| 911 | error("name expected"); |
| 912 | |
| 913 | do { |
| 914 | push(read()); |
| 915 | c = peek(0); |
| 916 | } |
| 917 | while ((c >= 'a' && c <= 'z') |
| 918 | || (c >= 'A' && c <= 'Z') |
| 919 | || (c >= '0' && c <= '9') |
| 920 | || c == '_' |
| 921 | || c == '-' |
| 922 | || c == ':' |
| 923 | || c == '.' |
| 924 | || c >= 0x0b7); |
| 925 | |
| 926 | String result = get(pos); |
| 927 | txtPos = pos; |
| 928 | return result; |
| 929 | } |
| 930 | |
| 931 | private final void skip() throws IOException { |
| 932 |
no test coverage detected