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_left_brace(PP) pp_c_left_brace (pp_c_base (PP))
49 #define pp_cxx_right_brace(PP) pp_c_right_brace (pp_c_base (PP))
50 #define pp_cxx_dot(PP) pp_c_dot (pp_c_base (PP))
51 #define pp_cxx_arrow(PP) pp_c_arrow (pp_c_base (PP))
52 #define pp_cxx_semicolon(PP) pp_c_semicolon (pp_c_base (PP))
55 pp_cxx_nonconsecutive_character (cxx_pretty_printer
*pp
, int c
)
57 const char *p
= pp_last_position_in_text (pp
);
59 if (p
!= NULL
&& *p
== c
)
60 pp_cxx_whitespace (pp
);
62 pp_base (pp
)->padding
= pp_none
;
65 #define pp_cxx_begin_template_argument_list(PP) \
66 pp_cxx_nonconsecutive_character (PP, '<')
67 #define pp_cxx_end_template_argument_list(PP) \
68 pp_cxx_nonconsecutive_character (PP, '>')
70 #define pp_cxx_identifier(PP, ID) pp_c_identifier (pp_c_base (PP), ID)
71 #define pp_cxx_tree_identifier(PP, T) pp_c_tree_identifier (pp_c_base (PP), T)
73 #define pp_cxx_cv_qualifier_seq(PP, T) \
74 pp_c_type_qualifier_list (pp_c_base (PP), T)
75 #define pp_cxx_storage_class_specifier(PP, T) \
76 pp_c_storage_class_specifier (pp_c_base (PP), T)
77 #define pp_cxx_expression_list(PP, T) \
78 pp_c_expression_list (pp_c_base (PP), T)
79 #define pp_cxx_space_for_pointer_operator(PP, T) \
80 pp_c_space_for_pointer_operator (pp_c_base (PP), T)
81 #define pp_cxx_init_declarator(PP, T) \
82 pp_c_init_declarator (pp_c_base (PP), T)
83 #define pp_cxx_call_argument_list(PP, T) \
84 pp_c_call_argument_list (pp_c_base (PP), T)
87 pp_cxx_colon_colon (cxx_pretty_printer
*pp
)
90 pp_base (pp
)->padding
= pp_none
;
97 is_destructor_name (tree name
)
99 return name
== complete_dtor_identifier
100 || name
== base_dtor_identifier
101 || name
== deleting_dtor_identifier
;
104 /* conversion-function-id:
105 operator conversion-type-id
108 type-specifier-seq conversion-declarator(opt)
110 conversion-declarator:
111 ptr-operator conversion-declarator(opt) */
113 pp_cxx_conversion_function_id (cxx_pretty_printer
*pp
, tree t
)
115 pp_cxx_identifier (pp
, "operator");
116 pp_cxx_type_specifier_seq (pp
, TREE_TYPE (t
));
120 pp_cxx_template_id (cxx_pretty_printer
*pp
, tree t
)
122 pp_cxx_unqualified_id (pp
, TREE_OPERAND (t
, 0));
123 pp_cxx_begin_template_argument_list (pp
);
124 pp_cxx_template_argument_list (pp
, TREE_OPERAND (t
, 1));
125 pp_cxx_end_template_argument_list (pp
);
131 conversion-function-id
135 pp_cxx_unqualified_id (cxx_pretty_printer
*pp
, tree t
)
137 enum tree_code code
= TREE_CODE (t
);
141 pp_cxx_identifier (pp
, "<return-value>");
158 case IDENTIFIER_NODE
:
160 pp_cxx_identifier (pp
, "<anonymous>");
161 else if (IDENTIFIER_TYPENAME_P (t
))
162 pp_cxx_conversion_function_id (pp
, t
);
165 if (is_destructor_name (t
))
168 /* FIXME: Why is this necessary? */
170 t
= constructor_name (TREE_TYPE (t
));
172 pp_cxx_tree_identifier (pp
, t
);
176 case TEMPLATE_ID_EXPR
:
177 pp_cxx_template_id (pp
, t
);
183 pp_cxx_unqualified_id (pp
, TYPE_NAME (t
));
186 case TEMPLATE_TYPE_PARM
:
188 case TEMPLATE_PARM_INDEX
:
189 pp_cxx_unqualified_id (pp
, TEMPLATE_PARM_DECL (t
));
193 pp_unsupported_tree (pp
, t
);
199 pp_cxx_template_keyword_if_needed (cxx_pretty_printer
*pp
, tree scope
, tree t
)
201 if (TREE_CODE (t
) == TEMPLATE_ID_EXPR
202 && TYPE_P (scope
) && dependent_type_p (scope
))
203 pp_cxx_identifier (pp
, "template");
206 /* nested-name-specifier:
207 class-or-namespace-name :: nested-name-specifier(opt)
208 class-or-namespace-name :: template nested-name-specifier */
210 pp_cxx_nested_name_specifier (cxx_pretty_printer
*pp
, tree t
)
212 if (t
!= NULL
&& t
!= pp
->enclosing_scope
)
214 tree scope
= TYPE_P (t
) ? TYPE_CONTEXT (t
) : DECL_CONTEXT (t
);
215 pp_cxx_nested_name_specifier (pp
, scope
);
216 pp_cxx_template_keyword_if_needed (pp
, scope
, t
);
217 pp_cxx_unqualified_id (pp
, t
);
218 pp_cxx_colon_colon (pp
);
223 nested-name-specifier template(opt) unqualified-id */
225 pp_cxx_qualified_id (cxx_pretty_printer
*pp
, tree t
)
227 switch (TREE_CODE (t
))
230 pp_cxx_nested_name_specifier (pp
, PTRMEM_CST_CLASS (t
));
231 pp_cxx_unqualified_id (pp
, PTRMEM_CST_MEMBER (t
));
237 if (DECL_FUNCTION_MEMBER_P (t
))
238 pp_cxx_nested_name_specifier (pp
, DECL_CONTEXT (t
));
239 pp_cxx_unqualified_id
240 (pp
, DECL_CONSTRUCTOR_P (t
) ? DECL_CONTEXT (t
) : t
);
245 pp_cxx_nested_name_specifier (pp
, TREE_OPERAND (t
, 0));
246 pp_cxx_unqualified_id (pp
, TREE_OPERAND (t
, 1));
251 tree scope
= TYPE_P (t
) ? TYPE_CONTEXT (t
) : DECL_CONTEXT (t
);
252 if (scope
!= pp
->enclosing_scope
)
254 pp_cxx_nested_name_specifier (pp
, scope
);
255 pp_cxx_template_keyword_if_needed (pp
, scope
, t
);
257 pp_cxx_unqualified_id (pp
, t
);
267 pp_cxx_id_expression (cxx_pretty_printer
*pp
, tree t
)
269 if (TREE_CODE (t
) == OVERLOAD
)
271 if (DECL_P (t
) && DECL_CONTEXT (t
))
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 switch (TREE_CODE (t
))
997 case TEMPLATE_TYPE_PARM
:
999 case BOUND_TEMPLATE_TEMPLATE_PARM
:
1000 pp_c_type_qualifier_list (pp_c_base (pp
), t
);
1001 pp_cxx_simple_type_specifier (pp
, t
);
1005 pp_cxx_type_specifier_seq (pp
, TREE_TYPE (t
));
1006 pp_cxx_space_for_pointer_operator (pp
, TREE_TYPE (t
));
1007 pp_cxx_nested_name_specifier (pp
, TYPE_METHOD_BASETYPE (t
));
1011 if (!(TREE_CODE (t
) == FUNCTION_DECL
&& DECL_CONSTRUCTOR_P (t
)))
1012 pp_c_specifier_qualifier_list (pp_c_base (pp
), t
);
1017 * cv-qualifier-seq(opt)
1019 ::(opt) nested-name-specifier * cv-qualifier-seq(opt) */
1022 pp_cxx_ptr_operator (cxx_pretty_printer
*pp
, tree t
)
1024 if (!TYPE_P (t
) && TREE_CODE (t
) != TYPE_DECL
)
1026 switch (TREE_CODE (t
))
1028 case REFERENCE_TYPE
:
1030 if (TREE_CODE (TREE_TYPE (t
)) == POINTER_TYPE
1031 || TYPE_PTR_TO_MEMBER_P (TREE_TYPE (t
)))
1032 pp_cxx_ptr_operator (pp
, TREE_TYPE (t
));
1033 if (TREE_CODE (t
) == POINTER_TYPE
)
1036 pp_cxx_cv_qualifier_seq (pp
, t
);
1043 if (TYPE_PTRMEMFUNC_P (t
))
1045 pp_cxx_left_paren (pp
);
1046 pp_cxx_nested_name_specifier (pp
, TYPE_PTRMEMFUNC_OBJECT_TYPE (t
));
1051 if (TYPE_PTR_TO_MEMBER_P (t
))
1053 pp_cxx_nested_name_specifier (pp
, TYPE_PTRMEM_CLASS_TYPE (t
));
1055 pp_cxx_cv_qualifier_seq (pp
, t
);
1058 /* else fall through. */
1061 pp_unsupported_tree (pp
, t
);
1067 pp_cxx_implicit_parameter_type (tree mf
)
1069 return TREE_TYPE (TREE_VALUE (TYPE_ARG_TYPES (TREE_TYPE (mf
))));
1073 parameter-declaration:
1074 decl-specifier-seq declarator
1075 decl-specifier-seq declarator = assignment-expression
1076 decl-specifier-seq abstract-declarator(opt)
1077 decl-specifier-seq abstract-declarator(opt) assignment-expression */
1079 pp_cxx_parameter_declaration (cxx_pretty_printer
*pp
, tree t
)
1081 pp_cxx_decl_specifier_seq (pp
, t
);
1083 pp_cxx_abstract_declarator (pp
, t
);
1085 pp_cxx_declarator (pp
, t
);
1088 /* parameter-declaration-clause:
1089 parameter-declaration-list(opt) ...(opt)
1090 parameter-declaration-list , ...
1092 parameter-declaration-list:
1093 parameter-declaration
1094 parameter-declaration-list , parameter-declaration */
1096 pp_cxx_parameter_declaration_clause (cxx_pretty_printer
*pp
, tree t
)
1098 tree args
= TYPE_P (t
) ? NULL
: FUNCTION_FIRST_USER_PARM (t
);
1099 tree types
= TYPE_P (t
) ? TYPE_ARG_TYPES (t
) : FUNCTION_FIRST_USER_PARMTYPE (t
);
1100 const bool abstract
= args
== NULL
1101 || pp_c_base (pp
)->flags
& pp_c_flag_abstract
;
1104 /* Skip artificial parameter for nonstatic member functions. */
1105 if (TREE_CODE (t
) == METHOD_TYPE
)
1106 types
= TREE_CHAIN (types
);
1108 pp_cxx_left_paren (pp
);
1109 for (; args
; args
= TREE_CHAIN (args
), types
= TREE_CHAIN (types
))
1112 pp_separate_with (pp
, ',');
1114 pp_cxx_parameter_declaration (pp
, abstract
? TREE_VALUE (types
) : args
);
1115 if (!abstract
&& pp_c_base (pp
)->flags
& pp_cxx_flag_default_argument
)
1117 pp_cxx_whitespace (pp
);
1119 pp_cxx_whitespace (pp
);
1120 pp_cxx_assignment_expression (pp
, TREE_PURPOSE (types
));
1123 pp_cxx_right_paren (pp
);
1126 /* exception-specification:
1127 throw ( type-id-list(opt) )
1131 type-id-list , type-id */
1133 pp_cxx_exception_specification (cxx_pretty_printer
*pp
, tree t
)
1135 tree ex_spec
= TYPE_RAISES_EXCEPTIONS (t
);
1137 if (!TYPE_NOTHROW_P (t
) && ex_spec
== NULL
)
1139 pp_cxx_identifier (pp
, "throw");
1140 pp_cxx_left_paren (pp
);
1141 for (; ex_spec
&& TREE_VALUE (ex_spec
); ex_spec
= TREE_CHAIN (ex_spec
))
1143 pp_cxx_type_id (pp
, TREE_VALUE (ex_spec
));
1144 if (TREE_CHAIN (ex_spec
))
1145 pp_separate_with (pp
, ',');
1147 pp_cxx_right_paren (pp
);
1150 /* direct-declarator:
1152 direct-declarator ( parameter-declaration-clause ) cv-qualifier-seq(opt)
1153 exception-specification(opt)
1154 direct-declaration [ constant-expression(opt) ]
1157 pp_cxx_direct_declarator (cxx_pretty_printer
*pp
, tree t
)
1159 switch (TREE_CODE (t
))
1167 pp_cxx_space_for_pointer_operator (pp
, TREE_TYPE (t
));
1168 pp_cxx_id_expression (pp
, DECL_NAME (t
));
1170 pp_cxx_abstract_declarator (pp
, TREE_TYPE (t
));
1174 pp_cxx_space_for_pointer_operator (pp
, TREE_TYPE (TREE_TYPE (t
)));
1175 pp_cxx_id_expression (pp
, t
);
1176 pp_cxx_parameter_declaration_clause (pp
, t
);
1178 if (DECL_NONSTATIC_MEMBER_FUNCTION_P (t
))
1180 pp_base (pp
)->padding
= pp_before
;
1181 pp_cxx_cv_qualifier_seq (pp
, pp_cxx_implicit_parameter_type (t
));
1184 pp_cxx_exception_specification (pp
, TREE_TYPE (t
));
1189 case TEMPLATE_TYPE_PARM
:
1190 case TEMPLATE_PARM_INDEX
:
1194 pp_c_direct_declarator (pp_c_base (pp
), t
);
1201 ptr-operator declarator */
1203 pp_cxx_declarator (cxx_pretty_printer
*pp
, tree t
)
1205 pp_cxx_direct_declarator (pp
, t
);
1208 /* ctor-initializer:
1209 : mem-initializer-list
1211 mem-initializer-list:
1213 mem-initializer , mem-initializer-list
1216 mem-initializer-id ( expression-list(opt) )
1219 ::(opt) nested-name-specifier(opt) class-name
1222 pp_cxx_ctor_initializer (cxx_pretty_printer
*pp
, tree t
)
1224 t
= TREE_OPERAND (t
, 0);
1225 pp_cxx_whitespace (pp
);
1227 pp_cxx_whitespace (pp
);
1228 for (; t
; t
= TREE_CHAIN (t
))
1230 pp_cxx_primary_expression (pp
, TREE_PURPOSE (t
));
1231 pp_cxx_call_argument_list (pp
, TREE_VALUE (t
));
1233 pp_separate_with (pp
, ',');
1237 /* function-definition:
1238 decl-specifier-seq(opt) declarator ctor-initializer(opt) function-body
1239 decl-specifier-seq(opt) declarator function-try-block */
1242 pp_cxx_function_definition (cxx_pretty_printer
*pp
, tree t
)
1244 tree saved_scope
= pp
->enclosing_scope
;
1245 pp_cxx_decl_specifier_seq (pp
, t
);
1246 pp_cxx_declarator (pp
, t
);
1247 pp_needs_newline (pp
) = true;
1248 pp
->enclosing_scope
= DECL_CONTEXT (t
);
1249 if (DECL_SAVED_TREE (t
))
1251 tree body
= DECL_SAVED_TREE (t
);
1252 if (TREE_CODE (body
) == COMPOUND_STMT
1253 && TREE_CODE (COMPOUND_BODY (body
)) == CTOR_INITIALIZER
)
1255 body
= COMPOUND_BODY (body
);
1256 pp_cxx_ctor_initializer (pp
, body
);
1257 body
= TREE_CHAIN (body
);
1259 pp_cxx_statement (pp
, body
);
1263 pp_cxx_semicolon (pp
);
1264 pp_needs_newline (pp
) = true;
1267 pp
->enclosing_scope
= saved_scope
;
1270 /* abstract-declarator:
1271 ptr-operator abstract-declarator(opt)
1272 direct-abstract-declarator */
1274 pp_cxx_abstract_declarator (cxx_pretty_printer
*pp
, tree t
)
1276 if (TYPE_PTRMEM_P (t
) || TYPE_PTRMEMFUNC_P (t
))
1277 pp_cxx_right_paren (pp
);
1278 else if (POINTER_TYPE_P (t
))
1280 if (TREE_CODE (TREE_TYPE (t
)) == ARRAY_TYPE
1281 || TREE_CODE (TREE_TYPE (t
)) == FUNCTION_TYPE
)
1282 pp_cxx_right_paren (pp
);
1285 pp_cxx_direct_abstract_declarator (pp
, t
);
1288 /* direct-abstract-declarator:
1289 direct-abstract-declarator(opt) ( parameter-declaration-clause )
1290 cv-qualifier-seq(opt) exception-specification(opt)
1291 direct-abstract-declarator(opt) [ constant-expression(opt) ]
1292 ( abstract-declarator ) */
1294 pp_cxx_direct_abstract_declarator (cxx_pretty_printer
*pp
, tree t
)
1296 switch (TREE_CODE (t
))
1298 case REFERENCE_TYPE
:
1299 pp_cxx_abstract_declarator (pp
, t
);
1303 if (TYPE_PTRMEMFUNC_P (t
))
1304 pp_cxx_direct_abstract_declarator (pp
, TYPE_PTRMEMFUNC_FN_TYPE (t
));
1309 pp_cxx_parameter_declaration_clause (pp
, t
);
1310 pp_cxx_direct_abstract_declarator (pp
, TREE_TYPE (t
));
1311 if (TREE_CODE (t
) == METHOD_TYPE
)
1313 pp_base (pp
)->padding
= pp_before
;
1314 pp_cxx_cv_qualifier_seq
1315 (pp
, TREE_TYPE (TREE_VALUE (TYPE_ARG_TYPES (t
))));
1317 pp_cxx_exception_specification (pp
, t
);
1321 case TEMPLATE_TYPE_PARM
:
1322 case TEMPLATE_TEMPLATE_PARM
:
1323 case BOUND_TEMPLATE_TEMPLATE_PARM
:
1324 case UNBOUND_CLASS_TEMPLATE
:
1328 pp_c_direct_abstract_declarator (pp_c_base (pp
), t
);
1334 type-specifier-seq abstract-declarator(opt) */
1336 pp_cxx_type_id (cxx_pretty_printer
*pp
, tree t
)
1338 pp_flags saved_flags
= pp_c_base (pp
)->flags
;
1339 pp_c_base (pp
)->flags
|= pp_c_flag_abstract
;
1341 switch (TREE_CODE (t
))
1348 case BOUND_TEMPLATE_TEMPLATE_PARM
:
1349 case UNBOUND_CLASS_TEMPLATE
:
1350 case TEMPLATE_TEMPLATE_PARM
:
1351 case TEMPLATE_TYPE_PARM
:
1352 case TEMPLATE_PARM_INDEX
:
1355 case TEMPLATE_ID_EXPR
:
1356 /* FIXME: Should be pp_cxx_type_specifier_seq. */
1357 pp_cxx_type_specifier_seq (pp
, t
);
1358 pp_cxx_declarator (pp
, t
);
1362 pp_c_type_id (pp_c_base (pp
), t
);
1366 pp_c_base (pp
)->flags
= saved_flags
;
1369 /* template-argument-list:
1371 template-argument-list, template-argument
1374 assignment-expression
1378 pp_cxx_template_argument_list (cxx_pretty_printer
*pp
, tree t
)
1383 for (i
= 0; i
< TREE_VEC_LENGTH (t
); ++i
)
1385 tree arg
= TREE_VEC_ELT (t
, i
);
1387 pp_separate_with (pp
, ',');
1388 if (TYPE_P (arg
) || (TREE_CODE (arg
) == TEMPLATE_DECL
1389 && TYPE_P (DECL_TEMPLATE_RESULT (arg
))))
1390 pp_cxx_type_id (pp
, arg
);
1392 pp_cxx_expression (pp
, arg
);
1398 pp_cxx_exception_declaration (cxx_pretty_printer
*pp
, tree t
)
1400 t
= DECL_STMT_DECL (t
);
1401 pp_cxx_type_specifier_seq (pp
, t
);
1403 pp_cxx_abstract_declarator (pp
, t
);
1405 pp_cxx_declarator (pp
, t
);
1411 pp_cxx_statement (cxx_pretty_printer
*pp
, tree t
)
1413 switch (TREE_CODE (t
))
1416 pp_cxx_identifier (pp
, "using");
1417 pp_cxx_identifier (pp
, "namespace");
1418 pp_cxx_qualified_id (pp
, USING_STMT_NAMESPACE (t
));
1422 pp_cxx_identifier (pp
, "using");
1423 pp_cxx_nested_name_specifier (pp
, DECL_INITIAL (t
));
1424 pp_cxx_unqualified_id (pp
, DECL_NAME (t
));
1431 try compound-statement handler-seq */
1433 pp_maybe_newline_and_indent (pp
, 0);
1434 pp_cxx_identifier (pp
, "try");
1435 pp_newline_and_indent (pp
, 3);
1436 pp_cxx_statement (pp
, TRY_STMTS (t
));
1437 pp_newline_and_indent (pp
, -3);
1441 pp_cxx_statement (pp
, TRY_HANDLERS (t
));
1446 handler handler-seq(opt)
1449 catch ( exception-declaration ) compound-statement
1451 exception-declaration:
1452 type-specifier-seq declarator
1453 type-specifier-seq abstract-declarator
1456 pp_cxx_identifier (pp
, "catch");
1457 pp_cxx_left_paren (pp
);
1458 pp_cxx_exception_declaration (pp
, HANDLER_PARMS (t
));
1459 pp_cxx_right_paren (pp
);
1460 pp_indentation (pp
) += 3;
1461 pp_needs_newline (pp
) = true;
1462 pp_cxx_statement (pp
, HANDLER_BODY (t
));
1463 pp_indentation (pp
) -= 3;
1464 pp_needs_newline (pp
) = true;
1468 pp_c_statement (pp_c_base (pp
), t
);
1473 /* original-namespace-definition:
1474 namespace identifier { namespace-body }
1476 As an edge case, we also handle unnamed namespace definition here. */
1479 pp_cxx_original_namespace_definition (cxx_pretty_printer
*pp
, tree t
)
1481 pp_cxx_identifier (pp
, "namespace");
1483 pp_cxx_unqualified_id (pp
, t
);
1484 pp_cxx_whitespace (pp
);
1485 pp_cxx_left_brace (pp
);
1486 /* We do not print the namespace-body. */
1487 pp_cxx_whitespace (pp
);
1488 pp_cxx_right_brace (pp
);
1494 namespace-alias-definition:
1495 namespace identifier = qualified-namespace-specifier ;
1497 qualified-namespace-specifier:
1498 ::(opt) nested-name-specifier(opt) namespace-name */
1501 pp_cxx_namespace_alias_definition (cxx_pretty_printer
*pp
, tree t
)
1503 pp_cxx_identifier (pp
, "namespace");
1504 pp_cxx_unqualified_id (pp
, t
);
1505 pp_cxx_whitespace (pp
);
1507 pp_cxx_whitespace (pp
);
1508 pp_cxx_qualified_id (pp
, DECL_NAMESPACE_ALIAS (t
));
1509 pp_cxx_semicolon (pp
);
1512 /* simple-declaration:
1513 decl-specifier-seq(opt) init-declarator-list(opt) */
1515 pp_cxx_simple_declaration (cxx_pretty_printer
*pp
, tree t
)
1517 pp_cxx_decl_specifier_seq (pp
, t
);
1518 pp_cxx_init_declarator (pp
, t
);
1519 pp_cxx_semicolon (pp
);
1520 pp_needs_newline (pp
) = true;
1524 template-parameter-list:
1526 template-parameter-list , template-parameter */
1529 pp_cxx_template_parameter_list (cxx_pretty_printer
*pp
, tree t
)
1531 const int n
= TREE_VEC_LENGTH (t
);
1533 for (i
= 0; i
< n
; ++i
)
1536 pp_separate_with (pp
, ',');
1537 pp_cxx_template_parameter (pp
, TREE_VEC_ELT (t
, i
));
1541 /* template-parameter:
1543 parameter-declaration
1546 class identifier(opt)
1547 class identifier(op) = type-id
1548 typename identifier(opt)
1549 typename identifier(opt) = type-id
1550 template < template-parameter-list > class identifier(opt)
1551 template < template-parameter-list > class identifier(opt) = template-name
1554 pp_cxx_template_parameter (cxx_pretty_printer
*pp
, tree t
)
1556 tree parameter
= TREE_VALUE (t
);
1557 switch (TREE_CODE (parameter
))
1560 pp_cxx_identifier (pp
, "class");
1561 if (DECL_NAME (parameter
))
1562 pp_cxx_tree_identifier (pp
, DECL_NAME (parameter
));
1563 /* FIXME: Chech if we should print also default argument. */
1567 pp_cxx_parameter_declaration (pp
, parameter
);
1574 pp_unsupported_tree (pp
, t
);
1579 /* Pretty-print a template parameter in the canonical form
1580 "template-parameter-<level>-<position in parameter list>". */
1583 pp_cxx_canonical_template_parameter (cxx_pretty_printer
*pp
, tree parm
)
1585 const enum tree_code code
= TREE_CODE (parm
);
1587 /* Brings type template parameters to the canonical forms. */
1588 if (code
== TEMPLATE_TYPE_PARM
|| code
== TEMPLATE_TEMPLATE_PARM
1589 || code
== BOUND_TEMPLATE_TEMPLATE_PARM
)
1590 parm
= TEMPLATE_TYPE_PARM_INDEX (parm
);
1592 pp_cxx_begin_template_argument_list (pp
);
1593 pp_cxx_identifier (pp
, "template-parameter-");
1594 pp_wide_integer (pp
, TEMPLATE_PARM_LEVEL (parm
));
1596 pp_wide_integer (pp
, TEMPLATE_PARM_IDX (parm
) + 1);
1597 pp_cxx_end_template_argument_list (pp
);
1601 template-declaration:
1602 export(opt) template < template-parameter-list > declaration */
1604 pp_cxx_template_declaration (cxx_pretty_printer
*pp
, tree t
)
1606 tree tmpl
= most_general_template (t
);
1610 pp_maybe_newline_and_indent (pp
, 0);
1611 for (level
= DECL_TEMPLATE_PARMS (tmpl
); level
; level
= TREE_CHAIN (level
))
1613 pp_cxx_identifier (pp
, "template");
1614 pp_cxx_begin_template_argument_list (pp
);
1615 pp_cxx_template_parameter_list (pp
, TREE_VALUE (level
));
1616 pp_cxx_end_template_argument_list (pp
);
1617 pp_newline_and_indent (pp
, 3);
1620 if (TREE_CODE (t
) == FUNCTION_DECL
&& DECL_SAVED_TREE (t
))
1621 pp_cxx_function_definition (pp
, t
);
1623 pp_cxx_simple_declaration (pp
, t
);
1627 pp_cxx_explicit_specialization (cxx_pretty_printer
*pp
, tree t
)
1629 pp_unsupported_tree (pp
, t
);
1633 pp_cxx_explicit_instantiation (cxx_pretty_printer
*pp
, tree t
)
1635 pp_unsupported_tree (pp
, t
);
1642 template-declaration
1643 explicit-instantiation
1644 explicit-specialization
1645 linkage-specification
1646 namespace-definition
1651 namespace-alias-definition
1655 pp_cxx_declaration (cxx_pretty_printer
*pp
, tree t
)
1657 if (!DECL_LANG_SPECIFIC (t
))
1658 pp_cxx_simple_declaration (pp
, t
);
1659 else if (DECL_USE_TEMPLATE (t
))
1660 switch (DECL_USE_TEMPLATE (t
))
1663 pp_cxx_template_declaration (pp
, t
);
1667 pp_cxx_explicit_specialization (pp
, t
);
1671 pp_cxx_explicit_instantiation (pp
, t
);
1677 else switch (TREE_CODE (t
))
1681 pp_cxx_simple_declaration (pp
, t
);
1685 if (DECL_SAVED_TREE (t
))
1686 pp_cxx_function_definition (pp
, t
);
1688 pp_cxx_simple_declaration (pp
, t
);
1691 case NAMESPACE_DECL
:
1692 if (DECL_NAMESPACE_ALIAS (t
))
1693 pp_cxx_namespace_alias_definition (pp
, t
);
1695 pp_cxx_original_namespace_definition (pp
, t
);
1699 pp_unsupported_tree (pp
, t
);
1705 typedef c_pretty_print_fn pp_fun
;
1708 pp_cxx_pretty_printer_init (cxx_pretty_printer
*pp
)
1710 pp_c_pretty_printer_init (pp_c_base (pp
));
1711 pp_set_line_maximum_length (pp
, 0);
1713 pp
->c_base
.declaration
= (pp_fun
) pp_cxx_declaration
;
1714 pp
->c_base
.declaration_specifiers
= (pp_fun
) pp_cxx_decl_specifier_seq
;
1715 pp
->c_base
.function_specifier
= (pp_fun
) pp_cxx_function_specifier
;
1716 pp
->c_base
.type_specifier_seq
= (pp_fun
) pp_cxx_type_specifier_seq
;
1717 pp
->c_base
.declarator
= (pp_fun
) pp_cxx_declarator
;
1718 pp
->c_base
.direct_declarator
= (pp_fun
) pp_cxx_direct_declarator
;
1719 pp
->c_base
.parameter_list
= (pp_fun
) pp_cxx_parameter_declaration_clause
;
1720 pp
->c_base
.type_id
= (pp_fun
) pp_cxx_type_id
;
1721 pp
->c_base
.abstract_declarator
= (pp_fun
) pp_cxx_abstract_declarator
;
1722 pp
->c_base
.direct_abstract_declarator
=
1723 (pp_fun
) pp_cxx_direct_abstract_declarator
;
1724 pp
->c_base
.simple_type_specifier
= (pp_fun
)pp_cxx_simple_type_specifier
;
1726 /* pp->c_base.statement = (pp_fun) pp_cxx_statement; */
1728 pp
->c_base
.id_expression
= (pp_fun
) pp_cxx_id_expression
;
1729 pp
->c_base
.primary_expression
= (pp_fun
) pp_cxx_primary_expression
;
1730 pp
->c_base
.postfix_expression
= (pp_fun
) pp_cxx_postfix_expression
;
1731 pp
->c_base
.unary_expression
= (pp_fun
) pp_cxx_unary_expression
;
1732 pp
->c_base
.multiplicative_expression
= (pp_fun
) pp_cxx_multiplicative_expression
;
1733 pp
->c_base
.conditional_expression
= (pp_fun
) pp_cxx_conditional_expression
;
1734 pp
->c_base
.assignment_expression
= (pp_fun
) pp_cxx_assignment_expression
;
1735 pp
->c_base
.expression
= (pp_fun
) pp_cxx_expression
;
1736 pp
->enclosing_scope
= global_namespace
;