use core::mem::MaybeUninit;
use crate::buffer::{BufReader, BufWriter, CountWriter};
use crate::de::{BasicSmallVecVisitor, Deserialize, DeserializeSeed, Deserializer as _};
use crate::ser::Serialize;
use crate::{ProductValue, Typespace, WithTypespace};
use bytes::BytesMut;
use ser::BsatnError;
use smallvec::SmallVec;
pub mod de;
pub mod eq;
pub mod ser;
pub use de::Deserializer;
pub use ser::Serializer;
pub use crate::buffer::DecodeError;
pub use ser::BsatnError as EncodeError;
#[inline]
pub fn to_writer<W: BufWriter, T: Serialize + ?Sized>(w: &mut W, value: &T) -> Result<(), EncodeError> {
value.serialize_into_bsatn(Serializer::new(w))
}
pub fn to_vec<T: Serialize + ?Sized>(value: &T) -> Result<Vec<u8>, EncodeError> {
let mut v = Vec::new();
to_writer(&mut v, value)?;
Ok(v)
}
pub fn to_len<T: Serialize + ?Sized>(value: &T) -> Result<usize, EncodeError> {
let mut writer = CountWriter::default();
to_writer(&mut writer, value)?;
Ok(writer.finish())
}
pub fn from_reader<'de, T: Deserialize<'de>>(reader: &mut impl BufReader<'de>) -> Result<T, DecodeError> {
T::deserialize(Deserializer::new(reader))
}
pub fn from_slice<'de, T: Deserialize<'de>>(bytes: &'de [u8]) -> Result<T, DecodeError> {
from_reader(&mut &*bytes)
}
pub fn decode<'a, 'de, S: ?Sized>(
ty: &'a S,
bytes: &mut impl BufReader<'de>,
) -> Result<<WithTypespace<'a, S> as DeserializeSeed<'de>>::Output, DecodeError>
where
WithTypespace<'a, S>: DeserializeSeed<'de>,
{
crate::WithTypespace::empty(ty).deserialize(Deserializer::new(bytes))
}
macro_rules! codec_funcs {
($ty:ty) => {
impl $ty {
pub fn decode<'a>(bytes: &mut impl BufReader<'a>) -> Result<Self, DecodeError> {
from_reader(bytes)
}
pub fn encode(&self, bytes: &mut impl BufWriter) {
to_writer(bytes, self).unwrap()
}
}
};
(val: $ty:ty) => {
impl $ty {
pub fn decode<'a>(
ty: &<Self as crate::Value>::Type,
bytes: &mut impl BufReader<'a>,
) -> Result<Self, DecodeError> {
decode(ty, bytes)
}
pub fn decode_smallvec<'a>(
ty: &<Self as crate::Value>::Type,
bytes: &mut impl BufReader<'a>,
) -> Result<SmallVec<[Self; 1]>, DecodeError> {
Deserializer::new(bytes).deserialize_array_seed(
BasicSmallVecVisitor,
crate::WithTypespace::new(&Typespace::new(Vec::new()), ty),
)
}
pub fn encode(&self, bytes: &mut impl BufWriter) {
to_writer(bytes, self).unwrap()
}
}
};
}
codec_funcs!(crate::AlgebraicType);
codec_funcs!(crate::ProductType);
codec_funcs!(crate::SumType);
codec_funcs!(crate::ProductTypeElement);
codec_funcs!(crate::SumTypeVariant);
codec_funcs!(val: crate::AlgebraicValue);
codec_funcs!(val: crate::ProductValue);
codec_funcs!(val: crate::SumValue);
pub trait BufReservedFill {
unsafe fn reserve_and_fill(&mut self, len: usize, fill: impl FnOnce(&mut [MaybeUninit<u8>]));
}
impl BufReservedFill for Vec<u8> {
unsafe fn reserve_and_fill(&mut self, len: usize, fill: impl FnOnce(&mut [MaybeUninit<u8>])) {
let start = self.len();
self.reserve(len);
let sink = &mut self.spare_capacity_mut()[..len];
fill(sink);
unsafe { self.set_len(start + len) }
}
}
impl BufReservedFill for BytesMut {
unsafe fn reserve_and_fill(&mut self, len: usize, fill: impl FnOnce(&mut [MaybeUninit<u8>])) {
let start = self.len();
self.reserve(len);
let sink = &mut self.spare_capacity_mut()[..len];
fill(sink);
unsafe { self.set_len(start + len) }
}
}
pub trait ToBsatn {
fn to_bsatn_vec(&self) -> Result<Vec<u8>, BsatnError>;
fn to_bsatn_extend(&self, buf: &mut (impl BufWriter + BufReservedFill)) -> Result<(), BsatnError>;
fn static_bsatn_size(&self) -> Option<u16>;
}
impl<T: ToBsatn> ToBsatn for &T {
fn to_bsatn_vec(&self) -> Result<Vec<u8>, BsatnError> {
T::to_bsatn_vec(*self)
}
fn to_bsatn_extend(&self, buf: &mut (impl BufWriter + BufReservedFill)) -> Result<(), BsatnError> {
T::to_bsatn_extend(*self, buf)
}
fn static_bsatn_size(&self) -> Option<u16> {
T::static_bsatn_size(*self)
}
}
impl ToBsatn for ProductValue {
fn to_bsatn_vec(&self) -> Result<Vec<u8>, BsatnError> {
to_vec(self)
}
fn to_bsatn_extend(&self, buf: &mut (impl BufWriter + BufReservedFill)) -> Result<(), BsatnError> {
to_writer(buf, self)
}
fn static_bsatn_size(&self) -> Option<u16> {
None
}
}
mod private_is_primitive_type {
pub trait Sealed {}
}
#[doc(hidden)]
pub unsafe trait IsPrimitiveType: private_is_primitive_type::Sealed {}
macro_rules! is_primitive_type {
($($prim:ty),*) => {
$(
impl private_is_primitive_type::Sealed for $prim {}
unsafe impl IsPrimitiveType for $prim {}
)*
};
}
is_primitive_type!(u8, i8, u16, i16, u32, i32, u64, i64, u128, i128, f32, f64);
pub const fn assert_is_primitive_type<T: IsPrimitiveType>() {}
#[cfg(test)]
mod tests {
use super::{to_vec, DecodeError, Deserializer};
use crate::de::DeserializeSeed;
use crate::proptest::{generate_algebraic_type, generate_typed_value};
use crate::{meta_type::MetaType, AlgebraicType, AlgebraicValue, WithTypespace};
use proptest::prelude::*;
use proptest::{collection::vec, proptest};
#[test]
fn type_to_binary_equivalent() {
check_type(&AlgebraicType::meta_type());
}
#[track_caller]
fn check_type(ty: &AlgebraicType) {
let mut through_value = Vec::new();
ty.as_value().encode(&mut through_value);
let mut direct = Vec::new();
ty.encode(&mut direct);
assert_eq!(direct, through_value);
}
fn type_non_empty(ty: &AlgebraicType) -> bool {
match ty {
AlgebraicType::Ref(_) => unreachable!(),
AlgebraicType::Array(elem_ty) => type_non_empty(&elem_ty.elem_ty),
AlgebraicType::Product(elems) => elems.iter().any(|e| type_non_empty(&e.algebraic_type)),
AlgebraicType::Sum(vars) => !vars.is_empty(),
_ => true,
}
}
proptest! {
#[test]
fn bsatn_enc_de_roundtrips((ty, val) in generate_typed_value()) {
let bytes = to_vec(&val).unwrap();
prop_assert_eq!(WithTypespace::empty(&ty).validate(Deserializer::new(&mut &bytes[..])), Ok(()));
let val_decoded = AlgebraicValue::decode(&ty, &mut &bytes[..]).unwrap();
prop_assert_eq!(val, val_decoded);
}
#[test]
fn bsatn_invalid_wont_decode(ty in generate_algebraic_type(), bytes in vec(any::<u8>(), 0..4096)) {
prop_assume!(type_non_empty(&ty));
prop_assume!(WithTypespace::empty(&ty).validate(Deserializer::new(&mut &bytes[..])).is_err());
prop_assert!(AlgebraicValue::decode(&ty, &mut &bytes[..]).is_err());
}
#[test]
fn bsatn_non_zero_one_u8_aint_bool(val in 2u8..) {
let bytes = [val];
prop_assert_eq!(
AlgebraicValue::decode(&AlgebraicType::Bool, &mut &bytes[..]),
Err(DecodeError::InvalidBool(val))
);
}
}
}