usethesource / clair

C Language Analysis in Rascal
BSD 2-Clause "Simplified" License
25 stars 12 forks source link

Name matching functions #81

Open linuswagner opened 9 months ago

linuswagner commented 9 months ago

When I extract function and method names from the AST, I want to match them to their corresponding logical names in the M3.

The M3 includes the structure of the arguments in the name. It would be nice to have somewhere a "full name to argument-less" relation. Looks like cFunctionsToNoArgs could do something like that, but on my C++ code, there's no difference.

jurgenvinju commented 9 months ago

The decl keyword field on AST nodes is supposed to provide this match. It's of type loc and on declarations tells us what the resolved qualified name is of the declared artifact. On expressions and other names in statements it annotates uses of names with the resolved qualified URI.