Event that occurs when an existing slice that matches the pattern is overwritten in the trace.

The associated Match will never receive further Events.

Note

Any write access to a Match causes the slice to be deleted, regardless of whether the write changes the content of the slice. If the slice still matches the pattern after a write access, then a NewEvent for a new Match is emitted on the same transition as this DelEvent.

Method __init__ Undocumented
Method __str__ Undocumented

Inherited from Event:

Method match Property: Match object that was modified by this Event.
Method transition Property: reven2.trace.Transition where the event occurred.
Method current_matches The current state of the Matches when this event has been produced by the search.
def __init__(self, event_match, transition, current_matches):
def __str__(self):
Undocumented
API Documentation for reven2, generated by pydoctor at 2020-09-17 15:57:23.