"inspect" --- 活動中のオブジェクトの情報を取得する
**************************************************

**ソースコード:** Lib/inspect.py

======================================================================

"inspect" は、活動中のオブジェクト (モジュール、クラス、メソッド、関数
、トレースバック、フレームオブジェクト、コードオブジェクトなど) から情
報を取得する関数を定義しており、クラスの内容を調べたり、メソッドのソー
スコードを取得したり、関数の引数リストを取り出して整形したり、詳細なト
レースバックを表示するのに必要な情報を取得したりするために利用できます
。

このモジュールの機能は4種類に分類することができます。型チェック、ソー
スコードの情報取得、クラスや関数からの情報取得、インタープリタのスタッ
ク情報の調査です。


型とメンバー
============

"getmembers()" は、クラスやモジュールなどのオブジェクトからメンバーを
取得します。名前が "is" で始まる関数は、主に "getmembers()" の第2引数
として利用するために提供されています。以下のような特殊属性を参照できる
かどうか調べる時にも使えるでしょう:

+-------------+---------------------+-----------------------------+
| 型          | 属性                | 説明                        |
|=============|=====================|=============================|
| module      | __doc__             | ドキュメント文字列          |
+-------------+---------------------+-----------------------------+
|             | __file__            | ファイル名 (組み込みモジュ  |
|             |                     | ールには存在しません)       |
+-------------+---------------------+-----------------------------+
| クラス      | __doc__             | ドキュメント文字列          |
+-------------+---------------------+-----------------------------+
|             | __name__            | クラスの定義名              |
+-------------+---------------------+-----------------------------+
|             | __qualname__        | qualified name              |
+-------------+---------------------+-----------------------------+
|             | __module__          | クラスを定義しているモジュ  |
|             |                     | ールの名前                  |
+-------------+---------------------+-----------------------------+
| メソッド    | __doc__             | ドキュメント文字列          |
+-------------+---------------------+-----------------------------+
|             | __name__            | メソッドの定義名            |
+-------------+---------------------+-----------------------------+
|             | __qualname__        | qualified name              |
+-------------+---------------------+-----------------------------+
|             | __func__            | メソッドを実装している関数  |
|             |                     | オブジェクト                |
+-------------+---------------------+-----------------------------+
|             | __self__            | メソッドに結合しているイン  |
|             |                     | スタンス、または "None"     |
+-------------+---------------------+-----------------------------+
|             | __module__          | このメソッドが定義されてい  |
|             |                     | るモジュールの名前          |
+-------------+---------------------+-----------------------------+
| 関数        | __doc__             | ドキュメント文字列          |
+-------------+---------------------+-----------------------------+
|             | __name__            | 関数の定義名                |
+-------------+---------------------+-----------------------------+
|             | __qualname__        | qualified name              |
+-------------+---------------------+-----------------------------+
|             | __code__            | 関数をコンパイルした *バイ  |
|             |                     | トコード* を格納するコード  |
|             |                     | オブジェクト                |
+-------------+---------------------+-----------------------------+
|             | __defaults__        | 位置またはキーワード引数の  |
|             |                     | 全ての既定値のタプル        |
+-------------+---------------------+-----------------------------+
|             | __kwdefaults__      | キーワード専用引数の全ての  |
|             |                     | 既定値のマッピング          |
+-------------+---------------------+-----------------------------+
|             | __globals__         | 関数が定義されたグローバル  |
|             |                     | 名前空間                    |
+-------------+---------------------+-----------------------------+
|             | __annotations__     | 仮引数名からアノテーション  |
|             |                     | へのマッピング; ""return""  |
|             |                     | キーは return ア ノテーショ |
|             |                     | ンに予約されています        |
+-------------+---------------------+-----------------------------+
|             | __module__          | この関数が定義されているモ  |
|             |                     | ジュールの名前              |
+-------------+---------------------+-----------------------------+
| traceback   | tb_frame            | このレベルのフレームオブジ  |
|             |                     | ェクト                      |
+-------------+---------------------+-----------------------------+
|             | tb_lasti            | 最後に実行しようとしたバイ  |
|             |                     | トコード中のインストラクシ  |
|             |                     | ョンを示すインデッ クス     |
+-------------+---------------------+-----------------------------+
|             | tb_lineno           | 現在の Python ソースコード  |
|             |                     | の行番号                    |
+-------------+---------------------+-----------------------------+
|             | tb_next             | このオブジェクトの内側 (こ  |
|             |                     | のレベルから呼び出された)   |
|             |                     | のトレースバックオ ブジェク |
|             |                     | ト                          |
+-------------+---------------------+-----------------------------+
| フレーム    | f_back              | 外側 (このフレームを呼び出  |
|             |                     | した) のフレームオブジェク  |
|             |                     | ト                          |
+-------------+---------------------+-----------------------------+
|             | f_builtins          | このフレームで参照している  |
|             |                     | 組み込み名前空間            |
+-------------+---------------------+-----------------------------+
|             | f_code              | このフレームで実行している  |
|             |                     | コードオブジェクト          |
+-------------+---------------------+-----------------------------+
|             | f_globals           | このフレームで参照している  |
|             |                     | グローバル名前空間          |
+-------------+---------------------+-----------------------------+
|             | f_lasti             | 最後に実行しようとしたバイ  |
|             |                     | トコード中のインストラクシ  |
|             |                     | ョンを示すインデッ クス     |
+-------------+---------------------+-----------------------------+
|             | f_lineno            | 現在の Python ソースコード  |
|             |                     | の行番号                    |
+-------------+---------------------+-----------------------------+
|             | f_locals            | このフレームで参照している  |
|             |                     | ローカル名前空間            |
+-------------+---------------------+-----------------------------+
|             | f_trace             | このフレームのトレース関数  |
|             |                     | 、または "None"             |
+-------------+---------------------+-----------------------------+
| コード      | co_argcount         | 引数の数 (キーワード限定引  |
|             |                     | 数、および * や ** は含まな |
|             |                     | い)                         |
+-------------+---------------------+-----------------------------+
|             | co_code             | コンパイルされたバイトコー  |
|             |                     | ドそのままの文字列          |
+-------------+---------------------+-----------------------------+
|             | co_cellvars         | (自身が包含するスコープから |
|             |                     | 参照される) セル変数の名前  |
|             |                     | のタプル                    |
+-------------+---------------------+-----------------------------+
|             | co_consts           | バイトコード中で使用してい  |
|             |                     | る定数のタプル              |
+-------------+---------------------+-----------------------------+
|             | co_filename         | コードオブジェクトを生成し  |
|             |                     | たファイルのファイル名      |
+-------------+---------------------+-----------------------------+
|             | co_firstlineno      | Python ソースコードの先頭行 |
+-------------+---------------------+-----------------------------+
|             | co_flags            | "CO_*" ビットフラグのマップ |
|             |                     | 。詳細は こちら を参照。    |
+-------------+---------------------+-----------------------------+
|             | co_lnotab           | 行番号からバイトコードイン  |
|             |                     | デックスへの変換表を文字列  |
|             |                     | にエンコードしたも の       |
+-------------+---------------------+-----------------------------+
|             | co_freevars         | (関数のクロージャを介して参 |
|             |                     | 照される) 自由変数の名前の  |
|             |                     | タプル                      |
+-------------+---------------------+-----------------------------+
|             | co_posonlyargcount  | 位置専用引数の数            |
+-------------+---------------------+-----------------------------+
|             | co_kwonlyargcount   | キーワード専用引数 (** 引数 |
|             |                     | を含まない) の数            |
+-------------+---------------------+-----------------------------+
|             | co_name             | コードオブジェクトが定義さ  |
|             |                     | れたときの名前              |
+-------------+---------------------+-----------------------------+
|             | co_names            | ローカル変数名のタプル      |
+-------------+---------------------+-----------------------------+
|             | co_nlocals          | ローカル変数の数            |
+-------------+---------------------+-----------------------------+
|             | co_stacksize        | 必要とされる仮想マシンのス  |
|             |                     | タックスペース              |
+-------------+---------------------+-----------------------------+
|             | co_varnames         | 引数名とローカル変数名のタ  |
|             |                     | プル                        |
+-------------+---------------------+-----------------------------+
| ジェネレー  | __name__            | name                        |
| タ          |                     |                             |
+-------------+---------------------+-----------------------------+
|             | __qualname__        | qualified name              |
+-------------+---------------------+-----------------------------+
|             | gi_frame            | フレーム                    |
+-------------+---------------------+-----------------------------+
|             | gi_running          | ジェネレータが実行中かどう  |
|             |                     | か                          |
+-------------+---------------------+-----------------------------+
|             | gi_code             | コード                      |
+-------------+---------------------+-----------------------------+
|             | gi_yieldfrom        | "yield from" でイテレートさ |
|             |                     | れているオブジェクト、また  |
|             |                     | は "None"                   |
+-------------+---------------------+-----------------------------+
| コルーチン  | __name__            | name                        |
+-------------+---------------------+-----------------------------+
|             | __qualname__        | qualified name              |
+-------------+---------------------+-----------------------------+
|             | cr_await            | 待機されているオブジェクト  |
|             |                     | 、または "None"             |
+-------------+---------------------+-----------------------------+
|             | cr_frame            | フレーム                    |
+-------------+---------------------+-----------------------------+
|             | cr_running          | コルーチンが実行中かどうか  |
+-------------+---------------------+-----------------------------+
|             | cr_code             | コード                      |
+-------------+---------------------+-----------------------------+
|             | cr_origin           | "None" またはコルーチンが生 |
|             |                     | 成された場所。 "sys.set_co  |
|             |                     | routine_origin_tracking_de  |
|             |                     | pth()" を参照。             |
+-------------+---------------------+-----------------------------+
| 組み込み    | __doc__             | ドキュメント文字列          |
+-------------+---------------------+-----------------------------+
|             | __name__            | 関数、メソッドの元々の名前  |
+-------------+---------------------+-----------------------------+
|             | __qualname__        | qualified name              |
+-------------+---------------------+-----------------------------+
|             | __self__            | メソッドが結合しているイン  |
|             |                     | スタンス、または "None"     |
+-------------+---------------------+-----------------------------+

