astypes

ASTYPES

ASTノードのタイプを静的に検出するPythonライブラリ。

有効なユースケースは、特定のタイプに対してのみいくつかのルールを実行する必要があるリナーです。たとえば、何かの引数を確認するには、 something型strを持っている場合にのみsomething.format(a=b)確認します。

python3 -m pip install astypes

使用法

ASTYPESはアストロイドを使用してノードの定義を推測します。したがって、コードがASTノードで動作する場合は、最初にアストロイドに変換する必要があります。

 import astroid
import astypes

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

アストロイドノードを持っている場合、そのタイプを取得できます。

 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'

現実世界の使用例については、Imber-Typesをご覧ください。これは、ASTypesを使用してタイプアノテーションをPythonコードに自動的に追加するCLIツールです。

それがどのように機能するか

ほとんどのロジックは、ASTYPES/_Handlers.pyで見つけることができます。要するに：

1. いくつかのノードのタイプは簡単に推測できます。たとえば、 13常にintです。
2. いくつかのノードも推測することができますが、いくつかの仮定を行う場合のみです。私たちが行う仮定は、症例の99％で真実であると仮定しています。たとえば、 list(x)タイプlistを返すと想定しています。他の何かでリストlistしても、それは真実ではないかもしれません。
3. ノードを見るだけでタイプを想定できない場合は、Astroidを使用してタイプを推測しようとします。
4. 返された値が関数呼び出しである場合、アストロイドを使用して関数の定義を見つけます。関数の注釈付き返品注釈は、必要なものです。
5. 解決された関数に注釈がない場合、typeshed_clientを使用して、typeshedから注釈を取得します。たとえば、すべての組み込み関数について。