-(*
-* Copyright 2005-2008, Ecole des Mines de Nantes, University of Copenhagen
-* Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller
-* This file is part of Coccinelle.
-*
-* Coccinelle is free software: you can redistribute it and/or modify
-* it under the terms of the GNU General Public License as published by
-* the Free Software Foundation, according to version 2 of the License.
-*
-* Coccinelle is distributed in the hope that it will be useful,
-* but WITHOUT ANY WARRANTY; without even the implied warranty of
-* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
-* GNU General Public License for more details.
-*
-* You should have received a copy of the GNU General Public License
-* along with Coccinelle. If not, see <http://www.gnu.org/licenses/>.
-*
-* The authors reserve the right to distribute this or future versions of
-* Coccinelle under other licenses.
-*)
-
-
open Format
module Ast0 = Ast0_cocci
module U = Pretty_print_cocci
let quiet = ref true (* true = no decoration on - context, etc *)
+let full_ids = ref false (* true = print rule name as well *)
+
let start_block str =
force_newline(); print_string " "; open_box 0
(* --------------------------------------------------------------------- *)
(* Modified code *)
-let mcodekind brackets fn x info = function
+let mcodekind brackets fn x info mc =
+ List.iter (function (s,_) -> print_string s) info.Ast0.strings_before;
+ (match mc with
Ast0.MINUS(plus_stream) ->
let (lb,rb) =
if !quiet
(function x ->
print_string lb; fn x; print_string rb)
x plus_streams
- | Ast0.PLUS ->
- List.iter (function s -> print_string s; force_newline())
- info.Ast0.strings_before;
- fn x;
- List.iter (function s -> force_newline(); print_string s)
- info.Ast0.strings_after
+ | Ast0.PLUS _ -> print_int (info.Ast0.pos_info.Ast0.column); fn x
| Ast0.MIXED(plus_streams) ->
let (lb,rb) =
if !quiet
then ("","")
else
- let n =
+ let n =
match brackets with Some x -> "^"^(string_of_int x) | None -> "" in
("§","½"^n) in
let (plus_streams,_,_) = !plus_streams in
U.print_around (function x -> print_string lb; fn x; print_string rb)
- x plus_streams
+ x plus_streams);
+ List.iter (function (s,_) -> print_string s) info.Ast0.strings_after
-let mcode fn (x,_,info,mc,pos) =
+let mcode fn (x,_,info,mc,pos,adj) =
let fn x = fn x; meta_pos !pos in
- mcodekind (Some info.Ast0.line_start)(*None*) fn x info mc
+ mcodekind (Some info.Ast0.pos_info.Ast0.line_start)(*None*) fn x info mc
let print_context x fn =
mcodekind (Some (Ast0.get_line x)) fn () (Ast0.get_info x)
(Ast0.get_mcodekind x)
-let print_meta (_,name) = print_string name
+let print_meta (ctx,name) =
+ if !full_ids then (print_string ctx; print_string ":");
+ print_string name
(* --------------------------------------------------------------------- *)
(* --------------------------------------------------------------------- *)
mcode print_string rp
| Ast0.TypeExp(ty) -> typeC ty
| Ast0.MetaErr(name,_,_) -> mcode print_meta name
- | Ast0.MetaExpr(name,_,ty,_,_) ->
- mcode print_meta name; print_types ty
+ | Ast0.MetaExpr(name,_,ty,_,pure) ->
+ mcode print_meta name; print_types ty(*;
+ print_string "^";
+ (match pure with
+ Ast0.Pure -> print_string "pure"
+ | Ast0.Impure -> print_string "impure"
+ | Ast0.Context -> print_string "context"
+ | Ast0.PureContext -> print_string "pure_context")*)
| Ast0.MetaExprList(name,_,_) -> mcode print_meta name
| Ast0.EComma(cm) -> mcode print_string cm; print_space()
| Ast0.DisjExpr(_,exp_list,_,_) ->
match Ast0.unwrap t with
Ast0.ConstVol(cv,ty) ->
mcode U.const_vol cv; print_string " "; typeC ty
- | Ast0.BaseType(ty,sgn) ->
- print_option (mcode U.sign) sgn; mcode U.baseType ty
- | Ast0.ImplicitInt(sgn) -> mcode U.sign sgn
+ | Ast0.BaseType(ty,strings) ->
+ List.iter (function s -> mcode print_string s; print_string " ")
+ strings
+ | Ast0.Signed(sgn,ty) -> mcode U.sign sgn; print_option typeC ty
| Ast0.Pointer(ty,star) -> typeC ty; mcode print_string star
| Ast0.FunctionPointer(ty,lp1,star,rp1,lp2,params,rp2) ->
print_function_pointer (ty,lp1,star,rp1,lp2,params,rp2)
| Ast0.Array(ty,lb,size,rb) ->
typeC ty; mcode print_string lb; print_option expression size;
mcode print_string rb
+ | Ast0.EnumName(kind,name) -> mcode print_string kind; print_string " ";
+ ident name
| Ast0.StructUnionName(kind,name) ->
mcode U.structUnion kind;
print_option (function x -> ident x; print_string " ") name
(function _ -> print_string "\n|"; force_newline())
declaration decls;
print_string "\n)"
- | Ast0.Ddots(dots,Some whencode) ->
+ | Ast0.Ddots(dots,Some whencode) ->
mcode print_string dots; print_string " when != ";
declaration whencode
| Ast0.Ddots(dots,None) -> mcode print_string dots
print_context i
(function _ ->
match Ast0.unwrap i with
- Ast0.InitExpr(exp) -> expression exp
+ Ast0.MetaInit(name,_)-> mcode print_meta name; print_string " "
+ | Ast0.InitExpr(exp) -> expression exp
| Ast0.InitList(lb,initlist,rb) ->
mcode print_string lb; open_box 0;
let _ = dots (function _ -> ()) initialiser initlist in
close_box(); mcode print_string rb
- | Ast0.InitGccDotName(dot,name,eq,ini) ->
- mcode print_string dot; ident name; print_string " ";
+ | Ast0.InitGccExt(designators,eq,ini) ->
+ List.iter designator designators; print_string " ";
mcode print_string eq; print_string " "; initialiser ini
| Ast0.InitGccName(name,eq,ini) ->
ident name; mcode print_string eq; initialiser ini
- | Ast0.InitGccIndex(lb,exp,rb,eq,ini) ->
- mcode print_string lb; expression exp; mcode print_string rb;
- print_string " "; mcode print_string eq; print_string " ";
- initialiser ini
- | Ast0.InitGccRange(lb,exp1,dots,exp2,rb,eq,ini) ->
- mcode print_string lb; expression exp1; mcode print_string dots;
- expression exp2; mcode print_string rb;
- print_string " "; mcode print_string eq; print_string " ";
- initialiser ini
| Ast0.IComma(cm) -> mcode print_string cm; force_newline()
| Ast0.Idots(d,Some whencode) ->
mcode print_string d; print_string " WHEN != ";
| Ast0.OptIni(ini) -> print_string "?"; initialiser ini
| Ast0.UniqueIni(ini) -> print_string "!"; initialiser ini)
+and designator = function
+ Ast0.DesignatorField(dot,id) -> mcode print_string dot; ident id
+ | Ast0.DesignatorIndex(lb,exp,rb) ->
+ mcode print_string lb; expression exp; mcode print_string rb
+ | Ast0.DesignatorRange(lb,min,dots,max,rb) ->
+ mcode print_string lb; expression min; mcode print_string dots;
+ expression max; mcode print_string rb
+
and initialiser_list l = dots (function _ -> ()) initialiser l
(* --------------------------------------------------------------------- *)
mcode print_string iff; print_string " "; mcode print_string_box lp;
expression exp; close_box(); mcode print_string rp; print_string " ";
statement arity branch1;
- mcode (function _ -> ()) ((),(),info,aft,ref Ast0.NoMetaPos)
+ mcode (function _ -> ()) ((),(),info,aft,ref Ast0.NoMetaPos,-1)
| Ast0.IfThenElse(iff,lp,exp,rp,branch1,els,branch2,(info,aft)) ->
print_string arity;
mcode print_string iff; print_string " "; mcode print_string_box lp;
statement arity branch1;
print_string arity; mcode print_string els; print_string " ";
statement arity branch2;
- mcode (function _ -> ()) ((),(),info,aft,ref Ast0.NoMetaPos)
+ mcode (function _ -> ()) ((),(),info,aft,ref Ast0.NoMetaPos,-1)
| Ast0.While(whl,lp,exp,rp,body,(info,aft)) ->
print_string arity;
mcode print_string whl; print_string " "; mcode print_string_box lp;
expression exp; close_box(); mcode print_string rp; print_string " ";
statement arity body;
- mcode (function _ -> ()) ((),(),info,aft,ref Ast0.NoMetaPos)
+ mcode (function _ -> ()) ((),(),info,aft,ref Ast0.NoMetaPos,-1)
| Ast0.Do(d,body,whl,lp,exp,rp,sem) ->
print_string arity; mcode print_string d; print_string " ";
statement arity body;
print_option expression e2; mcode print_string sem2;
print_option expression e3; close_box();
mcode print_string rp; print_string " "; statement arity body;
- mcode (function _ -> ()) ((),(),info,aft,ref Ast0.NoMetaPos)
+ mcode (function _ -> ()) ((),(),info,aft,ref Ast0.NoMetaPos,-1)
| Ast0.Iterator(nm,lp,args,rp,body,(info,aft)) ->
print_string arity;
ident nm; print_string " "; mcode print_string_box lp;
let _ = dots (function _ -> ()) expression args in
close_box(); mcode print_string rp; print_string " ";
statement arity body;
- mcode (function _ -> ()) ((),(),info,aft,ref Ast0.NoMetaPos)
- | Ast0.Switch(switch,lp,exp,rp,lb,cases,rb) ->
+ mcode (function _ -> ()) ((),(),info,aft,ref Ast0.NoMetaPos,-1)
+ | Ast0.Switch(switch,lp,exp,rp,lb,decls,cases,rb) ->
print_string arity;
mcode print_string switch; print_string " ";
mcode print_string_box lp; expression exp; close_box();
mcode print_string rp; print_string " "; mcode print_string lb;
+ dots force_newline (statement arity) decls;
dots force_newline (case_line arity) cases;
mcode print_string rb
| Ast0.Break(br,sem) ->
| Ast0.PureContext -> print_string "pure_context")*)
| Ast0.MetaStmtList(name,_) ->
print_string arity; mcode print_meta name
- | Ast0.Disj(_,statement_dots_list,_,_) ->
+ | Ast0.Disj(starter,statement_dots_list,_,ender) ->
print_string arity;
- print_string "\n("; force_newline();
+ print_string "\n"; mcode print_string starter; force_newline();
print_between
(function _ -> print_string "\n|"; force_newline())
(dots force_newline (statement arity))
statement_dots_list;
- print_string "\n)"
+ print_string "\n"; mcode print_string ender
| Ast0.Nest(starter,stmt_dots,ender,whn,multi) ->
print_string arity;
mcode print_string starter;
mcode print_string case; print_string " "; expression exp;
mcode print_string colon; print_string " ";
dots force_newline (statement arity) code
+ | Ast0.DisjCase(starter,case_lines,mids,ender) ->
+ print_string "\n("; force_newline();
+ print_between
+ (function _ -> print_string "\n|"; force_newline())
+ (case_line arity) case_lines;
+ print_string "\n)"
| Ast0.OptCase(case) -> case_line "?" case)
and statement_dots l = dots (function _ -> ()) (statement "") l