reven2.search_in_memory.Event(object) class documentation

Part of reven2.search_in_memory (View In Hierarchy)

Known subclasses: reven2.search_in_memory.AccessEvent, reven2.search_in_memory.DelEvent, reven2.search_in_memory.FirstSeenEvent, reven2.search_in_memory.NewEvent

An event encountered during a search in memory, obtained by iterating on Search.events().

Events modify a single Match object, either by creating it, accessing it or destroying it.

This is a base class, only its subclasses NewEvent, FirstSeenEvent, AccessEvent and DelEvent will be produced by a Search.

Method __init__ Undocumented
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):
overridden in reven2.search_in_memory.AccessEvent, reven2.search_in_memory.DelEvent, reven2.search_in_memory.FirstSeenEvent, reven2.search_in_memory.NewEvent
Undocumented
@property
def match(self):

Property: Match object that was modified by this Event.

@property
def transition(self):

Property: reven2.trace.Transition where the event occurred.

def current_matches(self):

The current state of the Matches when this event has been produced by the search.

Information

ReturnsA generator of Matches
API Documentation for reven2, generated by pydoctor at 2020-09-17 15:57:19.