static void writeINT()

in src/main/java/org/jetbrains/jetCheck/DataSerializer.java [37:47]


  static void writeINT(ByteArrayOutputStream record, int val) {
    if (0 > val || val >= 192) {
      record.write(192 + (val & 0x3F));
      val >>>= 6;
      while (val >= 128) {
        record.write((val & 0x7F) | 0x80);
        val >>>= 7;
      }
    }
    record.write(val);
  }