rta_for_fps_lib/
lib.rs

1//! Implementation based on the algorithms described in
2//! The paper [Response Time Analysis for Fixed Priority Servers][paper]
3//! by Hamann et al
4//!
5//! [paper]: https://doi.org/10.1145/3273905.3273927
6
7#![warn(missing_debug_implementations)]
8#![allow(private_intra_doc_links)]
9#![warn(unused)]
10//
11#![warn(clippy::cargo)]
12//
13#![warn(clippy::pedantic)]
14#![allow(clippy::module_name_repetitions)] // modules named after structs they define
15#![allow(clippy::redundant_else)] // may make code less clear
16//
17#![warn(clippy::nursery)]
18#![allow(clippy::use_self)] // too many false positives and fails to be overridden locally
19#![allow(clippy::redundant_pub_crate)] // prevents accidents when changing the visibility of the containing modul
20//
21#![warn(clippy::missing_const_for_fn)]
22#![warn(clippy::missing_docs_in_private_items)]
23#![warn(clippy::missing_errors_doc)]
24#![warn(clippy::unimplemented)]
25#![warn(clippy::unwrap_in_result)]
26#![warn(clippy::unwrap_used)]
27// we require alloc though
28#![no_std]
29extern crate alloc;
30
31pub mod time;
32
33pub mod curve;
34pub(crate) mod seal;
35pub mod server;
36pub mod system;
37pub mod task;
38pub mod window;
39
40pub mod iterators;