* @throws JsonReaderException
* @throws JsonTextOutlineParserException
*/
private void doJsonValue(String key, int start) throws JsonReaderException, JsonTextOutlineParserException, BadLocationException, BadPositionCategoryException {
JsonString jsonString = new JsonString(parent, key);
parent.addChild(jsonString);
jsonString.setStart(start, doc);
StringBuilder valueBuilder = new StringBuilder();
char ch;
do {
ch = parser.getNextChar();
// TODO check format in values as well.
if (ch == eof || (ch == quote && parser.getPrevious() != slash)) {
jsonString.setLength(parser.getPosition() - start + 1);
ch = parser.getNextClean();
break;
}
valueBuilder.append(ch);
} while (ch != eof);
jsonString.setValue(valueBuilder.toString());
}