
REZ.IO ist eine Suchmaschine für strukturelle Quellcode für Python. Im Vergleich zu den beliebten Alternativen (z. B. Github -Code -Suche) werden Abfragen über die Syntaxbäume (anstelle von Rohquellencode) ausgeführt und versucht, strukturelles Wissen zurückzuziehen (keine Semantik angewendet). Weitere Informationen finden Sie in den Dokumenten.
REZ ist das Code -Suchframework, auf dem Reiz.io ein Top erstellt wurde. Aufgrund ihrer Natur arbeitet es ausschließlich mit den ASTs und vermeidet absichtlich semantische Arbeiten.
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).
Hier finden Sie eine einfache Reizql -Abfrage, die nach einer Funktion sucht, die mit einer Versuch -Anweisung endet, bei der wir einen Aufruf an eine Funktion zurückgeben, die denselben Namen wie die Funktion hat, in der wir uns befinden.
FunctionDef ( ~ func , body = [ * ..., Try ( body = [ Return ( Call ( Name ( ~ func )))])])das würde den folgenden übereinstimmen;
def foo ( spam ):
eggs = bar ()
try :
return foo ( spam + eggs )
except ValueError :
return NoneIn dem grundlegenden Sinne generiert es den AST des obigen Codes und prüft, ob er zum Muster (Reizql -Abfrage) passt oder nicht.
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 ,
)