バージョン 3.5 で変更: ジェネレータに "__qualname__" と "gi_yieldfrom"
属性が追加されました。ジェネレータの "__name__" 属性がコード名ではなく
関数名から設定されるようになり、変更できるようになりました。

バージョン 3.7 で変更: コルーチンに "cr_origin" 属性を追加しました。

inspect.getmembers(object[, predicate])

   オブジェクトの全てのメンバーを "(name, value)" ペアのリストで返しま
   す。リストは名前 (name) でソートされます。オプション引数
   *predicate* が指定された場合、各メンバーの "value" オブジェクトを引
   数として *predicate* が呼ばれ、その戻り値が真となるとなるメンバーだ
   けがリストに含まれます。

   注釈:

     引数がクラスで属性がメタクラスのカスタム "__dir__()" に列挙されて
     いる場合、"getmembers()" はメタクラスで定義されたクラス属性のみを
     返します。

inspect.getmodulename(path)

   ファイル *path* で指定されたモジュールの名前を、そのモジュールを含
   むパッケージの名前を含まない形で返します。ファイル拡張子は、
   "importlib.machinery.all_suffixes()" の全てのエントリに対して一致す
   るかどうかをチェックされます。拡張子が一致した場合、最後のパス成分
   から拡張子を除いたものを返します。それ以外の場合は "None" を返しま
   す。

   この関数は、実際の Python モジュールとして意味のある名前 *だけ* を
   返します。すなわち、 Python パッケージを指している可能性のあるパス
   に対しては、依然として "None" を返します。

   バージョン 3.3 で変更: この関数は直接 "importlib" に依存するように
   なりました。

inspect.ismodule(object)

   オブジェクトがモジュールの場合 "True" を返します。

inspect.isclass(object)

   オブジェクトが組み込みか Python が生成したクラスの場合に "True" を
   返します。

