 |
Elektra 0.11.0
|
Summary
- Scope:
libelektra-core
- Level: Developer Goal
- Actors: Core, Caller
- Brief: Caller inserts new
Key into existing KeySet
Scenarios
- Precondition:
- `KeySet` has been created
- Main success scenario:
- Caller requests to insert a new
Key with non-cascading name into KeySet
- If necessary Core resizes
KeySet
- If necessary Core removes existing
Key with same name
- Core adds
Key to KeySet
- Alternative scenario:
- Caller requests to insert all
Keys contained in one KeySet A into another KeySet B
- If necessary Core resizes B
- If necessary Core removes all existing
Keys contained in A and B from B
- Core copies all
Keys from A to B
- Error scenario: -
- Postcondition:
- The new
Key(s) provided by Caller MUST be part of KeySet exactly once. It MUST be possible to find exactly that/those Key(s) via a lookup.
- Non-functional Constraints: -