2 * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
3 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
4 * This file is part of Coccinelle.
6 * Coccinelle is free software: you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License as published by
8 * the Free Software Foundation, according to version 2 of the License.
10 * Coccinelle is distributed in the hope that it will be useful,
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 * GNU General Public License for more details.
15 * You should have received a copy of the GNU General Public License
16 * along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
18 * The authors reserve the right to distribute this or future versions of
19 * Coccinelle under other licenses.
24 * Copyright 2005-2010, Ecole des Mines de Nantes, University of Copenhagen
25 * Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
26 * This file is part of Coccinelle.
28 * Coccinelle is free software: you can redistribute it and/or modify
29 * it under the terms of the GNU General Public License as published by
30 * the Free Software Foundation, according to version 2 of the License.
32 * Coccinelle is distributed in the hope that it will be useful,
33 * but WITHOUT ANY WARRANTY; without even the implied warranty of
34 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
35 * GNU General Public License for more details.
37 * You should have received a copy of the GNU General Public License
38 * along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
40 * The authors reserve the right to distribute this or future versions of
41 * Coccinelle under other licenses.
46 module Past
= Ast_popl
49 force_newline
(); print_string
" "; open_box
0
52 close_box
(); force_newline
()
54 (* --------------------------------------------------------------------- *)
56 let rec print_sequence = function
57 Past.Seq
(e
,seq
) -> print_element e
; force_newline
(); print_sequence seq
59 | Past.SExists
((_
,v
),seq
) -> print_string
"exists "; print_string v
;
60 print_string
" ."; force_newline
(); print_sequence seq
62 and print_element
= function
63 Past.Term
(term
) -> Pretty_print_cocci.rule_elem
"" term
64 | Past.Or
(seq1
,seq2
) ->
65 force_newline
(); print_string
"("; force_newline
(); print_sequence seq1
;
66 print_string
"|"; force_newline
(); print_sequence seq2
; print_string
")"
67 | Past.DInfo
(dots
,bef
,aft
) ->
70 (function b
-> print_string
">>>"; print_element b
; force_newline
())
74 (function b
-> force_newline
(); print_string
"<<<"; print_element b
)
77 | Past.EExists
((_
,v
),elem
) -> print_string
"exists "; print_string v
;
78 print_string
" ."; force_newline
(); print_element elem
80 and print_dots
= function
81 Past.Dots
-> print_string
"..."
82 | Past.Nest
(seq
)-> print_string
"<..."; start_block(); print_sequence seq
;
83 end_block(); print_string
"...>"
84 | Past.When
(dots
,seq
) -> print_dots dots
; print_string
" when != ";
85 open_box
0; print_sequence seq
; close_box
()
86 | Past.DExists
((_
,v
),dots
) -> print_string
"exists "; print_string v
;
87 print_string
" ."; force_newline
(); print_dots dots
89 (* --------------------------------------------------------------------- *)
91 let pretty_print_e e
=