inspect.ismethod(object)

   オブジェクトがメソッドの場合 "True" を返します。

inspect.isfunction(object)

   オブジェクトが、 *lambda* 式で生成されたものを含む Python 関数の場
   合に "True" を返します。

inspect.isgeneratorfunction(object)

   オブジェクトが Python のジェネレータ関数の場合 "True" を返します。

   バージョン 3.8 で変更: "functools.partial()" でラップした関数に対し
   て、ラップされた関数が Python のジェネレータ関数である場合は "True"
   を返すようになりました。

inspect.isgenerator(object)

   オブジェクトがジェネレータの場合 "True" を返します。

inspect.iscoroutinefunction(object)

   オブジェクトが *コルーチン関数* ("async def" シンタックスで定義され
   た関数) の場合 "True" を返します。

   バージョン 3.5 で追加.

   バージョン 3.8 で変更: "functools.partial()" でラップした関数に対し
   て、ラップされた関数が コルーチン関数 *coroutine function* である場
   合は "True" を返すようになりました。

inspect.iscoroutine(object)

   オブジェクトが "async def" で生成された *コルーチン* の場合 "True"
   を返します。

   バージョン 3.5 で追加.

inspect.isawaitable(object)

   オブジェクトを "await" 式内で使用できる場合 "True" を返します。

   ジェネレータベースのコルーチンと通常のジェネレータを区別するのに使
   うこともできます。

      def gen():
          yield
      @types.coroutine
      def gen_coro():
          yield

      assert not isawaitable(gen())
      assert isawaitable(gen_coro())

   バージョン 3.5 で追加.

inspect.isasyncgenfunction(object)

   オブジェクトが *asynchronous generator* 関数の場合に "True" を返し
   ます。例:

      >>> async def agen():
      ...     yield 1
      ...
      >>> inspect.isasyncgenfunction(agen)
      True

   バージョン 3.6 で追加.

   バージョン 3.8 で変更: Functions wrapped in "functools.partial()"
   now return "True" if the wrapped function is a *asynchronous
   generator* function.

inspect.isasyncgen(object)

   オブジェクトが *asynchronous generator* 関数によって生成された
   *asynchronous generator iterator* である場合に "True" を返します。

   バージョン 3.6 で追加.

inspect.istraceback(object)

   オブジェクトがトレースバックの場合は "True" を返します。

inspect.isframe(object)

   オブジェクトがフレームの場合は "True" を返します。

inspect.iscode(object)

   オブジェクトがコードの場合は "True" を返します。

inspect.isbuiltin(object)

   オブジェクトが組み込み関数か束縛済みの組み込みメソッドの場合に
   "True" を返します。

inspect.isroutine(object)

   オブジェクトがユーザ定義か組み込みの関数またはメソッドの場合は
   "True" を返します。

inspect.isabstract(object)

   オブジェクトが抽象基底クラスであるときに "True" を返します。

inspect.ismethoddescriptor(object)

   オブジェクトがメソッドデスクリプタであり、 "ismethod()",
   "isclass()", "isfunction()", "isbuiltin()" でない場合に "True" を返
   します。

   これは例えば "int.__add__" で真になります。 このテストをパスするオ
   ブジェクトは "__get__()" メソッドを持ちますが "__set__()"  メソッド
   を持ちません。 それ以外の属性を持っているかもしれません。 通常
   "__name__" 属性を持っていますし、たいていは "__doc__" も持っていま
   す。

   デスクリプタを使って実装されたメソッドで、上記のいずれかのテストも
   パスしているものは、 "ismethoddescriptor()" では "False" を返します
   。これは単に他のテストの方がもっと確実だからです -- 例えば、
   "ismethod()" をパスしたオブジェクトは "__func__" 属性 (など) を持っ
   ていると期待できます。

inspect.isdatadescriptor(object)

   オブジェクトがデータデスクリプタの場合に "True" を返します。

   データデスクリプタは "__set__" または "__delete__" 属性を持ちます。
   データデスクリプタの例は (Python 上で定義された) プロパティや
   getset やメンバーです。後者のふたつは C で定義されており、個々の型
   に特有のテストも行います。そのため、Python の実装よりもより確実です
   。通常、データデスクリプタは "__name__" や "__doc__"  属性を持ちま
   す (プロパティ、 getset 、メンバーは両方の属性を持っています) が、
   保証されているわけではありません。

inspect.isgetsetdescriptor(object)

   オブジェクトが getset デスクリプタの場合に "True" を返します。

   **CPython implementation detail:** getset とは、拡張モジュールで
   "PyGetSetDef" 構造体を用いて定義された属性のことです。そのような型
   を持たない Python 実装の場合は、このメソッドは常に "False" を返しま
   す。

inspect.ismemberdescriptor(object)

   オブジェクトがメンバーデスクリプタの場合に "True" を返します。

   **CPython implementation detail:** メンバーデスクリプタとは、拡張モ
   ジュールで "PyMemberDef" 構造体を用いて定義された属性のことです。そ
   のような型を持たない Python 実装の場合は、このメソッドは常に
   "False" を返します。


ソースコードの情報取得
======================

inspect.getdoc(object)

   Get the documentation string for an object, cleaned up with
   "cleandoc()". If the documentation string for an object is not
   provided and the object is a class, a method, a property or a
   descriptor, retrieve the documentation string from the inheritance
   hierarchy.

   バージョン 3.5 で変更: ドキュメンテーション文字列がオーバーライドさ
   れていない場合は継承されるようになりました。

inspect.getcomments(object)

   Return in a single string any lines of comments immediately
   preceding the object's source code (for a class, function, or
   method), or at the top of the Python source file (if the object is
   a module).  If the object's source code is unavailable, return
   "None".  This could happen if the object has been defined in C or
   the interactive shell.

inspect.getfile(object)

   オブジェクトを定義している (テキストまたはバイナリの) ファイルの名
   前を返します。オブジェクトが組み込みモジュール、クラス、関数の場合
   は "TypeError" 例外が発生します。

