astypes

Astypes

Perpustakaan Python untuk secara statis mendeteksi jenis untuk node AST.

Kasing penggunaan yang baik adalah linter yang perlu menjalankan beberapa aturan hanya untuk jenis tertentu. Misalnya, untuk memeriksa argumen something.format(a=b) hanya jika ada something yang memiliki tipe str .

python3 -m pip install astypes

Penggunaan

Astypes menggunakan Astroid untuk menyimpulkan definisi node. Jadi, jika kode Anda bekerja dengan ast node, Anda harus mengubahnya menjadi astroid terlebih dahulu:

 import astroid
import astypes

module = astroid . parse ( source_code )
node = astypes . find_node ( module , ast_node )

Dan ketika Anda memiliki node astroid, Anda bisa mendapatkan jenisnya:

 node_type = astype . get_node ( node )
print ( node_type . annotation )

Contoh:

 import astroid
import astypes

node = astroid . extract_node ( '1 + 2.3' )
t = astypes . get_type ( node )
print ( t . annotation )  # 'float'

Untuk contoh penggunaan dunia nyata, lihat tipe infer. Ini adalah alat CLI yang secara otomatis menambahkan jenis anotasi ke kode python menggunakan astypes.

Cara kerjanya

Anda dapat menemukan sebagian besar logika di astypes/_handlers.py. Pendeknya:

1. Jenis beberapa node mudah disimpulkan. Misalnya, 13 selalu int .
2. Beberapa node juga dapat disimpulkan tetapi hanya jika kita membuat beberapa asumsi. Asumsi yang kami buat adalah yang benar dalam 99% kasus. Misalnya, kami menganggap list(x) mengembalikan list jenis. Mungkin tidak benar jika Anda membayangi list dengan sesuatu yang lain.
3. Jika jenisnya tidak dapat diasumsikan hanya dengan melihat node, kami mencoba menggunakan Astroid untuk menyimpulkan jenisnya.
4. Jika nilai yang dikembalikan adalah panggilan fungsi, kami menggunakan Astroid untuk menemukan definisi fungsi. Anotasi pengembalian yang beranotasi dari fungsi adalah apa yang kita butuhkan.
5. Jika fungsi yang diselesaikan tidak memiliki anotasi, kami menggunakan typeshed_client untuk mendapatkan anotasi dari ketentuan. Misalnya, untuk semua fungsi bawaan.