diff options
author | Gabriel Dos Reis <gdr@integrable-solutions.net> | 2013-08-23 10:46:49 +0000 |
---|---|---|
committer | Gabriel Dos Reis <gdr@gcc.gnu.org> | 2013-08-23 10:46:49 +0000 |
commit | 0fc80001f03a9051772198b99eda479f7bce80e1 (patch) | |
tree | a220392ed347512ec6a0763fab4d85bfe02bf2ee /gcc/pretty-print.h | |
parent | 520a5868fa96c928b8004702440253ac02f64b9d (diff) | |
download | gcc-0fc80001f03a9051772198b99eda479f7bce80e1.zip gcc-0fc80001f03a9051772198b99eda479f7bce80e1.tar.gz gcc-0fc80001f03a9051772198b99eda479f7bce80e1.tar.bz2 |
pretty-print.h (pp_newline_and_flush): Declare.
* pretty-print.h (pp_newline_and_flush): Declare. Remove macro
definition.
(pp_newline_and_indent): Likewise.
(pp_separate_with): Likewise.
* pretty-print.c (pp_newline_and_flush): Define.
(pp_newline_and_indent): Likewise.
(pp_separate_with): Likewise.
From-SVN: r201940
Diffstat (limited to 'gcc/pretty-print.h')
-rw-r--r-- | gcc/pretty-print.h | 21 |
1 files changed, 3 insertions, 18 deletions
diff --git a/gcc/pretty-print.h b/gcc/pretty-print.h index 4c47e2b..9b9b2cf 100644 --- a/gcc/pretty-print.h +++ b/gcc/pretty-print.h @@ -246,26 +246,8 @@ pp_get_prefix (const pretty_printer *pp) { return pp->prefix; } #define pp_backquote(PP) pp_character (PP, '`') #define pp_doublequote(PP) pp_character (PP, '"') #define pp_underscore(PP) pp_character (PP, '_') -#define pp_newline_and_flush(PP) \ - do { \ - pp_newline (PP); \ - pp_flush (PP); \ - pp_needs_newline (PP) = false; \ - } while (0) -#define pp_newline_and_indent(PP, N) \ - do { \ - pp_indentation (PP) += N; \ - pp_newline (PP); \ - pp_indent (PP); \ - pp_needs_newline (PP) = false; \ - } while (0) #define pp_maybe_newline_and_indent(PP, N) \ if (pp_needs_newline (PP)) pp_newline_and_indent (PP, N) -#define pp_separate_with(PP, C) \ - do { \ - pp_character (PP, C); \ - pp_space (PP); \ - } while (0) #define pp_scalar(PP, FORMAT, SCALAR) \ do \ { \ @@ -298,6 +280,9 @@ extern const char *pp_formatted_text (pretty_printer *); extern const char *pp_last_position_in_text (const pretty_printer *); extern void pp_emit_prefix (pretty_printer *); extern void pp_append_text (pretty_printer *, const char *, const char *); +extern void pp_newline_and_flush (pretty_printer *); +extern void pp_newline_and_indent (pretty_printer *, int); +extern void pp_separate_with (pretty_printer *, char); /* If we haven't already defined a front-end-specific diagnostics style, use the generic one. */ |