sark-http 0.24.0

HTTP wire types, semantics, codecs, and ownership invariants for Sark
Documentation 
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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91

use std::ops::ControlFlow;

use o3::{
    buffer::{self, Complete as _, bytes::window::Snapshot, storage, write},
    mem::Rejected,
};

use crate::{
    h1::{
        head::line::{Request, Version, error},
        target,
    },
    method,
    request::span,
};

#[derive(Clone, Copy)]
pub(super) struct Parts {
    pub(super) target: span::Span,
    pub(super) plan: target::Target,
    pub(super) version: Version,
    pub(super) matched: Option<method::Known>,
}

/// An append-only input retaining the exact request line already admitted.
pub struct Owned<const MAX: usize> {
    pub(super) source: Snapshot<MAX>,
    pub(super) parts: Parts,
}

impl<const MAX: usize> Owned<MAX> {
    /// Parses once and binds the admitted line to this unchanged input.
    pub fn try_parse(
        source: Snapshot<MAX>,
        methods: u8,
    ) -> Result<ControlFlow<Snapshot<MAX>, Self>, Rejected<Snapshot<MAX>, error::Request>> {
        let parts = match Request::parse_with(source.as_ref(), methods) {
            Ok(Some(request)) => request.parts,
            Ok(None) => return Ok(ControlFlow::Break(source)),
            Err(error) => return Err(Rejected::new(source, error)),
        };
        Ok(ControlFlow::Continue(Self { source, parts }))
    }

    /// Borrows the admitted line from its exact retained input.
    pub fn request(&self) -> Request<'_> {
        Request {
            source: self.source.as_ref(),
            parts: self.parts,
        }
    }

    pub(in crate::h1::head) fn into_source(self) -> Snapshot<MAX> {
        self.source
    }

    /// Transfers the same backing while binding line views to its immutable loan.
    pub fn with_shared<T>(
        self,
        emit: impl for<'a> FnOnce(buffer::View<'a, storage::Shared>, Request<'a>) -> T,
    ) -> T {
        let source = self.source.freeze();
        let request = Request {
            source: source.as_ref(),
            parts: self.parts,
        };
        emit(source.view(), request)
    }
}

impl<const MAX: usize> AsRef<[u8]> for Owned<MAX> {
    fn as_ref(&self) -> &[u8] {
        self.source.as_ref()
    }
}

impl<const MAX: usize> write::Sink for Owned<MAX> {
    type Error = storage::AllocError;

    fn write_slice(&mut self, bytes: &[u8]) -> Result<(), Self::Error> {
        self.source.write_slice(bytes)
    }

    fn write_slices<const N: usize>(&mut self, slices: [&[u8]; N]) -> Result<(), Self::Error> {
        self.source.write_slices(slices)
    }
}

// SAFETY: the private Snapshot retains the exact initialized source; shared access
// preserves its prefix, and every write::Sink operation only appends.
unsafe impl<const MAX: usize> buffer::raw::Source for Owned<MAX> {}