UNPKG

typia

Version:

Superfast runtime validators with only one line

1 lines 13.3 kB
{"version":3,"file":"_ProtobufReader.mjs","names":[],"sources":["../../src/internal/_ProtobufReader.ts"],"sourcesContent":["import { ProtobufWire } from \"@typia/interface\";\nimport { Singleton } from \"@typia/utils\";\n\n/// @reference https://github.com/piotr-oles/as-proto/blob/main/packages/as-proto/assembly/internal/FixedReader.ts\nexport class _ProtobufReader {\n /** Read buffer */\n private buf: Uint8Array;\n\n /** Read buffer pointer. */\n private ptr: number;\n\n /** DataView for buffer. */\n private view: DataView;\n\n /** Current length-delimited boundary. */\n private end: number;\n\n public constructor(buf: Uint8Array) {\n this.buf = buf;\n this.ptr = 0;\n this.view = new DataView(buf.buffer, buf.byteOffset, buf.byteLength);\n this.end = buf.length;\n }\n\n public index(): number {\n return this.ptr;\n }\n\n public size(): number {\n return this.end;\n }\n\n public uint32(): number {\n return this.varint32() >>> 0;\n }\n\n public int32(): number {\n return this.varint32();\n }\n\n public sint32(): number {\n const value: number = this.varint32();\n return (value >>> 1) ^ -(value & 1);\n }\n\n public uint64(): bigint {\n return this.varint64();\n }\n\n public int64(): bigint {\n return BigInt.asIntN(64, this.varint64());\n }\n\n public sint64(): bigint {\n const value = this.varint64();\n return (value >> BigInt(0x01)) ^ -(value & BigInt(0x01));\n }\n\n public bool(): boolean {\n return this.varint32() !== 0;\n }\n\n public float(): number {\n return this.view.getFloat32(this.take(4), true);\n }\n\n public double(): number {\n return this.view.getFloat64(this.take(8), true);\n }\n\n public bytes(): Uint8Array {\n return this.atomic(() => {\n const length: number = this.uint32();\n const from: number = this.take(length);\n return this.buf.subarray(from, from + length);\n });\n }\n\n public string(): string {\n const bytes: Uint8Array = this.bytes();\n const decoder: TextDecoder = utf8.get();\n try {\n return decoder.decode(bytes);\n } catch {\n throw error(\"invalid UTF-8 string.\");\n }\n }\n\n public fork(): number {\n return this.atomic(() => {\n const previous: number = this.end;\n const length: number = this.uint32();\n this.validate(length);\n this.end = this.ptr + length;\n return previous;\n });\n }\n\n public close(previous: number): void {\n if (this.ptr !== this.end) throw error(\"buffer overflow.\");\n this.end = previous;\n }\n\n /** Advance by exactly `length` bytes, for every length including zero. */\n public skip(length: number): void {\n this.take(length);\n }\n\n /**\n * Advance by exactly one varint, which carries no length prefix.\n *\n * A varint terminates at its first byte without the continuation bit, and may\n * occupy no more than {@link VARINT_MAX_BYTES}. Its tenth byte is bounded\n * twice over, by {@link lastVarintByte}: it may neither continue into an\n * eleventh byte nor carry payload above bit 63. Skipping is where that is\n * easiest to get wrong, because this path discards the bytes it reads and so\n * never notices a value it could not have represented. Relaxing either bound\n * here would accept a varint that `varint32` and `varint64` reject, making\n * the limit depend on which method happens to consume the value.\n */\n public skipVarint(): void {\n this.atomic(() => {\n for (let i: number = 1; i < VARINT_MAX_BYTES; ++i)\n if ((this.u8() & 0x80) === 0) return;\n this.lastVarintByte();\n });\n }\n\n public skipType(wireType: ProtobufWire): void {\n this.atomic(() => {\n switch (wireType) {\n case ProtobufWire.VARIANT:\n this.skipVarint();\n break;\n case ProtobufWire.I64:\n this.skip(8);\n break;\n case ProtobufWire.LEN:\n this.skip(this.uint32());\n break;\n case ProtobufWire.START_GROUP:\n while ((wireType = this.uint32() & 0x07) !== ProtobufWire.END_GROUP)\n this.skipType(wireType);\n break;\n case ProtobufWire.I32:\n this.skip(4);\n break;\n default:\n throw error(`invalid wire type ${wireType} at offset ${this.ptr}.`);\n }\n });\n }\n\n private varint32(): number {\n let loaded: number;\n let value: number;\n\n value = (loaded = this.u8()) & 0x7f;\n if (loaded < 0x80) return value;\n\n value |= ((loaded = this.u8()) & 0x7f) << 7;\n if (loaded < 0x80) return value;\n\n value |= ((loaded = this.u8()) & 0x7f) << 14;\n if (loaded < 0x80) return value;\n\n value |= ((loaded = this.u8()) & 0x7f) << 21;\n if (loaded < 0x80) return value;\n\n value |= ((loaded = this.u8()) & 0xf) << 28;\n if (loaded < 0x80) return value;\n\n // increment position until there is no continuation bit, or until this read\n // reaches VARINT_MAX_BYTES and the value can hold no further bits\n if (this.u8() < 0x80) return value;\n if (this.u8() < 0x80) return value;\n if (this.u8() < 0x80) return value;\n if (this.u8() < 0x80) return value;\n this.lastVarintByte();\n return value;\n }\n\n private varint64(): bigint {\n let loaded: bigint;\n let value: bigint;\n\n value = (loaded = this.u8n()) & BigInt(0x7f);\n if (loaded < BigInt(0x80)) return value;\n\n value |= ((loaded = this.u8n()) & BigInt(0x7f)) << BigInt(7);\n if (loaded < BigInt(0x80)) return value;\n\n value |= ((loaded = this.u8n()) & BigInt(0x7f)) << BigInt(14);\n if (loaded < BigInt(0x80)) return value;\n\n value |= ((loaded = this.u8n()) & BigInt(0x7f)) << BigInt(21);\n if (loaded < BigInt(0x80)) return value;\n\n value |= ((loaded = this.u8n()) & BigInt(0x7f)) << BigInt(28);\n if (loaded < BigInt(0x80)) return value;\n\n value |= ((loaded = this.u8n()) & BigInt(0x7f)) << BigInt(35);\n if (loaded < BigInt(0x80)) return value;\n\n value |= ((loaded = this.u8n()) & BigInt(0x7f)) << BigInt(42);\n if (loaded < BigInt(0x80)) return value;\n\n value |= ((loaded = this.u8n()) & BigInt(0x7f)) << BigInt(49);\n if (loaded < BigInt(0x80)) return value;\n\n value |= ((loaded = this.u8n()) & BigInt(0x7f)) << BigInt(56);\n if (loaded < BigInt(0x80)) return value;\n\n value |= BigInt(this.lastVarintByte()) << BigInt(63);\n return BigInt.asUintN(64, value);\n }\n\n /**\n * Read the only byte whose varint payload is limited to bit 63.\n *\n * Two distinct faults meet on this byte, and each is named for what it is. A\n * continuation bit means the varint would occupy an eleventh byte, which no\n * 64-bit value can reach. Any other payload bit means the varint terminates\n * within its ten bytes but carries a value bit above 63. Reporting the second\n * as a length fault would tell the caller something untrue about a payload\n * that is exactly ten bytes long.\n */\n private lastVarintByte(): number {\n const loaded: number = this.u8();\n if ((loaded & 0x80) !== 0)\n throw error(`varint exceeds ${VARINT_MAX_BYTES} bytes.`);\n if (loaded > 0x01) throw error(`varint exceeds ${VARINT_MAX_BITS} bits.`);\n return loaded;\n }\n\n private u8(): number {\n return this.view.getUint8(this.take(1));\n }\n\n private u8n(): bigint {\n return BigInt(this.u8());\n }\n\n private take(length: number): number {\n this.validate(length);\n const from: number = this.ptr;\n this.ptr += length;\n return from;\n }\n\n private atomic<T>(closure: () => T): T {\n const index: number = this.ptr;\n const end: number = this.end;\n try {\n return closure();\n } catch (thrown) {\n this.ptr = index;\n this.end = end;\n throw thrown;\n }\n }\n\n private validate(length: number): void {\n if (\n Number.isSafeInteger(length) === false ||\n length < 0 ||\n length > this.size() - this.ptr\n )\n throw error(\"buffer overflow.\");\n }\n}\n\n/**\n * Builds every fault this reader raises, so each one names typia as its source.\n *\n * Every decode error a caller can see must be attributable, and the prefix is\n * what attributes it. Composing it here rather than at each throw keeps a new\n * fault from silently shipping without it.\n */\nconst error = (message: string): Error =>\n new Error(`Error on typia.protobuf.decode(): ${message}`);\n\n/**\n * The most bytes a varint may occupy: a 64-bit value in seven-bit groups.\n *\n * Every path reads no further than its tenth byte and accepts only bit 63 from\n * that byte. This constant keeps the loop-driven skip path on the same limit.\n */\nconst VARINT_MAX_BYTES = 10;\n\n/**\n * The widest value a varint may carry: the 64-bit Protocol Buffer wire domain.\n *\n * The tenth byte reaches only bit 63, so a payload bit above it belongs to no\n * representable value. This names the overflow fault apart from the length\n * one.\n */\nconst VARINT_MAX_BITS = 64;\n\nconst utf8 = new Singleton(\n () => new TextDecoder(\"utf-8\", { fatal: true, ignoreBOM: true }),\n);\n"],"mappings":";;;AAIA,IAAa,kBAAb,MAA6B;CAa3B,YAAmB,KAAiB;EAClC,KAAK,MAAM;EACX,KAAK,MAAM;EACX,KAAK,OAAO,IAAI,SAAS,IAAI,QAAQ,IAAI,YAAY,IAAI,UAAU;EACnE,KAAK,MAAM,IAAI;CACjB;CAEA,QAAuB;EACrB,OAAO,KAAK;CACd;CAEA,OAAsB;EACpB,OAAO,KAAK;CACd;CAEA,SAAwB;EACtB,OAAO,KAAK,SAAS,MAAM;CAC7B;CAEA,QAAuB;EACrB,OAAO,KAAK,SAAS;CACvB;CAEA,SAAwB;EACtB,MAAM,QAAgB,KAAK,SAAS;EACpC,OAAQ,UAAU,IAAK,EAAE,QAAQ;CACnC;CAEA,SAAwB;EACtB,OAAO,KAAK,SAAS;CACvB;CAEA,QAAuB;EACrB,OAAO,OAAO,OAAO,IAAI,KAAK,SAAS,CAAC;CAC1C;CAEA,SAAwB;EACtB,MAAM,QAAQ,KAAK,SAAS;EAC5B,OAAQ,SAAS,OAAO,CAAI,IAAK,EAAE,QAAQ,OAAO,CAAI;CACxD;CAEA,OAAuB;EACrB,OAAO,KAAK,SAAS,MAAM;CAC7B;CAEA,QAAuB;EACrB,OAAO,KAAK,KAAK,WAAW,KAAK,KAAK,CAAC,GAAG,IAAI;CAChD;CAEA,SAAwB;EACtB,OAAO,KAAK,KAAK,WAAW,KAAK,KAAK,CAAC,GAAG,IAAI;CAChD;CAEA,QAA2B;EACzB,OAAO,KAAK,aAAa;GACvB,MAAM,SAAiB,KAAK,OAAO;GACnC,MAAM,OAAe,KAAK,KAAK,MAAM;GACrC,OAAO,KAAK,IAAI,SAAS,MAAM,OAAO,MAAM;EAC9C,CAAC;CACH;CAEA,SAAwB;EACtB,MAAM,QAAoB,KAAK,MAAM;EACrC,MAAM,UAAuB,KAAK,IAAI;EACtC,IAAI;GACF,OAAO,QAAQ,OAAO,KAAK;EAC7B,QAAQ;GACN,MAAM,MAAM,uBAAuB;EACrC;CACF;CAEA,OAAsB;EACpB,OAAO,KAAK,aAAa;GACvB,MAAM,WAAmB,KAAK;GAC9B,MAAM,SAAiB,KAAK,OAAO;GACnC,KAAK,SAAS,MAAM;GACpB,KAAK,MAAM,KAAK,MAAM;GACtB,OAAO;EACT,CAAC;CACH;CAEA,MAAa,UAAwB;EACnC,IAAI,KAAK,QAAQ,KAAK,KAAK,MAAM,MAAM,kBAAkB;EACzD,KAAK,MAAM;CACb;;CAGA,KAAY,QAAsB;EAChC,KAAK,KAAK,MAAM;CAClB;;;;;;;;;;;;;CAcA,aAA0B;EACxB,KAAK,aAAa;GAChB,KAAK,IAAI,IAAY,GAAG,IAAI,kBAAkB,EAAE,GAC9C,KAAK,KAAK,GAAG,IAAI,SAAU,GAAG;GAChC,KAAK,eAAe;EACtB,CAAC;CACH;CAEA,SAAgB,UAA8B;EAC5C,KAAK,aAAa;GAChB,QAAQ,UAAR;IACE,KAAK,aAAa;KAChB,KAAK,WAAW;KAChB;IACF,KAAK,aAAa;KAChB,KAAK,KAAK,CAAC;KACX;IACF,KAAK,aAAa;KAChB,KAAK,KAAK,KAAK,OAAO,CAAC;KACvB;IACF,KAAK,aAAa;KAChB,QAAQ,WAAW,KAAK,OAAO,IAAI,OAAU,aAAa,WACxD,KAAK,SAAS,QAAQ;KACxB;IACF,KAAK,aAAa;KAChB,KAAK,KAAK,CAAC;KACX;IACF,SACE,MAAM,MAAM,qBAAqB,SAAS,aAAa,KAAK,IAAI,EAAE;GACtE;EACF,CAAC;CACH;CAEA,WAA2B;EACzB,IAAI;EACJ,IAAI;EAEJ,SAAS,SAAS,KAAK,GAAG,KAAK;EAC/B,IAAI,SAAS,KAAM,OAAO;EAE1B,WAAW,SAAS,KAAK,GAAG,KAAK,QAAS;EAC1C,IAAI,SAAS,KAAM,OAAO;EAE1B,WAAW,SAAS,KAAK,GAAG,KAAK,QAAS;EAC1C,IAAI,SAAS,KAAM,OAAO;EAE1B,WAAW,SAAS,KAAK,GAAG,KAAK,QAAS;EAC1C,IAAI,SAAS,KAAM,OAAO;EAE1B,WAAW,SAAS,KAAK,GAAG,KAAK,OAAQ;EACzC,IAAI,SAAS,KAAM,OAAO;EAI1B,IAAI,KAAK,GAAG,IAAI,KAAM,OAAO;EAC7B,IAAI,KAAK,GAAG,IAAI,KAAM,OAAO;EAC7B,IAAI,KAAK,GAAG,IAAI,KAAM,OAAO;EAC7B,IAAI,KAAK,GAAG,IAAI,KAAM,OAAO;EAC7B,KAAK,eAAe;EACpB,OAAO;CACT;CAEA,WAA2B;EACzB,IAAI;EACJ,IAAI;EAEJ,SAAS,SAAS,KAAK,IAAI,KAAK,OAAO,GAAI;EAC3C,IAAI,SAAS,OAAO,GAAI,GAAG,OAAO;EAElC,WAAW,SAAS,KAAK,IAAI,KAAK,OAAO,GAAI,MAAM,OAAO,CAAC;EAC3D,IAAI,SAAS,OAAO,GAAI,GAAG,OAAO;EAElC,WAAW,SAAS,KAAK,IAAI,KAAK,OAAO,GAAI,MAAM,OAAO,EAAE;EAC5D,IAAI,SAAS,OAAO,GAAI,GAAG,OAAO;EAElC,WAAW,SAAS,KAAK,IAAI,KAAK,OAAO,GAAI,MAAM,OAAO,EAAE;EAC5D,IAAI,SAAS,OAAO,GAAI,GAAG,OAAO;EAElC,WAAW,SAAS,KAAK,IAAI,KAAK,OAAO,GAAI,MAAM,OAAO,EAAE;EAC5D,IAAI,SAAS,OAAO,GAAI,GAAG,OAAO;EAElC,WAAW,SAAS,KAAK,IAAI,KAAK,OAAO,GAAI,MAAM,OAAO,EAAE;EAC5D,IAAI,SAAS,OAAO,GAAI,GAAG,OAAO;EAElC,WAAW,SAAS,KAAK,IAAI,KAAK,OAAO,GAAI,MAAM,OAAO,EAAE;EAC5D,IAAI,SAAS,OAAO,GAAI,GAAG,OAAO;EAElC,WAAW,SAAS,KAAK,IAAI,KAAK,OAAO,GAAI,MAAM,OAAO,EAAE;EAC5D,IAAI,SAAS,OAAO,GAAI,GAAG,OAAO;EAElC,WAAW,SAAS,KAAK,IAAI,KAAK,OAAO,GAAI,MAAM,OAAO,EAAE;EAC5D,IAAI,SAAS,OAAO,GAAI,GAAG,OAAO;EAElC,SAAS,OAAO,KAAK,eAAe,CAAC,KAAK,OAAO,EAAE;EACnD,OAAO,OAAO,QAAQ,IAAI,KAAK;CACjC;;;;;;;;;;;CAYA,iBAAiC;EAC/B,MAAM,SAAiB,KAAK,GAAG;EAC/B,KAAK,SAAS,SAAU,GACtB,MAAM,MAAM,kBAAkB,iBAAiB,QAAQ;EACzD,IAAI,SAAS,GAAM,MAAM,MAAM,kBAAkB,gBAAgB,OAAO;EACxE,OAAO;CACT;CAEA,KAAqB;EACnB,OAAO,KAAK,KAAK,SAAS,KAAK,KAAK,CAAC,CAAC;CACxC;CAEA,MAAsB;EACpB,OAAO,OAAO,KAAK,GAAG,CAAC;CACzB;CAEA,KAAa,QAAwB;EACnC,KAAK,SAAS,MAAM;EACpB,MAAM,OAAe,KAAK;EAC1B,KAAK,OAAO;EACZ,OAAO;CACT;CAEA,OAAkB,SAAqB;EACrC,MAAM,QAAgB,KAAK;EAC3B,MAAM,MAAc,KAAK;EACzB,IAAI;GACF,OAAO,QAAQ;EACjB,SAAS,QAAQ;GACf,KAAK,MAAM;GACX,KAAK,MAAM;GACX,MAAM;EACR;CACF;CAEA,SAAiB,QAAsB;EACrC,IACE,OAAO,cAAc,MAAM,MAAM,SACjC,SAAS,KACT,SAAS,KAAK,KAAK,IAAI,KAAK,KAE5B,MAAM,MAAM,kBAAkB;CAClC;AACF;;;;;;;;AASA,MAAM,SAAS,4BACb,IAAI,MAAM,qCAAqC,SAAS;;;;;;;AAQ1D,MAAM,mBAAmB;;;;;;;;AASzB,MAAM,kBAAkB;AAExB,MAAM,OAAO,IAAI,gBACT,IAAI,YAAY,SAAS;CAAE,OAAO;CAAM,WAAW;AAAK,CAAC,CACjE"}