inspect.getmodule(object)

   オブジェクトを定義しているモジュールを推測します。

inspect.getsourcefile(object)

   オブジェクトを定義している Python ソースファイルの名前を返します。
   オブジェクトが組み込みのモジュール、クラス、関数の場合には、
   "TypeError" 例外が発生します。

inspect.getsourcelines(object)

   オブジェクトのソース行のリストと開始行番号を返します。引数にはモジ
   ュール、クラス、メソッド、関数、トレースバック、フレーム、コードオ
   ブジェクトを指定することができます。戻り値は指定したオブジェクトに
   対応するソースコードのソース行リストと元のソースファイル上での開始
   行となります。ソースコードを取得できない場合は "OSError" が発生しま
   す。

   バージョン 3.3 で変更: "IOError" の代わりに "OSError" を送出します
   。前者は後者のエイリアスです。

inspect.getsource(object)

   オブジェクトのソースコードを返します。引数にはモジュール、クラス、
   メソッド、関数、トレースバック、フレーム、コードオブジェクトを指定
   することができます。ソースコードは単一の文字列で返します。ソースコ
   ードを取得できない場合は "OSError" が発生します。

   バージョン 3.3 で変更: "IOError" の代わりに "OSError" を送出します
   。前者は後者のエイリアスです。

inspect.cleandoc(doc)

   コードブロックと位置を合わせるためのインデントを docstring から削除
   します。

   先頭行の行頭の空白文字は全て削除されます。 2行目以降では全行で同じ
   数の行頭の空白文字が、削除できるだけ削除されます。 その後、先頭と末
   尾の空白行が削除され、全てのタブが空白に展開されます。


Signature オブジェクトで呼び出し可能オブジェクトを内省する
==========================================================

バージョン 3.3 で追加.

The Signature object represents the call signature of a callable
object and its return annotation.  To retrieve a Signature object, use
the "signature()" function.

inspect.signature(callable, *, follow_wrapped=True)

   与えられた "callable" の "Signature" オブジェクトを返します:

      >>> from inspect import signature
      >>> def foo(a, *, b:int, **kwargs):
      ...     pass

      >>> sig = signature(foo)

      >>> str(sig)
      '(a, *, b:int, **kwargs)'

      >>> str(sig.parameters['b'])
      'b:int'

      >>> sig.parameters['b'].annotation
      <class 'int'>

   単純な関数やクラスから、 "functools.partial()" オブジェクトまで、幅
   広い Python の呼び出し可能なオブジェクトを受け付けます。

   シグネチャが提供できない場合は、 "ValueError" を 送出し、オブジェク
   トの型がサポートされない場合は、 "TypeError" を送出します。

   A slash(/) in the signature of a function denotes that the
   parameters prior to it are positional-only. For more info, see the
   FAQ entry on positional-only parameters.

   バージョン 3.5 で追加: "follow_wrapped" parameter. Pass "False" to
   get a signature of "callable" specifically ("callable.__wrapped__"
   will not be used to unwrap decorated callables.)

   注釈:

     Some callables may not be introspectable in certain
     implementations of Python.  For example, in CPython, some built-
     in functions defined in C provide no metadata about their
     arguments.

class inspect.Signature(parameters=None, *, return_annotation=Signature.empty)

   A Signature object represents the call signature of a function and
   its return annotation.  For each parameter accepted by the function
   it stores a "Parameter" object in its "parameters" collection.

   The optional *parameters* argument is a sequence of "Parameter"
   objects, which is validated to check that there are no parameters
   with duplicate names, and that the parameters are in the right
   order, i.e. positional-only first, then positional-or-keyword, and
   that parameters with defaults follow parameters without defaults.

   The optional *return_annotation* argument, can be an arbitrary
   Python object, is the "return" annotation of the callable.

   Signature オブジェクトは *イミュータブル* です。変更されたコピーを
   作成するには "Signature.replace()" を使用してください。

   バージョン 3.5 で変更: Signature オブジェクトがピックル並びにハッシ
   ュ可能になりました。

   empty

      return アノテーションがないことを指すクラスレベルの特殊マーカで
      す。

   parameters

      An ordered mapping of parameters' names to the corresponding
      "Parameter" objects.  Parameters appear in strict definition
      order, including keyword-only parameters.

      バージョン 3.7 で変更: Python only explicitly guaranteed that it
      preserved the declaration order of keyword-only parameters as of
      version 3.7, although in practice this order had always been
      preserved in Python 3.

   return_annotation

      呼び出し可能オブジェクトの "return" アノテーションです。呼び出し
      可能オブジェクトに "return" アノテーションがない場合、この属性は
      "Signature.empty" に設定されます。

   bind(*args, **kwargs)

      Create a mapping from positional and keyword arguments to
      parameters. Returns "BoundArguments" if "*args" and "**kwargs"
      match the signature, or raises a "TypeError".

   bind_partial(*args, **kwargs)

      Works the same way as "Signature.bind()", but allows the
      omission of some required arguments (mimics
      "functools.partial()" behavior.) Returns "BoundArguments", or
      raises a "TypeError" if the passed arguments do not match the
      signature.

   replace(*[, parameters][, return_annotation])

      Create a new Signature instance based on the instance replace
      was invoked on.  It is possible to pass different "parameters"
      and/or "return_annotation" to override the corresponding
      properties of the base signature.  To remove return_annotation
      from the copied Signature, pass in "Signature.empty".

         >>> def test(a, b):
         ...     pass
         >>> sig = signature(test)
         >>> new_sig = sig.replace(return_annotation="new return anno")
         >>> str(new_sig)
         "(a, b) -> 'new return anno'"

   classmethod from_callable(obj, *, follow_wrapped=True)

      Return a "Signature" (or its subclass) object for a given
      callable "obj".  Pass "follow_wrapped=False" to get a signature
      of "obj" without unwrapping its "__wrapped__" chain.

      このメソッドは "Signature" のサブクラス化を単純化します:

         class MySignature(Signature):
             pass
         sig = MySignature.from_callable(min)
         assert isinstance(sig, MySignature)

      バージョン 3.5 で追加.

