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)