Rust Containers Architecture#
Rust Containers Architecture
|
status: draft
security: NO
safety: ASIL_B
|
||||
Overview#
The implementation of the containers library comprises two main parts:
The generic storage abstraction for elements, with two concrete implementations: heap-allocated and inline storage
The generic logic for each container type, each of which has two specializations: one using heap-allocated storage, and one using inline storage
Static Architecture#
Rust Containers
|
status: valid
security: YES
safety: ASIL_B
|
||||
|
|||||
Interfaces#
Fixed-Capacity Vector
|
status: valid
security: YES
safety: ASIL_B
|
||||
Push
|
status: valid
security: YES
safety: ASIL_B
|
||||
Pop
|
status: valid
security: YES
safety: ASIL_B
|
||||
Clear
|
status: valid
security: YES
safety: ASIL_B
|
||||
Index
|
status: valid
security: YES
safety: ASIL_B
|
||||
Iterate
|
status: valid
security: YES
safety: ASIL_B
|
||||
Inline-Storage Vector
|
status: valid
security: YES
safety: ASIL_B
|
||||
Push
|
status: valid
security: YES
safety: ASIL_B
|
||||
Pop
|
status: valid
security: YES
safety: ASIL_B
|
||||
Clear
|
status: valid
security: YES
safety: ASIL_B
|
||||
Index
|
status: valid
security: YES
safety: ASIL_B
|
||||
Iterate
|
status: valid
security: YES
safety: ASIL_B
|
||||
Fixed-Capacity Queue
|
status: valid
security: YES
safety: ASIL_B
|
||||
Push Front
|
status: valid
security: YES
safety: ASIL_B
|
||||
Push Back
|
status: valid
security: YES
safety: ASIL_B
|
||||
Pop Front
|
status: valid
security: YES
safety: ASIL_B
|
||||
Pop Back
|
status: valid
security: YES
safety: ASIL_B
|
||||
Clear
|
status: valid
security: YES
safety: ASIL_B
|
||||
Iterate
|
status: valid
security: YES
safety: ASIL_B
|
||||
Inline-Storage Queue
|
status: valid
security: YES
safety: ASIL_B
|
||||
Push Front
|
status: valid
security: YES
safety: ASIL_B
|
||||
Push Back
|
status: valid
security: YES
safety: ASIL_B
|
||||
Pop Front
|
status: valid
security: YES
safety: ASIL_B
|
||||
Pop Back
|
status: valid
security: YES
safety: ASIL_B
|
||||
Clear
|
status: valid
security: YES
safety: ASIL_B
|
||||
Iterate
|
status: valid
security: YES
safety: ASIL_B
|
||||