pushVaruint32 method

void pushVaruint32(
  1. int v
)

Append a varuint32 */

Implementation

void pushVaruint32(int v) {
  while (true) {
    if (v >> 7 != 0) {
      push([0x80 | (v & 0x7f)]);
      v = v >> 7;
    } else {
      push([v]);
      break;
    }
  }
}