mypy.util.IdMapper

class documentation

class IdMapper: (source)

View In Hierarchy

Generate integer ids for objects. Unlike id(), these start from 0 and increment by 1, and ids won't get reused across the life-time of IdMapper. Assume objects don't redefine __eq__ or __hash__.

Method __init__ Undocumented
Method id Undocumented
Instance Variable id_map Undocumented
Instance Variable next_id Undocumented
def __init__(self): (source)

Undocumented

def id(self, o: object) -> int: (source)

Undocumented

id_map: dict[object, int] = (source)

Undocumented

next_id: int = (source)

Undocumented