GDB (API)
|
00001 /* TUI display source window. 00002 00003 Copyright (C) 1998-2013 Free Software Foundation, Inc. 00004 00005 Contributed by Hewlett-Packard Company. 00006 00007 This file is part of GDB. 00008 00009 This program is free software; you can redistribute it and/or modify 00010 it under the terms of the GNU General Public License as published by 00011 the Free Software Foundation; either version 3 of the License, or 00012 (at your option) any later version. 00013 00014 This program is distributed in the hope that it will be useful, 00015 but WITHOUT ANY WARRANTY; without even the implied warranty of 00016 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 00017 GNU General Public License for more details. 00018 00019 You should have received a copy of the GNU General Public License 00020 along with this program. If not, see <http://www.gnu.org/licenses/>. */ 00021 00022 #ifndef TUI_SOURCE_H 00023 #define TUI_SOURCE_H 00024 00025 #include "tui/tui-data.h" 00026 00027 struct symtab; 00028 struct tui_win_info; 00029 00030 extern void tui_set_source_content_nil (struct tui_win_info *, 00031 char *); 00032 00033 extern enum tui_status tui_set_source_content (struct symtab *, 00034 int, int); 00035 extern void tui_show_symtab_source (struct gdbarch *, struct symtab *, 00036 struct tui_line_or_address, 00037 int); 00038 extern int tui_source_is_displayed (const char *); 00039 extern void tui_vertical_source_scroll (enum tui_scroll_direction, 00040 int); 00041 00042 #endif