class inspect.Parameter(name, kind, *, default=Parameter.empty, annotation=Parameter.empty)

   Parameter オブジェクトは *イミュータブル* です。変更されたコピーを
   作成するには "Parameter.replace()" を使用してください。

   バージョン 3.5 で変更: Parameter オブジェクトがピックル並びにハッシ
   ュ可能になりました。

   empty

      デフォルト値とアノテーションがないことを指すクラスレベルの特殊マ
      ーカです。

   name

      仮引数名 (文字列) です。名前は有効な Python 識別子でなければなり
      ません。

      **CPython implementation detail:** CPython generates implicit
      parameter names of the form ".0" on the code objects used to
      implement comprehensions and generator expressions.

      バージョン 3.6 で変更: These parameter names are exposed by this
      module as names like "implicit0".

   default

      引数のデフォルト値です。引数にデフォルト値がない場合、この属性は
      "Parameter.empty" に設定されます。

   annotation

      引数のアノテーションです。引数にアノテーションがない場合、この属
      性は "Parameter.empty" に設定されます。

   kind

      実引数値がどのように仮引数に束縛されるかを記述します。有効な値
      ("Parameter" を通じてアクセスできます、たとえば
      "Parameter.KEYWORD_ONLY") は:

      +--------------------------+------------------------------------------------+
      | 名前                     | 意味                                           |
      |==========================|================================================|
      | *POSITIONAL_ONLY*        | Value must be supplied as a positional         |
      |                          | argument. Positional only parameters are those |
      |                          | which appear before a "/" entry (if present)   |
      |                          | in a Python function definition.               |
      +--------------------------+------------------------------------------------+
      | *POSITIONAL_OR_KEYWORD*  | 値をキーワードまたは位置引数として渡すことがで |
      |                          | きます (これは Python で実装された関数の標準的 |
      |                          | な束縛動作です)。                              |
      +--------------------------+------------------------------------------------+
      | *VAR_POSITIONAL*         | その他の仮引数に束縛されていない位置引数のタプ |
      |                          | ルです。Python の 関数定義における "*args" 仮  |
      |                          | 引数に対応します。                             |
      +--------------------------+------------------------------------------------+
      | *KEYWORD_ONLY*           | 値をキーワード引数として渡さなければなりません |
      |                          | 。キーワード専用引 数は Python の関数定義にお  |
      |                          | いて "*" や "*args" の後に現れる引数で す。    |
      +--------------------------+------------------------------------------------+
      | *VAR_KEYWORD*            | その他の仮引数に束縛されていないキーワード引数 |
      |                          | の辞書です。Python の関数定義における          |
      |                          | "**kwargs" 仮引数に対応します。                |
      +--------------------------+------------------------------------------------+

      例: デフォルト値のない全てのキーワード専用引数を出力します:

         >>> def foo(a, b, *, c, d=10):
         ...     pass

         >>> sig = signature(foo)
         >>> for param in sig.parameters.values():
         ...     if (param.kind == param.KEYWORD_ONLY and
         ...                        param.default is param.empty):
         ...         print('Parameter:', param)
         Parameter: c

   kind.description

      Describes a enum value of Parameter.kind.

      バージョン 3.8 で追加.

      Example: print all descriptions of arguments:

         >>> def foo(a, b, *, c, d=10):
         ...     pass

         >>> sig = signature(foo)
         >>> for param in sig.parameters.values():
         ...     print(param.kind.description)
         positional or keyword
         positional or keyword
         keyword-only
         keyword-only

   replace(*[, name][, kind][, default][, annotation])

      Create a new Parameter instance based on the instance replaced
      was invoked on.  To override a "Parameter" attribute, pass the
      corresponding argument.  To remove a default value or/and an
      annotation from a Parameter, pass "Parameter.empty".

         >>> from inspect import Parameter
         >>> param = Parameter('foo', Parameter.KEYWORD_ONLY, default=42)
         >>> str(param)
         'foo=42'

         >>> str(param.replace()) # Will create a shallow copy of 'param'
         'foo=42'

         >>> str(param.replace(default=Parameter.empty, annotation='spam'))
         "foo:'spam'"

   バージョン 3.4 で変更: Python 3.3 では、Parameter オブジェクトは
   "kind" が "POSITIONAL_ONLY" の場合 "None" に設定された "name" を持
   つことができました。 これはもう許可されません。

class inspect.BoundArguments

   Result of a "Signature.bind()" or "Signature.bind_partial()" call.
   Holds the mapping of arguments to the function's parameters.

   arguments

      A mutable mapping of parameters' names to arguments' values.
      Contains only explicitly bound arguments.  Changes in
      "arguments" will reflect in "args" and "kwargs".

      Should be used in conjunction with "Signature.parameters" for
      any argument processing purposes.

      注釈:

        Arguments for which "Signature.bind()" or
        "Signature.bind_partial()" relied on a default value are
        skipped. However, if needed, use
        "BoundArguments.apply_defaults()" to add them.

      バージョン 3.9 で変更: "arguments" is now of type "dict".
      Formerly, it was of type "collections.OrderedDict".

   args

      位置引数の値のタプルです。"arguments" 属性から動的に計算されます
      。

   kwargs

      キーワード引数の値の辞書です。"arguments" 属性から動的に計算され
      ます。

   signature

      親の "Signature" オブジェクトへの参照です。

   apply_defaults()

      存在しない引数のデフォルト値を設定します。

      For variable-positional arguments ("*args") the default is an
      empty tuple.

      For variable-keyword arguments ("**kwargs") the default is an
      empty dict.

         >>> def foo(a, b='ham', *args): pass
         >>> ba = inspect.signature(foo).bind('spam')
         >>> ba.apply_defaults()
         >>> ba.arguments
         {'a': 'spam', 'b': 'ham', 'args': ()}

      バージョン 3.5 で追加.

   "args" および "kwargs" 属性を使用して関数を呼び出すことができます:

      def test(a, *, b):
          ...

      sig = signature(test)
      ba = sig.bind(10, b=20)
      test(*ba.args, **ba.kwargs)

