pytype
A static type analyzer for Python code
Home
Developer guide
Workflow
• Development process
• Python version upgrades
• Supporting new features
Program analysis
• Bytecode
• Directives
• Main loop
• Stack frames
• Typegraph
Data representation
• Abstract values
• Attributes
• Overlays
• Special builtins
• Type annotations
• Type stubs
• TypeVars
Configuration
Style guide
Tools
Documentation debugging
View the Project on GitHub google/pytype
Hosted on GitHub Pages — Theme by orderedlist
TypeVars
WARNING: UNDER CONSTRUCTION
Pytype does the following to support class-scoped TypeVars in instance methods:
- For InterpreterFunctions:
- Class.update_signature_scope() adds class scopes to TypeVars.
- abstract_utils.get_generic_type() builds generic annotations for
self. - annotation_utils extracts the names of class-scoped TypeVars from instances so that the TypeVars can be used in annotations in method bodies.
- For PyTDFunction, the AdjustSelf visitor adds a generic type annotation to
selfwhen inside a function inside a class.