> What I meant to preclude was adding a lot of non-concrete-syntax-like 
> constructs
> in the pattern part, to express eg the type of a function call.

I guess that it will need a bit more time until such ideas for feature will gain
acceptance. I imagine that the tool manages an internal analysis context object.
It would be nice if its methods and properties will be mapped to and provided by
SmPL application interfaces.

Would the support for the programming language "C++" be one of the next
"natural" extensions?

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