diff options
author | David Malcolm <dmalcolm@redhat.com> | 2019-12-16 17:07:45 +0000 |
---|---|---|
committer | David Malcolm <dmalcolm@gcc.gnu.org> | 2019-12-16 17:07:45 +0000 |
commit | a326a3dedbff2c190418a28466946cac82295147 (patch) | |
tree | 2f36b10327c96cfd7e0dc65d5a6764117fa2d90c /gcc/pretty-print.h | |
parent | bb03700c9b89f42b9e6bccccef8a74ce9b4fb91b (diff) | |
download | gcc-a326a3dedbff2c190418a28466946cac82295147.zip gcc-a326a3dedbff2c190418a28466946cac82295147.tar.gz gcc-a326a3dedbff2c190418a28466946cac82295147.tar.bz2 |
Add pp_write_text_as_html_like_dot_to_stream
gcc/ChangeLog:
* pretty-print.c (pp_write_text_as_html_like_dot_to_stream): New
function.
* pretty-print.h (pp_write_text_as_html_like_dot_to_stream): New decl.
From-SVN: r279444
Diffstat (limited to 'gcc/pretty-print.h')
-rw-r--r-- | gcc/pretty-print.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/pretty-print.h b/gcc/pretty-print.h index 493507d..86b9e86 100644 --- a/gcc/pretty-print.h +++ b/gcc/pretty-print.h @@ -393,8 +393,11 @@ extern void pp_indent (pretty_printer *); extern void pp_newline (pretty_printer *); extern void pp_character (pretty_printer *, int); extern void pp_string (pretty_printer *, const char *); + extern void pp_write_text_to_stream (pretty_printer *); extern void pp_write_text_as_dot_label_to_stream (pretty_printer *, bool); +extern void pp_write_text_as_html_like_dot_to_stream (pretty_printer *pp); + extern void pp_maybe_space (pretty_printer *); extern void pp_begin_quote (pretty_printer *, bool); |