* [Cocci] Checking structures for usage of OCaml variables with inherited SmPL data
@ 2019-05-27 11:10 Markus Elfring
2019-05-27 11:28 ` Julia Lawall
0 siblings, 1 reply; 3+ messages in thread
From: Markus Elfring @ 2019-05-27 11:10 UTC (permalink / raw)
To: Coccinelle
Hello,
The semantic patch language supports also the specification and handling
of OCaml script rules. Inherited SmPL variables can be connected to
corresponding local variable names.
I would appreciate if the determination of the provided data structures
can become easier.
* Which data types can become relevant for further data processing?
* Which fields should be picked up for data output?
Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [Cocci] Checking structures for usage of OCaml variables with inherited SmPL data
2019-05-27 11:10 [Cocci] Checking structures for usage of OCaml variables with inherited SmPL data Markus Elfring
@ 2019-05-27 11:28 ` Julia Lawall
2019-05-27 12:00 ` Markus Elfring
0 siblings, 1 reply; 3+ messages in thread
From: Julia Lawall @ 2019-05-27 11:28 UTC (permalink / raw)
To: Markus Elfring; +Cc: Coccinelle
On Mon, 27 May 2019, Markus Elfring wrote:
> Hello,
>
> The semantic patch language supports also the specification and handling
> of OCaml script rules. Inherited SmPL variables can be connected to
> corresponding local variable names.
>
> I would appreciate if the determination of the provided data structures
> can become easier.
> * Which data types can become relevant for further data processing?
> * Which fields should be picked up for data output?
Besides comments, everything is either a string or a position, ie type pos
list, where the type pos is found in man Coccilib.
julia
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [Cocci] Checking structures for usage of OCaml variables with inherited SmPL data
2019-05-27 11:28 ` Julia Lawall
@ 2019-05-27 12:00 ` Markus Elfring
0 siblings, 0 replies; 3+ messages in thread
From: Markus Elfring @ 2019-05-27 12:00 UTC (permalink / raw)
To: Julia Lawall; +Cc: Coccinelle
> Besides comments, everything is either a string or a position,
> ie type pos list, where the type pos is found in man Coccilib.
How do you think about to improve the programming interface descriptions here?
Which data structures would be relevant for the metavariable “identifier”?
Do they refer only to the data type “Ast_c.metavar_binding_kind”?
Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2019-05-27 12:00 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-05-27 11:10 [Cocci] Checking structures for usage of OCaml variables with inherited SmPL data Markus Elfring
2019-05-27 11:28 ` Julia Lawall
2019-05-27 12:00 ` Markus Elfring
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).