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?
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.
Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
