pytype.abstract._instances.Dict

class documentation

class Dict(_instance_base.Instance, mixin.HasSlots, mixin.PythonDict): (source)

Known subclasses: pytype.abstract._instances.AnnotationsDict, pytype.overlays.typed_dict.TypedDict

View In Hierarchy

Representation of Python 'dict' objects. It works like builtins.dict, except that, for string keys, it keeps track of what got stored.

Method __init__ Initialize a SimpleValue.
Method __repr__ Undocumented
Method contains_slot Undocumented
Method get_fullhash Undocumented
Method getitem_slot Implements the __getitem__ slot.
Method merge_instance_type_params Undocumented
Method pop_slot Undocumented
Method set_str_item Undocumented
Method setdefault_slot Undocumented
Method setitem Undocumented
Method setitem_slot Implements the __setitem__ slot.
Method str_of_constant Get a string representation of this constant.
Method update Undocumented
Method update_slot Undocumented
Instance Variable is_concrete Undocumented
Method _set_params_to_any Undocumented
Method _set_params_to_any_on_failure Undocumented

Inherited from Instance:

Instance Variable cls Undocumented
Property full_name Undocumented
Property instance_type_parameters Undocumented
Method _load_instance_type_parameters Undocumented
Instance Variable _container Undocumented
Instance Variable _instance_type_parameters Undocumented
Instance Variable _instance_type_parameters_loaded Undocumented

Inherited from SimpleValue (via Instance):

Method argcount Returns the minimum number of arguments needed for a call.
Method call Call this abstract value with the given arguments.
Method cls.setter Undocumented
Method get_instance_type_parameter Get a cfg.Variable of the instance's values for the type parameter.
Method get_type_key Build a key from the information used to perform type matching.
Method has_instance_type_parameter Check if the key is in `instance_type_parameters`.
Method instantiate Create an instance of self.
Method maybe_missing_members.setter Undocumented
Method merge_instance_type_parameter Set the value of a type parameter.
Method set_class Set the __class__ of an instance, for code that does "x.__class__ = y.
Method update_caches Undocumented
Instance Variable members Undocumented
Property maybe_missing_members Undocumented
Method _call_helper Undocumented
Method _get_changestamps Undocumented
Method _get_class Undocumented
Method _unique_parameters Get unique parameter subtypes as variables.
Instance Variable _cached_changestamps Undocumented
Instance Variable _cls Undocumented
Instance Variable _fullhash Undocumented
Instance Variable _maybe_missing_members Undocumented
Instance Variable _type_key Undocumented

Inherited from BaseValue (via Instance, SimpleValue):

Method compute_mro Undocumented
Method default_mro Undocumented
Method get_default_fullhash Undocumented
Method get_default_type_key Gets a default type key. See get_type_key.
Method get_formal_type_parameter Get the class's type for the type parameter.
Method get_instance_type Get the type an instance of us would have.
Method get_own_new Get this value's __new__ method, if it isn't object.__new__.
Method get_special_attribute Fetch a special attribute (e.g., __get__, __iter__).
Method has_kwargs Return True if this is a function and has a **kwargs parameter.
Method has_varargs Return True if this is a function and has a *args parameter.
Method init_subclass Allow metaprogramming via __init_subclass__.
Method is_late_annotation Undocumented
Method module.setter Undocumented
Method official_name.setter Undocumented
Method property_get Bind this value to the given self or cls.
Method register_instance Treating self as a class definition, register an instance of it.
Method should_replace_self_annot Undocumented
Method to_annotation_container Undocumented
Method to_binding Undocumented
Method to_pytd_def Get a PyTD definition for this object.
Method to_type Get a PyTD type representing this object, as seen at a node.
Method to_variable Build a variable out of this abstract value.
Method unique_parameter_values Get unique parameter subtypes as bindings.
Method update_official_name Update the official name.
Class Variable formal Undocumented
Instance Variable final Undocumented
Instance Variable from_annotation Undocumented
Instance Variable is_decorated Undocumented
Instance Variable mro Undocumented
Instance Variable name Undocumented
Instance Variable slots Undocumented
Property all_template_names Undocumented
Property module Undocumented
Property official_name Undocumented
Property template Undocumented
Instance Variable _all_template_names Undocumented
Instance Variable _instance Undocumented
Instance Variable _module Undocumented
Instance Variable _official_name Undocumented
Instance Variable _template Undocumented

