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)
