mirror of
https://github.com/davidhalter/jedi.git
synced 2025-12-08 06:44:46 +08:00
245 lines
5.6 KiB
ReStructuredText
245 lines
5.6 KiB
ReStructuredText
.. include:: ../global.rst
|
|
|
|
Jedi Development
|
|
================
|
|
|
|
.. currentmodule:: jedi
|
|
|
|
.. note:: This documentation is for Jedi developers who want to improve Jedi
|
|
itself, but have no idea how Jedi works. If you want to use Jedi for
|
|
your IDE, look at the `plugin api <plugin-api.html>`_.
|
|
|
|
|
|
Introduction
|
|
------------
|
|
|
|
This page tries to address the fundamental demand for documentation of the
|
|
|jedi| interals. Understanding a dynamic language is a complex task. Especially
|
|
because type inference in Python can be a very recursive task. Therefore |jedi|
|
|
couldn't get rid of complexity. I know that **simple is better than complex**,
|
|
but unfortunately it sometimes requires complex solutions to understand complex
|
|
systems.
|
|
|
|
Since most of the Jedi internals have been written by me (David Halter), this
|
|
introduction will be written mostly by me, because no one else understands to
|
|
the same level how Jedi works. Actually this is also the reason for exactly this
|
|
part of the documentation. To make multiple people able to edit the Jedi core.
|
|
|
|
In five chapters I'm trying to describe the internals of |jedi|:
|
|
|
|
- :ref:`The Jedi Core <core>`
|
|
- :ref:`Core Extensions <core-extensions>`
|
|
- :ref:`Imports & Modules <imports-modules>`
|
|
- :ref:`Caching & Recursions <caching-recursions>`
|
|
- :ref:`Helper modules <dev-helpers>`
|
|
|
|
.. note:: Testing is not documented here, you'll find that
|
|
`right here <testing.html>`_.
|
|
|
|
|
|
.. _core:
|
|
|
|
The Jedi Core
|
|
-------------
|
|
|
|
The core of Jedi consists of three parts:
|
|
|
|
- :ref:`Parser <parser>`
|
|
- :ref:`Python code evaluation <evaluate>`
|
|
- :ref:`API <dev-api>`
|
|
|
|
Most people are probably interested in :ref:`code evaluation <evaluate>`,
|
|
because that's where all the magic happens. I need to introduce the :ref:`parser
|
|
<parser>` first, because :mod:`jedi.evaluate` uses it extensively.
|
|
|
|
.. _parser:
|
|
|
|
Parser (parser/__init__.py)
|
|
~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
.. automodule:: jedi.parser
|
|
|
|
Parser Tree (parser/tree.py)
|
|
++++++++++++++++++++++++++++++++++++++++++++++++
|
|
|
|
.. automodule:: jedi.parser.tree
|
|
|
|
Class inheritance diagram:
|
|
|
|
.. inheritance-diagram::
|
|
Module
|
|
Class
|
|
Function
|
|
Lambda
|
|
Flow
|
|
ForStmt
|
|
Import
|
|
ExprStmt
|
|
Param
|
|
Name
|
|
CompFor
|
|
:parts: 1
|
|
|
|
.. _evaluate:
|
|
|
|
Evaluation of python code (evaluate/__init__.py)
|
|
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
.. automodule:: jedi.evaluate
|
|
|
|
Evaluation Representation (evaluate/representation.py)
|
|
++++++++++++++++++++++++++++++++++++++++++++++++++++++
|
|
|
|
.. automodule:: jedi.evaluate.representation
|
|
|
|
.. inheritance-diagram::
|
|
jedi.evaluate.instance.TreeInstance
|
|
jedi.evaluate.representation.ClassContext
|
|
jedi.evaluate.representation.FunctionContext
|
|
jedi.evaluate.representation.FunctionExecutionContext
|
|
:parts: 1
|
|
|
|
|
|
.. _name_resolution:
|
|
|
|
Name resolution (evaluate/finder.py)
|
|
++++++++++++++++++++++++++++++++++++
|
|
|
|
.. automodule:: jedi.evaluate.finder
|
|
|
|
|
|
.. _dev-api:
|
|
|
|
API (api.py and api_classes.py)
|
|
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
The API has been designed to be as easy to use as possible. The API
|
|
documentation can be found `here <plugin-api.html>`_. The API itself contains
|
|
little code that needs to be mentioned here. Generally I'm trying to be
|
|
conservative with the API. I'd rather not add new API features if they are not
|
|
necessary, because it's much harder to deprecate stuff than to add it later.
|
|
|
|
|
|
.. _core-extensions:
|
|
|
|
Core Extensions
|
|
---------------
|
|
|
|
Core Extensions is a summary of the following topics:
|
|
|
|
- :ref:`Iterables & Dynamic Arrays <iterables>`
|
|
- :ref:`Dynamic Parameters <dynamic>`
|
|
- :ref:`Diff Parser <diff-parser>`
|
|
- :ref:`Docstrings <docstrings>`
|
|
- :ref:`Refactoring <refactoring>`
|
|
|
|
These topics are very important to understand what Jedi additionally does, but
|
|
they could be removed from Jedi and Jedi would still work. But slower and
|
|
without some features.
|
|
|
|
.. _iterables:
|
|
|
|
Iterables & Dynamic Arrays (evaluate/iterable.py)
|
|
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
To understand Python on a deeper level, |jedi| needs to understand some of the
|
|
dynamic features of Python like lists that are filled after creation:
|
|
|
|
.. automodule:: jedi.evaluate.iterable
|
|
|
|
|
|
.. _dynamic:
|
|
|
|
Parameter completion (evaluate/dynamic.py)
|
|
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
.. automodule:: jedi.evaluate.dynamic
|
|
|
|
|
|
.. _diff-parser:
|
|
|
|
Diff Parser (parser/diff.py)
|
|
~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
.. automodule:: jedi.parser.python.diff
|
|
|
|
.. _docstrings:
|
|
|
|
Docstrings (evaluate/docstrings.py)
|
|
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
.. automodule:: jedi.evaluate.docstrings
|
|
|
|
.. _refactoring:
|
|
|
|
Refactoring (evaluate/refactoring.py)
|
|
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
.. automodule:: jedi.refactoring
|
|
|
|
|
|
.. _imports-modules:
|
|
|
|
Imports & Modules
|
|
-------------------
|
|
|
|
|
|
- :ref:`Modules <modules>`
|
|
- :ref:`Builtin Modules <builtin>`
|
|
- :ref:`Imports <imports>`
|
|
|
|
|
|
.. _builtin:
|
|
|
|
Compiled Modules (evaluate/compiled.py)
|
|
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
.. automodule:: jedi.evaluate.compiled
|
|
|
|
|
|
.. _imports:
|
|
|
|
Imports (evaluate/imports.py)
|
|
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
.. automodule:: jedi.evaluate.imports
|
|
|
|
|
|
.. _caching-recursions:
|
|
|
|
Caching & Recursions
|
|
--------------------
|
|
|
|
|
|
- :ref:`Caching <cache>`
|
|
- :ref:`Recursions <recursion>`
|
|
|
|
.. _cache:
|
|
|
|
Caching (cache.py)
|
|
~~~~~~~~~~~~~~~~~~
|
|
|
|
.. automodule:: jedi.cache
|
|
|
|
.. _recursion:
|
|
|
|
Recursions (recursion.py)
|
|
~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
.. automodule:: jedi.evaluate.recursion
|
|
|
|
|
|
.. _dev-helpers:
|
|
|
|
Helper Modules
|
|
---------------
|
|
|
|
Most other modules are not really central to how Jedi works. They all contain
|
|
relevant code, but you if you understand the modules above, you pretty much
|
|
understand Jedi.
|
|
|
|
Python 2/3 compatibility (_compatibility.py)
|
|
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
|
|
|
|
.. automodule:: jedi._compatibility
|