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.
This object is not meant to be constructed directly. It is created by
||Returns the marker name for handle|
||Returns the marker handle for marker_name or None if this name doesn't represent a marker in the marker manager|
Returns the marker name for handle
|handle:||integer marker handle.|
|string the marker name.|
|if handle is not integer.|
|if handle is not a valid marker handle.|
Returns the marker handle for marker_name or None if this name doesn't represent a marker in the marker manager
|marker||string marker name.|
|integer the marker handle.|