reven2.search_in_memory.DelEvent(Event) class documentation

Part of reven2.search_in_memory (View In Hierarchy)

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):
overrides reven2.search_in_memory.Event.__init__
Undocumented
def __str__(self):
Undocumented
API Documentation for reven2, generated by pydoctor at 2020-09-17 15:57:23.