reven2.search_in_memory.Event

class documentation

class Event(object):

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

View In Hierarchy

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 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):
overridden in reven2.search_in_memory.AccessEvent, reven2.search_in_memory.DelEvent, reven2.search_in_memory.FirstSeenEvent, reven2.search_in_memory.NewEvent

Undocumented

def current_matches(self):

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

Information

Returns
A generator of Matches
@property
match =

Property: Match object that was modified by this Event.

@property
transition =

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

_current_matches =

Undocumented

_match =

Undocumented

_transition =

Undocumented