@initialize:python@ count = 0
@r@ position p; @@ call_of_interest@p(...) @script:python s@ p << r.p; init_val; @@ count = count + 1 init_val = "%d" % count @@ position r.p; identifier s.init_val; @@ + int x = init_val; call_of_interest@p(...) julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
