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
Method format_as_html This method gets an html formatting string representation for this class instance.
Method _repr_html_ Representation used by Jupyter Notebook when an instance of this class is displayed in a cell.

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
def format_as_html(self):

This method gets an html formatting string representation for this class instance.

Information

ReturnsString
def _repr_html_(self):

Representation used by Jupyter Notebook when an instance of this class is displayed in a cell.

API Documentation for reven2, generated by pydoctor at 2021-01-06 13:24:12.