1 /* Implementation of subroutines for the GNU C++ pretty-printer.
2 Copyright (C) 2003 Free Software Foundation, Inc.
3 Contributed by Gabriel Dos Reis <gdr@integrable-solutions.net>
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 2, or (at your option) any later
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING. If not, write to the Free
19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
24 #include "coretypes.h"
27 #include "cxx-pretty-print.h"
31 static void pp_cxx_unqualified_id (cxx_pretty_printer *, tree);
32 static void pp_cxx_nested_name_specifier (cxx_pretty_printer *, tree);
33 static void pp_cxx_qualified_id (cxx_pretty_printer *, tree);
34 static void pp_cxx_assignment_expression (cxx_pretty_printer *, tree);
35 static void pp_cxx_expression (cxx_pretty_printer *, tree);
36 static void pp_cxx_template_argument_list (cxx_pretty_printer *, tree);
37 static void pp_cxx_type_specifier_seq (cxx_pretty_printer *, tree);
38 static void pp_cxx_ptr_operator (cxx_pretty_printer *, tree);
39 static void pp_cxx_type_id (cxx_pretty_printer *, tree);
40 static void pp_cxx_direct_abstract_declarator (cxx_pretty_printer *, tree);
41 static void pp_cxx_declarator (cxx_pretty_printer *, tree);
42 static void pp_cxx_abstract_declarator (cxx_pretty_printer *, tree);
43 static void pp_cxx_template_parameter (cxx_pretty_printer *, tree);
45 #define pp_cxx_whitespace(PP) pp_c_whitespace (pp_c_base (PP))
46 #define pp_cxx_left_paren(PP) pp_c_left_paren (pp_c_base (PP))
47 #define pp_cxx_right_paren(PP) pp_c_right_paren (pp_c_base (PP))
48 #define pp_cxx_dot(PP) pp_c_dot (pp_c_base (PP))
49 #define pp_cxx_arrow(PP) pp_c_arrow (pp_c_base (PP))
50 #define pp_cxx_semicolon(PP) pp_c_semicolon (pp_c_base (PP))
53 pp_cxx_nonconsecutive_character (cxx_pretty_printer *pp, int c)
55 const char *p = pp_last_position_in_text (pp);
57 if (p != NULL && *p == c)
58 pp_cxx_whitespace (pp);
60 pp_base (pp)->padding = pp_none;
63 #define pp_cxx_begin_template_argument_list(PP) \
64 pp_cxx_nonconsecutive_character (PP, '<')
65 #define pp_cxx_end_template_argument_list(PP) \
66 pp_cxx_nonconsecutive_character (PP, '>')
68 #define pp_cxx_identifier(PP, ID) pp_c_identifier (pp_c_base (PP), ID)
69 #define pp_cxx_tree_identifier(PP, T) pp_c_tree_identifier (pp_c_base (PP), T)
71 #define pp_cxx_cv_qualifier_seq(PP, T) \
72 pp_c_type_qualifier_list (pp_c_base (PP), T)
73 #define pp_cxx_storage_class_specifier(PP, T) \
74 pp_c_storage_class_specifier (pp_c_base (PP), T)
75 #define pp_cxx_expression_list(PP, T) \
76 pp_c_expression_list (pp_c_base (PP), T)
77 #define pp_cxx_space_for_pointer_operator(PP, T) \
78 pp_c_space_for_pointer_operator (pp_c_base (PP), T)
79 #define pp_cxx_init_declarator(PP, T) \
80 pp_c_init_declarator (pp_c_base (PP), T)
81 #define pp_cxx_call_argument_list(PP, T) \
82 pp_c_call_argument_list (pp_c_base (PP), T)
85 pp_cxx_colon_colon (cxx_pretty_printer *pp)
88 pp_base (pp)->padding = pp_none;
95 is_destructor_name (tree name)
97 return name == complete_dtor_identifier
98 || name == base_dtor_identifier
99 || name == deleting_dtor_identifier;
102 /* conversion-function-id:
103 operator conversion-type-id
106 type-specifier-seq conversion-declarator(opt)
108 conversion-declarator:
109 ptr-operator conversion-declarator(opt) */
111 pp_cxx_conversion_function_id (cxx_pretty_printer *pp, tree t)
113 pp_cxx_identifier (pp, "operator");
114 pp_cxx_type_specifier_seq (pp, TREE_TYPE (t));
118 pp_cxx_template_id (cxx_pretty_printer *pp, tree t)
120 pp_cxx_unqualified_id (pp, TREE_OPERAND (t, 0));
121 pp_cxx_begin_template_argument_list (pp);
122 pp_cxx_template_argument_list (pp, TREE_OPERAND (t, 1));
123 pp_cxx_end_template_argument_list (pp);
129 conversion-function-id
133 pp_cxx_unqualified_id (cxx_pretty_printer *pp, tree t)
135 enum tree_code code = TREE_CODE (t);
139 pp_cxx_identifier (pp, "<return-value>");
156 case IDENTIFIER_NODE:
158 pp_cxx_identifier (pp, "<anonymous>");
159 else if (IDENTIFIER_TYPENAME_P (t))
160 pp_cxx_conversion_function_id (pp, t);
163 if (is_destructor_name (t))
166 /* FIXME: Why is this necessary? */
168 t = constructor_name (TREE_TYPE (t));
170 pp_cxx_tree_identifier (pp, t);
174 case TEMPLATE_ID_EXPR:
175 pp_cxx_template_id (pp, t);
181 pp_cxx_unqualified_id (pp, TYPE_NAME (t));
184 case TEMPLATE_TYPE_PARM:
186 case TEMPLATE_PARM_INDEX:
187 pp_cxx_unqualified_id (pp, TEMPLATE_PARM_DECL (t));
191 pp_unsupported_tree (pp, t);
197 pp_cxx_template_keyword_if_needed (cxx_pretty_printer *pp, tree scope, tree t)
199 if (TREE_CODE (t) == TEMPLATE_ID_EXPR
200 && TYPE_P (scope) && dependent_type_p (scope))
201 pp_cxx_identifier (pp, "template");
204 /* nested-name-specifier:
205 class-or-namespace-name :: nested-name-specifier(opt)
206 class-or-namespace-name :: template nested-name-specifier */
208 pp_cxx_nested_name_specifier (cxx_pretty_printer *pp, tree t)
210 if (t != NULL && t != pp->enclosing_scope)
212 tree scope = TYPE_P (t) ? TYPE_CONTEXT (t) : DECL_CONTEXT (t);
213 pp_cxx_nested_name_specifier (pp, scope);
214 pp_cxx_template_keyword_if_needed (pp, scope, t);
215 pp_cxx_unqualified_id (pp, t);
216 pp_cxx_colon_colon (pp);
221 nested-name-specifier template(opt) unqualified-id */
223 pp_cxx_qualified_id (cxx_pretty_printer *pp, tree t)
225 switch (TREE_CODE (t))
228 pp_cxx_nested_name_specifier (pp, PTRMEM_CST_CLASS (t));
229 pp_cxx_unqualified_id (pp, PTRMEM_CST_MEMBER (t));
235 if (DECL_FUNCTION_MEMBER_P (t))
236 pp_cxx_nested_name_specifier (pp, DECL_CONTEXT (t));
237 pp_cxx_unqualified_id
238 (pp, DECL_CONSTRUCTOR_P (t) ? DECL_CONTEXT (t) : t);
243 pp_cxx_nested_name_specifier (pp, TREE_OPERAND (t, 0));
244 pp_cxx_unqualified_id (pp, TREE_OPERAND (t, 1));
249 tree scope = TYPE_P (t) ? TYPE_CONTEXT (t) : DECL_CONTEXT (t);
250 if (scope != pp->enclosing_scope)
252 pp_cxx_nested_name_specifier (pp, scope);
253 pp_cxx_template_keyword_if_needed (pp, scope, t);
255 pp_cxx_unqualified_id (pp, t);
265 pp_cxx_id_expression (cxx_pretty_printer *pp, tree t)
267 if (TREE_CODE (t) == OVERLOAD)
269 if ((TREE_CODE (t) == FUNCTION_DECL && DECL_FUNCTION_MEMBER_P (t))
270 || (pp_c_base (pp)->flags
271 & (pp_cxx_flag_qualified_id | pp_cxx_flag_global_scope)))
272 pp_cxx_qualified_id (pp, t);
274 pp_cxx_unqualified_id (pp, t);
277 /* primary-expression:
281 :: operator-function-id
286 pp_cxx_primary_expression (cxx_pretty_printer *pp, tree t)
288 switch (TREE_CODE (t))
293 pp_c_constant (pp_c_base (pp), t);
297 t = BASELINK_FUNCTIONS (t);
305 pp_cxx_id_expression (pp, t);
309 case TEMPLATE_TYPE_PARM:
310 case TEMPLATE_PARM_INDEX:
311 pp_cxx_unqualified_id (pp, t);
315 pp_c_primary_expression (pp_c_base (pp), t);
320 /* postfix-expression:
322 postfix-expression [ expression ]
323 postfix-expression ( expression-list(opt) )
324 simple-type-specifier ( expression-list(opt) )
325 typename ::(opt) nested-name-specifier identifier ( expression-list(opt) )
326 typename ::(opt) nested-name-specifier template(opt)
327 template-id ( expression-list(opt) )
328 postfix-expression . template(opt) ::(opt) id-expression
329 postfix-expression -> template(opt) ::(opt) id-expression
330 postfix-expression . pseudo-destructor-name
331 postfix-expression -> pseudo-destructor-name
332 postfix-expression ++
333 postfix-expression --
334 dynamic_cast < type-id > ( expression )
335 static_cast < type-id > ( expression )
336 reinterpret_cast < type-id > ( expression )
337 const_cast < type-id > ( expression )
338 typeid ( expression )
339 typeif ( type-id ) */
342 pp_cxx_postfix_expression (cxx_pretty_printer *pp, tree t)
344 enum tree_code code = TREE_CODE (t);
351 tree fun = TREE_OPERAND (t, 0);
352 tree args = TREE_OPERAND (t, 1);
353 tree saved_scope = pp->enclosing_scope;
355 if (TREE_CODE (fun) == ADDR_EXPR)
356 fun = TREE_OPERAND (fun, 0);
358 /* In templates, where there is no way to tell whether a given
359 call uses an actual member function. So the parser builds
360 FUN as a COMPONENT_REF or a plain IDENTIFIER_NODE until
361 instantiation time. */
362 if (TREE_CODE (fun) != FUNCTION_DECL)
364 else if (DECL_NONSTATIC_MEMBER_FUNCTION_P (fun))
366 tree object = code == AGGR_INIT_EXPR && AGGR_INIT_VIA_CTOR_P (t)
367 ? TREE_OPERAND (t, 2)
370 while (TREE_CODE (object) == NOP_EXPR)
371 object = TREE_OPERAND (object, 0);
373 if (TREE_CODE (object) == ADDR_EXPR)
374 object = TREE_OPERAND (object, 0);
376 if (TREE_CODE (TREE_TYPE (object)) != POINTER_TYPE)
378 pp_cxx_postfix_expression (pp, object);
383 pp_cxx_postfix_expression (pp, object);
386 args = TREE_CHAIN (args);
387 pp->enclosing_scope = strip_pointer_operator (TREE_TYPE (object));
390 pp_cxx_postfix_expression (pp, fun);
391 pp->enclosing_scope = saved_scope;
392 pp_cxx_call_argument_list (pp, args);
394 if (code == AGGR_INIT_EXPR && AGGR_INIT_VIA_CTOR_P (t))
396 pp_separate_with (pp, ',');
397 pp_cxx_postfix_expression (pp, TREE_OPERAND (t, 2));
410 pp_cxx_primary_expression (pp, t);
413 case DYNAMIC_CAST_EXPR:
414 case STATIC_CAST_EXPR:
415 case REINTERPRET_CAST_EXPR:
416 case CONST_CAST_EXPR:
417 if (code == DYNAMIC_CAST_EXPR)
418 pp_identifier (pp, "dynamic_cast");
419 else if (code == STATIC_CAST_EXPR)
420 pp_identifier (pp, "static_cast");
421 else if (code == REINTERPRET_CAST_EXPR)
422 pp_identifier (pp, "reinterpret_cast");
424 pp_identifier (pp, "const_cast");
425 pp_cxx_begin_template_argument_list (pp);
426 pp_cxx_type_id (pp, TREE_TYPE (t));
427 pp_cxx_end_template_argument_list (pp);
429 pp_cxx_expression (pp, TREE_OPERAND (t, 0));
433 case EMPTY_CLASS_EXPR:
434 pp_cxx_type_id (pp, TREE_TYPE (t));
440 t = TREE_OPERAND (t, 0);
441 pp_cxx_identifier (pp, "typeid");
444 pp_cxx_type_id (pp, t);
446 pp_cxx_expression (pp, t);
450 case PSEUDO_DTOR_EXPR:
451 pp_cxx_postfix_expression (pp, TREE_OPERAND (t, 0));
453 pp_cxx_qualified_id (pp, TREE_OPERAND (t, 1));
454 pp_cxx_colon_colon (pp);
456 pp_cxx_unqualified_id (pp, TREE_OPERAND (t, 2));
460 pp_c_postfix_expression (pp_c_base (pp), t);
466 ::(opt) new new-placement(opt) new-type-id new-initializer(opt)
467 ::(opt) new new-placement(opt) ( type-id ) new-initializer(opt)
473 type-specifier-seq new-declarator(opt)
476 ptr-operator new-declarator(opt)
477 direct-new-declarator
479 direct-new-declarator
481 direct-new-declarator [ constant-expression ]
484 ( expression-list(opt) ) */
486 pp_cxx_new_expression (cxx_pretty_printer *pp, tree t)
488 enum tree_code code = TREE_CODE (t);
493 if (NEW_EXPR_USE_GLOBAL (t))
494 pp_cxx_colon_colon (pp);
495 pp_cxx_identifier (pp, "new");
496 if (TREE_OPERAND (t, 0))
498 pp_cxx_call_argument_list (pp, TREE_OPERAND (t, 0));
501 /* FIXME: array-types are built with one more element. */
502 pp_cxx_type_id (pp, TREE_OPERAND (t, 1));
503 if (TREE_OPERAND (t, 2))
506 t = TREE_OPERAND (t, 2);
507 if (TREE_CODE (t) == TREE_LIST)
508 pp_c_expression_list (pp_c_base (pp), t);
509 else if (t == void_zero_node)
510 ; /* OK, empty initializer list. */
512 pp_cxx_expression (pp, t);
518 pp_unsupported_tree (pp, t);
522 /* delete-expression:
523 ::(opt) delete cast-expression
524 ::(opt) delete [ ] cast-expression */
526 pp_cxx_delete_expression (cxx_pretty_printer *pp, tree t)
528 enum tree_code code = TREE_CODE (t);
532 case VEC_DELETE_EXPR:
533 if (DELETE_EXPR_USE_GLOBAL (t))
534 pp_cxx_colon_colon (pp);
535 pp_cxx_identifier (pp, "delete");
536 if (code == VEC_DELETE_EXPR)
538 pp_left_bracket (pp);
539 pp_right_bracket (pp);
541 pp_c_cast_expression (pp_c_base (pp), TREE_OPERAND (t, 0));
545 pp_unsupported_tree (pp, t);
553 unary-operator cast-expression
554 sizeof unary-expression
559 unary-operator: one of
563 __alignof__ unary-expression
564 __alignof__ ( type-id ) */
566 pp_cxx_unary_expression (cxx_pretty_printer *pp, tree t)
568 enum tree_code code = TREE_CODE (t);
573 pp_cxx_new_expression (pp, t);
577 case VEC_DELETE_EXPR:
578 pp_cxx_delete_expression (pp, t);
582 pp_c_unary_expression (pp_c_base (pp), t);
589 ( type-id ) cast-expression */
591 pp_cxx_cast_expression (cxx_pretty_printer *pp, tree t)
593 switch (TREE_CODE (t))
596 pp_cxx_type_id (pp, TREE_TYPE (t));
597 pp_cxx_call_argument_list (pp, TREE_OPERAND (t, 0));
601 pp_c_cast_expression (pp_c_base (pp), t);
608 pm-expression .* cast-expression
609 pm-expression ->* cast-expression */
611 pp_cxx_pm_expression (cxx_pretty_printer *pp, tree t)
613 switch (TREE_CODE (t))
615 /* Handle unfortunate OFFESET_REF overloading here. */
617 if (TYPE_P (TREE_OPERAND (t, 0)))
619 pp_cxx_qualified_id (pp, t);
622 /* else fall through */
625 pp_cxx_pm_expression (pp, TREE_OPERAND (t, 0));
628 pp_cxx_cast_expression (pp, TREE_OPERAND (t, 1));
633 pp_cxx_cast_expression (pp, t);
638 /* multiplicative-expression:
640 multiplicative-expression * pm-expression
641 multiplicative-expression / pm-expression
642 multiplicative-expression % pm-expression */
644 pp_cxx_multiplicative_expression (cxx_pretty_printer *pp, tree e)
646 enum tree_code code = TREE_CODE (e);
652 pp_cxx_multiplicative_expression (pp, TREE_OPERAND (e, 0));
654 if (code == MULT_EXPR)
656 else if (code == TRUNC_DIV_EXPR)
661 pp_cxx_pm_expression (pp, TREE_OPERAND (e, 1));
665 pp_cxx_pm_expression (pp, e);
670 /* conditional-expression:
671 logical-or-expression
672 logical-or-expression ? expression : assignment-expression */
674 pp_cxx_conditional_expression (cxx_pretty_printer *pp, tree e)
676 if (TREE_CODE (e) == COND_EXPR)
678 pp_c_logical_or_expression (pp_c_base (pp), TREE_OPERAND (e, 0));
682 pp_cxx_expression (pp, TREE_OPERAND (e, 1));
684 pp_cxx_assignment_expression (pp, TREE_OPERAND (e, 2));
687 pp_c_logical_or_expression (pp_c_base (pp), e);
691 pp_cxx_assignment_operator (cxx_pretty_printer *pp, tree t)
695 switch (TREE_CODE (t))
718 op = tree_code_name[TREE_CODE (t)];
722 pp_cxx_identifier (pp, op);
726 /* assignment-expression:
727 conditional-expression
728 logical-or-expression assignment-operator assignment-expression
732 throw assignment-expression(opt)
734 assignment-operator: one of
735 = *= /= %= += -= >>= <<= &= ^= |= */
737 pp_cxx_assignment_expression (cxx_pretty_printer *pp, tree e)
739 switch (TREE_CODE (e))
743 pp_c_logical_or_expression (pp_c_base (pp), TREE_OPERAND (e, 0));
747 pp_cxx_assignment_expression (pp, TREE_OPERAND (e, 1));
751 pp_cxx_identifier (pp, "throw");
752 if (TREE_OPERAND (e, 0))
753 pp_cxx_assignment_expression (pp, TREE_OPERAND (e, 0));
757 pp_c_logical_or_expression (pp_c_base (pp), TREE_OPERAND (e, 0));
758 pp_cxx_assignment_operator (pp, TREE_OPERAND (e, 1));
759 pp_cxx_assignment_expression (pp, TREE_OPERAND (e, 2));
763 pp_cxx_conditional_expression (pp, e);
769 pp_cxx_expression (cxx_pretty_printer *pp, tree t)
771 switch (TREE_CODE (t))
776 pp_c_constant (pp_c_base (pp), t);
780 pp_cxx_unqualified_id (pp, t);
788 pp_cxx_qualified_id (pp, t);
800 case TEMPLATE_TYPE_PARM:
801 case TEMPLATE_PARM_INDEX:
802 pp_cxx_primary_expression (pp, t);
806 case DYNAMIC_CAST_EXPR:
807 case STATIC_CAST_EXPR:
808 case REINTERPRET_CAST_EXPR:
809 case CONST_CAST_EXPR:
813 case EMPTY_CLASS_EXPR:
815 case PSEUDO_DTOR_EXPR:
817 pp_cxx_postfix_expression (pp, t);
822 pp_cxx_new_expression (pp, t);
826 case VEC_DELETE_EXPR:
827 pp_cxx_delete_expression (pp, t);
831 pp_cxx_cast_expression (pp, t);
837 pp_cxx_pm_expression (pp, t);
843 pp_cxx_multiplicative_expression (pp, t);
847 pp_cxx_conditional_expression (pp, t);
854 pp_cxx_assignment_expression (pp, t);
858 pp_c_expression (pp_c_base (pp), t);
866 /* function-specifier:
871 pp_cxx_function_specifier (cxx_pretty_printer *pp, tree t)
873 switch (TREE_CODE (t))
876 if (DECL_VIRTUAL_P (t))
877 pp_cxx_identifier (pp, "virtual");
878 else if (DECL_CONSTRUCTOR_P (t) && DECL_NONCONVERTING_P (t))
879 pp_cxx_identifier (pp, "explicit");
881 pp_c_function_specifier (pp_c_base (pp), t);
888 /* decl-specifier-seq:
889 decl-specifier-seq(opt) decl-specifier
892 storage-class-specifier
898 pp_cxx_decl_specifier_seq (cxx_pretty_printer *pp, tree t)
900 switch (TREE_CODE (t))
906 pp_cxx_storage_class_specifier (pp, t);
907 pp_cxx_decl_specifier_seq (pp, TREE_TYPE (t));
911 pp_cxx_identifier (pp, "typedef");
912 pp_cxx_decl_specifier_seq (pp, TREE_TYPE (t));
916 if (TYPE_PTRMEMFUNC_P (t))
918 tree pfm = TYPE_PTRMEMFUNC_FN_TYPE (t);
919 pp_cxx_decl_specifier_seq (pp, TREE_TYPE (TREE_TYPE (pfm)));
920 pp_cxx_whitespace (pp);
921 pp_cxx_ptr_operator (pp, t);
926 /* Constructors don't have return types. And conversion functions
927 do not have a type-specifier in their return types. */
928 if (DECL_CONSTRUCTOR_P (t) || DECL_CONV_FN_P (t))
929 pp_cxx_function_specifier (pp, t);
930 else if (DECL_NONSTATIC_MEMBER_FUNCTION_P (t))
931 pp_cxx_decl_specifier_seq (pp, TREE_TYPE (TREE_TYPE (t)));
934 pp_c_declaration_specifiers (pp_c_base (pp), t);
939 /* simple-type-specifier:
940 ::(opt) nested-name-specifier(opt) type-name
941 ::(opt) nested-name-specifier(opt) template(opt) template-id
954 pp_cxx_simple_type_specifier (cxx_pretty_printer *pp, tree t)
956 switch (TREE_CODE (t))
961 pp_cxx_qualified_id (pp, t);
964 case TEMPLATE_TYPE_PARM:
965 case TEMPLATE_PARM_INDEX:
966 pp_cxx_unqualified_id (pp, t);
970 pp_cxx_identifier (pp, "typename");
971 pp_cxx_nested_name_specifier (pp, TYPE_CONTEXT (t));
972 pp_cxx_unqualified_id (pp, TYPE_NAME (t));
976 pp_c_type_specifier (pp_c_base (pp), t);
981 /* type-specifier-seq:
982 type-specifier type-specifier-seq(opt)
985 simple-type-specifier
988 elaborated-type-specifier
992 pp_cxx_type_specifier_seq (cxx_pretty_printer *pp, tree t)
994 pp_c_type_qualifier_list (pp_c_base (pp), t);
996 switch (TREE_CODE (t))
999 case TEMPLATE_TYPE_PARM:
1001 case BOUND_TEMPLATE_TEMPLATE_PARM:
1002 pp_cxx_simple_type_specifier (pp, t);
1006 pp_cxx_type_specifier_seq (pp, TREE_TYPE (t));
1007 pp_cxx_space_for_pointer_operator (pp, TREE_TYPE (t));
1008 pp_cxx_nested_name_specifier (pp, TYPE_METHOD_BASETYPE (t));
1012 if (!(TREE_CODE (t) == FUNCTION_DECL && DECL_CONSTRUCTOR_P (t)))
1013 pp_c_specifier_qualifier_list (pp_c_base (pp), t);
1018 * cv-qualifier-seq(opt)
1020 ::(opt) nested-name-specifier * cv-qualifier-seq(opt) */
1023 pp_cxx_ptr_operator (cxx_pretty_printer *pp, tree t)
1025 if (!TYPE_P (t) && TREE_CODE (t) != TYPE_DECL)
1027 switch (TREE_CODE (t))
1029 case REFERENCE_TYPE:
1031 if (TREE_CODE (TREE_TYPE (t)) == POINTER_TYPE
1032 || TYPE_PTR_TO_MEMBER_P (TREE_TYPE (t)))
1033 pp_cxx_ptr_operator (pp, TREE_TYPE (t));
1034 if (TREE_CODE (t) == POINTER_TYPE)
1037 pp_cxx_cv_qualifier_seq (pp, t);
1044 if (TYPE_PTRMEMFUNC_P (t))
1046 pp_cxx_left_paren (pp);
1047 pp_cxx_nested_name_specifier (pp, TYPE_PTRMEMFUNC_OBJECT_TYPE (t));
1052 if (TYPE_PTR_TO_MEMBER_P (t))
1054 pp_cxx_nested_name_specifier (pp, TYPE_PTRMEM_CLASS_TYPE (t));
1056 pp_cxx_cv_qualifier_seq (pp, t);
1059 /* else fall trhough. */
1062 pp_unsupported_tree (pp, t);
1068 pp_cxx_implicit_parameter_type (tree mf)
1070 return TREE_TYPE (TREE_VALUE (TYPE_ARG_TYPES (TREE_TYPE (mf))));
1074 parameter-declaration:
1075 decl-specifier-seq declarator
1076 decl-specifier-seq declarator = assignment-expression
1077 decl-specifier-seq abstract-declarator(opt)
1078 decl-specifier-seq abstract-declarator(opt) assignment-expression */
1080 pp_cxx_parameter_declaration (cxx_pretty_printer *pp, tree t)
1082 pp_cxx_decl_specifier_seq (pp, t);
1084 pp_cxx_abstract_declarator (pp, t);
1086 pp_cxx_declarator (pp, t);
1089 /* parameter-declaration-clause:
1090 parameter-declaration-list(opt) ...(opt)
1091 parameter-declaration-list , ...
1093 parameter-declaration-list:
1094 parameter-declaration
1095 parameter-declaration-list , parameter-declaration */
1097 pp_cxx_parameter_declaration_clause (cxx_pretty_printer *pp, tree t)
1099 tree args = TYPE_P (t) ? NULL : FUNCTION_FIRST_USER_PARM (t);
1100 tree types = TYPE_P (t) ? TYPE_ARG_TYPES (t) : FUNCTION_FIRST_USER_PARMTYPE (t);
1101 const bool abstract = args == NULL
1102 || pp_c_base (pp)->flags & pp_c_flag_abstract;
1105 /* Skip artificial parameter for nonstatic member functions. */
1106 if (TREE_CODE (t) == METHOD_TYPE)
1107 types = TREE_CHAIN (types);
1109 pp_cxx_left_paren (pp);
1110 for (; args; args = TREE_CHAIN (args), types = TREE_CHAIN (types))
1113 pp_separate_with (pp, ',');
1115 pp_cxx_parameter_declaration (pp, abstract ? TREE_VALUE (types) : args);
1116 if (!abstract && pp_c_base (pp)->flags & pp_cxx_flag_default_argument)
1118 pp_cxx_whitespace (pp);
1120 pp_cxx_whitespace (pp);
1121 pp_cxx_assignment_expression (pp, TREE_PURPOSE (types));
1124 pp_cxx_right_paren (pp);
1127 /* exception-specification:
1128 throw ( type-id-list(opt) )
1132 type-id-list , type-id */
1134 pp_cxx_exception_specification (cxx_pretty_printer *pp, tree t)
1136 tree ex_spec = TYPE_RAISES_EXCEPTIONS (t);
1138 if (!TYPE_NOTHROW_P (t) && ex_spec == NULL)
1140 pp_cxx_identifier (pp, "throw");
1141 pp_cxx_left_paren (pp);
1142 for (; ex_spec && TREE_VALUE (ex_spec); ex_spec = TREE_CHAIN (ex_spec))
1144 pp_cxx_type_id (pp, TREE_VALUE (ex_spec));
1145 if (TREE_CHAIN (ex_spec))
1146 pp_separate_with (pp, ',');
1148 pp_cxx_right_paren (pp);
1151 /* direct-declarator:
1153 direct-declarator ( parameter-declaration-clause ) cv-qualifier-seq(opt)
1154 exception-specification(opt)
1155 direct-declaration [ constant-expression(opt) ]
1158 pp_cxx_direct_declarator (cxx_pretty_printer *pp, tree t)
1160 switch (TREE_CODE (t))
1168 pp_cxx_space_for_pointer_operator (pp, TREE_TYPE (t));
1169 pp_cxx_id_expression (pp, DECL_NAME (t));
1171 pp_cxx_abstract_declarator (pp, TREE_TYPE (t));
1175 pp_cxx_space_for_pointer_operator (pp, TREE_TYPE (TREE_TYPE (t)));
1176 pp_cxx_id_expression (pp, t);
1177 pp_cxx_parameter_declaration_clause (pp, t);
1179 if (DECL_NONSTATIC_MEMBER_FUNCTION_P (t))
1181 pp_base (pp)->padding = pp_before;
1182 pp_cxx_cv_qualifier_seq (pp, pp_cxx_implicit_parameter_type (t));
1185 pp_cxx_exception_specification (pp, TREE_TYPE (t));
1190 case TEMPLATE_TYPE_PARM:
1191 case TEMPLATE_PARM_INDEX:
1195 pp_c_direct_declarator (pp_c_base (pp), t);
1202 ptr-operator declarator */
1204 pp_cxx_declarator (cxx_pretty_printer *pp, tree t)
1206 pp_cxx_direct_declarator (pp, t);
1209 /* ctor-initializer:
1210 : mem-initializer-list
1212 mem-initializer-list:
1214 mem-initializer , mem-initializer-list
1217 mem-initializer-id ( expression-list(opt) )
1220 ::(opt) nested-name-specifier(opt) class-name
1223 pp_cxx_ctor_initializer (cxx_pretty_printer *pp, tree t)
1225 t = TREE_OPERAND (t, 0);
1226 pp_cxx_whitespace (pp);
1228 pp_cxx_whitespace (pp);
1229 for (; t; t = TREE_CHAIN (t))
1231 pp_cxx_primary_expression (pp, TREE_PURPOSE (t));
1232 pp_cxx_call_argument_list (pp, TREE_VALUE (t));
1234 pp_separate_with (pp, ',');
1238 /* function-definition:
1239 decl-specifier-seq(opt) declarator ctor-initializer(opt) function-body
1240 decl-specifier-seq(opt) declarator function-try-block */
1243 pp_cxx_function_definition (cxx_pretty_printer *pp, tree t)
1245 tree saved_scope = pp->enclosing_scope;
1246 pp_cxx_decl_specifier_seq (pp, t);
1247 pp_cxx_declarator (pp, t);
1248 pp_needs_newline (pp) = true;
1249 pp->enclosing_scope = DECL_CONTEXT (t);
1250 if (DECL_SAVED_TREE (t))
1252 tree body = DECL_SAVED_TREE (t);
1253 if (TREE_CODE (body) == COMPOUND_STMT
1254 && TREE_CODE (COMPOUND_BODY (body)) == CTOR_INITIALIZER)
1256 body = COMPOUND_BODY (body);
1257 pp_cxx_ctor_initializer (pp, body);
1258 body = TREE_CHAIN (body);
1260 pp_cxx_statement (pp, body);
1264 pp_cxx_semicolon (pp);
1265 pp_needs_newline (pp) = true;
1268 pp->enclosing_scope = saved_scope;
1271 /* abstract-declarator:
1272 ptr-operator abstract-declarator(opt)
1273 direct-abstract-declarator */
1275 pp_cxx_abstract_declarator (cxx_pretty_printer *pp, tree t)
1277 if (TYPE_PTRMEM_P (t) || TYPE_PTRMEMFUNC_P (t))
1278 pp_cxx_right_paren (pp);
1279 else if (POINTER_TYPE_P (t))
1281 if (TREE_CODE (TREE_TYPE (t)) == ARRAY_TYPE
1282 || TREE_CODE (TREE_TYPE (t)) == FUNCTION_TYPE)
1283 pp_cxx_right_paren (pp);
1286 pp_cxx_direct_abstract_declarator (pp, t);
1289 /* direct-abstract-declarator:
1290 direct-abstract-declarator(opt) ( parameter-declaration-clause )
1291 cv-quafilier-seq(opt) exception-specification(opt)
1292 direct-abstract-declarator(opt) [ constant-expression(opt) ]
1293 ( abstract-declarator ) */
1295 pp_cxx_direct_abstract_declarator (cxx_pretty_printer *pp, tree t)
1297 switch (TREE_CODE (t))
1299 case REFERENCE_TYPE:
1300 pp_cxx_abstract_declarator (pp, t);
1304 if (TYPE_PTRMEMFUNC_P (t))
1305 pp_cxx_direct_abstract_declarator (pp, TYPE_PTRMEMFUNC_FN_TYPE (t));
1310 pp_cxx_parameter_declaration_clause (pp, t);
1311 pp_cxx_direct_abstract_declarator (pp, TREE_TYPE (t));
1312 if (TREE_CODE (t) == METHOD_TYPE)
1314 pp_base (pp)->padding = pp_before;
1315 pp_cxx_cv_qualifier_seq
1316 (pp, TREE_TYPE (TREE_VALUE (TYPE_ARG_TYPES (t))));
1318 pp_cxx_exception_specification (pp, t);
1322 case TEMPLATE_TYPE_PARM:
1323 case TEMPLATE_TEMPLATE_PARM:
1324 case BOUND_TEMPLATE_TEMPLATE_PARM:
1325 case UNBOUND_CLASS_TEMPLATE:
1329 pp_c_direct_abstract_declarator (pp_c_base (pp), t);
1335 type-specifier-seq abstract-declarator(opt) */
1337 pp_cxx_type_id (cxx_pretty_printer *pp, tree t)
1339 pp_flags saved_flags = pp_c_base (pp)->flags;
1340 pp_c_base (pp)->flags |= pp_c_flag_abstract;
1342 switch (TREE_CODE (t))
1349 case BOUND_TEMPLATE_TEMPLATE_PARM:
1350 case UNBOUND_CLASS_TEMPLATE:
1351 case TEMPLATE_TEMPLATE_PARM:
1352 case TEMPLATE_TYPE_PARM:
1353 case TEMPLATE_PARM_INDEX:
1356 case TEMPLATE_ID_EXPR:
1357 /* FIXME: Should be pp_cxx_type_specifier_seq. */
1358 pp_cxx_type_specifier_seq (pp, t);
1359 pp_cxx_declarator (pp, t);
1363 pp_c_type_id (pp_c_base (pp), t);
1367 pp_c_base (pp)->flags = saved_flags;
1370 /* template-argument-list:
1372 template-argument-list, template-argument
1375 assignment-expression
1379 pp_cxx_template_argument_list (cxx_pretty_printer *pp, tree t)
1384 for (i = 0; i < TREE_VEC_LENGTH (t); ++i)
1386 tree arg = TREE_VEC_ELT (t, i);
1388 pp_separate_with (pp, ',');
1389 if (TYPE_P (arg) || (TREE_CODE (arg) == TEMPLATE_DECL
1390 && TYPE_P (DECL_TEMPLATE_RESULT (arg))))
1391 pp_cxx_type_id (pp, arg);
1393 pp_cxx_expression (pp, arg);
1399 pp_cxx_exception_declaration (cxx_pretty_printer *pp, tree t)
1401 t = DECL_STMT_DECL (t);
1402 pp_cxx_type_specifier_seq (pp, t);
1404 pp_cxx_abstract_declarator (pp, t);
1406 pp_cxx_declarator (pp, t);
1412 pp_cxx_statement (cxx_pretty_printer *pp, tree t)
1414 switch (TREE_CODE (t))
1417 pp_cxx_identifier (pp, "using");
1418 pp_cxx_identifier (pp, "namespace");
1419 pp_cxx_qualified_id (pp, USING_STMT_NAMESPACE (t));
1423 pp_cxx_identifier (pp, "using");
1424 pp_cxx_nested_name_specifier (pp, DECL_INITIAL (t));
1425 pp_cxx_unqualified_id (pp, DECL_NAME (t));
1432 try compound-statement handler-seq */
1434 pp_maybe_newline_and_indent (pp, 0);
1435 pp_cxx_identifier (pp, "try");
1436 pp_newline_and_indent (pp, 3);
1437 pp_cxx_statement (pp, TRY_STMTS (t));
1438 pp_newline_and_indent (pp, -3);
1442 pp_cxx_statement (pp, TRY_HANDLERS (t));
1447 handler handler-seq(opt)
1450 catch ( exception-declaration ) compound-statement
1452 exception-declaration:
1453 type-specifier-seq declarator
1454 type-specifier-seq abstract-declarator
1457 pp_cxx_identifier (pp, "catch");
1458 pp_cxx_left_paren (pp);
1459 pp_cxx_exception_declaration (pp, HANDLER_PARMS (t));
1460 pp_cxx_right_paren (pp);
1461 pp_indentation (pp) += 3;
1462 pp_needs_newline (pp) = true;
1463 pp_cxx_statement (pp, HANDLER_BODY (t));
1464 pp_indentation (pp) -= 3;
1465 pp_needs_newline (pp) = true;
1469 pp_c_statement (pp_c_base (pp), t);
1474 /* simple-declaration:
1475 decl-specifier-seq(opt) init-declarator-list(opt) */
1477 pp_cxx_simple_declaration (cxx_pretty_printer *pp, tree t)
1479 pp_cxx_decl_specifier_seq (pp, t);
1480 pp_cxx_init_declarator (pp, t);
1481 pp_cxx_semicolon (pp);
1482 pp_needs_newline (pp) = true;
1486 template-parameter-list:
1488 template-parameter-list , template-parameter */
1491 pp_cxx_template_parameter_list (cxx_pretty_printer *pp, tree t)
1493 const int n = TREE_VEC_LENGTH (t);
1495 for (i = 0; i < n; ++i)
1498 pp_separate_with (pp, ',');
1499 pp_cxx_template_parameter (pp, TREE_VEC_ELT (t, i));
1503 /* template-parameter:
1505 parameter-declaration
1508 class identifier(opt)
1509 class identifier(op) = type-id
1510 typename identifier(opt)
1511 typename identifier(opt) = type-id
1512 template < template-parameter-list > class identifier(opt)
1513 template < template-parameter-list > class identifier(opt) = template-name
1516 pp_cxx_template_parameter (cxx_pretty_printer *pp, tree t)
1518 tree parameter = TREE_VALUE (t);
1519 switch (TREE_CODE (parameter))
1522 pp_cxx_identifier (pp, "class");
1523 if (DECL_NAME (parameter))
1524 pp_cxx_tree_identifier (pp, DECL_NAME (parameter));
1525 /* FIXME: Chech if we should print also default argument. */
1529 pp_cxx_parameter_declaration (pp, parameter);
1536 pp_unsupported_tree (pp, t);
1542 template-declaration:
1543 export(opt) template < template-parameter-list > declaration */
1545 pp_cxx_template_declaration (cxx_pretty_printer *pp, tree t)
1547 tree tmpl = most_general_template (t);
1551 pp_maybe_newline_and_indent (pp, 0);
1552 for (level = DECL_TEMPLATE_PARMS (tmpl); level; level = TREE_CHAIN (level))
1554 pp_cxx_identifier (pp, "template");
1555 pp_cxx_begin_template_argument_list (pp);
1556 pp_cxx_template_parameter_list (pp, TREE_VALUE (level));
1557 pp_cxx_end_template_argument_list (pp);
1558 pp_newline_and_indent (pp, 3);
1561 if (TREE_CODE (t) == FUNCTION_DECL && DECL_SAVED_TREE (t))
1562 pp_cxx_function_definition (pp, t);
1564 pp_cxx_simple_declaration (pp, t);
1568 pp_cxx_explicit_specialization (cxx_pretty_printer *pp, tree t)
1570 pp_unsupported_tree (pp, t);
1574 pp_cxx_explicit_instantiation (cxx_pretty_printer *pp, tree t)
1576 pp_unsupported_tree (pp, t);
1583 template-declaration
1584 explicit-instantiation
1585 explicit-specialization
1586 linkage-specification
1587 namespace-definition
1592 namespace-alias-definition
1596 pp_cxx_declaration (cxx_pretty_printer *pp, tree t)
1598 if (!DECL_LANG_SPECIFIC (t))
1599 pp_cxx_simple_declaration (pp, t);
1600 else if (DECL_USE_TEMPLATE (t) > 1)
1601 switch (DECL_USE_TEMPLATE (t))
1604 pp_cxx_explicit_specialization (pp, t);
1608 pp_cxx_explicit_instantiation (pp, t);
1614 else if (DECL_TEMPLATE_INFO (t))
1615 pp_cxx_template_declaration (pp, t);
1616 else switch (TREE_CODE (t))
1620 pp_cxx_simple_declaration (pp, t);
1624 if (DECL_SAVED_TREE (t))
1625 pp_cxx_function_definition (pp, t);
1627 pp_cxx_simple_declaration (pp, t);
1631 pp_unsupported_tree (pp, t);
1637 typedef c_pretty_print_fn pp_fun;
1640 pp_cxx_pretty_printer_init (cxx_pretty_printer *pp)
1642 pp_c_pretty_printer_init (pp_c_base (pp));
1643 pp_set_line_maximum_length (pp, 0);
1645 pp->c_base.declaration = (pp_fun) pp_cxx_declaration;
1646 pp->c_base.declaration_specifiers = (pp_fun) pp_cxx_decl_specifier_seq;
1647 pp->c_base.function_specifier = (pp_fun) pp_cxx_function_specifier;
1648 pp->c_base.type_specifier_seq = (pp_fun) pp_cxx_type_specifier_seq;
1649 pp->c_base.declarator = (pp_fun) pp_cxx_declarator;
1650 pp->c_base.direct_declarator = (pp_fun) pp_cxx_direct_declarator;
1651 pp->c_base.parameter_list = (pp_fun) pp_cxx_parameter_declaration_clause;
1652 pp->c_base.type_id = (pp_fun) pp_cxx_type_id;
1653 pp->c_base.abstract_declarator = (pp_fun) pp_cxx_abstract_declarator;
1654 pp->c_base.direct_abstract_declarator =
1655 (pp_fun) pp_cxx_direct_abstract_declarator;
1656 pp->c_base.simple_type_specifier = (pp_fun)pp_cxx_simple_type_specifier;
1658 /* pp->c_base.statement = (pp_fun) pp_cxx_statement; */
1660 pp->c_base.id_expression = (pp_fun) pp_cxx_id_expression;
1661 pp->c_base.primary_expression = (pp_fun) pp_cxx_primary_expression;
1662 pp->c_base.postfix_expression = (pp_fun) pp_cxx_postfix_expression;
1663 pp->c_base.unary_expression = (pp_fun) pp_cxx_unary_expression;
1664 pp->c_base.multiplicative_expression = (pp_fun) pp_cxx_multiplicative_expression;
1665 pp->c_base.conditional_expression = (pp_fun) pp_cxx_conditional_expression;
1666 pp->c_base.assignment_expression = (pp_fun) pp_cxx_assignment_expression;
1667 pp->c_base.expression = (pp_fun) pp_cxx_expression;
1668 pp->enclosing_scope = global_namespace;