class documentation

class AccessEvent(Event):

Event that occurs when an existing slice that matches the pattern is read in the trace.

The associated Match is never created by the event.

Method	`__init__`	Undocumented
Property	`access`	Property: The `reven2.memhist.MemoryAccess` corresponding to the read access to the `Match`.
Method	`__str__`	Undocumented
Method	`format_as_html`	This method gets an html formatting string representation for this class instance.
Instance Variable	`_access_offset`	Undocumented
Instance Variable	`_access_size`	Undocumented
Instance Variable	`_virtual_address`	Undocumented
Method	`_repr_html_`	Representation used by Jupyter Notebook when an instance of this class is displayed in a cell.

Inherited from Event:

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 `Match`es when this event has been produced by the search.
Instance Variable	`_match`	Undocumented
Instance Variable	`_transition`	Undocumented
Instance Variable	`_current_matches`	Undocumented

def __init__(self, event_match, transition, current_matches, virtual_address, access_offset, access_size):

overrides reven2.search_in_memory.Event.__init__

Undocumented

_access_offset =

Undocumented

_access_size =

Undocumented

_virtual_address =

Undocumented

@property
access =

Property: The reven2.memhist.MemoryAccess corresponding to the read access to the Match.

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.

API Documentation for reven2, generated by pydoctor 21.2.2 at 2021-12-14 10:42:41.

reven2.search_in_memory.AccessEvent