Skip to main content

sim_lib_auto_core/
lib.rs

1//! Automotive domain citizens, capability names, and loadable runtime exports.
2//!
3//! The crate keeps automotive concepts as open runtime data: identities,
4//! lanes, effect classes, operation capabilities, transports, and site
5//! manifests are citizens that round-trip through the shared read-construct
6//! path. The kernel carries only generic library, capability, and citizen
7//! contracts.
8
9#![forbid(unsafe_code)]
10#![deny(missing_docs)]
11
12mod capability;
13pub mod flash;
14pub mod manifest;
15mod read_construct;
16mod runtime;
17pub mod select;
18pub mod session;
19
20pub use capability::{
21    AUTO_CONTROL_EXEC, AUTO_DIAGNOSTICS_READ, AUTO_FLASH, AUTO_MANIFEST_READ, AUTO_ORDER,
22    AUTO_SERVICE_WRITE, AUTO_TELEMETRY_READ, AUTO_TRANSPORT_CONNECT, auto_capability_names,
23    auto_capability_texts,
24};
25pub use flash::{ModeledFlashSession, StockMapBackup, stock_content_key};
26pub use manifest::{
27    AutoLane, BrandCaps, Dtc, DtcStatus, EffectClass, OpCap, SiteManifest, TransportSpec,
28    VehicleId, auto_lane, control_effect, diagnostic_effect, diagnostic_lane, manifest_lane,
29    telemetry_lane,
30};
31pub use read_construct::{read_construct_expr, text_read_construct_expr, vehicle_read_construct};
32pub use runtime::{
33    AutoCoreLib, auto_caps_symbol, auto_citizen_registry, auto_citizen_symbols, auto_lanes_symbol,
34    install_auto_core_lib, manifest_shape_symbol,
35};
36pub use select::{
37    BrandNeed, BrandSelection, installed_brand_caps, select_brand, select_brand_caps,
38};
39pub use session::{AutoSession, TransportPlacement};