I think you are confusing disjunctions on identifiers with regular expressions.
I have got a different view.
There is no connection.
I have got the impression that there is a need to clarify the use of the choice
operator a bit more because there are three (programming) languages involved at
least which use the vertical line character (|) in a similar way.
1. Objective Caml
- pattern-matching feature in the core
- Str module: "Alternative"
2. SmPL: disjunction / OR
Can this technique also be applied for the source code filtering of string
literal assignments?
How is it supported to patch special places including whitespace characters?
3. Regex
I am used to the term "alternation" here.
- \| (infix) Alternative between two expressions.
There are no metavariables in that case, and the arguments to the
disjunction won't be used to prefilter at the file level.
Would it be useful if SmPL meta-variables could be reused at this place, too?
Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
