1 /* pk-repl.h - A REPL ui for poke. */ 2 3 /* Copyright (C) 2019, 2020, 2021 Jose E. Marchesi */ 4 5 /* This program is free software: you can redistribute it and/or modify 6 * it under the terms of the GNU General Public License as published by 7 * the Free Software Foundation, either version 3 of the License, or 8 * (at your option) any later version. 9 * 10 * This program is distributed in the hope that it will be useful, 11 * but WITHOUT ANY WARRANTY; without even the implied warranty of 12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 13 * GNU General Public License for more details. 14 * 15 * You should have received a copy of the GNU General Public License 16 * along with this program. If not, see <http://www.gnu.org/licenses/>. 17 */ 18 19 #ifndef PK_REPL_H 20 #define PK_REPL_H 21 22 #include <config.h> 23 24 #include "poke.h" /* For poke_quiet_p */ 25 26 /* Enter the REPL! :) */ 27 28 void pk_repl (void); 29 30 /* Display stuff before the REPL line currently being edited, which is 31 preserved. */ 32 33 void pk_repl_display_begin (void); 34 void pk_repl_display_end (void); 35 36 /* Insert a string at the current cursor position in the line being 37 edited. */ 38 39 void pk_repl_insert (const char *str); 40 41 #endif /* ! PK_REPL_H */ 42