Inherited from ContextWeakrefMixin (via Instance, SimpleValue, BaseValue):

Class Variable __slots__ Undocumented
Instance Variable ctx_weakref Undocumented
Property ctx Undocumented

Inherited from HasSlots (via Instance, SimpleValue, BaseValue, ContextWeakrefMixin):

Method call_pytd Call the (original) pytd version of a method we overwrote.
Method init_mixin Undocumented
Method set_native_slot Add a new NativeFunction slot to this value.
Method set_slot Add a new slot to this value.
Class Variable overloads Undocumented
Instance Variable _slots Undocumented
Instance Variable _super Undocumented

Inherited from PythonDict (via Instance, SimpleValue, BaseValue, ContextWeakrefMixin, HasSlots):

Method __contains__ Undocumented
Method __getitem__ Undocumented
Method __iter__ Undocumented
Method copy Undocumented
Method get Undocumented
Method items Undocumented
Method keys Undocumented
Method values Undocumented

Inherited from PythonConstant (via Instance, SimpleValue, BaseValue, ContextWeakrefMixin, HasSlots, PythonDict):

Instance Variable pyval Undocumented
Instance Variable _printing Undocumented
def __init__(self, ctx): (source)
overrides pytype.abstract._instance_base.Instance.__init__
overridden in pytype.abstract._instances.AnnotationsDict, pytype.overlays.typed_dict.TypedDict

Initialize a SimpleValue. Args: name: Name of this value. For debugging and error reporting. ctx: The abstract context.

def __repr__(self): (source)
overrides pytype.abstract._instance_base.SimpleValue.__repr__
overridden in pytype.abstract._instances.AnnotationsDict, pytype.overlays.typed_dict.TypedDict

Undocumented

def contains_slot(self, node, key_var): (source)

Undocumented

def get_fullhash(self, seen=None): (source)
overrides pytype.abstract._instance_base.SimpleValue.get_fullhash

Undocumented

def getitem_slot(self, node, name_var): (source)
overridden in pytype.overlays.typed_dict.TypedDict

Implements the __getitem__ slot.

def merge_instance_type_params(self, node, name_var, value_var): (source)

Undocumented

def pop_slot(self, node, key_var, default_var=None): (source)
overridden in pytype.overlays.typed_dict.TypedDict

Undocumented

def set_str_item(self, node, name, value_var): (source)
overridden in pytype.overlays.typed_dict.TypedDict

Undocumented

def setdefault_slot(self, node, name_var, value_var=None): (source)

Undocumented

def setitem(self, node: cfg.CFGNode, name_var: cfg.Variable, value_var: cfg.Variable): (source)

Undocumented

def setitem_slot(self, node, name_var, value_var): (source)
overridden in pytype.overlays.typed_dict.TypedDict

Implements the __setitem__ slot.

def str_of_constant(self, printer): (source)
overrides pytype.abstract.mixin.PythonConstant.str_of_constant

Get a string representation of this constant. Args: printer: A BaseValue -> str function that will be used to print abstract values. Returns: A string of self.pyval.

def update(self, node: cfg.CFGNode, other_dict: Union[Dict, _Dict[str, cfg.Variable], _base.BaseValue], omit: _Tuple[str, ...] = ()): (source)

Undocumented

def update_slot(self, node, *args, **kwargs): (source)

Undocumented

is_concrete: bool = (source)
overrides pytype.abstract._base.BaseValue.is_concrete

Undocumented

def _set_params_to_any(self, node): (source)

Undocumented

@contextlib.contextmanager
def _set_params_to_any_on_failure(self, node): (source)

Undocumented