[Cocci] Avoiding code duplication for SmPL constraints
julia.lawall at lip6.fr
Sat Feb 17 14:39:02 CET 2018
On Sat, 17 Feb 2018, SF Markus Elfring wrote:
> Constraints can be specified for metavariables of the semantic patch language.
> I noticed that they can trigger software maintenance challenges
> when bigger specifications are repeated in some SmPL rules.
> Now I am looking again for further possibilities to avoid corresponding
> code duplication.
> * Scripted constraints might be a design option.
> Unfortunately, I find the documentation for this functionality still incomplete.
What information do you find to be lacking?
> * I imagine that it would nice if constraints could be set by programming script
> rules at a single place.
The simplest thing to do is to define a function in the initialize part of
the semantic patch, and then call that function in the constraints as
More information about the Cocci