reiz.io

reiz.io

Reiz.io是Python的結構源代碼搜索引擎。與流行的替代方案（例如GitHub代碼搜索）相比，它在語法樹上執行查詢（而不是原始的源代碼），並試圖檢索結構知識（無應用語義）。有關更多信息，請參閱文檔。

溫和的介紹

Reiz是Reiz.io的代碼搜索框架。由於其性質，它僅與ASTS合作，並故意避免進行任何語義工作。

 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).

這是一個簡單的reizql查詢，它搜索一個以try語句結尾的函數，在該函數中，我們將調用與具有與我們所在函數相同的函數返回一個函數。

 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 ,
)