mirror of
https://sourceware.org/git/binutils-gdb.git
synced 2024-11-27 03:51:15 +08:00
1d506c26d9
This commit is the result of the following actions:
- Running gdb/copyright.py to update all of the copyright headers to
include 2024,
- Manually updating a few files the copyright.py script told me to
update, these files had copyright headers embedded within the
file,
- Regenerating gdbsupport/Makefile.in to refresh it's copyright
date,
- Using grep to find other files that still mentioned 2023. If
these files were updated last year from 2022 to 2023 then I've
updated them this year to 2024.
I'm sure I've probably missed some dates. Feel free to fix them up as
you spot them.
92 lines
2.4 KiB
C++
92 lines
2.4 KiB
C++
/* Output pager for gdb
|
|
Copyright (C) 2021-2024 Free Software Foundation, Inc.
|
|
|
|
This file is part of GDB.
|
|
|
|
This program is free software; you can redistribute it and/or modify
|
|
it under the terms of the GNU General Public License as published by
|
|
the Free Software Foundation; either version 3 of the License, or
|
|
(at your option) any later version.
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
GNU General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with this program. If not, see <http://www.gnu.org/licenses/>. */
|
|
|
|
#ifndef GDB_PAGER_H
|
|
#define GDB_PAGER_H
|
|
|
|
#include "ui-file.h"
|
|
|
|
/* A ui_file that implements output paging and unfiltered output. */
|
|
|
|
class pager_file : public wrapped_file
|
|
{
|
|
public:
|
|
/* Create a new pager_file. The new object takes ownership of
|
|
STREAM. */
|
|
explicit pager_file (ui_file *stream)
|
|
: wrapped_file (stream)
|
|
{
|
|
}
|
|
|
|
~pager_file ()
|
|
{
|
|
delete m_stream;
|
|
}
|
|
|
|
DISABLE_COPY_AND_ASSIGN (pager_file);
|
|
|
|
void write (const char *buf, long length_buf) override;
|
|
|
|
void puts (const char *str) override;
|
|
|
|
void write_async_safe (const char *buf, long length_buf) override
|
|
{
|
|
m_stream->write_async_safe (buf, length_buf);
|
|
}
|
|
|
|
void emit_style_escape (const ui_file_style &style) override;
|
|
void reset_style () override;
|
|
|
|
void flush () override;
|
|
|
|
void wrap_here (int indent) override;
|
|
|
|
void puts_unfiltered (const char *str) override
|
|
{
|
|
flush_wrap_buffer ();
|
|
m_stream->puts_unfiltered (str);
|
|
}
|
|
|
|
private:
|
|
|
|
void prompt_for_continue ();
|
|
|
|
/* Flush the wrap buffer to STREAM, if necessary. */
|
|
void flush_wrap_buffer ();
|
|
|
|
/* Contains characters which are waiting to be output (they have
|
|
already been counted in chars_printed). */
|
|
std::string m_wrap_buffer;
|
|
|
|
/* Amount to indent by if the wrap occurs. */
|
|
int m_wrap_indent = 0;
|
|
|
|
/* Column number on the screen where wrap_buffer begins, or 0 if
|
|
wrapping is not in effect. */
|
|
int m_wrap_column = 0;
|
|
|
|
/* The style applied at the time that wrap_here was called. */
|
|
ui_file_style m_wrap_style;
|
|
|
|
/* This is temporarily set when paging. This will cause some
|
|
methods to change their behavior to ignore the wrap buffer. */
|
|
bool m_paging = false;
|
|
};
|
|
|
|
#endif /* GDB_PAGER_H */
|