Manages the taint markers defined in a taint.

It allows to recover the marker name associated to a marker handle.

In the simplified API where the markers are predefined to "tag0" and "tag1", its usefulness is limited.

Warning

This object is not meant to be constructed directly. It is created by Tainter.simple_taint.

Method	__init__	Undocumented
Method	marker_handle_of	Returns the marker handle for `marker_name` or `None` if this name doesn't represent a marker in the marker manager
Method	__getitem__	Returns the marker name for `handle`

def __init__(self, rvn_marker_manager):

Undocumented

def marker_handle_of(self, marker_name):

Returns the marker handle for marker_name or None if this name doesn't represent a marker in the marker manager

Information

Parameters	marker_name	`string` marker name.
Returns	`integer` the marker handle.

def __getitem__(self, handle):

Returns the marker name for handle

Parameters	handle	`integer` marker handle.
Returns	`string` the marker name.
Raises	TypeError	if handle is not `integer`.
	IndexError	if handle is not a valid marker handle.

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