| 1 | /* TUI support I/O functions. |
| 2 | |
| 3 | Copyright 1998, 1999, 2000, 2001, 2002, 2004 Free Software |
| 4 | Foundation, Inc. |
| 5 | |
| 6 | Contributed by Hewlett-Packard Company. |
| 7 | |
| 8 | This file is part of GDB. |
| 9 | |
| 10 | This program is free software; you can redistribute it and/or modify |
| 11 | it under the terms of the GNU General Public License as published by |
| 12 | the Free Software Foundation; either version 2 of the License, or |
| 13 | (at your option) any later version. |
| 14 | |
| 15 | This program is distributed in the hope that it will be useful, |
| 16 | but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 17 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| 18 | GNU General Public License for more details. |
| 19 | |
| 20 | You should have received a copy of the GNU General Public License |
| 21 | along with this program; if not, write to the Free Software |
| 22 | Foundation, Inc., 59 Temple Place - Suite 330, |
| 23 | Boston, MA 02111-1307, USA. */ |
| 24 | |
| 25 | #ifndef TUI_IO_H |
| 26 | #define TUI_IO_H |
| 27 | |
| 28 | struct ui_out; |
| 29 | |
| 30 | /* Print the string in the curses command window. */ |
| 31 | extern void tui_puts (const char *); |
| 32 | |
| 33 | /* Setup the IO for curses or non-curses mode. */ |
| 34 | extern void tui_setup_io (int mode); |
| 35 | |
| 36 | /* Initialize the IO for gdb in curses mode. */ |
| 37 | extern void tui_initialize_io (void); |
| 38 | |
| 39 | /* Get a character from the command window. */ |
| 40 | extern int tui_getc (FILE *); |
| 41 | |
| 42 | /* Readline callback. |
| 43 | Redisplay the command line with its prompt after readline has |
| 44 | changed the edited text. */ |
| 45 | extern void tui_redisplay_readline (void); |
| 46 | |
| 47 | extern struct ui_out *tui_out; |
| 48 | extern struct ui_out *tui_old_uiout; |
| 49 | |
| 50 | extern int key_is_start_sequence (int ch); |
| 51 | extern int key_is_end_sequence (int ch); |
| 52 | extern int key_is_backspace (int ch); |
| 53 | extern int key_is_command_char (int ch); |
| 54 | |
| 55 | #endif |