1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53
// Copyright 2018 Brian Smith. // // Permission to use, copy, modify, and/or distribute this software for any // purpose with or without fee is hereby granted, provided that the above // copyright notice and this permission notice appear in all copies. // // THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHORS DISCLAIM ALL WARRANTIES // WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF // MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR ANY // SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES // WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION // OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN // CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. //! Serialization and deserialization. /// A serialized positive integer. #[derive(Copy, Clone)] pub struct Positive<'a>(untrusted::Input<'a>); impl<'a> Positive<'a> { #[inline] pub(crate) fn new_non_empty_without_leading_zeros(input: untrusted::Input<'a>) -> Self { debug_assert!(!input.is_empty()); debug_assert!(input.len() == 1 || input.as_slice_less_safe()[0] != 0); Self(input) } /// Returns the value, ordered from significant byte to least significant /// byte, without any leading zeros. The result is guaranteed to be /// non-empty. #[inline] pub fn big_endian_without_leading_zero(&self) -> &'a [u8] { self.big_endian_without_leading_zero_as_input() .as_slice_less_safe() } #[inline] pub(crate) fn big_endian_without_leading_zero_as_input(&self) -> untrusted::Input<'a> { self.0 } } impl Positive<'_> { /// Returns the first byte. /// /// Will not panic because the value is guaranteed to have at least one /// byte. pub fn first_byte(&self) -> u8 { // This won't panic because self.0.as_slice_less_safe()[0] } }