* [Cocci] Explanation for kinds of SmPL rules
@ 2020-09-27 13:21 Markus Elfring
2020-09-27 13:54 ` Julia Lawall
0 siblings, 1 reply; 2+ messages in thread
From: Markus Elfring @ 2020-09-27 13:21 UTC (permalink / raw)
To: Coccinelle
Hello,
The manual for the semantic patch language mentions the grammar item “rulekind”.
https://github.com/coccinelle/coccinelle/blob/730dbb034559b3e549ec0b2973cd0400a3fa072f/docs/manual/cocci_syntax.tex#L116
I would appreciate further information for the safe application of such a technical detail.
Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [Cocci] Explanation for kinds of SmPL rules
2020-09-27 13:21 [Cocci] Explanation for kinds of SmPL rules Markus Elfring
@ 2020-09-27 13:54 ` Julia Lawall
0 siblings, 0 replies; 2+ messages in thread
From: Julia Lawall @ 2020-09-27 13:54 UTC (permalink / raw)
To: Markus Elfring; +Cc: Coccinelle
[-- Attachment #1: Type: text/plain, Size: 483 bytes --]
On Sun, 27 Sep 2020, Markus Elfring wrote:
> Hello,
>
> The manual for the semantic patch language mentions the grammar item “rulekind”.
> https://github.com/coccinelle/coccinelle/blob/730dbb034559b3e549ec0b2973cd0400a3fa072f/docs/manual/cocci_syntax.tex#L116
>
> I would appreciate further information for the safe application of such a technical detail.
They force the term matched by the rule to be an expression, identifier or
type, according to what is specified.
julia
[-- Attachment #2: Type: text/plain, Size: 136 bytes --]
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2020-09-27 13:54 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-09-27 13:21 [Cocci] Explanation for kinds of SmPL rules Markus Elfring
2020-09-27 13:54 ` Julia Lawall
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).