2 .\" Please adjust this date whenever revising the manpage.
3 .TH SPATCH 1 "may 18, 2011"
5 .\" see http://www.fnal.gov/docs/products/ups/ReferenceManual/html/manpages.html
6 .\" see http://www.linuxjournal.com/article/1158
7 .\" see http://www.schweikhardt.net/man_page_howto.html
8 .\" groff -Tascii -man ./Coccilib.3cocci | more
10 .\" Some roff macros, for reference:
11 .\" .nh disable hyphenation
12 .\" .hy enable hyphenation
13 .\" .ad l left justify
14 .\" .ad b justify to both left and right margins
15 .\" .nf disable filling
16 .\" .fi enable filling
17 .\" .br insert line break
18 .\" .sp <n> insert n+1 empty lines
19 .\" for manpage-specific macros, see man(7)
21 .\" TeX users may be more comfortable with the \fB<whatever>\fP and
22 .\" \fI<whatever>\fP escape sequences to invode bold face and italics,
23 .\" respectively. Also \fR for roman.
24 .\" pad: src: deputy man page
26 Coccilib \- Library of functions for use with Coccinelle OCaml script code
65 describes a position in a source file\&.
67 is the name of the function containing the matched position;
69 is the name of the file containing the matched position;
71 is the number of the line containing the first character of the matched
74 is the column containing the first character of the matched position;
76 is the number of the line containing the last character of the matched
79 is the column containing the last character of the matched position\&.
83 .B Abstract Syntax Tree
102 .B Ast_c.initialiser Ast_c.wrap2 list
108 .B Ast_c.parameterType
111 .B Ast_c.parameterType Ast_c.wrap2 list
117 .B Ast_c.argument Ast_c.wrap2 list
133 .B Match management functions
140 If the argument is true, retain the environment with respect to which the
141 ocaml script code is being executed for use in subsequent rules. If
142 the argument is false, discard this environment. By default, the
143 environment is retained.
150 True if the environment with respect to which the
151 ocaml script code is being executed is to be retained for use in
152 subsequent rules, and false otherwise.
159 Returns the directory on which spatch was launched.
163 Y. Padioleau, J.L. Lawall, R.R Hansen, G. Muller
164 "Documenting and Automating Collateral Evolutions in Linux Device Driver"
166 Glasgow, Scotland (April 2008) pp. 247-260.
168 This manual page was written by Julia Lawall <julia@diku.dk>.
170 Send a mail to <cocci@diku.dk>
172 Copyright 2011, DIKU, University of Copenhagen and INRIA.