参考:

  **PEP 362**: - 関数シグニチャオブジェクト
     The detailed specification, implementation details and examples.


クラスと関数
============

inspect.getclasstree(classes, unique=False)

   リストで指定したクラスの継承関係から、ネストしたリストを作成します
   。ネストしたリストには、直前の要素から派生したクラスが格納されます
   。各要素は長さ2のタプルで、クラスと基底クラスのタプルを格納していま
   す。*unique* が真の場合、各クラスは戻り値のリスト内に一つだけしか格
   納されません。真でなければ、多重継承を利用したクラスとその派生クラ
   スは複数回格納される場合があります。

inspect.getargspec(func)

   Get the names and default values of a Python function's parameters.
   A *named tuple* "ArgSpec(args, varargs, keywords, defaults)" is
   returned. *args* is a list of the parameter names. *varargs* and
   *keywords* are the names of the "*" and "**" parameters or "None".
   *defaults* is a tuple of default argument values or "None" if there
   are no default arguments; if this tuple has *n* elements, they
   correspond to the last *n* elements listed in *args*.

   バージョン 3.0 で非推奨: Use "getfullargspec()" for an updated API
   that is usually a drop-in replacement, but also correctly handles
   function annotations and keyword-only parameters.Alternatively, use
   "signature()" and Signature Object, which provide a more structured
   introspection API for callables.

inspect.getfullargspec(func)

   Get the names and default values of a Python function's parameters.
   A *named tuple* is returned:

   "FullArgSpec(args, varargs, varkw, defaults, kwonlyargs,
   kwonlydefaults, annotations)"

   *args* is a list of the positional parameter names. *varargs* is
   the name of the "*" parameter or "None" if arbitrary positional
   arguments are not accepted. *varkw* is the name of the "**"
   parameter or "None" if arbitrary keyword arguments are not
   accepted. *defaults* is an *n*-tuple of default argument values
   corresponding to the last *n* positional parameters, or "None" if
   there are no such defaults defined. *kwonlyargs* is a list of
   keyword-only parameter names in declaration order. *kwonlydefaults*
   is a dictionary mapping parameter names from *kwonlyargs* to the
   default values used if no argument is supplied. *annotations* is a
   dictionary mapping parameter names to annotations. The special key
   ""return"" is used to report the function return value annotation
   (if any).

   Note that "signature()" and Signature Object provide the
   recommended API for callable introspection, and support additional
   behaviours (like positional-only arguments) that are sometimes
   encountered in extension module APIs. This function is retained
   primarily for use in code that needs to maintain compatibility with
   the Python 2 "inspect" module API.

   バージョン 3.4 で変更: This function is now based on "signature()",
   but still ignores "__wrapped__" attributes and includes the already
   bound first parameter in the signature output for bound methods.

   バージョン 3.6 で変更: This method was previously documented as
   deprecated in favour of "signature()" in Python 3.5, but that
   decision has been reversed in order to restore a clearly supported
   standard interface for single-source Python 2/3 code migrating away
   from the legacy "getargspec()" API.

   バージョン 3.7 で変更: Python only explicitly guaranteed that it
   preserved the declaration order of keyword-only parameters as of
   version 3.7, although in practice this order had always been
   preserved in Python 3.

inspect.getargvalues(frame)

   指定したフレームに渡された引数の情報を取得します。戻り値は *名前付
   きタプル* "ArgInfo(args, varargs, keywords, locals)" です。*args*
   は引数名のリストです。 *varargs* と *keywords* は "*" 引数と "**"
   引数の名前で、引数がなければ "None" となります。 *locals* は指定し
   たフレームのローカル変数の辞書です。

   注釈:

     This function was inadvertently marked as deprecated in Python
     3.5.

inspect.formatargspec(args[, varargs, varkw, defaults, kwonlyargs, kwonlydefaults, annotations[, formatarg, formatvarargs, formatvarkw, formatvalue, formatreturns, formatannotations]])

   Format a pretty argument spec from the values returned by
   "getfullargspec()".

   The first seven arguments are ("args", "varargs", "varkw",
   "defaults", "kwonlyargs", "kwonlydefaults", "annotations").

   The other six arguments are functions that are called to turn
   argument names, "*" argument name, "**" argument name, default
   values, return annotation and individual annotations into strings,
   respectively.

   例えば:

   >>> from inspect import formatargspec, getfullargspec
   >>> def f(a: int, b: float):
   ...     pass
   ...
   >>> formatargspec(*getfullargspec(f))
   '(a: int, b: float)'

   バージョン 3.5 で非推奨: Use "signature()" and Signature Object,
   which provide a better introspecting API for callables.

inspect.formatargvalues(args[, varargs, varkw, locals, formatarg, formatvarargs, formatvarkw, formatvalue])

   "getargvalues()" で取得した4つの値を読みやすく整形します。 format*
   引数はオプションで、名前と値を文字列に変換する整形関数を指定するこ
   とができます。

   注釈:

     This function was inadvertently marked as deprecated in Python
     3.5.

inspect.getmro(cls)

   *cls* クラスの基底クラス (*cls* 自身も含む) を、メソッドの優先順位
   順に並べたタプルを返します。結果のリスト内で各クラスは一度だけ格納
   されます。メソッドの優先順位はクラスの型によって異なります。非常に
   特殊なユーザ定義のメタクラスを使用していない限り、*cls* が戻り値の
   先頭要素となります。

