def _encode_to_stream(value: datetime.date, out_stream: OutputStream): if value is None: out_stream.write_int32(0xFFFFFFFF) out_stream.write_int16(0xFFFF) else: out_stream.write_int32(value.year) out_stream.write_int8(value.month) out_stream.write_int8(value.day)
def _encode_to_stream(value: datetime.time, out_stream: OutputStream): if value is None: out_stream.write_int8(0xFF) out_stream.write_int16(0xFFFF) out_stream.write_int32(0xFFFFFFFF) else: out_stream.write_int8(value.hour) out_stream.write_int8(value.minute) out_stream.write_int8(value.second) out_stream.write_int32(value.microsecond * 1000)
def encode_to_stream(self, value, out_stream: OutputStream): out_stream.write_int8(value)