On Fri, 16 Dec 2011, SF Markus Elfring wrote:
OK, indeed there is include for including another semantic patch file
(often
useful for including large blocks of ocaml or python code), using for
including
isomorphism files, and virtual for declaring the names of virtual rules.
Did I overlook this capability?
How does a SmPL file specify itself (and not by parameters for the command
"spatch") that it needs more files for further processing?
I don't know what you mean by further processing. If you want to process
some other files based on information collected in the current file, you
can use the iteration facility.
Would you like to support the construction and reuse of an
identifier/function
list for constraint specifications?
I'm still not conviced that it is worth adding a new construct.
I would appreciate a corresponding addition because of the aspect that a
SmPL "@@ block" can only contain meta-variable declarations so far. I see a
need to provide them with property settings like a function list from other
information sources.
If you want to get information from other sources, then you should go
through ocaml or python script rules. Using these rules, you can reject
matches that have some properties. Grep for include_match in the demos
directory to find some examples.
julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