inspect.getcallargs(func, /, *args, **kwds)

   *args* と *kwds* を、Python の関数もしくはメソッド *func* を呼び出
   した場合と同じように引数名に束縛します。束縛済みメソッド(bound
   method)の場合、最初の引数(慣習的に "self" という名前が付けられます)
   にも、関連づけられたインスタンスを束縛します。引数名 ("*" や "**"
   引数が存在すればその名前も) に *args* と *kwds* からの値をマップし
   た辞書を返します。*func* を正しく呼び出せない場合、つまり
   "func(*args, **kwds)" がシグネチャの不一致のために例外を投げるよう
   な場合には、それと同じ型で同じか似ているメッセージの例外を発生させ
   ます。例:

      >>> from inspect import getcallargs
      >>> def f(a, b=1, *pos, **named):
      ...     pass
      >>> getcallargs(f, 1, 2, 3) == {'a': 1, 'named': {}, 'b': 2, 'pos': (3,)}
      True
      >>> getcallargs(f, a=2, x=4) == {'a': 2, 'named': {'x': 4}, 'b': 1, 'pos': ()}
      True
      >>> getcallargs(f)
      Traceback (most recent call last):
      ...
      TypeError: f() missing 1 required positional argument: 'a'

   バージョン 3.2 で追加.

   バージョン 3.5 で非推奨: Use "Signature.bind()" and
   "Signature.bind_partial()" instead.

inspect.getclosurevars(func)

   Get the mapping of external name references in a Python function or
   method *func* to their current values. A *named tuple*
   "ClosureVars(nonlocals, globals, builtins, unbound)" is returned.
   *nonlocals* maps referenced names to lexical closure variables,
   *globals* to the function's module globals and *builtins* to the
   builtins visible from the function body. *unbound* is the set of
   names referenced in the function that could not be resolved at all
   given the current module globals and builtins.

   *func* が Python の関数やメソッドでない場合 "TypeError" が送出され
   ます。

   バージョン 3.3 で追加.

inspect.unwrap(func, *, stop=None)

   Get the object wrapped by *func*. It follows the chain of
   "__wrapped__" attributes returning the last object in the chain.

   *stop* is an optional callback accepting an object in the wrapper
   chain as its sole argument that allows the unwrapping to be
   terminated early if the callback returns a true value. If the
   callback never returns a true value, the last object in the chain
   is returned as usual. For example, "signature()" uses this to stop
   unwrapping if any object in the chain has a "__signature__"
   attribute defined.

   "ValueError" is raised if a cycle is encountered.

   バージョン 3.4 で追加.


インタープリタスタック
======================

When the following functions return "frame records," each record is a
*named tuple* "FrameInfo(frame, filename, lineno, function,
code_context, index)". The tuple contains the frame object, the
filename, the line number of the current line, the function name, a
list of lines of context from the source code, and the index of the
current line within that list.

バージョン 3.5 で変更: タプルではなく名前付きタプルを返します。

注釈:

  フレームレコードの最初の要素などのフレームオブジェクトへの参照を保存
  すると、循環参照になってしまう場合があります。循環参照ができると、
  Python の循環参照検出機能を有効にしていたとしても関連するオブジェク
  トが参照しているすべてのオブジェクトが解放されにくくなり、明示的に参
  照を削除しないとメモリ消費量が増大する恐れがあります。参照の削除を
  Python の循環参照検出機能にまかせることもできますが、 "finally" 節で
  循環参照を解除すれば確実にフレーム (とそのローカル変数) は削除されま
  す。また、循環参照検出機能は Python のコンパイルオプションや
  "gc.disable()" で無効とされている場合がありますので注意が必要です。
  例:

     def handle_stackframe_without_leak():
         frame = inspect.currentframe()
         try:
             # do something with the frame
         finally:
             del frame

  If you want to keep the frame around (for example to print a
  traceback later), you can also break reference cycles by using the
  "frame.clear()" method.

以下の関数でオプション引数 *context* には、戻り値のソース行リストに何
行分のソースを含めるかを指定します。ソース行リストには、実行中の行を中
心として指定された行数分のリストを返します。

inspect.getframeinfo(frame, context=1)

   フレームまたはトレースバックオブジェクトの情報を取得します。 *名前
   付きタプル* "Traceback(filename, lineno, function, code_context,
   index)" が返されます。

inspect.getouterframes(frame, context=1)

   指定したフレームと、その外側の全フレームのフレームレコードを返しま
   す。外側のフレームとは *frame* が生成されるまでのすべての関数呼び出
   しを示します。戻り値のリストの先頭は *frame* のフレームレコードで、
   末尾の要素は *frame* のスタックにある最も外側のフレームのフレームレ
   コードとなります。

   バージョン 3.5 で変更: *名前付きタプル* "FrameInfo(frame, filename,
   lineno, function, code_context, index)" のリストが返されます。

inspect.getinnerframes(traceback, context=1)

   指定したフレームと、その内側の全フレームのフレームレコードを返しま
   す。内のフレームとは *frame* から続く一連の関数呼び出しを示します。
   戻り値のリストの先頭は *traceback* のフレームレコードで、末尾の要素
   は例外が発生した位置を示します。

   バージョン 3.5 で変更: *名前付きタプル* "FrameInfo(frame, filename,
   lineno, function, code_context, index)" のリストが返されます。

inspect.currentframe()

   呼び出し元のフレームオブジェクトを返します。

   **CPython implementation detail:** この関数はインタプリタの Python
   スタックフレームサポートに依存します。これは Python のすべての実装
   に存在している保証はありません。Python スタックフレームサポートのな
   い環境では、この関数は "None" を返します。

inspect.stack(context=1)

   呼び出し元スタックのフレームレコードのリストを返します。最初の要素
   は呼び出し元のフレームレコードで、末尾の要素はスタックにある最も外
   側のフレームのフレームレコードとなります。

   バージョン 3.5 で変更: *名前付きタプル* "FrameInfo(frame, filename,
   lineno, function, code_context, index)" のリストが返されます。

inspect.trace(context=1)

   実行中のフレームと処理中の例外が発生したフレームの間のフレームレコ
   ードのリストを返します。最初の要素は呼び出し元のフレームレコードで
   、末尾の要素は例外が発生した位置を示します。

   バージョン 3.5 で変更: *名前付きタプル* "FrameInfo(frame, filename,
   lineno, function, code_context, index)" のリストが返されます。


属性の静的なフェッチ
====================

Both "getattr()" and "hasattr()" can trigger code execution when
fetching or checking for the existence of attributes. Descriptors,
like properties, will be invoked and "__getattr__()" and
"__getattribute__()" may be called.

