class documentation

class MarkerManager(object):

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`
Instance Variable	`_marker_manager`	Undocumented

def __init__(self, rvn_marker_manager):

Undocumented

_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 21.2.2 at 2021-04-06 08:01:12.