Messages in this thread | | | Date | Sat, 11 Jun 2016 08:05:54 +0200 (CEST) | From | Julia Lawall <> | Subject | Re: [Cocci] [PATCH 4/4] coccicheck: add indexing enhancement options |
| |
On Sat, 11 Jun 2016, Wolfram Sang wrote:
> > > It's not as efficient as glimpse because the query language is simpler. > > Interesting, what is missing compared to glimpse?
Glimpse allows queries that are arbitrary formulas, up to a limited level of complexity, involving both && and ||. For idutils, Coccinelle runs lid on each of the tokens in the formula, and then does unions and intersections on the result.
julia
> > So more filtering has to be done at the ocaml level. But it's probably > > fine in most cases. > > For me, it has two advantages over glimpse: > > a) it is in the debian package repository > b) the same database can be used with the code browser 'seascope' > which can do nice things by feeding ctags on the fly with data > from id-utils. > > Mileages vary, of course, just wanted to mention it to give pointers. > >
| |