It represents logical not, but it is only allowed to appear on a rule name. All formulas can be written in this manner.
How do you think about to keep such logical operators separate from "rule names"?Does the grammar need a bit more fine-tuning at this place of the semantic patch language?
Regards, Markus _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
