Информация об изменениях

Сообщение Re[8]: JSON vs BSON: очередное торжество больного воображени от 01.12.2022 21:47

Изменено 01.12.2022 21:48 vsb

Старый текст
Новый текст
Разница

Re[8]: JSON vs BSON: очередное торжество больного воображени

Вроде написал, на простых тестах работает. Как раз где-то в два часа уложился. Старался всё в точности по спеке делать. Баги если и есть, то исправляемые и размер не увеличат.

код

package test;

import java.io.IOException;
import java.io.Reader;
import java.math.BigDecimal;
import java.util.ArrayList;
import java.util.HashMap;
import java.util.List;
import java.util.Map;

public sealed interface Json {
  record Obj(Map<String, Json> members) implements Json {
  }

  record Arr(List<Json> elements) implements Json {
  }

  record Str(String value) implements Json {
  }

  record Num(BigDecimal value) implements Json {
  }

  record Bool(boolean value) implements Json {
  }

  record Null() implements Json {
  }

  static Obj parseObj(Reader reader) throws IOException {
    skipWs(reader);
    expectCh(reader, '{');
    var members = new HashMap<String, Json>();
    while (true) {
      skipWs(reader);
      if (peekCh(reader) == '}') {
        expectCh(reader, '}');
        return new Obj(Map.copyOf(members));
      }
      if (!members.isEmpty()) {
        expectCh(reader, ',');
      }
      var str = parseStr(reader);
      skipWs(reader);
      expectCh(reader, ':');
      var elem = parseValue(reader);
      members.put(str.value(), elem);
    }
  }

  static Arr parseArr(Reader reader) throws IOException {
    skipWs(reader);
    expectCh(reader, '[');
    var elements = new ArrayList<Json>();
    while (true) {
      skipWs(reader);
      if (peekCh(reader) == ']') {
        expectCh(reader, ']');
        return new Arr(List.copyOf(elements));
      }
      if (!elements.isEmpty()) {
        expectCh(reader, ',');
      }
      var elem = parseValue(reader);
      elements.add(elem);
    }
  }

  static Json parseValue(Reader reader) throws IOException {
    skipWs(reader);
    char ch = peekCh(reader);
    return switch (ch) {
      case '"' -> parseStr(reader);
      case '-', '0', '1', '2', '3', '4', '5', '6', '7', '8', '9' -> parseNum(reader);
      case '{' -> parseObj(reader);
      case '[' -> parseArr(reader);
      case 't' -> {
        expectCh(reader, 't');
        expectCh(reader, 'r');
        expectCh(reader, 'u');
        expectCh(reader, 'e');
        yield new Bool(true);
      }
      case 'f' -> {
        expectCh(reader, 'f');
        expectCh(reader, 'a');
        expectCh(reader, 'l');
        expectCh(reader, 's');
        expectCh(reader, 'e');
        yield new Bool(false);
      }
      case 'n' -> {
        expectCh(reader, 'n');
        expectCh(reader, 'u');
        expectCh(reader, 'l');
        expectCh(reader, 'l');
        yield new Null();
      }
      default -> throw new RuntimeException("Unexpected character: '" + ch + '\'');
    };
  }

  static Str parseStr(Reader reader) throws IOException {
    skipWs(reader);
    expectCh(reader, '"');
    var sb = new StringBuilder();
    while (true) {
      char ch = readCh(reader);
      if (ch == '"') {
        return new Str(sb.toString());
      }
      if (ch != '\\') {
        sb.append(ch);
        continue;
      }
      ch = readCh(reader);
      sb.append(switch (ch) {
        case '"' -> '"';
        case '\\' -> '\\';
        case '/' -> '/';
        case 'b' -> '\b';
        case 'f' -> '\f';
        case 'n' -> '\n';
        case 'r' -> '\r';
        case 't' -> '\t';
        case 'u' -> {
          char ch1 = readCh(reader);
          char ch2 = readCh(reader);
          char ch3 = readCh(reader);
          char ch4 = readCh(reader);
          String hex = new String(new char[] {ch1, ch2, ch3, ch4});
          yield (char) Integer.parseInt(hex, 16);
        }
        default -> throw new RuntimeException("Unexpected character: " + ch);
      });
    }
  }

