Requirements#

Containers Library Requirements		status: draft safety: ASIL_B
tags: requirements, containers_library realizes: wp__requirements_comp

doc__containers_lib_requirements		Generic Document

Functional Requirements#

Dynamic Array		status: valid security: NO safety: ASIL_B
tags: baselibs reqtype: Functional satisfies: feat_req__baselibs__core_utilities, feat_req__baselibs__containers_library, feat_req__baselibs__safety
The Containers library shall provide a fixed-size array container with construction-time size specification.
comp_req__containers__dynamic_array		Component Requirement

Intrusive List		status: valid security: NO safety: ASIL_B
tags: baselibs reqtype: Functional satisfies: feat_req__baselibs__core_utilities, feat_req__baselibs__containers_library, feat_req__baselibs__safety
The Containers library shall provide an intrusive doubly-linked list based on the C++ standardization proposal P0406R1.
comp_req__containers__intrusive_list		Component Requirement

Type Safety		status: valid security: NO safety: ASIL_B
tags: baselibs reqtype: Functional satisfies: feat_req__baselibs__consistent_apis, feat_req__baselibs__safety
The Containers library shall enforce compile-time type safety for all container operations.
comp_req__containers__type_safety		Component Requirement

Non-Relocatable Vector		status: valid security: NO safety: ASIL_B
tags: baselibs reqtype: Functional satisfies: feat_req__baselibs__core_utilities, feat_req__baselibs__containers_library, feat_req__baselibs__safety
The Containers library shall provide a non-relocatable vector container that maintains stable element addresses.
comp_req__containers__non_relocatable_vector		Component Requirement

Deterministic Behavior		status: valid security: NO safety: ASIL_B
tags: baselibs reqtype: Non-Functional satisfies: feat_req__baselibs__core_utilities, feat_req__baselibs__safety
The Containers library shall provide deterministic behavior with no dynamic memory allocation.
comp_req__containers__deterministic_behavior		Component Requirement