/* TUI display source window. Copyright (C) 1998-2019 Free Software Foundation, Inc. Contributed by Hewlett-Packard Company. 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 . */ #ifndef TUI_TUI_SOURCE_H #define TUI_TUI_SOURCE_H #include "tui/tui-data.h" #include "tui-winsource.h" struct symtab; /* A TUI source window. */ struct tui_source_window : public tui_source_window_base { tui_source_window (); ~tui_source_window (); DISABLE_COPY_AND_ASSIGN (tui_source_window); const char *name () const override { return SRC_NAME; } /* Return true if the location LOC corresponds to the line number LINE_NO in this source window; false otherwise. */ bool location_matches_p (struct bp_location *loc, int line_no) override; bool showing_source_p (const char *filename) const; void maybe_update (struct frame_info *fi, symtab_and_line sal, int line_no, CORE_ADDR addr) override; void erase_source_content () override { do_erase_source_content (NO_SRC_STRING); } protected: void do_scroll_vertical (int num_to_scroll) override; private: void style_changed (); /* Answer whether a particular line number or address is displayed in the current source window. */ bool line_is_displayed (int line) const; /* A token used to register and unregister an observer. */ gdb::observers::token m_observable; }; extern enum tui_status tui_set_source_content (tui_source_window_base *, struct symtab *, int); extern void tui_show_symtab_source (tui_source_window_base *, struct gdbarch *, struct symtab *, struct tui_line_or_address); #endif /* TUI_TUI_SOURCE_H */