  static Num parseNum(Reader reader) throws IOException {
    skipWs(reader);
    var sb = new StringBuilder();
    parseNumInteger(reader, sb);
    char ch = peekCh(reader);
    if (ch == '.') {
      expectCh(reader, '.');
      sb.append(ch);
      parseNumDigits(reader, sb);
      ch = peekCh(reader);
    }
    if (ch == 'e' || ch == 'E') {
      expectCh(reader, ch);
      sb.append(ch);
      ch = peekCh(reader);
      if (ch == '+' || ch == '-') {
        expectCh(reader, ch);
        sb.append(ch);
      }
      parseNumDigits(reader, sb);
    }
    return new Json.Num(new BigDecimal(sb.toString()));
  }

  private static void parseNumInteger(Reader reader, StringBuilder sb) throws IOException {
    char ch = peekCh(reader);
    if (ch == '-') {
      expectCh(reader, ch);
      sb.append(ch);
      ch = peekCh(reader);
    }
    if (ch == '0') {
      expectCh(reader, ch);
      sb.append(ch);
      return;
    }
    parseNumDigits(reader, sb);
  }

  private static void parseNumDigits(Reader reader, StringBuilder sb) throws IOException {
    char ch = expectCh(reader, '0', '1', '2', '3', '4', '5', '6', '7', '8', '9');
    sb.append(ch);
    ch = peekCh(reader);
    while (ch >= '0' && ch <= '9') {
      expectCh(reader, ch);
      sb.append(ch);
      ch = peekCh(reader);
    }
  }

  private static char readCh(Reader reader) throws IOException {
    int c = reader.read();
    if (c == -1) {
      throw new RuntimeException("Unexpected EOF");
    }
    return (char) c;
  }

  private static void skipWs(Reader reader) throws IOException {
    char ch;
    do {
      reader.mark(1);
      ch = readCh(reader);
    } while (ch == ' ' || ch == '\n' || ch == '\r' || ch == '\t');
    reader.reset();
  }

  private static char peekCh(Reader reader) throws IOException {
    reader.mark(1);
    char ch = readCh(reader);
    reader.reset();
    return ch;
  }

  private static char expectCh(Reader reader, char... echs) throws IOException {
    char ch = readCh(reader);
    for (char ech : echs) {
      if (ch == ech) {
        return ch;
      }
    }
    if (echs.length == 0) {
      throw new UnsupportedOperationException();
    }
    var sb = new StringBuilder("'").append(echs[0]).append("'");
    for (int i = 1; i < echs.length; i++) {
      sb.append('|').append("'").append(echs[i]).append("'");
    }
    throw new RuntimeException("Expected " + sb + " but got " + ch);
  }
}

Re[8]: JSON vs BSON: очередное торжество больного воображени

Вроде написал, на простых тестах работает. Как раз где-то в два часа уложился. Старался всё в точности по спеке делать. Баги если и есть, то исправляемые и размер не увеличат. 229 строк.

код

package test;

import java.io.IOException;
import java.io.Reader;
import java.math.BigDecimal;
import java.util.ArrayList;
import java.util.HashMap;
import java.util.List;
import java.util.Map;

public sealed interface Json {
  record Obj(Map<String, Json> members) implements Json {
  }

  record Arr(List<Json> elements) implements Json {
  }

  record Str(String value) implements Json {
  }

  record Num(BigDecimal value) implements Json {
  }

  record Bool(boolean value) implements Json {
  }

  record Null() implements Json {
  }

  static Obj parseObj(Reader reader) throws IOException {
    skipWs(reader);
    expectCh(reader, '{');
    var members = new HashMap<String, Json>();
    while (true) {
      skipWs(reader);
      if (peekCh(reader) == '}') {
        expectCh(reader, '}');
        return new Obj(Map.copyOf(members));
      }
      if (!members.isEmpty()) {
        expectCh(reader, ',');
      }
      var str = parseStr(reader);
      skipWs(reader);
      expectCh(reader, ':');
      var elem = parseValue(reader);
      members.put(str.value(), elem);
    }
  }

  static Arr parseArr(Reader reader) throws IOException {
    skipWs(reader);
    expectCh(reader, '[');
    var elements = new ArrayList<Json>();
    while (true) {
      skipWs(reader);
      if (peekCh(reader) == ']') {
        expectCh(reader, ']');
        return new Arr(List.copyOf(elements));
      }
      if (!elements.isEmpty()) {
        expectCh(reader, ',');
      }
      var elem = parseValue(reader);
      elements.add(elem);
    }
  }

