fixed-json 0.1.0

#![no_std]

#[cfg(feature = "std")]
extern crate std;

pub const JSON_ATTR_MAX: usize = 31;
pub const JSON_VAL_MAX: usize = 512;

pub type Result<T> = core::result::Result<T, Error>;

#[derive(Clone, Copy, Debug, Eq, PartialEq)]
#[repr(i32)]
pub enum Error {
    ObStart = 1,
    AttrStart = 2,
    BadAttr = 3,
    AttrLen = 4,
    NoArray = 5,
    NoBrak = 6,
    StrLong = 7,
    TokLong = 8,
    BadTrail = 9,
    ArrayStart = 10,
    ObjArr = 11,
    SubTooLong = 12,
    BadSubTrail = 13,
    SubType = 14,
    BadString = 15,
    CheckFail = 16,
    NoParStr = 17,
    BadEnum = 18,
    QNonString = 19,
    NonQString = 20,
    Misc = 21,
    BadNum = 22,
    NullPtr = 23,
    NoCurly = 24,
    Empty = 25,
}

impl Error {
    pub const fn message(self) -> &'static str {
        match self {
            Error::ObStart => "non-whitespace when expecting object start",
            Error::AttrStart => "non-whitespace when expecting attribute start",
            Error::BadAttr => "unknown attribute name",
            Error::AttrLen => "attribute name too long",
            Error::NoArray => "saw [ when not expecting array",
            Error::NoBrak => "array element specified, but no [",
            Error::StrLong => "string value too long",
            Error::TokLong => "token value too long",
            Error::BadTrail => "garbage while expecting comma or } or ]",
            Error::ArrayStart => "didn't find expected array start",
            Error::ObjArr => "error while parsing object array",
            Error::SubTooLong => "too many array elements",
            Error::BadSubTrail => "garbage while expecting array comma",
            Error::SubType => "unsupported array element type",
            Error::BadString => "error while string parsing",
            Error::CheckFail => "check attribute not matched",
            Error::NoParStr => "can't support strings in parallel arrays",
            Error::BadEnum => "invalid enumerated value",
            Error::QNonString => "saw quoted value when expecting nonstring",
            Error::NonQString => "didn't see quoted value when expecting string",
            Error::Misc => "other data conversion error",
            Error::BadNum => "error while parsing a numerical argument",
            Error::NullPtr => "unexpected null value or attribute pointer",
            Error::NoCurly => "object element specified, but no {",
            Error::Empty => "input was empty or white-space only",
        }
    }
}

impl core::fmt::Display for Error {
    fn fmt(&self, f: &mut core::fmt::Formatter<'_>) -> core::fmt::Result {
        f.write_str(self.message())
    }
}

#[cfg(feature = "std")]
impl std::error::Error for Error {}

pub fn error_string(err: Error) -> &'static str {
    err.message()
}

#[derive(Clone, Copy)]
pub struct EnumValue<'a> {
    pub name: &'a str,
    pub value: i32,
}

#[derive(Clone, Copy)]
pub enum DefaultValue<'a> {
    None,
    Integer(i32),
    UInteger(u32),
    Short(i16),
    UShort(u16),
    Real(f64),
    Boolean(bool),
    Character(u8),
    Check(&'a str),
}

pub enum Target<'a, T> {
    One(&'a mut T),
    Many(&'a mut [T]),
}

impl<T: Copy> Target<'_, T> {
    fn set(&mut self, offset: usize, value: T) -> Result<()> {
        match self {
            Target::One(target) if offset == 0 => {
                **target = value;
                Ok(())
            }
            Target::Many(targets) => {
                *targets.get_mut(offset).ok_or(Error::SubTooLong)? = value;
                Ok(())
            }
            Target::One(_) => Ok(()),
        }
    }
}

pub type TargetI32<'a> = Target<'a, i32>;
pub type TargetU32<'a> = Target<'a, u32>;
pub type TargetI16<'a> = Target<'a, i16>;
pub type TargetU16<'a> = Target<'a, u16>;
pub type TargetF64<'a> = Target<'a, f64>;
pub type TargetBool<'a> = Target<'a, bool>;
pub type TargetChar<'a> = Target<'a, u8>;

