pytype.matcher._TypeParams

class documentation

class _TypeParams: (source)

Collection of TypeParameter objects encountered during matching.

Method	`__init__`	Undocumented
Method	`add_mutually_exclusive_groups`	Adds groups of mutually exclusive type parameters.
Method	`has_mutually_exclusive`	Whether 'subst' has a param that is mutually exclusive with 'name'.
Instance Variable	`seen`	Undocumented
Instance Variable	`_mutually_exclusive`	Undocumented

def __init__(self): (source) ¶

Undocumented

def add_mutually_exclusive_groups(self, groups): (source) ¶

Adds groups of mutually exclusive type parameters. For example, [{"T1", "T2"}, {"T3", "T4"}] would mean that the following pairs are mutually exclusive: (T1, T3), (T1, T4), (T2, T3), (T2, T4). Args: groups: The mutually exclusive groups.

def has_mutually_exclusive(self, name, subst): (source) ¶

Whether 'subst' has a param that is mutually exclusive with 'name'.

seen = (source) ¶

Undocumented

_mutually_exclusive = (source) ¶

Undocumented