  static Json parseValue(Reader reader) throws IOException {
    skipWs(reader);
    char ch = peekCh(reader);
    return switch (ch) {
      case '"' -> parseStr(reader);
      case '-', '0', '1', '2', '3', '4', '5', '6', '7', '8', '9' -> parseNum(reader);
      case '{' -> parseObj(reader);
      case '[' -> parseArr(reader);
      case 't' -> {
        expectCh(reader, 't');
        expectCh(reader, 'r');
        expectCh(reader, 'u');
        expectCh(reader, 'e');
        yield new Bool(true);
      }
      case 'f' -> {
        expectCh(reader, 'f');
        expectCh(reader, 'a');
        expectCh(reader, 'l');
        expectCh(reader, 's');
        expectCh(reader, 'e');
        yield new Bool(false);
      }
      case 'n' -> {
        expectCh(reader, 'n');
        expectCh(reader, 'u');
        expectCh(reader, 'l');
        expectCh(reader, 'l');
        yield new Null();
      }
      default -> throw new RuntimeException("Unexpected character: '" + ch + '\'');
    };
  }

  static Str parseStr(Reader reader) throws IOException {
    skipWs(reader);
    expectCh(reader, '"');
    var sb = new StringBuilder();
    while (true) {
      char ch = readCh(reader);
      if (ch == '"') {
        return new Str(sb.toString());
      }
      if (ch != '\\') {
        sb.append(ch);
        continue;
      }
      ch = readCh(reader);
      sb.append(switch (ch) {
        case '"' -> '"';
        case '\\' -> '\\';
        case '/' -> '/';
        case 'b' -> '\b';
        case 'f' -> '\f';
        case 'n' -> '\n';
        case 'r' -> '\r';
        case 't' -> '\t';
        case 'u' -> {
          char ch1 = readCh(reader);
          char ch2 = readCh(reader);
          char ch3 = readCh(reader);
          char ch4 = readCh(reader);
          String hex = new String(new char[] {ch1, ch2, ch3, ch4});
          yield (char) Integer.parseInt(hex, 16);
        }
        default -> throw new RuntimeException("Unexpected character: " + ch);
      });
    }
  }

  static Num parseNum(Reader reader) throws IOException {
    skipWs(reader);
    var sb = new StringBuilder();
    parseNumInteger(reader, sb);
    char ch = peekCh(reader);
    if (ch == '.') {
      expectCh(reader, '.');
      sb.append(ch);
      parseNumDigits(reader, sb);
      ch = peekCh(reader);
    }
    if (ch == 'e' || ch == 'E') {
      expectCh(reader, ch);
      sb.append(ch);
      ch = peekCh(reader);
      if (ch == '+' || ch == '-') {
        expectCh(reader, ch);
        sb.append(ch);
      }
      parseNumDigits(reader, sb);
    }
    return new Json.Num(new BigDecimal(sb.toString()));
  }

  private static void parseNumInteger(Reader reader, StringBuilder sb) throws IOException {
    char ch = peekCh(reader);
    if (ch == '-') {
      expectCh(reader, ch);
      sb.append(ch);
      ch = peekCh(reader);
    }
    if (ch == '0') {
      expectCh(reader, ch);
      sb.append(ch);
      return;
    }
    parseNumDigits(reader, sb);
  }

  private static void parseNumDigits(Reader reader, StringBuilder sb) throws IOException {
    char ch = expectCh(reader, '0', '1', '2', '3', '4', '5', '6', '7', '8', '9');
    sb.append(ch);
    ch = peekCh(reader);
    while (ch >= '0' && ch <= '9') {
      expectCh(reader, ch);
      sb.append(ch);
      ch = peekCh(reader);
    }
  }

  private static char readCh(Reader reader) throws IOException {
    int c = reader.read();
    if (c == -1) {
      throw new RuntimeException("Unexpected EOF");
    }
    return (char) c;
  }

  private static void skipWs(Reader reader) throws IOException {
    char ch;
    do {
      reader.mark(1);
      ch = readCh(reader);
    } while (ch == ' ' || ch == '\n' || ch == '\r' || ch == '\t');
    reader.reset();
  }

  private static char peekCh(Reader reader) throws IOException {
    reader.mark(1);
    char ch = readCh(reader);
    reader.reset();
    return ch;
  }

  private static char expectCh(Reader reader, char... echs) throws IOException {
    char ch = readCh(reader);
    for (char ech : echs) {
      if (ch == ech) {
        return ch;
      }
    }
    if (echs.length == 0) {
      throw new UnsupportedOperationException();
    }
    var sb = new StringBuilder("'").append(echs[0]).append("'");
    for (int i = 1; i < echs.length; i++) {
      sb.append('|').append("'").append(echs[i]).append("'");
    }
    throw new RuntimeException("Expected " + sb + " but got " + ch);
  }
}