astypes

Astypes

مكتبة Python لاكتشاف الأنواع بشكل ثابت لعقد AST.

حالة الاستخدام الجيدة هي Linter التي تحتاج إلى تشغيل بعض القواعد فقط لأنواع معينة. str سبيل المثال ، للتحقق من وسيطات something.format(a=b) something

python3 -m pip install astypes

الاستخدام

يستخدم Astypes Astroid لاستنتاج تعريفات العقد. لذا ، إذا كان الكود الخاص بك يعمل مع عقد AST ، فستحتاج إلى تحويلها إلى Astroid أولاً:

 import astroid
import astypes

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

وعندما يكون لديك عقدة Astroid ، يمكنك الحصول على نوعها:

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

مثال:

 import astroid
import astypes

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

للحصول على مثال للاستخدام في العالم الحقيقي ، تحقق من أنواع مستنتج. إنها أداة CLI التي تضيف تلقائيًا من نوع التعليقات التوضيحية إلى رمز Python باستخدام Astypes.

كيف تعمل

يمكنك العثور على معظم المنطق في astypes/_handlers.py. باختصار:

1. من السهل استنتاج نوع بعض العقد. على سبيل المثال ، 13 هو دائما int .
2. يمكن أيضًا استنتاج بعض العقد ولكن فقط إذا قدمنا ​​بعض الافتراضات. الافتراضات التي نقدمها هي تلك الموجودة في 99 ٪ من الحالات. على سبيل المثال ، نفترض أن list(x) إرجاع list النوع. قد لا يكون هذا صحيحًا إذا ظلت list الظل بشيء آخر.
3. إذا كان لا يمكن افتراض النوع فقط من خلال النظر إلى العقدة ، فنحن نحاول استخدام Astroid لاستنتاج النوع.
4. إذا كانت القيمة التي تم إرجاعها عبارة عن استدعاء دالة ، فنحن نستخدم Astroid للعثور على تعريف الوظيفة. التعليق التوضيحي للعودة المشروحة للوظيفة هو ما نحتاجه.
5. إذا لم يكن للدالة التي تم حلها التعليق التوضيحي ، فإننا نستخدم typeshed_client للحصول على شرحها من Typeshed. على سبيل المثال ، لجميع الوظائف المدمجة.