1 مستودع
Awesome GitHub RepositoriesStatic Data Structure Validation
Static analysis of specialized language constructs like data classes and enumerated types to ensure structural correctness.
Distinct from Complex Structure Validation: Distinct from Complex Structure Validation: focuses on static analysis of language-level constructs rather than runtime validation of collection types.
Explore 1 awesome GitHub repository matching programming languages & runtimes · Static Data Structure Validation. Refine with filters or upvote what's useful.
Awesome Static Data Structure Validation GitHub Repositories
اعثر على أفضل المستودعات باستخدام الذكاء الاصطناعي.سنبحث عن أفضل المستودعات المطابقة باستخدام الذكاء الاصطناعي.
- google/pytype
google/pytype
5,037عرض على GitHubPytype هي أداة تحليل كود ساكن ومحرك استنتاج الأنواع لـ Python. تعمل كمحلل أنواع ساكن يكتشف عدم تطابق الأنواع ويتحقق من تعليقات الأنواع دون الحاجة إلى تلميحات يدوية كاملة، بينما تعمل أيضاً كمولد stub للأنواع لإنتاج ملفات تعريف مستقلة. يتميز المشروع بتحديد أنواع المتغيرات والدوال تلقائياً من خلال تحليل أنماط الكود والتعيينات. يسمح محرك الاستنتاج هذا بالتحقق الهيكلي للكود وتوليد stubs للأنواع التي تصف واجهات الوحدات والدوال. يغطي النظام عمليات تحليل ساكن واسعة، بما في ذلك التحقق الهيكلي لتسلسلات هرمية للفئات واستدعاءات الدوال، وتتبع الرموز لاكتشاف أخطاء مساحة الاسم وانتهاكات الوصول إلى السمات. كما يوفر بدائيات التحقق من الأنواع لفرض التعليقات ونظام أنواع قادر على نمذجة هياكل البيانات المعقدة باستخدام الاتحادات والخيارات.
Provides structural validation for specialized Python constructs such as data classes and enumerated types.
Pythonlinterpythonstatic-analysis
