mypy.server.astdiff.SnapshotTypeVisitor

class documentation

class SnapshotTypeVisitor(TypeVisitor[SnapshotItem]): (source)

View In Hierarchy

Creates a read-only, self-contained snapshot of a type object.

Properties of a snapshot:

  • Contains (nested) tuples and other immutable primitive objects only.
  • References to AST nodes are replaced with full names of targets.
  • Has no references to mutable or non-primitive objects.
  • Two snapshots represent the same object if and only if they are equal.
  • Results must be sortable. It's important that tuples have consistent types and can't arbitrarily mix str and None values, for example, since they can't be compared.
Method visit​_any Undocumented
Method visit​_callable​_type Undocumented
Method visit​_deleted​_type Undocumented
Method visit​_erased​_type Undocumented
Method visit​_instance Undocumented
Method visit​_literal​_type Undocumented
Method visit​_none​_type Undocumented
Method visit​_overloaded Undocumented
Method visit​_param​_spec Undocumented
Method visit​_partial​_type Undocumented
Method visit​_tuple​_type Undocumented
Method visit​_type​_alias​_type Undocumented
Method visit​_type​_type Undocumented
Method visit​_type​_var Undocumented
Method visit​_typeddict​_type Undocumented
Method visit​_unbound​_type Undocumented
Method visit​_uninhabited​_type Undocumented
Method visit​_union​_type Undocumented
def visit_any(self, typ): (source)

Undocumented

Parameters
typ:AnyTypeUndocumented
Returns
SnapshotItemUndocumented
def visit_callable_type(self, typ): (source)

Undocumented

Parameters
typ:CallableTypeUndocumented
Returns
SnapshotItemUndocumented
def visit_deleted_type(self, typ): (source)

Undocumented

Parameters
typ:DeletedTypeUndocumented
Returns
SnapshotItemUndocumented
def visit_erased_type(self, typ): (source)

Undocumented

Parameters
typ:ErasedTypeUndocumented
Returns
SnapshotItemUndocumented
def visit_instance(self, typ): (source)

Undocumented

Parameters
typ:InstanceUndocumented
Returns
SnapshotItemUndocumented
def visit_literal_type(self, typ): (source)

Undocumented

Parameters
typ:LiteralTypeUndocumented
Returns
SnapshotItemUndocumented
def visit_none_type(self, typ): (source)

Undocumented

Parameters
typ:NoneTypeUndocumented
Returns
SnapshotItemUndocumented
def visit_overloaded(self, typ): (source)

Undocumented

Parameters
typ:OverloadedUndocumented
Returns
SnapshotItemUndocumented
def visit_param_spec(self, typ): (source)

Undocumented

Parameters
typ:ParamSpecTypeUndocumented
Returns
SnapshotItemUndocumented
def visit_partial_type(self, typ): (source)

Undocumented

Parameters
typ:PartialTypeUndocumented
Returns
SnapshotItemUndocumented
def visit_tuple_type(self, typ): (source)

Undocumented

Parameters
typ:TupleTypeUndocumented
Returns
SnapshotItemUndocumented
def visit_type_alias_type(self, typ): (source)

Undocumented

Parameters
typ:TypeAliasTypeUndocumented
Returns
SnapshotItemUndocumented
def visit_type_type(self, typ): (source)

Undocumented

Parameters
typ:TypeTypeUndocumented
Returns
SnapshotItemUndocumented
def visit_type_var(self, typ): (source)

Undocumented

Parameters
typ:TypeVarTypeUndocumented
Returns
SnapshotItemUndocumented
def visit_typeddict_type(self, typ): (source)

Undocumented

Parameters
typ:TypedDictTypeUndocumented
Returns
SnapshotItemUndocumented
def visit_unbound_type(self, typ): (source)

Undocumented

Parameters
typ:UnboundTypeUndocumented
Returns
SnapshotItemUndocumented
def visit_uninhabited_type(self, typ): (source)

Undocumented

Parameters
typ:UninhabitedTypeUndocumented
Returns
SnapshotItemUndocumented
def visit_union_type(self, typ): (source)

Undocumented

Parameters
typ:UnionTypeUndocumented
Returns
SnapshotItemUndocumented