 |
Elektra 0.11.0
|
Summary
- Scope:
libelektra-core
- Level: Developer Goal
- Actors: Core, Caller
- Brief: Caller accesses contents of
KeySet by index
Scenarios
- Precondition:
- `KeySet` has been created.
- `Key` has been inserted into `KeySet`.
- Main success scenario:
- Caller requests
Key at valid index (0 <= i < size) from KeySet
- Core returns
Key * for Key at index
- Alternative scenario: -
- Error scenario:
- Caller requests
Key at invalid index (i < 0 || i >= size) from KeySet
- Core returns
NULL
- Postcondition:
- The returned
Key * MUST be valid until the Key is removed from the KeySet.
- Non-functional Constraints: -