in util/json/src/main/java/jetbrains/jetpad/json/JsonLexer.java [115:144]
private void readNumber() {
if (getCurrent() == '-') {
advance();
}
while (isDigit(getCurrent())) {
advance();
}
if (getCurrent() == '.') {
advance();
if (!(isDigit(getCurrent()))) {
throw new JsonParsingException();
}
while (isDigit(getCurrent())) {
advance();
}
}
if (readExponent()) {
if (!(isDigit(getCurrent()))) {
throw new JsonParsingException();
}
advance();
while (isDigit(getCurrent())) {
advance();
}
}
}