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
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 |
| Property | match |
Property: Match object that was modified by this Event. |
| Property | 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. |
| Instance Variable | _match |
Undocumented |
| Instance Variable | _transition |
Undocumented |
| Instance Variable | _current_matches |
Undocumented |