Module governed_map 

Supports Governed Map key-value pair store management

Functions

run_get

Queries the provided key from the governed map.

run_insert

Inserts an entry into the governed map. If the key is already set to the provided value a transaction is not submitted and the operation succeeds. Else if the key is already set, the operation fails.

run_insert_with_force

Necessary to test rare case, where two inserts for the same key are executed

run_list

Queries all entries stored in the governed map.

run_remove

Removes an entry from the governed map. If the key doesn’t exist in the map a transaction is not submitted and the operation succeeds.

run_update

Updates an entry in the governed map. If expected_current_value is provided, the current value for the key must match it, otherwise the operation fails. If the key is not set, the operation fails. If the key is already set to the provided value a transaction is not submitted and the operation succeeds.