Function result of deleting the entry with key key from map entries

Search entries for an entry with the key key, delete this entry, and return the rest.

Format:

result of deleting the entry with key key from map entries

Input:

list entries -
variable key -

Output:

list - None

Properties that reference this function:

result of deleting the entry with key key from map entries = output of function delete_entry where input key is key, map is entries, and processed is [ ] (Delete Key Property)

Conditional properties that reference this function:

  • if the following are true:
    • the line at time t = i
    • the tab at time t = j
    • statement at line i, tab j = for target in iterable_ex:
    • value at j in map (Control Map at time t) = trio ("for", i, [ ])

    then Control Map at time (t + 1) = result of deleting the entry with key j from map (Control Map at time t)

    (link)


Comments

Please log in to add comments