2. Where are attributes and methods documented that are provided for matches
from other SmPL metavariables?
http://coccinelle.lip6.fr/docs/main_grammar003.html

In any case, in python, all other kinds of metavariables are represented as 
strings.

I imagine there could also be an interface which provides methods in the sense of object-orientation.

I have discovered by introspection that a Python variable which got its contents from a metavariable with the SmPL type "identifier" has got an attribute "ident". How stable is this name selection in your programming interface?
How does the mapping look like for other key words and data types?


Indeed, they seem to be represented as some sort of strange raw string.

Are there any additional considerations needed for the support of Unicode?


In ocaml it is possible to have access to both the string representation and the
internal AST of Coccinelle.

Do you operate the desired source code analysis more on the abstraction level "control flow graph" than on the "abstract syntax tree"?


There is no documentation for the latter. You just have to find the 
corresponding
file in the source code and read that.

I hope that this situation can be improved. How do you find out that these source files specify the really expected run time behaviour otherwise?

Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)

Reply via email to