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

//! Abstraction layer for the ARINC653 P1/P2/P4 API

#![no_std]
#![warn(clippy::missing_crate_level_docs)]
#![warn(clippy::missing_errors_doc)]
#![warn(clippy::missing_panics_doc)]
#![deny(rustdoc::broken_intra_doc_links)]

/// Bindings to traits which are supposed to be implemented for ARINC653 compliant hypervisors
pub mod bindings;
/// Standard prelude to be used by application software and high-level drivers
pub mod prelude;

mod apex;

#[cfg(feature = "macros")]
pub use a653rs_macros::*;

pub(crate) mod hidden {
    pub enum Key {}

    pub trait IsHidden {}

    impl crate::Locked for Key {}
    impl IsHidden for Key {}
}

/// Trait, designed for restricting access to [bindings] functions
pub trait Locked: hidden::IsHidden {}