Requirements

Rust Containers Library Requirements		status: draft security: NO safety: ASIL_B
tags: requirements, containers_rust_library version: 1 realizes: wp__requirements_comp
doc__containers_rust_lib_requirements		Generic Document

Rust Containers		status: valid security: YES safety: ASIL_B
tags: baselibs_rust_containers_rust version: 1 belongs to: feat__baselibs has: comp_arc_sta__baselibs_rust__containers_rust satisfies: comp_req__containers_rust__det_behavior, comp_req__containers_rust__fixed_btree, comp_req__containers_rust__fixed_hashmap, comp_req__containers_rust__fixed_hashset, comp_req__containers_rust__fixed_no_realloc, comp_req__containers_rust__fixed_queue, comp_req__containers_rust__fixed_string, comp_req__containers_rust__fixed_vector, comp_req__containers_rust__inline_btree, comp_req__containers_rust__inline_hashmap, comp_req__containers_rust__inline_hashset, comp_req__containers_rust__inline_no_heap, comp_req__containers_rust__inline_queue, comp_req__containers_rust__inline_string, comp_req__containers_rust__inline_vector, comp_req__containers_rust__type_safety
comp__baselibs_containers_rust		Component

Functional Requirements

Fixed-Capacity Vector		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 satisfied by: comp__baselibs_containers_rust fulfilled by: comp_arc_sta__baselibs_rust__containers_rust
The Rust Containers library shall provide a heap-allocated vector container with construction-time capacity specification.
comp_req__containers_rust__fixed_vector		Component Requirement

Inline-Storage Vector		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 satisfied by: comp__baselibs_containers_rust fulfilled by: comp_arc_sta__baselibs_rust__containers_rust
The Rust Containers library shall provide a vector container with a capacity determined at compile-time, which stores the elements within the data structure itself. This container shall have a stable, precisely defined memory layout, capable of serving as the basis for an ABI-compatible vector.
comp_req__containers_rust__inline_vector		Component Requirement

Fixed-Capacity String		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 satisfied by: comp__baselibs_containers_rust
The Rust Containers library shall provide a heap-allocated, UTF-8 encoded string data type with construction-time capacity specification.
comp_req__containers_rust__fixed_string		Component Requirement

Inline-Storage String		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 satisfied by: comp__baselibs_containers_rust
The Rust Containers library shall provide a UTF-8 encoded string data type with a capacity determined at compile-time, which stores the codepoints within the data structure itself. This container shall have a stable, precisely defined memory layout, capable of serving as the basis for an ABI-compatible string.
comp_req__containers_rust__inline_string		Component Requirement

Fixed-Capacity Queue		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 satisfied by: comp__baselibs_containers_rust fulfilled by: comp_arc_sta__baselibs_rust__containers_rust
The Rust Containers library shall provide a heap-allocated double-ended queue container with construction-time capacity specification.
comp_req__containers_rust__fixed_queue		Component Requirement

Inline-Storage Queue		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 satisfied by: comp__baselibs_containers_rust fulfilled by: comp_arc_sta__baselibs_rust__containers_rust
The Rust Containers library shall provide a queue container with a capacity determined at compile-time, which stores the elements within the data structure itself. This container shall have a stable, precisely defined memory layout, capable of serving as the basis for an ABI-compatible queue.
comp_req__containers_rust__inline_queue		Component Requirement

Fixed-Capacity Hashmap		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 satisfied by: comp__baselibs_containers_rust
The Rust Containers library shall provide a heap-allocated hashmap container with construction-time capacity specification.
comp_req__containers_rust__fixed_hashmap		Component Requirement

Inline-Storage Hashmap		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 satisfied by: comp__baselibs_containers_rust
The Rust Containers library shall provide a hashmap container with a capacity determined at compile-time, which stores the elements within the data structure itself. This container shall have a stable, precisely defined memory layout, capable of serving as the basis for an ABI-compatible hashmap.
comp_req__containers_rust__inline_hashmap		Component Requirement

Fixed-Capacity Hashset		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 satisfied by: comp__baselibs_containers_rust
The Rust Containers library shall provide a heap-allocated hashset container with construction-time capacity specification.
comp_req__containers_rust__fixed_hashset		Component Requirement

Inline-Storage Hashset		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 satisfied by: comp__baselibs_containers_rust
The Rust Containers library shall provide a hashset container with a capacity determined at compile-time, which stores the elements within the data structure itself. This container shall have a stable, precisely defined memory layout, capable of serving as the basis for an ABI-compatible hashset.
comp_req__containers_rust__inline_hashset		Component Requirement

Fixed-Capacity B-Tree		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 satisfied by: comp__baselibs_containers_rust
The Rust Containers library shall provide a heap-allocated B-tree container with construction-time capacity specification.
comp_req__containers_rust__fixed_btree		Component Requirement

Inline-Storage B-Tree		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 satisfied by: comp__baselibs_containers_rust
The Rust Containers library shall provide a B-tree container with a capacity determined at compile-time, which stores the elements within the data structure itself. This container shall have a stable, precisely defined memory layout, capable of serving as the basis for an ABI-compatible B-tree.
comp_req__containers_rust__inline_btree		Component Requirement

Type Safety		status: valid security: NO safety: ASIL_B
reqtype: Functional version: 1 satisfied by: comp__baselibs_containers_rust
The Rust Containers library shall enforce compile-time type safety for all container operations.
comp_req__containers_rust__type_safety		Component Requirement

Non-Functional Requirements

Deterministic Behavior		status: valid security: NO safety: ASIL_B
reqtype: Non-Functional version: 1 satisfied by: comp__baselibs_containers_rust
The Rust containers library shall provide deterministic behavior.
comp_req__containers_rust__det_behavior		Component Requirement

No Heap Allocation		status: valid security: NO safety: ASIL_B
reqtype: Non-Functional version: 1 satisfied by: comp__baselibs_containers_rust
Inline-storage containers shall never allocate heap memory.
comp_req__containers_rust__inline_no_heap		Component Requirement

No Reallocation		status: valid security: NO safety: ASIL_B
reqtype: Non-Functional version: 1 satisfied by: comp__baselibs_containers_rust
Fixed-capacity containers shall never allocate or re-allocate memory after their initial construction.
comp_req__containers_rust__fixed_no_realloc		Component Requirement