| | |
| | | values = Collections.singletonList(reader.read(length)); |
| | | reader.read(); |
| | | } else if (c == '(') { |
| | | // Skip over any leading spaces; |
| | | // Skip over any leading spaces |
| | | reader.skipWhitespaces(); |
| | | reader.mark(); |
| | | |
| | |
| | | values = Collections.singletonList(readQuotedDescriptor(reader, allowCompatChars)); |
| | | reader.read(); |
| | | } else if (c == '(') { |
| | | // Skip over any leading spaces; |
| | | // Skip over any leading spaces |
| | | reader.skipWhitespaces(); |
| | | reader.mark(); |
| | | |
| | |
| | | do { |
| | | values.add(readOID(reader, allowCompatChars)); |
| | | |
| | | // Skip over any trailing spaces; |
| | | // Skip over any trailing spaces |
| | | reader.skipWhitespaces(); |
| | | } while (reader.read() != ')'); |
| | | values = Collections.unmodifiableSet(values); |
| | |
| | | do { |
| | | values.add(readRuleID(reader)); |
| | | |
| | | // Skip over any trailing spaces; |
| | | // Skip over any trailing spaces |
| | | reader.skipWhitespaces(); |
| | | } while (reader.read() != ')'); |
| | | values = Collections.unmodifiableSet(values); |