reiz.io

reiz.io

Reiz.io é um mecanismo de pesquisa de código -fonte estrutural do Python. Comparado às alternativas populares (por exemplo, pesquisa de código do GitHub), ele executa consultas sobre as árvores de sintaxe (em vez do código -fonte bruto) e tenta recuperar o conhecimento estrutural (sem semântica aplicada). Para mais informações, consulte os documentos.

Uma introdução suave

Reiz é a estrutura de pesquisa de código que o Reiz.io é construído em uma parte superior. Devido à sua natureza, ele trabalha apenas com o ASTS e evita intencionalmente fazer qualquer trabalho semântico.

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

Aqui está uma consulta Reizql simples que procura uma função que termine com uma instrução TRY, na qual retornamos uma chamada para uma função que tem o mesmo nome da função que estamos dentro.

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

que corresponderia ao seguinte;

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

No sentido básico, está gerando o AST do código acima e verifica se ele se encaixa no padrão (consulta reizql) ou não.;

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