2021-12-05 05:01:25 +00:00
|
|
|
use thiserror::Error;
|
|
|
|
|
|
|
|
type Result <T> = std::result::Result <T, TlvError>;
|
|
|
|
|
|
|
|
#[derive (Debug, Error)]
|
|
|
|
pub enum TlvError {
|
|
|
|
#[error ("Buffer too big")]
|
|
|
|
BufferTooBig,
|
2021-12-09 00:23:48 +00:00
|
|
|
|
|
|
|
// Violets are purple,
|
|
|
|
// To live is to suffer,
|
|
|
|
// The data is too big,
|
|
|
|
// For the gosh-darn buffer.
|
|
|
|
|
|
|
|
#[error ("Data too big")]
|
|
|
|
DataTooBig,
|
2021-12-05 05:01:25 +00:00
|
|
|
#[error (transparent)]
|
|
|
|
Io (#[from] std::io::Error),
|
2021-12-05 19:58:18 +00:00
|
|
|
#[error ("Actual bytes didn't match expected bytes")]
|
|
|
|
NotExpected,
|
2021-12-05 05:01:25 +00:00
|
|
|
#[error (transparent)]
|
|
|
|
TryFromInt (#[from] std::num::TryFromIntError),
|
|
|
|
}
|
|
|
|
|
2021-12-05 19:58:18 +00:00
|
|
|
pub struct Writer <W> {
|
2021-12-05 05:01:25 +00:00
|
|
|
_x: std::marker::PhantomData <W>,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl <W: std::io::Write> Writer <W> {
|
|
|
|
fn length (w: &mut W, x: u32) -> Result <()> {
|
|
|
|
w.write_all (&x.to_le_bytes ())?;
|
|
|
|
Ok (())
|
|
|
|
}
|
|
|
|
|
2021-12-05 19:58:18 +00:00
|
|
|
pub fn lv_bytes (w: &mut W, b: &[u8]) -> Result <()> {
|
2021-12-05 05:01:25 +00:00
|
|
|
if b.len () > 2_000_000_000 {
|
2021-12-05 19:58:18 +00:00
|
|
|
return Err (TlvError::BufferTooBig);
|
2021-12-05 05:01:25 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
let l = u32::try_from (b.len ())?;
|
|
|
|
|
|
|
|
Self::length (w, l)?;
|
|
|
|
w.write_all (b)?;
|
|
|
|
|
|
|
|
Ok (())
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-12-05 19:58:18 +00:00
|
|
|
pub struct Reader <R> {
|
2021-12-05 05:01:25 +00:00
|
|
|
_x: std::marker::PhantomData <R>,
|
|
|
|
}
|
|
|
|
|
|
|
|
impl <R: std::io::Read> Reader <R> {
|
2021-12-05 19:58:18 +00:00
|
|
|
pub fn expect (r: &mut R, expected: &[u8]) -> Result <()> {
|
|
|
|
let mut actual = vec! [0u8; expected.len ()];
|
|
|
|
r.read_exact (&mut actual)?;
|
|
|
|
if actual != expected {
|
|
|
|
return Err (TlvError::NotExpected);
|
|
|
|
}
|
|
|
|
Ok (())
|
|
|
|
}
|
|
|
|
|
2021-12-09 00:23:48 +00:00
|
|
|
pub fn length (r: &mut R) -> Result <u32> {
|
2021-12-05 05:01:25 +00:00
|
|
|
let mut buf = [0; 4];
|
|
|
|
r.read_exact (&mut buf)?;
|
|
|
|
|
|
|
|
Ok (u32::from_le_bytes (buf))
|
|
|
|
}
|
|
|
|
|
2021-12-09 00:23:48 +00:00
|
|
|
pub fn lv_bytes_to_vec (r: &mut R, limit: usize) -> Result <Vec <u8>> {
|
2021-12-05 05:01:25 +00:00
|
|
|
let l = Self::length (r)?;
|
2021-12-09 00:23:48 +00:00
|
|
|
let l = usize::try_from (l)?;
|
|
|
|
if l > limit {
|
|
|
|
return Err (TlvError::DataTooBig);
|
2021-12-05 05:01:25 +00:00
|
|
|
}
|
|
|
|
|
2021-12-09 00:23:48 +00:00
|
|
|
let mut v = vec! [0u8; l];
|
|
|
|
r.read_exact (&mut v)?;
|
2021-12-05 05:01:25 +00:00
|
|
|
|
2021-12-09 00:23:48 +00:00
|
|
|
Ok (v)
|
2021-12-05 05:01:25 +00:00
|
|
|
}
|
2021-12-05 19:58:18 +00:00
|
|
|
|
|
|
|
pub fn u8 (r: &mut R) -> std::io::Result <u8> {
|
|
|
|
let mut buf = [0];
|
|
|
|
r.read_exact (&mut buf)?;
|
|
|
|
|
|
|
|
Ok (buf [0])
|
|
|
|
}
|
2021-12-05 05:01:25 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#[cfg (test)]
|
|
|
|
mod test {
|
2021-12-09 01:39:54 +00:00
|
|
|
use super::*;
|
|
|
|
|
2021-12-05 05:01:25 +00:00
|
|
|
#[test]
|
2021-12-09 01:39:54 +00:00
|
|
|
fn test_1 () -> Result <()> {
|
2021-12-05 05:01:25 +00:00
|
|
|
use std::io::Cursor;
|
|
|
|
|
|
|
|
let b = "hi there".as_bytes ();
|
|
|
|
|
|
|
|
let mut w = Cursor::new (Vec::default ());
|
|
|
|
|
2021-12-09 01:39:54 +00:00
|
|
|
super::Writer::lv_bytes (&mut w, b)?;
|
2021-12-05 05:01:25 +00:00
|
|
|
|
|
|
|
let v = w.into_inner ();
|
|
|
|
|
|
|
|
assert_eq! (v, vec! [
|
|
|
|
8, 0, 0, 0,
|
|
|
|
104, 105, 32,
|
|
|
|
116, 104, 101, 114, 101,
|
|
|
|
]);
|
|
|
|
|
|
|
|
let mut r = Cursor::new (v);
|
|
|
|
|
2021-12-09 01:39:54 +00:00
|
|
|
let buf = Reader::lv_bytes_to_vec (&mut r, 1024)?;
|
2021-12-05 05:01:25 +00:00
|
|
|
|
2021-12-09 00:23:48 +00:00
|
|
|
assert_eq! (buf.len (), b.len ());
|
2021-12-09 01:39:54 +00:00
|
|
|
assert_eq! (b, &buf);
|
|
|
|
|
|
|
|
Ok (())
|
2021-12-05 05:01:25 +00:00
|
|
|
}
|
|
|
|
}
|