> > The basic notation is:
> >
> > position p : script:ocaml(params) { expression };
> >
> > Params can only be inherited metavariables.
>
> Would you like to clarify the specification of such parameters
> a bit more?r.x Unlike the case of an ordinary python/ocaml script, you are stuck with the name x in the script code. > > The expression should return true or false, ie true if the proposed value > > of p is acceptable as a match, and false if it is not. > > Do you describe the introduction of generic predicate functions here? I don't understand the question. In any case, the script doesn't define functions, due to the very limited syntax. The normal case woudl be to define some functions in the initialize rule of the semantic patch, and just call them here. thanks, julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