For cases where you want passive introspection, like documentation
tools, this can be inconvenient. "getattr_static()" has the same
signature as "getattr()" but avoids executing code when it fetches
attributes.

inspect.getattr_static(obj, attr, default=None)

   Retrieve attributes without triggering dynamic lookup via the
   descriptor protocol, "__getattr__()" or "__getattribute__()".

   Note: this function may not be able to retrieve all attributes that
   getattr can fetch (like dynamically created attributes) and may
   find attributes that getattr can't (like descriptors that raise
   AttributeError). It can also return descriptors objects instead of
   instance members.

   If the instance "__dict__" is shadowed by another member (for
   example a property) then this function will be unable to find
   instance members.

   バージョン 3.2 で追加.

"getattr_static()" does not resolve descriptors, for example slot
descriptors or getset descriptors on objects implemented in C. The
descriptor object is returned instead of the underlying attribute.

You can handle these with code like the following. Note that for
arbitrary getset descriptors invoking these may trigger code
execution:

   # example code for resolving the builtin descriptor types
   class _foo:
       __slots__ = ['foo']

   slot_descriptor = type(_foo.foo)
   getset_descriptor = type(type(open(__file__)).name)
   wrapper_descriptor = type(str.__dict__['__add__'])
   descriptor_types = (slot_descriptor, getset_descriptor, wrapper_descriptor)

   result = getattr_static(some_object, 'foo')
   if type(result) in descriptor_types:
       try:
           result = result.__get__()
       except AttributeError:
           # descriptors can raise AttributeError to
           # indicate there is no underlying value
           # in which case the descriptor itself will
           # have to do
           pass


ジェネレータおよびコルーチンの現在の状態
========================================

When implementing coroutine schedulers and for other advanced uses of
generators, it is useful to determine whether a generator is currently
executing, is waiting to start or resume or execution, or has already
terminated. "getgeneratorstate()" allows the current state of a
generator to be determined easily.

inspect.getgeneratorstate(generator)

   ジェネレータイテレータの現在の状態を取得します。

   取り得る状態は:
      * GEN_CREATED: 実行開始を待機しています。

      * GEN_RUNNING: インタープリタによって現在実行されています。

      * GEN_SUSPENDED: yield 式で現在サスペンドされています。

      * GEN_CLOSED: 実行が完了しました。

   バージョン 3.2 で追加.

inspect.getcoroutinestate(coroutine)

   Get current state of a coroutine object.  The function is intended
   to be used with coroutine objects created by "async def" functions,
   but will accept any coroutine-like object that has "cr_running" and
   "cr_frame" attributes.

   取り得る状態は:
      * CORO_CREATED: 実行開始を待機しています。

      * CORO_RUNNING: インタープリタにより現在実行中です。

      * CORO_SUSPENDED: await 式により現在停止中です。

      * CORO_CLOSED: 実行が完了しました。

   バージョン 3.5 で追加.

ジェネレータの現在の内部状態を問い合わせることも出来ます。これは主に内
部状態が期待通り更新されているかどうかを確認するためのテストの目的に有
用です。

inspect.getgeneratorlocals(generator)

   Get the mapping of live local variables in *generator* to their
   current values.  A dictionary is returned that maps from variable
   names to values. This is the equivalent of calling "locals()" in
   the body of the generator, and all the same caveats apply.

   If *generator* is a *generator* with no currently associated frame,
   then an empty dictionary is returned.  "TypeError" is raised if
   *generator* is not a Python generator object.

   **CPython implementation detail:** This function relies on the
   generator exposing a Python stack frame for introspection, which
   isn't guaranteed to be the case in all implementations of Python.
   In such cases, this function will always return an empty
   dictionary.

   バージョン 3.3 で追加.

inspect.getcoroutinelocals(coroutine)

   This function is analogous to "getgeneratorlocals()", but works for
   coroutine objects created by "async def" functions.

   バージョン 3.5 で追加.


Code Objects Bit Flags
======================

Python code objects have a "co_flags" attribute, which is a bitmap of
the following flags:

inspect.CO_OPTIMIZED

   The code object is optimized, using fast locals.

inspect.CO_NEWLOCALS

   If set, a new dict will be created for the frame's "f_locals" when
   the code object is executed.

inspect.CO_VARARGS

   The code object has a variable positional parameter ("*args"-like).

inspect.CO_VARKEYWORDS

   The code object has a variable keyword parameter ("**kwargs"-like).

inspect.CO_NESTED

   The flag is set when the code object is a nested function.

inspect.CO_GENERATOR

   The flag is set when the code object is a generator function, i.e.
   a generator object is returned when the code object is executed.

inspect.CO_NOFREE

   The flag is set if there are no free or cell variables.

inspect.CO_COROUTINE

   The flag is set when the code object is a coroutine function. When
   the code object is executed it returns a coroutine object. See
   **PEP 492** for more details.

   バージョン 3.5 で追加.

inspect.CO_ITERABLE_COROUTINE

   The flag is used to transform generators into generator-based
   coroutines.  Generator objects with this flag can be used in
   "await" expression, and can "yield from" coroutine objects. See
   **PEP 492** for more details.

   バージョン 3.5 で追加.

inspect.CO_ASYNC_GENERATOR

   The flag is set when the code object is an asynchronous generator
   function.  When the code object is executed it returns an
   asynchronous generator object.  See **PEP 525** for more details.

   バージョン 3.6 で追加.

注釈:

  The flags are specific to CPython, and may not be defined in other
  Python implementations.  Furthermore, the flags are an
  implementation detail, and can be removed or deprecated in future
  Python releases. It's recommended to use public APIs from the
  "inspect" module for any introspection needs.


コマンドラインインターフェイス
==============================

The "inspect" module also provides a basic introspection capability
from the command line.

By default, accepts the name of a module and prints the source of that
module. A class or function within the module can be printed instead
by appended a colon and the qualified name of the target object.

--details

   Print information about the specified object rather than the source
   code
