On Thu, 29 Dec 2011, SF Markus Elfring wrote:

@script:python collection1 depends on !(is_void_declared || is_void_defined)@
typ << function_declaration.t;
fun << function_declaration.f;
places << function_declaration.p;
@@
[...]
@script:python collection2 depends on !(is_void_declared || is_void_defined)@
typ << function_definition.t;
fun << function_definition.f;
places << function_definition.p;
@@
Would you like to give any further advices for my difficulty with an usable name selection for the metavariables in the script rules of this test case?

I'm not sure what the problem is.

I find it an open issue that I can only specify the assignment from a single source for the shown SmPL metavariables so far. I imagine that I need references to both use cases "declaration" and "definition" here.

I don't know what "here" refers to. I have the impression that you have solved the problem by duplicating the python rule.

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

Reply via email to