(*
- * Copyright 2010, INRIA, University of Copenhagen
+ * Copyright 2012, INRIA
+ * Julia Lawall, Gilles Muller
+ * Copyright 2010-2011, INRIA, University of Copenhagen
* Julia Lawall, Rene Rydhof Hansen, Gilles Muller, Nicolas Palix
* Copyright 2005-2009, Ecole des Mines de Nantes, University of Copenhagen
* Yoann Padioleau, Julia Lawall, Rene Rydhof Hansen, Henrik Stuart, Gilles Muller, Nicolas Palix
*)
+# 0 "./pretty_print_engine.ml"
open Common.Infix
open Lib_engine
| Ast_c.MetaExprListVal expr_list -> pp "<<exprlist>>"
| Ast_c.MetaInitVal ini ->
Pretty_print_c.pp_init_simple ini
+ | Ast_c.MetaInitListVal ini -> pp "<<initlist>>"
| Ast_c.MetaTypeVal typ ->
Pretty_print_c.pp_type_simple typ
| Ast_c.MetaDeclVal decl ->
Pretty_print_c.pp_decl_simple decl
| Ast_c.MetaFieldVal decl ->
Pretty_print_c.pp_field_simple decl
+ | Ast_c.MetaFieldListVal decls ->
+ List.iter Pretty_print_c.pp_field_simple decls
| Ast_c.MetaStmtVal statement ->
Pretty_print_c.pp_statement_simple statement
| Ast_c.MetaParamVal params -> pp "<<param>>"
| FallThrough -> pp "FallThrough"
| LoopFallThrough -> pp "LoopFallThrough"
| Return -> pp "Return"
+ | UnsafeBrace -> pp "UnsafeBrace"
| FunHeader -> pp "FunHeader"
| Top -> pp "Top"
| ErrorExit -> pp "ErrorExit"