class documentation

class DelEvent(Event):

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 current_matches The current state of the Matches when this event has been produced by the search.
Property match Property: Match object that was modified by this Event.
Property transition Property: reven2.trace.Transition where the event occurred.
Instance Variable _current_matches Undocumented
Instance Variable _match Undocumented
Instance Variable _transition Undocumented
def __init__(self, event_match, transition, current_matches):
def __str__(self):

Undocumented

def format_as_html(self):

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

Information

Returns
String
def _repr_html_(self):

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