Adoogle
A small script for searching in gnatinspect
-databases.
How to use:
- Run
gnatinspect --db gnatinspect.db -P <Project.gpr>
. Gnatinspect can be found in gnatcoll. This will generate a database of all symbols in your project. - Run
py adoogle.py gnatinspect.db "query"
to query the database.
Supported queries
abs
: find any entity with the nameabs
def : Blah
: find any entity with the namemax
of typeShare
def : ->
: find any entity with the namemax
of which is a function(x,y,z) def
: find any entity with the namedef
and kinds x, y or z (seeentity_kinds.py
)(fun) def
: find any entity with the namedef
and which is either a function or a procedure(pkt) def
: find any entity with the namedef
and which is either a function or a procedure
To implement
max : Share -> Share
: find functions or procedure with the namemax
with two parameters of typeShare