HCoop
/
bpt
/
coccinelle.git
/ blame
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
blob
|
blame
(incremental) |
history
|
HEAD
Coccinelle release 1.0.0-rc13
[bpt/coccinelle.git]
/
demos
/
hello
/
hello-ocaml.cocci
Commit
Line
Data
d6ce1786
C
1
@main@
2
type T;
3
parameter list P;
4
symbol printf;
5
expression E;
6
position p;
7
@@
8
9
T main(P) {
10
printf@p(E);
11
...
12
}
13
14
@script:ocaml@
15
p << main.p;
16
@@
17
18
Printf.printf "Hello at: %d" (List.hd p).Coccilib.line