pub enum AttrKind<'a> {
    Integer(TargetI32<'a>),
    UInteger(TargetU32<'a>),
    Real(TargetF64<'a>),
    String(&'a mut [u8]),
    Boolean(TargetBool<'a>),
    Character(TargetChar<'a>),
    Time(TargetF64<'a>),
    Object(&'a mut [Attr<'a>]),
    Array(Array<'a>),
    Check(&'a str),
    Ignore,
    Short(TargetI16<'a>),
    UShort(TargetU16<'a>),
}

pub struct Attr<'a> {
    pub name: &'a str,
    pub kind: AttrKind<'a>,
    pub default: DefaultValue<'a>,
    pub map: Option<&'a [EnumValue<'a>]>,
    pub nodefault: bool,
}

impl<'a> Attr<'a> {
    pub fn integer(name: &'a str, target: &'a mut i32) -> Self {
        Self::new(name, AttrKind::Integer(TargetI32::One(target)))
    }

    pub fn integers(name: &'a str, target: &'a mut [i32]) -> Self {
        Self::new(name, AttrKind::Integer(TargetI32::Many(target)))
    }

    pub fn uinteger(name: &'a str, target: &'a mut u32) -> Self {
        Self::new(name, AttrKind::UInteger(TargetU32::One(target)))
    }

    pub fn uintegers(name: &'a str, target: &'a mut [u32]) -> Self {
        Self::new(name, AttrKind::UInteger(TargetU32::Many(target)))
    }

    pub fn short(name: &'a str, target: &'a mut i16) -> Self {
        Self::new(name, AttrKind::Short(TargetI16::One(target)))
    }

    pub fn shorts(name: &'a str, target: &'a mut [i16]) -> Self {
        Self::new(name, AttrKind::Short(TargetI16::Many(target)))
    }

    pub fn ushort(name: &'a str, target: &'a mut u16) -> Self {
        Self::new(name, AttrKind::UShort(TargetU16::One(target)))
    }

    pub fn ushorts(name: &'a str, target: &'a mut [u16]) -> Self {
        Self::new(name, AttrKind::UShort(TargetU16::Many(target)))
    }

    pub fn real(name: &'a str, target: &'a mut f64) -> Self {
        Self::new(name, AttrKind::Real(TargetF64::One(target)))
    }

    pub fn reals(name: &'a str, target: &'a mut [f64]) -> Self {
        Self::new(name, AttrKind::Real(TargetF64::Many(target)))
    }

    pub fn string(name: &'a str, target: &'a mut [u8]) -> Self {
        Self::new(name, AttrKind::String(target))
    }

    pub fn boolean(name: &'a str, target: &'a mut bool) -> Self {
        Self::new(name, AttrKind::Boolean(TargetBool::One(target)))
    }

    pub fn booleans(name: &'a str, target: &'a mut [bool]) -> Self {
        Self::new(name, AttrKind::Boolean(TargetBool::Many(target)))
    }

    pub fn character(name: &'a str, target: &'a mut u8) -> Self {
        Self::new(name, AttrKind::Character(TargetChar::One(target)))
    }

    pub fn characters(name: &'a str, target: &'a mut [u8]) -> Self {
        Self::new(name, AttrKind::Character(TargetChar::Many(target)))
    }

    pub fn time(name: &'a str, target: &'a mut f64) -> Self {
        Self::new(name, AttrKind::Time(TargetF64::One(target)))
    }

    pub fn object(name: &'a str, attrs: &'a mut [Attr<'a>]) -> Self {
        Self::new(name, AttrKind::Object(attrs))
    }

    pub fn array(name: &'a str, array: Array<'a>) -> Self {
        Self::new(name, AttrKind::Array(array))
    }

    pub fn check(name: &'a str, expected: &'a str) -> Self {
        let mut attr = Self::new(name, AttrKind::Check(expected));
        attr.default = DefaultValue::Check(expected);
        attr
    }

    pub fn ignore_any() -> Self {
        Self::new("", AttrKind::Ignore)
    }

    pub fn with_default(mut self, default: DefaultValue<'a>) -> Self {
        self.default = default;
        self
    }

    pub fn with_map(mut self, map: &'a [EnumValue<'a>]) -> Self {
        self.map = Some(map);
        self
    }

    pub fn nodefault(mut self) -> Self {
        self.nodefault = true;
        self
    }

    fn new(name: &'a str, kind: AttrKind<'a>) -> Self {
        Self {
            name,
            kind,
            default: DefaultValue::None,
            map: None,
            nodefault: false,
        }
    }
}

pub enum Array<'a> {
    Strings {
        store: &'a mut [&'a mut [u8]],
        count: Option<&'a mut usize>,
    },
    Integers {
        store: &'a mut [i32],
        count: Option<&'a mut usize>,
    },
    UIntegers {
        store: &'a mut [u32],
        count: Option<&'a mut usize>,
    },
    Shorts {
        store: &'a mut [i16],
        count: Option<&'a mut usize>,
    },
    UShorts {
        store: &'a mut [u16],
        count: Option<&'a mut usize>,
    },
    Reals {
        store: &'a mut [f64],
        count: Option<&'a mut usize>,
    },
    Booleans {
        store: &'a mut [bool],
        count: Option<&'a mut usize>,
    },
    Objects {
        attrs: &'a mut [Attr<'a>],
        maxlen: usize,
        count: Option<&'a mut usize>,
    },
    StructObjects {
        maxlen: usize,
        count: Option<&'a mut usize>,
        parser: &'a mut dyn FnMut(&str, usize) -> Result<usize>,
    },
}

pub fn read_object(input: &str, attrs: &mut [Attr<'_>]) -> Result<usize> {
    read_object_internal(input, attrs, None, 0)
}

pub fn read_array(input: &str, array: &mut Array<'_>) -> Result<usize> {
    read_array_internal(input, array)
}

pub fn validate_json(input: &[u8]) -> Result<usize> {
    let mut validator = JsonValidator {
        bytes: input,
        depth: 0,
    };
    let end = validator.parse_value(validator.skip_ws(0))?;
    let end = validator.skip_ws(end);
    if end == input.len() {
        Ok(end)
    } else {
        Err(Error::BadTrail)
    }
}

pub fn cstr(buf: &[u8]) -> &str {
    let len = buf.iter().position(|&b| b == 0).unwrap_or(buf.len());
    core::str::from_utf8(&buf[..len]).unwrap_or("")
}

struct JsonValidator<'a> {
    bytes: &'a [u8],
    depth: usize,
}

impl JsonValidator<'_> {
    const MAX_DEPTH: usize = 1024;

    fn parse_value(&mut self, i: usize) -> Result<usize> {
        if i >= self.bytes.len() {
            return Err(Error::BadTrail);
        }
        match self.bytes[i] {
            b'{' => self.parse_object(i),
            b'[' => self.parse_array(i),
            b'"' => self.parse_string(i),
            b't' => self.parse_literal(i, b"true"),
            b'f' => self.parse_literal(i, b"false"),
            b'n' => self.parse_literal(i, b"null"),
            b'-' | b'0'..=b'9' => self.parse_number(i),
            _ => Err(Error::BadTrail),
        }
    }

    fn parse_object(&mut self, mut i: usize) -> Result<usize> {
        self.enter()?;
        i += 1;
        i = self.skip_ws(i);
        if i < self.bytes.len() && self.bytes[i] == b'}' {
            self.leave();
            return Ok(i + 1);
        }
        loop {
            if i >= self.bytes.len() || self.bytes[i] != b'"' {
                self.leave();
                return Err(Error::AttrStart);
            }
            i = self.parse_string(i)?;
            i = self.skip_ws(i);
            if i >= self.bytes.len() || self.bytes[i] != b':' {
                self.leave();
                return Err(Error::BadTrail);
            }
            i = self.parse_value(self.skip_ws(i + 1))?;
            i = self.skip_ws(i);
            if i >= self.bytes.len() {
                self.leave();
                return Err(Error::BadTrail);
            }
            match self.bytes[i] {
                b',' => i = self.skip_ws(i + 1),
                b'}' => {
                    self.leave();
                    return Ok(i + 1);
                }
                _ => {
                    self.leave();
                    return Err(Error::BadTrail);
                }
            }
        }
    }

    fn parse_array(&mut self, mut i: usize) -> Result<usize> {
        self.enter()?;
        i += 1;
        i = self.skip_ws(i);
        if i < self.bytes.len() && self.bytes[i] == b']' {
            self.leave();
            return Ok(i + 1);
        }
        loop {
            i = self.parse_value(i)?;
            i = self.skip_ws(i);
            if i >= self.bytes.len() {
                self.leave();
                return Err(Error::BadTrail);
            }
            match self.bytes[i] {
                b',' => i = self.skip_ws(i + 1),
                b']' => {
                    self.leave();
                    return Ok(i + 1);
                }
                _ => {
                    self.leave();
                    return Err(Error::BadTrail);
                }
            }
        }
    }

    fn parse_string(&self, mut i: usize) -> Result<usize> {
        i += 1;
        let mut raw_start = i;
        while i < self.bytes.len() {
            match self.bytes[i] {
                b'"' => {
                    core::str::from_utf8(&self.bytes[raw_start..i])
                        .map_err(|_| Error::BadString)?;
                    return Ok(i + 1);
                }
                b'\\' => {
                    core::str::from_utf8(&self.bytes[raw_start..i])
                        .map_err(|_| Error::BadString)?;
                    i += 1;
                    if i >= self.bytes.len() {
                        return Err(Error::BadString);
                    }
                    match self.bytes[i] {
                        b'"' | b'\\' | b'/' | b'b' | b'f' | b'n' | b'r' | b't' => {
                            i += 1;
                        }
                        b'u' => {
                            i += 1;
                            for _ in 0..4 {
                                if i >= self.bytes.len() || hex_val(self.bytes[i]).is_none() {
                                    return Err(Error::BadString);
                                }
                                i += 1;
                            }
                        }
                        _ => return Err(Error::BadString),
                    }
                    raw_start = i;
                }
                0x00..=0x1f => return Err(Error::BadString),
                _ => i += 1,
            }
        }
        Err(Error::BadString)
    }

    fn parse_literal(&self, i: usize, literal: &[u8]) -> Result<usize> {
        if self.bytes[i..].starts_with(literal) {
            Ok(i + literal.len())
        } else {
            Err(Error::BadTrail)
        }
    }

    fn parse_number(&self, mut i: usize) -> Result<usize> {
        if i < self.bytes.len() && self.bytes[i] == b'-' {
            i += 1;
        }
        if i >= self.bytes.len() {
            return Err(Error::BadNum);
        }
        if self.bytes[i] == b'0' {
            i += 1;
            if i < self.bytes.len() && self.bytes[i].is_ascii_digit() {
                return Err(Error::BadNum);
            }
        } else if self.bytes[i].is_ascii_digit() {
            while i < self.bytes.len() && self.bytes[i].is_ascii_digit() {
                i += 1;
            }
        } else {
            return Err(Error::BadNum);
        }
        if i < self.bytes.len() && self.bytes[i] == b'.' {
            i += 1;
            let start = i;
            while i < self.bytes.len() && self.bytes[i].is_ascii_digit() {
                i += 1;
            }
            if i == start {
                return Err(Error::BadNum);
            }
        }
        if i < self.bytes.len() && matches!(self.bytes[i], b'e' | b'E') {
            i += 1;
            if i < self.bytes.len() && matches!(self.bytes[i], b'+' | b'-') {
                i += 1;
            }
            let start = i;
            while i < self.bytes.len() && self.bytes[i].is_ascii_digit() {
                i += 1;
            }
            if i == start {
                return Err(Error::BadNum);
            }
        }
        Ok(i)
    }

    fn skip_ws(&self, mut i: usize) -> usize {
        while i < self.bytes.len() && matches!(self.bytes[i], b' ' | b'\t' | b'\n' | b'\r') {
            i += 1;
        }
        i
    }

    fn enter(&mut self) -> Result<()> {
        self.depth += 1;
        if self.depth > Self::MAX_DEPTH {
            return Err(Error::SubTooLong);
        }
        Ok(())
    }

    fn leave(&mut self) {
        self.depth -= 1;
    }
}

fn read_object_internal(
    input: &str,
    attrs: &mut [Attr<'_>],
    parent_is_structobject: Option<bool>,
    offset: usize,
) -> Result<usize> {
    apply_defaults(attrs, parent_is_structobject, offset)?;

    let bytes = input.as_bytes();
    let mut i = skip_ws(bytes, 0);
    if i >= bytes.len() {
        return Err(Error::Empty);
    }
    if bytes[i] != b'{' {
        return Err(Error::ObStart);
    }
    i += 1;

    loop {
        i = skip_ws(bytes, i);
        if i >= bytes.len() {
            return Err(Error::AttrStart);
        }
        if bytes[i] == b'}' {
            i += 1;
            return Ok(skip_ws(bytes, i));
        }
        if bytes[i] != b'"' {
            return Err(Error::AttrStart);
        }
        i += 1;

        let mut attr_buf = [0u8; JSON_ATTR_MAX + 1];
        let attr_len = parse_attr_name(bytes, &mut i, &mut attr_buf)?;
        let attr_name = core::str::from_utf8(&attr_buf[..attr_len]).map_err(|_| Error::BadAttr)?;
        let first = find_attr(attrs, attr_name).ok_or(Error::BadAttr)?;

        i = skip_ws(bytes, i);
        if i < bytes.len() && bytes[i] == b':' {
            i += 1;
        }
        i = skip_ws(bytes, i);
        if i >= bytes.len() {
            return Err(Error::BadTrail);
        }

        if bytes[i] == b'[' {
            if !matches!(attrs[first].kind, AttrKind::Array(_)) {
                return Err(Error::NoArray);
            }
            let AttrKind::Array(array) = &mut attrs[first].kind else {
                unreachable!();
            };
            i += read_array_internal(&input[i..], array)?;
            i = skip_ws(bytes, i);
        } else if matches!(attrs[first].kind, AttrKind::Array(_)) {
            return Err(Error::NoBrak);
        } else if bytes[i] == b'{' {
            if !matches!(attrs[first].kind, AttrKind::Object(_)) {
                return Err(Error::NoArray);
            }
            let AttrKind::Object(child) = &mut attrs[first].kind else {
                unreachable!();
            };
            i += read_object_internal(&input[i..], child, None, 0)?;
            i = skip_ws(bytes, i);
        } else if matches!(attrs[first].kind, AttrKind::Object(_)) {
            return Err(Error::NoCurly);
        } else {
            let mut val_buf = [0u8; JSON_VAL_MAX + 1];
            let quoted = if bytes[i] == b'"' {
                i += 1;
                let maxlen = value_max_len(&attrs[first]);
                parse_string_value(bytes, &mut i, &mut val_buf, maxlen)?;
                true
            } else {
                parse_token_value(bytes, &mut i, &mut val_buf)?;
                false
            };
            let selected = select_attr(attrs, first, attr_name, &val_buf, quoted)?;
            apply_value(
                &mut attrs[selected],
                parent_is_structobject,
                offset,
                &val_buf,
                quoted,
            )?;
            i = skip_ws(bytes, i);
        }

        if i >= bytes.len() {
            return Err(Error::BadTrail);
        }
        if bytes[i] == b',' {
            i += 1;
        } else if bytes[i] == b'}' {
            i += 1;
            return Ok(skip_ws(bytes, i));
        } else {
            return Err(Error::BadTrail);
        }
    }
}

fn read_array_internal(input: &str, array: &mut Array<'_>) -> Result<usize> {
    let bytes = input.as_bytes();
    let mut i = skip_ws(bytes, 0);
    if i >= bytes.len() || bytes[i] != b'[' {
        return Err(Error::ArrayStart);
    }
    i += 1;
    i = skip_ws(bytes, i);
    if i < bytes.len() && bytes[i] == b']' {
        set_array_count(array, 0);
        return Ok(skip_ws(bytes, i + 1));
    }

    let maxlen = array_maxlen(array);
    let mut count = 0usize;
    while count < maxlen {
        i = skip_ws(bytes, i);
        match array {
            Array::Strings { store, .. } => {
                if i >= bytes.len() || bytes[i] != b'"' {
                    return Err(Error::BadString);
                }
                i += 1;
                parse_string_value(
                    bytes,
                    &mut i,
                    store[count],
                    store[count].len().saturating_sub(1),
                )?;
            }
            Array::Integers { store, .. } => {
                let (v, end) = parse_i32_at(bytes, i)?;
                store[count] = v;
                i = end;
            }
            Array::UIntegers { store, .. } => {
                let (v, end) = parse_u32_at(bytes, i)?;
                store[count] = v;
                i = end;
            }
            Array::Shorts { store, .. } => {
                let (v, end) = parse_i16_at(bytes, i)?;
                store[count] = v;
                i = end;
            }
            Array::UShorts { store, .. } => {
                let (v, end) = parse_u16_at(bytes, i)?;
                store[count] = v;
                i = end;
            }
            Array::Reals { store, .. } => {
                let (v, end) = parse_f64_at(bytes, i)?;
                store[count] = v;
                i = end;
            }
            Array::Booleans { store, .. } => {
                let (v, end) = parse_bool_at(bytes, i)?;
                store[count] = v;
                i = end;
            }
            Array::Objects { attrs, .. } => {
                i += read_object_internal(&input[i..], attrs, Some(false), count)?;
            }
            Array::StructObjects { parser, .. } => {
                i += parser(&input[i..], count)?;
            }
        }
        count += 1;
        i = skip_ws(bytes, i);
        if i < bytes.len() && bytes[i] == b']' {
            set_array_count(array, count);
            return Ok(skip_ws(bytes, i + 1));
        }
        if i < bytes.len() && bytes[i] == b',' {
            i += 1;
        } else {
            return Err(Error::BadSubTrail);
        }
    }

    Err(Error::SubTooLong)
}

fn apply_defaults(
    attrs: &mut [Attr<'_>],
    parent_is_structobject: Option<bool>,
    offset: usize,
) -> Result<()> {
    for attr in attrs {
        if attr.nodefault {
            continue;
        }
        match attr.default {
            DefaultValue::None => {
                if let AttrKind::String(buf) = &mut attr.kind {
                    if matches!(parent_is_structobject, Some(false)) && offset > 0 {
                        return Err(Error::NoParStr);
                    }
                    clear_cbuf(buf);
                }
            }
            DefaultValue::Integer(v) => set_i32(&mut attr.kind, offset, v)?,
            DefaultValue::UInteger(v) => set_u32(&mut attr.kind, offset, v)?,
            DefaultValue::Short(v) => set_i16(&mut attr.kind, offset, v)?,
            DefaultValue::UShort(v) => set_u16(&mut attr.kind, offset, v)?,
            DefaultValue::Real(v) => set_f64(&mut attr.kind, offset, v)?,
            DefaultValue::Boolean(v) => set_bool(&mut attr.kind, offset, v)?,
            DefaultValue::Character(v) => set_char(&mut attr.kind, offset, v)?,
            DefaultValue::Check(_) => {}
        }
    }
    Ok(())
}

fn parse_attr_name(
    bytes: &[u8],
    i: &mut usize,
    out: &mut [u8; JSON_ATTR_MAX + 1],
) -> Result<usize> {
    let mut len = 0usize;
    while *i < bytes.len() {
        let b = bytes[*i];
        *i += 1;
        if b == b'"' {
            return Ok(len);
        }
        if len >= JSON_ATTR_MAX {
            return Err(Error::AttrLen);
        }
        out[len] = b;
        len += 1;
    }
    Err(Error::BadString)
}

fn parse_string_value(
    bytes: &[u8],
    i: &mut usize,
    out: &mut [u8],
    max_content_len: usize,
) -> Result<usize> {
    clear_cbuf(out);
    let mut len = 0usize;
    while *i < bytes.len() {
        let b = bytes[*i];
        *i += 1;
        let outb = if b == b'\\' {
            if *i >= bytes.len() {
                return Err(Error::BadString);
            }
            let e = bytes[*i];
            *i += 1;
            match e {
                b'b' => 8,
                b'f' => 12,
                b'n' => b'\n',
                b'r' => b'\r',
                b't' => b'\t',
                b'u' => {
                    if *i + 4 > bytes.len() {
                        return Err(Error::BadString);
                    }
                    let mut v = 0u32;
                    for _ in 0..4 {
                        let Some(d) = hex_val(bytes[*i]) else {
                            return Err(Error::BadString);
                        };
                        v = (v << 4) | d as u32;
                        *i += 1;
                    }
                    v as u8
                }
                other => other,
            }
        } else if b == b'"' {
            if len < out.len() {
                out[len] = 0;
            }
            return Ok(len);
        } else {
            b
        };
        if len >= JSON_VAL_MAX || len >= max_content_len || len + 1 > out.len() {
            return Err(Error::StrLong);
        }
        out[len] = outb;
        len += 1;
    }
    Err(Error::BadString)
}

fn parse_token_value(
    bytes: &[u8],
    i: &mut usize,
    out: &mut [u8; JSON_VAL_MAX + 1],
) -> Result<usize> {
    let mut len = 0usize;
    while *i < bytes.len() {
        let b = bytes[*i];
        if is_ws(b) || b == b',' || b == b'}' || b == b']' {
            out[len] = 0;
            return Ok(len);
        }
        if len >= JSON_VAL_MAX {
            return Err(Error::TokLong);
        }
        out[len] = b;
        len += 1;
        *i += 1;
    }
    out[len] = 0;
    Ok(len)
}

fn find_attr(attrs: &[Attr<'_>], name: &str) -> Option<usize> {
    let mut ignore = None;
    for (idx, attr) in attrs.iter().enumerate() {
        if attr.name == name {
            return Some(idx);
        }
        if attr.name.is_empty() && matches!(attr.kind, AttrKind::Ignore) {
            ignore = Some(idx);
        }
    }
    ignore
}

fn select_attr(
    attrs: &[Attr<'_>],
    first: usize,
    name: &str,
    val: &[u8; JSON_VAL_MAX + 1],
    quoted: bool,
) -> Result<usize> {
    let mut idx = first;
    loop {
        if value_fits_attr(&attrs[idx], val, quoted) {
            break;
        }
        if idx + 1 >= attrs.len() || attrs[idx + 1].name != name {
            break;
        }
        idx += 1;
    }

    let attr = &attrs[idx];
    if quoted
        && !matches!(
            attr.kind,
            AttrKind::String(_)
                | AttrKind::Character(_)
                | AttrKind::Check(_)
                | AttrKind::Time(_)
                | AttrKind::Ignore
        )
        && attr.map.is_none()
    {
        return Err(Error::QNonString);
    }
    if !quoted
        && (matches!(
            attr.kind,
            AttrKind::String(_) | AttrKind::Check(_) | AttrKind::Time(_)
        ) || attr.map.is_some())
    {
        return Err(Error::NonQString);
    }
    Ok(idx)
}

fn value_fits_attr(attr: &Attr<'_>, val: &[u8; JSON_VAL_MAX + 1], quoted: bool) -> bool {
    if quoted {
        return matches!(attr.kind, AttrKind::String(_) | AttrKind::Time(_));
    }
    if token_eq(val, b"true") || token_eq(val, b"false") {
        return matches!(attr.kind, AttrKind::Boolean(_));
    }
    if json_number_is_integer(val) {
        return matches!(
            attr.kind,
            AttrKind::Integer(_) | AttrKind::UInteger(_) | AttrKind::Short(_) | AttrKind::UShort(_)
        );
    }
    if json_number_is_real(val) {
        return matches!(attr.kind, AttrKind::Real(_));
    }
    false
}

fn apply_value(
    attr: &mut Attr<'_>,
    parent_is_structobject: Option<bool>,
    offset: usize,
    val: &[u8; JSON_VAL_MAX + 1],
    _quoted: bool,
) -> Result<()> {
    let mut mapped_buf = [0u8; JSON_VAL_MAX + 1];
    let val = if let Some(map) = attr.map {
        let s = token_str(val)?;
        let mut found = None;
        for item in map {
            if item.name == s {
                found = Some(item.value);
                break;
            }
        }
        let Some(found) = found else {
            return Err(Error::BadEnum);
        };
        write_i32_token(found, &mut mapped_buf);
        &mapped_buf
    } else {
        val
    };

    match &mut attr.kind {
        AttrKind::Integer(_) => {
            let v = parse_i32_token(val)?;
            set_i32(&mut attr.kind, offset, v)
        }
        AttrKind::UInteger(_) => {
            let v = parse_u32_token(val)?;
            set_u32(&mut attr.kind, offset, v)
        }
        AttrKind::Short(_) => {
            let v = parse_i16_token(val)?;
            set_i16(&mut attr.kind, offset, v)
        }
        AttrKind::UShort(_) => {
            let v = parse_u16_token(val)?;
            set_u16(&mut attr.kind, offset, v)
        }
        AttrKind::Real(_) => {
            let v = parse_f64_token(val)?;
            set_f64(&mut attr.kind, offset, v)
        }
        AttrKind::String(buf) => {
            if matches!(parent_is_structobject, Some(false)) && offset > 0 {
                return Err(Error::NoParStr);
            }
            copy_cbuf(buf, val);
            Ok(())
        }
        AttrKind::Boolean(_) => {
            let v = if token_eq(val, b"true") {
                true
            } else if token_eq(val, b"false") {
                false
            } else {
                parse_i64_token(val)? != 0
            };
            set_bool(&mut attr.kind, offset, v)
        }
        AttrKind::Character(_) => {
            let len = token_len(val);
            if len > 1 {
                return Err(Error::StrLong);
            }
            set_char(&mut attr.kind, offset, if len == 0 { 0 } else { val[0] })
        }
        AttrKind::Check(expected) => {
            if token_str(val)? == *expected {
                Ok(())
            } else {
                Err(Error::CheckFail)
            }
        }
        AttrKind::Ignore => Ok(()),
        AttrKind::Time(_) => Ok(()),
        AttrKind::Object(_) | AttrKind::Array(_) => Ok(()),
    }
}

fn set_i32(kind: &mut AttrKind<'_>, offset: usize, value: i32) -> Result<()> {
    if let AttrKind::Integer(target) = kind {
        target.set(offset, value)?;
    }
    Ok(())
}

fn set_u32(kind: &mut AttrKind<'_>, offset: usize, value: u32) -> Result<()> {
    if let AttrKind::UInteger(target) = kind {
        target.set(offset, value)?;
    }
    Ok(())
}

fn set_i16(kind: &mut AttrKind<'_>, offset: usize, value: i16) -> Result<()> {
    if let AttrKind::Short(target) = kind {
        target.set(offset, value)?;
    }
    Ok(())
}

fn set_u16(kind: &mut AttrKind<'_>, offset: usize, value: u16) -> Result<()> {
    if let AttrKind::UShort(target) = kind {
        target.set(offset, value)?;
    }
    Ok(())
}

fn set_f64(kind: &mut AttrKind<'_>, offset: usize, value: f64) -> Result<()> {
    match kind {
        AttrKind::Real(target) | AttrKind::Time(target) => target.set(offset, value)?,
        _ => {}
    }
    Ok(())
}

fn set_bool(kind: &mut AttrKind<'_>, offset: usize, value: bool) -> Result<()> {
    if let AttrKind::Boolean(target) = kind {
        target.set(offset, value)?;
    }
    Ok(())
}

fn set_char(kind: &mut AttrKind<'_>, offset: usize, value: u8) -> Result<()> {
    if let AttrKind::Character(target) = kind {
        target.set(offset, value)?;
    }
    Ok(())
}

fn value_max_len(attr: &Attr<'_>) -> usize {
    match &attr.kind {
        AttrKind::String(buf) => buf.len().saturating_sub(1),
        AttrKind::Check(expected) => expected.len(),
        AttrKind::Time(_) | AttrKind::Ignore => JSON_VAL_MAX,
        _ if attr.map.is_some() => JSON_VAL_MAX,
        _ => JSON_VAL_MAX,
    }
}

fn array_maxlen(array: &Array<'_>) -> usize {
    match array {
        Array::Strings { store, .. } => store.len(),
        Array::Integers { store, .. } => store.len(),
        Array::UIntegers { store, .. } => store.len(),
        Array::Shorts { store, .. } => store.len(),
        Array::UShorts { store, .. } => store.len(),
        Array::Reals { store, .. } => store.len(),
        Array::Booleans { store, .. } => store.len(),
        Array::Objects { maxlen, .. } => *maxlen,
        Array::StructObjects { maxlen, .. } => *maxlen,
    }
}

fn set_array_count(array: &mut Array<'_>, value: usize) {
    match array {
        Array::Strings { count, .. }
        | Array::Integers { count, .. }
        | Array::UIntegers { count, .. }
        | Array::Shorts { count, .. }
        | Array::UShorts { count, .. }
        | Array::Reals { count, .. }
        | Array::Booleans { count, .. }
        | Array::Objects { count, .. }
        | Array::StructObjects { count, .. } => {
            if let Some(count) = count {
                **count = value;
            }
        }
    }
}

fn skip_ws(bytes: &[u8], mut i: usize) -> usize {
    while i < bytes.len() && is_ws(bytes[i]) {
        i += 1;
    }
    i
}

fn is_ws(b: u8) -> bool {
    matches!(b, b' ' | b'\t' | b'\n' | b'\r' | 0x0c | 0x0b)
}

fn clear_cbuf(buf: &mut [u8]) {
    for b in buf {
        *b = 0;
    }
}

fn copy_cbuf(out: &mut [u8], val: &[u8; JSON_VAL_MAX + 1]) {
    clear_cbuf(out);
    if out.is_empty() {
        return;
    }
    let n = core::cmp::min(token_len(val), out.len() - 1);
    out[..n].copy_from_slice(&val[..n]);
}

fn token_len(token: &[u8]) -> usize {
    token.iter().position(|&b| b == 0).unwrap_or(token.len())
}

fn token_str(token: &[u8]) -> Result<&str> {
    core::str::from_utf8(&token[..token_len(token)]).map_err(|_| Error::BadString)
}

fn token_eq(token: &[u8], expected: &[u8]) -> bool {
    &token[..token_len(token)] == expected
}

fn hex_val(b: u8) -> Option<u8> {
    match b {
        b'0'..=b'9' => Some(b - b'0'),
        b'a'..=b'f' => Some(b - b'a' + 10),
        b'A'..=b'F' => Some(b - b'A' + 10),
        _ => None,
    }
}

fn parse_i32_at(bytes: &[u8], start: usize) -> Result<(i32, usize)> {
    let end = number_end(bytes, start)?;
    Ok((parse_i32_bytes(&bytes[start..end])?, end))
}

fn parse_u32_at(bytes: &[u8], start: usize) -> Result<(u32, usize)> {
    let end = number_end(bytes, start)?;
    Ok((parse_u32_bytes(&bytes[start..end])?, end))
}

fn parse_i16_at(bytes: &[u8], start: usize) -> Result<(i16, usize)> {
    let end = number_end(bytes, start)?;
    let v = parse_i64_bytes(&bytes[start..end])?;
    if v < i16::MIN as i64 || v > i16::MAX as i64 {
        return Err(Error::BadNum);
    }
    Ok((v as i16, end))
}

fn parse_u16_at(bytes: &[u8], start: usize) -> Result<(u16, usize)> {
    let end = number_end(bytes, start)?;
    let v = parse_u64_bytes(&bytes[start..end])?;
    if v > u16::MAX as u64 {
        return Err(Error::BadNum);
    }
    Ok((v as u16, end))
}

fn parse_f64_at(bytes: &[u8], start: usize) -> Result<(f64, usize)> {
    let end = number_end(bytes, start)?;
    Ok((parse_f64_bytes(&bytes[start..end])?, end))
}

fn parse_bool_at(bytes: &[u8], start: usize) -> Result<(bool, usize)> {
    if bytes[start..].starts_with(b"true") {
        Ok((true, start + 4))
    } else if bytes[start..].starts_with(b"false") {
        Ok((false, start + 5))
    } else {
        let (v, end) = parse_i32_at(bytes, start)?;
        Ok((v != 0, end))
    }
}

fn number_end(bytes: &[u8], mut i: usize) -> Result<usize> {
    let start = i;
    if i < bytes.len() && bytes[i] == b'-' {
        i += 1;
    }
    let mut saw_digit = false;
    while i < bytes.len() && bytes[i].is_ascii_digit() {
        saw_digit = true;
        i += 1;
    }
    if i < bytes.len() && bytes[i] == b'.' {
        i += 1;
        while i < bytes.len() && bytes[i].is_ascii_digit() {
            saw_digit = true;
            i += 1;
        }
    }
    if i < bytes.len() && matches!(bytes[i], b'e' | b'E') {
        i += 1;
        if i < bytes.len() && matches!(bytes[i], b'+' | b'-') {
            i += 1;
        }
        let exp_start = i;
        while i < bytes.len() && bytes[i].is_ascii_digit() {
            i += 1;
        }
        if i == exp_start {
            return Err(Error::BadNum);
        }
    }
    if !saw_digit || i == start {
        Err(Error::BadNum)
    } else {
        Ok(i)
    }
}

fn parse_i32_token(token: &[u8]) -> Result<i32> {
    parse_i32_bytes(&token[..token_len(token)])
}

fn parse_u32_token(token: &[u8]) -> Result<u32> {
    parse_u32_bytes(&token[..token_len(token)])
}

fn parse_i16_token(token: &[u8]) -> Result<i16> {
    let v = parse_i64_token(token)?;
    if v < i16::MIN as i64 || v > i16::MAX as i64 {
        return Err(Error::BadNum);
    }
    Ok(v as i16)
}

fn parse_u16_token(token: &[u8]) -> Result<u16> {
    let v = parse_u64_bytes(&token[..token_len(token)])?;
    if v > u16::MAX as u64 {
        return Err(Error::BadNum);
    }
    Ok(v as u16)
}

fn parse_i64_token(token: &[u8]) -> Result<i64> {
    parse_i64_bytes(&token[..token_len(token)])
}

fn parse_f64_token(token: &[u8]) -> Result<f64> {
    parse_f64_bytes(&token[..token_len(token)])
}

fn parse_i32_bytes(bytes: &[u8]) -> Result<i32> {
    let v = parse_i64_bytes(bytes)?;
    if v < i32::MIN as i64 || v > i32::MAX as i64 {
        return Err(Error::BadNum);
    }
    Ok(v as i32)
}

fn parse_u32_bytes(bytes: &[u8]) -> Result<u32> {
    let v = parse_u64_bytes(bytes)?;
    if v > u32::MAX as u64 {
        return Err(Error::BadNum);
    }
    Ok(v as u32)
}

fn parse_i64_bytes(bytes: &[u8]) -> Result<i64> {
    let mut i = 0usize;
    let neg = bytes.first() == Some(&b'-');
    if neg {
        i = 1;
    }
    if i >= bytes.len() || bytes[i] == b'+' {
        return Err(Error::BadNum);
    }
    let mut v: i64 = 0;
    while i < bytes.len() {
        let b = bytes[i];
        if !b.is_ascii_digit() {
            return Err(Error::BadNum);
        }
        v = v.checked_mul(10).ok_or(Error::BadNum)?;
        v = v.checked_add((b - b'0') as i64).ok_or(Error::BadNum)?;
        i += 1;
    }
    if neg {
        v.checked_neg().ok_or(Error::BadNum)
    } else {
        Ok(v)
    }
}

fn parse_u64_bytes(bytes: &[u8]) -> Result<u64> {
    if bytes.is_empty() || bytes[0] == b'-' || bytes[0] == b'+' {
        return Err(Error::BadNum);
    }
    let mut v: u64 = 0;
    for &b in bytes {
        if !b.is_ascii_digit() {
            return Err(Error::BadNum);
        }
        v = v.checked_mul(10).ok_or(Error::BadNum)?;
        v = v.checked_add((b - b'0') as u64).ok_or(Error::BadNum)?;
    }
    Ok(v)
}

fn parse_f64_bytes(bytes: &[u8]) -> Result<f64> {
    if bytes.is_empty() {
        return Err(Error::BadNum);
    }
    let mut i = 0usize;
    let neg = bytes[i] == b'-';
    if neg {
        i += 1;
    }
    if i >= bytes.len() {
        return Err(Error::BadNum);
    }
    let mut value = 0f64;
    let int_start = i;
    if bytes[i] == b'0' {
        i += 1;
        if i < bytes.len() && bytes[i].is_ascii_digit() {
            return Err(Error::BadNum);
        }
    } else {
        while i < bytes.len() && bytes[i].is_ascii_digit() {
            value = value * 10.0 + (bytes[i] - b'0') as f64;
            i += 1;
        }
    }
    if i == int_start {
        return Err(Error::BadNum);
    }
    if i < bytes.len() && bytes[i] == b'.' {
        i += 1;
        let frac_start = i;
        let mut scale = 0.1f64;
        while i < bytes.len() && bytes[i].is_ascii_digit() {
            value += (bytes[i] - b'0') as f64 * scale;
            scale *= 0.1;
            i += 1;
        }
        if i == frac_start {
            return Err(Error::BadNum);
        }
    }
    if i < bytes.len() && matches!(bytes[i], b'e' | b'E') {
        i += 1;
        let exp_neg = if i < bytes.len() && matches!(bytes[i], b'+' | b'-') {
            let n = bytes[i] == b'-';
            i += 1;
            n
        } else {
            false
        };
        let exp_start = i;
        let mut exp = 0i32;
        while i < bytes.len() && bytes[i].is_ascii_digit() {
            exp = exp
                .saturating_mul(10)
                .saturating_add((bytes[i] - b'0') as i32);
            i += 1;
        }
        if i == exp_start {
            return Err(Error::BadNum);
        }
        value *= pow10(if exp_neg { -exp } else { exp });
    }
    if i != bytes.len() {
        return Err(Error::BadNum);
    }
    Ok(if neg { -value } else { value })
}

fn pow10(exp: i32) -> f64 {
    let mut n = if exp < 0 { -exp } else { exp };
    let mut base = 10.0f64;
    let mut result = 1.0f64;
    while n > 0 {
        if n & 1 == 1 {
            result *= base;
        }
        base *= base;
        n >>= 1;
    }
    if exp < 0 { 1.0 / result } else { result }
}

fn json_number_is_integer(token: &[u8]) -> bool {
    let bytes = &token[..token_len(token)];
    match_json_number(bytes).is_some_and(|is_integer| is_integer)
}

fn json_number_is_real(token: &[u8]) -> bool {
    let bytes = &token[..token_len(token)];
    match_json_number(bytes).is_some_and(|is_integer| !is_integer)
}

fn match_json_number(bytes: &[u8]) -> Option<bool> {
    if bytes.is_empty() {
        return None;
    }
    let mut i = 0usize;
    let mut saw_fraction = false;
    let mut saw_exponent = false;
    if bytes[i] == b'-' {
        i += 1;
    }
    if i >= bytes.len() || !bytes[i].is_ascii_digit() {
        return None;
    }
    if bytes[i] == b'0' {
        i += 1;
        if i < bytes.len() && bytes[i].is_ascii_digit() {
            return None;
        }
    } else {
        while i < bytes.len() && bytes[i].is_ascii_digit() {
            i += 1;
        }
    }
    if i < bytes.len() && bytes[i] == b'.' {
        saw_fraction = true;
        i += 1;
        if i >= bytes.len() || !bytes[i].is_ascii_digit() {
            return None;
        }
        while i < bytes.len() && bytes[i].is_ascii_digit() {
            i += 1;
        }
    }
    if i < bytes.len() && matches!(bytes[i], b'e' | b'E') {
        saw_exponent = true;
        i += 1;
        if i < bytes.len() && matches!(bytes[i], b'+' | b'-') {
            i += 1;
        }
        if i >= bytes.len() || !bytes[i].is_ascii_digit() {
            return None;
        }
        while i < bytes.len() && bytes[i].is_ascii_digit() {
            i += 1;
        }
    }
    if i == bytes.len() {
        Some(!(saw_fraction || saw_exponent))
    } else {
        None
    }
}

fn write_i32_token(mut value: i32, out: &mut [u8; JSON_VAL_MAX + 1]) {
    clear_cbuf(out);
    if value == 0 {
        out[0] = b'0';
        return;
    }
    let mut tmp = [0u8; 12];
    let neg = value < 0;
    let mut i = tmp.len();
    while value != 0 {
        let digit = (value % 10).unsigned_abs() as u8;
        i -= 1;
        tmp[i] = b'0' + digit;
        value /= 10;
    }
    if neg {
        i -= 1;
        tmp[i] = b'-';
    }
    let n = tmp.len() - i;
    out[..n].copy_from_slice(&tmp[i..]);
}

#[cfg(test)]
#[allow(clippy::drop_non_drop)]
mod tests {
    use super::*;

    #[test]
    fn parses_basic_object() {
        let mut count = 0;
        let mut flag1 = false;
        let mut flag2 = true;
        let mut attrs = [
            Attr::integer("count", &mut count),
            Attr::boolean("flag1", &mut flag1),
            Attr::boolean("flag2", &mut flag2),
        ];

        let end = read_object(r#"{"flag2":false,"count":7,"flag1":true}"#, &mut attrs).unwrap();
        drop(attrs);
        assert_eq!(end, 38);
        assert_eq!(count, 7);
        assert!(flag1);
        assert!(!flag2);
    }

    #[test]
    fn parses_object_array_into_parallel_slices() {
        let mut prn = [0; 4];
        let mut el = [0; 4];
        let mut used = [false; 4];
        let mut count = 0;
        let mut sat_attrs = [
            Attr::integers("PRN", &mut prn),
            Attr::integers("el", &mut el),
            Attr::booleans("used", &mut used),
        ];
        let mut attrs = [Attr::array(
            "satellites",
            Array::Objects {
                attrs: &mut sat_attrs,
                maxlen: 4,
                count: Some(&mut count),
            },
        )];

        read_object(
            r#"{"satellites":[{"PRN":10,"el":45,"used":true},{"PRN":21,"el":10,"used":false}]}"#,
            &mut attrs,
        )
        .unwrap();
        drop(attrs);
        assert_eq!(count, 2);
        assert_eq!(prn[..2], [10, 21]);
        assert_eq!(el[..2], [45, 10]);
        assert_eq!(used[..2], [true, false]);
    }

    #[test]
    fn parses_concatenated_objects() {
        let mut flag = false;
        let input = r#"{"flag":true} {"flag":0}"#;
        let mut attrs = [Attr::boolean("flag", &mut flag)];
        let end = read_object(input, &mut attrs).unwrap();
        assert_eq!(end, 14);
        read_object(&input[end..], &mut attrs).unwrap();
        drop(attrs);
        assert!(!flag);
    }

    #[test]
    fn applies_defaults_for_omitted_fields() {
        let mut flag1 = false;
        let mut flag2 = true;
        let mut dftint = 0;
        let mut dftuint = 0;
        let mut dftshort = 0;
        let mut dftushort = 0;
        let mut dftreal = 0.0;
        let mut dftchar = 0;
        let mut attrs = [
            Attr::integer("dftint", &mut dftint).with_default(DefaultValue::Integer(-5)),
            Attr::uinteger("dftuint", &mut dftuint).with_default(DefaultValue::UInteger(10)),
            Attr::short("dftshort", &mut dftshort).with_default(DefaultValue::Short(-12)),
            Attr::ushort("dftushort", &mut dftushort).with_default(DefaultValue::UShort(12)),
            Attr::real("dftreal", &mut dftreal).with_default(DefaultValue::Real(23.17)),
            Attr::character("dftchar", &mut dftchar).with_default(DefaultValue::Character(b'X')),
            Attr::boolean("flag1", &mut flag1),
            Attr::boolean("flag2", &mut flag2),
        ];

        read_object(r#"{"flag1":true,"flag2":false}"#, &mut attrs).unwrap();
        drop(attrs);
        assert_eq!(dftint, -5);
        assert_eq!(dftuint, 10);
        assert_eq!(dftshort, -12);
        assert_eq!(dftushort, 12);
        assert_eq!(dftreal, 23.17);
        assert_eq!(dftchar, b'X');
        assert!(flag1);
        assert!(!flag2);
    }

    #[test]
    fn nodefault_leaves_existing_value_untouched() {
        let mut count = 99;
        let mut attrs = [Attr::integer("count", &mut count)
            .with_default(DefaultValue::Integer(-1))
            .nodefault()];

        read_object(r#"{}"#, &mut attrs).unwrap();
        drop(attrs);
        assert_eq!(count, 99);
    }

    #[test]
    fn parses_fixed_string_buffer_and_escapes() {
        let mut name = [b'!'; 16];
        let mut attrs = [Attr::string("name", &mut name)];

        read_object(r#"{"name":"A\n\u0042\/\""}"#, &mut attrs).unwrap();
        drop(attrs);
        assert_eq!(cstr(&name), "A\nB/\"");
        assert_eq!(name[6], 0);
    }

    #[test]
    fn rejects_string_that_would_overflow_destination() {
        let mut name = [0; 4];
        let mut attrs = [Attr::string("name", &mut name)];

        let err = read_object(r#"{"name":"abcd"}"#, &mut attrs).unwrap_err();
        drop(attrs);
        assert_eq!(err, Error::StrLong);
        assert_eq!(cstr(&name), "");
    }

    #[test]
    fn parses_character_field() {
        let mut ch = 0;
        let mut attrs = [Attr::character("parity", &mut ch)];

        read_object(r#"{"parity":"N"}"#, &mut attrs).unwrap();
        drop(attrs);
        assert_eq!(ch, b'N');
    }

    #[test]
    fn rejects_multi_byte_character_field() {
        let mut ch = 0;
        let mut attrs = [Attr::character("parity", &mut ch)];

        let err = read_object(r#"{"parity":"NO"}"#, &mut attrs).unwrap_err();
        assert_eq!(err, Error::StrLong);
    }

    #[test]
    fn check_fields_accept_expected_value_and_reject_others() {
        let mut mode = 0;
        let mut attrs = [
            Attr::check("class", "TPV"),
            Attr::integer("mode", &mut mode).with_default(DefaultValue::Integer(-9)),
        ];

        read_object(r#"{"class":"TPV","mode":3}"#, &mut attrs).unwrap();
        drop(attrs);
        assert_eq!(mode, 3);

        let mut mode = 19;
        let mut attrs = [
            Attr::check("class", "TPV"),
            Attr::integer("mode", &mut mode).with_default(DefaultValue::Integer(-9)),
        ];
        let err = read_object(r#"{"class":"foo","mode":-4}"#, &mut attrs).unwrap_err();
        drop(attrs);
        assert_eq!(err, Error::CheckFail);
        assert_eq!(mode, -9);
    }

    #[test]
    fn ignore_any_accepts_unknown_attributes() {
        let mut enable = false;
        let mut json = false;
        let mut attrs = [
            Attr::check("class", "WATCH"),
            Attr::boolean("enable", &mut enable),
            Attr::boolean("json", &mut json),
            Attr::ignore_any(),
        ];

        read_object(
            r#"{"class":"WATCH","enable":true,"json":true,"nmea":false,"raw":0,"device":"/dev/ttyUSB0"}"#,
            &mut attrs,
        )
        .unwrap();
        drop(attrs);
        assert!(enable);
        assert!(json);
    }

    #[test]
    fn maps_quoted_enum_values_to_integers() {
        const MAP: &[EnumValue<'_>] = &[
            EnumValue {
                name: "BAR",
                value: 6,
            },
            EnumValue {
                name: "FOO",
                value: 3,
            },
            EnumValue {
                name: "BAZ",
                value: 14,
            },
        ];
        let mut fee = 0;
        let mut fie = 0;
        let mut foe = 0;
        let mut attrs = [
            Attr::integer("fee", &mut fee).with_map(MAP),
            Attr::integer("fie", &mut fie).with_map(MAP),
            Attr::integer("foe", &mut foe).with_map(MAP),
        ];

        read_object(r#"{"fee":"FOO","fie":"BAR","foe":"BAZ"}"#, &mut attrs).unwrap();
        drop(attrs);
        assert_eq!((fee, fie, foe), (3, 6, 14));
    }

    #[test]
    fn rejects_unknown_enum_value() {
        const MAP: &[EnumValue<'_>] = &[EnumValue {
            name: "SET",
            value: 1,
        }];
        let mut value = 0;
        let mut attrs = [Attr::integer("state", &mut value).with_map(MAP)];

        let err = read_object(r#"{"state":"NOPE"}"#, &mut attrs).unwrap_err();
        assert_eq!(err, Error::BadEnum);
    }

    #[test]
    fn parses_integer_boolean_real_and_string_arrays() {
        let mut ints = [0; 4];
        let mut int_count = 0;
        let mut int_array = Array::Integers {
            store: &mut ints,
            count: Some(&mut int_count),
        };
        read_array("[23,-17,5]", &mut int_array).unwrap();
        drop(int_array);
        assert_eq!(int_count, 3);
        assert_eq!(ints, [23, -17, 5, 0]);

        let mut bools = [false; 4];
        let mut bool_count = 0;
        let mut bool_array = Array::Booleans {
            store: &mut bools,
            count: Some(&mut bool_count),
        };
        read_array("[true,false,7]", &mut bool_array).unwrap();
        drop(bool_array);
        assert_eq!(bool_count, 3);
        assert_eq!(bools, [true, false, true, false]);

        let mut reals = [0.0; 4];
        let mut real_count = 0;
        let mut real_array = Array::Reals {
            store: &mut reals,
            count: Some(&mut real_count),
        };
        read_array("[23.1,-17.2,5.3e1]", &mut real_array).unwrap();
        drop(real_array);
        assert_eq!(real_count, 3);
        assert_eq!(reals[0], 23.1);
        assert_eq!(reals[1], -17.2);
        assert_eq!(reals[2], 53.0);

        let mut s0 = [0; 8];
        let mut s1 = [0; 8];
        let mut s2 = [0; 8];
        let mut string_count = 0;
        {
            let mut strings: [&mut [u8]; 3] = [&mut s0, &mut s1, &mut s2];
            let mut string_array = Array::Strings {
                store: &mut strings,
                count: Some(&mut string_count),
            };
            read_array(r#"["foo","b\nr","\u0042az"]"#, &mut string_array).unwrap();
        }
        assert_eq!(string_count, 3);
        assert_eq!(cstr(&s0), "foo");
        assert_eq!(cstr(&s1), "b\nr");
        assert_eq!(cstr(&s2), "Baz");
    }

    #[test]
    fn parses_unsigned_and_short_arrays() {
        let mut uints = [0; 3];
        let mut shorts = [0; 3];
        let mut ushorts = [0; 3];

        let mut arr = Array::UIntegers {
            store: &mut uints,
            count: None,
        };
        read_array("[1,2,4294967295]", &mut arr).unwrap();
        drop(arr);
        assert_eq!(uints, [1, 2, u32::MAX]);

        let mut arr = Array::Shorts {
            store: &mut shorts,
            count: None,
        };
        read_array("[-32768,0,32767]", &mut arr).unwrap();
        drop(arr);
        assert_eq!(shorts, [i16::MIN, 0, i16::MAX]);

        let mut arr = Array::UShorts {
            store: &mut ushorts,
            count: None,
        };
        read_array("[0,65535,17]", &mut arr).unwrap();
        drop(arr);
        assert_eq!(ushorts, [0, u16::MAX, 17]);
    }

    #[test]
    fn parses_nested_objects() {
        let mut name = [0; 16];
        let mut inner = 0;
        let mut innerinner = 0;
        let mut inner2_attrs = [Attr::integer("innerinner", &mut innerinner)];
        let mut inner1_attrs = [
            Attr::integer("inner", &mut inner),
            Attr::object("innerobject", &mut inner2_attrs),
        ];
        let mut attrs = [
            Attr::string("name", &mut name),
            Attr::object("value", &mut inner1_attrs),
        ];

        read_object(
            r#"{"name":"wobble","value":{"inner":23,"innerobject":{"innerinner":123}}}"#,
            &mut attrs,
        )
        .unwrap();
        drop(attrs);
        assert_eq!(cstr(&name), "wobble");
        assert_eq!(inner, 23);
        assert_eq!(innerinner, 123);
    }

    #[derive(Clone, Copy)]
    struct DevConfig {
        path: [u8; 32],
        activated: f64,
    }

    impl DevConfig {
        const fn new() -> Self {
            Self {
                path: [0; 32],
                activated: 0.0,
            }
        }
    }

    #[test]
    fn parses_structobject_array_with_callback() {
        let mut devices = [DevConfig::new(); 4];
        let mut count = 0;
        let mut parse_device = |s: &str, index: usize| {
            let dev = &mut devices[index];
            let mut attrs = [
                Attr::string("path", &mut dev.path),
                Attr::real("activated", &mut dev.activated),
            ];
            read_object(s, &mut attrs)
        };
        let mut attrs = [Attr::array(
            "devices",
            Array::StructObjects {
                maxlen: 4,
                count: Some(&mut count),
                parser: &mut parse_device,
            },
        )];

        read_object(
            r#"{"devices":[{"path":"/dev/ttyUSB0","activated":1411468340},{"path":"/dev/ttyUSB1","activated":2.5}]}"#,
            &mut attrs,
        )
        .unwrap();
        drop(attrs);
        assert_eq!(count, 2);
        assert_eq!(cstr(&devices[0].path), "/dev/ttyUSB0");
        assert_eq!(devices[0].activated, 1411468340.0);
        assert_eq!(cstr(&devices[1].path), "/dev/ttyUSB1");
        assert_eq!(devices[1].activated, 2.5);
    }

    #[test]
    fn empty_arrays_set_count_to_zero() {
        let mut ints = [42; 2];
        let mut count = 99;
        let mut arr = Array::Integers {
            store: &mut ints,
            count: Some(&mut count),
        };

        read_array("[]", &mut arr).unwrap();
        drop(arr);
        assert_eq!(count, 0);
        assert_eq!(ints, [42, 42]);
    }

    #[test]
    fn returned_end_skips_trailing_whitespace() {
        let mut flag = false;
        let input = "  {\"flag\":true}  next";
        let mut attrs = [Attr::boolean("flag", &mut flag)];

        let end = read_object(input, &mut attrs).unwrap();
        drop(attrs);
        assert_eq!(&input[end..], "next");
        assert!(flag);
    }

    #[test]
    fn rejects_array_overflow() {
        let mut ints = [0; 2];
        let mut arr = Array::Integers {
            store: &mut ints,
            count: None,
        };

        let err = read_array("[1,2,3]", &mut arr).unwrap_err();
        assert_eq!(err, Error::SubTooLong);
    }

    #[test]
    fn rejects_unknown_attribute_without_ignore() {
        let mut known = 0;
        let mut attrs = [Attr::integer("known", &mut known)];

        let err = read_object(r#"{"unknown":1}"#, &mut attrs).unwrap_err();
        assert_eq!(err, Error::BadAttr);
    }

    #[test]
    fn rejects_mismatched_quotedness() {
        let mut int_value = 0;
        let mut attrs = [Attr::integer("count", &mut int_value)];
        let err = read_object(r#"{"count":"1"}"#, &mut attrs).unwrap_err();
        assert_eq!(err, Error::QNonString);

        let mut text = [0; 8];
        let mut attrs = [Attr::string("name", &mut text)];
        let err = read_object(r#"{"name":1}"#, &mut attrs).unwrap_err();
        assert_eq!(err, Error::NonQString);
    }

    #[test]
    fn rejects_bad_numbers_and_range_overflow() {
        let mut int_value = 0;
        let mut attrs = [Attr::integer("count", &mut int_value)];
        let err = read_object(r#"{"count":2147483648}"#, &mut attrs).unwrap_err();
        assert_eq!(err, Error::BadNum);

        let mut uint_value = 0;
        let mut attrs = [Attr::uinteger("count", &mut uint_value)];
        let err = read_object(r#"{"count":-1}"#, &mut attrs).unwrap_err();
        assert_eq!(err, Error::BadNum);

        let mut real_value = 0.0;
        let mut attrs = [Attr::real("value", &mut real_value)];
        let err = read_object(r#"{"value":1e}"#, &mut attrs).unwrap_err();
        assert_eq!(err, Error::BadNum);
    }

    #[test]
    fn rejects_bad_object_and_array_syntax() {
        let mut value = 0;
        let mut attrs = [Attr::integer("value", &mut value)];
        assert_eq!(read_object("", &mut attrs).unwrap_err(), Error::Empty);
        assert_eq!(read_object("[]", &mut attrs).unwrap_err(), Error::ObStart);
        assert_eq!(
            read_object("{value:1}", &mut attrs).unwrap_err(),
            Error::AttrStart
        );
        assert_eq!(
            read_object(r#"{"value":1 junk}"#, &mut attrs).unwrap_err(),
            Error::BadTrail
        );

        let mut arr = Array::Integers {
            store: &mut [0; 2],
            count: None,
        };
        assert_eq!(read_array("{}", &mut arr).unwrap_err(), Error::ArrayStart);
        assert_eq!(
            read_array("[1 2]", &mut arr).unwrap_err(),
            Error::BadSubTrail
        );
    }

    #[test]
    fn rejects_expected_array_or_object_when_missing() {
        let mut ints = [0; 2];
        let mut attrs = [Attr::array(
            "arr",
            Array::Integers {
                store: &mut ints,
                count: None,
            },
        )];
        assert_eq!(
            read_object(r#"{"arr":1}"#, &mut attrs).unwrap_err(),
            Error::NoBrak
        );

        let mut value = 0;
        let mut child = [Attr::integer("value", &mut value)];
        let mut attrs = [Attr::object("child", &mut child)];
        assert_eq!(
            read_object(r#"{"child":1}"#, &mut attrs).unwrap_err(),
            Error::NoCurly
        );
    }

    #[test]
    fn rejects_unexpected_array_or_object_values() {
        let mut value = 0;
        let mut attrs = [Attr::integer("value", &mut value)];
        assert_eq!(
            read_object(r#"{"value":[1]}"#, &mut attrs).unwrap_err(),
            Error::NoArray
        );
        assert_eq!(
            read_object(r#"{"value":{"x":1}}"#, &mut attrs).unwrap_err(),
            Error::NoArray
        );
    }

    #[test]
    fn rejects_too_long_attribute_name() {
        let mut value = 0;
        let mut attrs = [Attr::integer("value", &mut value)];
        let err = read_object(r#"{"abcdefghijklmnopqrstuvwxyzabcdef":1}"#, &mut attrs).unwrap_err();
        assert_eq!(err, Error::AttrLen);
    }

    #[test]
    fn rejects_invalid_string_escape() {
        let mut text = [0; 8];
        let mut attrs = [Attr::string("text", &mut text)];

        let err = read_object(r#"{"text":"\u12x4"}"#, &mut attrs).unwrap_err();
        assert_eq!(err, Error::BadString);
    }

    #[test]
    fn rejects_parallel_object_arrays_with_string_fields_after_first_element() {
        let mut names = [0; 16];
        let mut subattrs = [Attr::string("name", &mut names)];
        let mut attrs = [Attr::array(
            "items",
            Array::Objects {
                attrs: &mut subattrs,
                maxlen: 2,
                count: None,
            },
        )];

        let err =
            read_object(r#"{"items":[{"name":"one"},{"name":"two"}]}"#, &mut attrs).unwrap_err();
        assert_eq!(err, Error::NoParStr);
    }
}