class documentation
Representation of value we know nothing about. Unlike "Unknowns", we don't treat these as solvable. We just put them where values are needed, but make no effort to later try to map them to named types. This helps conserve memory where creating and solving hundreds of unknowns would yield us little to no information. This is typically a singleton. Since unsolvables are indistinguishable, we only need one.
Method | __init__ |
Basic initializer for all BaseValues. |
Method | argcount |
Returns the minimum number of arguments needed for a call. |
Method | get |
Fetch a special attribute (e.g., __get__, __iter__). |
Constant | IGNORED |
Undocumented |
Constant | SINGLETON |
Undocumented |
Inherited from Singleton
:
Method | __new__ |
Undocumented |
Method | call |
Call this abstract value with the given arguments. |
Method | compute |
Undocumented |
Method | instantiate |
Create an instance of self. |
Class Variable | _instance |
Undocumented |
Inherited from BaseValue
(via Singleton
):
Method | __repr__ |
Undocumented |
Method | default |
Undocumented |
Method | get |
Undocumented |
Method | get |
Gets a default type key. See get_type_key. |
Method | get |
Get the class's type for the type parameter. |
Method | get |
Undocumented |
Method | get |
Get the type an instance of us would have. |
Method | get |
Get a cfg.Variable of the instance's values for the type parameter. |
Method | get |
Get this value's __new__ method, if it isn't object.__new__. |
Method | get |
Build a key from the information used to perform type matching. |
Method | has |
Return True if this is a function and has a **kwargs parameter. |
Method | has |
Return True if this is a function and has a *args parameter. |
Method | init |
Allow metaprogramming via __init_subclass__. |
Method | is |
Undocumented |
Method | module |
Undocumented |
Method | official |
Undocumented |
Method | property |
Bind this value to the given self or cls. |
Method | register |
Treating self as a class definition, register an instance of it. |
Method | should |
Undocumented |
Method | to |
Undocumented |
Method | to |
Undocumented |
Method | to |
Get a PyTD definition for this object. |
Method | to |
Get a PyTD type representing this object, as seen at a node. |
Method | to |
Build a variable out of this abstract value. |
Method | unique |
Get unique parameter subtypes as bindings. |
Method | update |
Update the official name. |
Class Variable | formal |
Undocumented |
Instance Variable | cls |
Undocumented |
Instance Variable | final |
Undocumented |
Instance Variable | from |
Undocumented |
Instance Variable | is |
Undocumented |
Instance Variable | is |
Undocumented |
Instance Variable | mro |
Undocumented |
Instance Variable | name |
Undocumented |
Instance Variable | slots |
Undocumented |
Property | all |
Undocumented |
Property | full |
Undocumented |
Property | module |
Undocumented |
Property | official |
Undocumented |
Property | template |
Undocumented |
Method | _unique |
Get unique parameter subtypes as variables. |
Instance Variable | _all |
Undocumented |
Instance Variable | _module |
Undocumented |
Instance Variable | _official |
Undocumented |
Instance Variable | _template |
Undocumented |
Inherited from ContextWeakrefMixin
(via Singleton
, BaseValue
):
Class Variable | __slots__ |
Undocumented |
Instance Variable | ctx |
Undocumented |
Property | ctx |
Undocumented |
overrides
pytype.abstract._base.BaseValue.argcount
Returns the minimum number of arguments needed for a call.