reiz.io

reiz.io

Reiz.ioは、Pythonの構造ソースコード検索エンジンです。一般的な代替案（Githubコード検索など）と比較して、構文ツリーのクエリを（生のソースコードの代わりに）実行し、構造知識を取得しようとします（セマンティクスは適用されません）。詳細については、ドキュメントを参照してください。

穏やかな紹介

Reizは、Reiz.ioがトップに構築されたコード検索フレームワークです。その性質のため、それはASTとのみ連携し、意図的に意味的な作業を行うことを避けます。

 Some ASTs attach a bit of contextual knowledge (e.g `Name(ctx=...)`
on python) which can be queried through simple matcher queries but
reiz.io doesn't include them when comparing references (see
matchers#reference-matcher for details).

以下は、TRYステートメントで終了する関数を検索する単純なReizQLクエリを示します。この関数では、内部の関数と同じ名前を持つ関数への呼び出しを返します。

 FunctionDef ( ~ func , body = [ * ..., Try ( body = [ Return ( Call ( Name ( ~ func )))])])

これは以下に一致します。

 def foo ( spam ):
    eggs = bar ()
    try :
        return foo ( spam + eggs )
    except ValueError :
        return None

非常に基本的な意味では、上記のコードのASTを生成し、パターン（ReizQLクエリ）に適合するかどうかを確認しています。

 FunctionDef (
    name = 'foo' ,
    args = arguments (
        posonlyargs = [],
        args = [ arg ( arg = 'spam' , annotation = None , type_comment = None )],
        vararg = None ,
        kwonlyargs = [],
        kw_defaults = [],
        kwarg = None ,
        defaults = [],
    ),
    body = [
        Assign (
            targets = [ Name ( id = 'eggs' , ctx = Store ())],
            value = Call (
                func = Name ( id = 'bar' , ctx = Load ()),
                args = [],
                keywords = [],
            ),
            type_comment = None ,
        ),
        Try (
            body = [
                Return (
                    value = Call (
                        func = Name ( id = 'foo' , ctx = Load ()),
                        args = [
                            BinOp (
                                left = Name ( id = 'spam' , ctx = Load ()),
                                op = Add (),
                                right = Name ( id = 'eggs' , ctx = Load ()),
                            ),
                        ],
                        keywords = [],
                    ),
                ),
            ],
            handlers = [
                ExceptHandler (
                    type = Name ( id = 'ValueError' , ctx = Load ()),
                    name = None ,
                    body = [
                        Return (
                            value = Constant ( value = None , kind = None ),
                        ),
                    ],
                ),
            ],
            orelse = [],
            finalbody = [],
        ),
    ],
    decorator_list = [],
    returns = None ,
    type_comment = None ,
)