1 /* 2 +----------------------------------------------------------------------+ 3 | Copyright (c) The PHP Group | 4 +----------------------------------------------------------------------+ 5 | This source file is subject to version 3.01 of the PHP license, | 6 | that is bundled with this package in the file LICENSE, and is | 7 | available through the world-wide-web at the following url: | 8 | https://www.php.net/license/3_01.txt | 9 | If you did not receive a copy of the PHP license and are unable to | 10 | obtain it through the world-wide-web, please send a note to | 11 | license@php.net so we can mail you a copy immediately. | 12 +----------------------------------------------------------------------+ 13 | Authors: Felipe Pena <felipe@php.net> | 14 | Authors: Joe Watkins <joe.watkins@live.co.uk> | 15 | Authors: Bob Weinand <bwoebi@php.net> | 16 +----------------------------------------------------------------------+ 17 */ 18 19 #ifndef PHPDBG_SET_H 20 #define PHPDBG_SET_H 21 22 #include "phpdbg_cmd.h" 23 24 #define PHPDBG_SET(name) PHPDBG_COMMAND(set_##name) 25 26 PHPDBG_SET(prompt); 27 #ifndef _WIN32 28 PHPDBG_SET(color); 29 PHPDBG_SET(colors); 30 #endif 31 PHPDBG_SET(break); 32 PHPDBG_SET(breaks); 33 PHPDBG_SET(quiet); 34 PHPDBG_SET(stepping); 35 PHPDBG_SET(refcount); 36 PHPDBG_SET(pagination); 37 PHPDBG_SET(lines); 38 39 extern const phpdbg_command_t phpdbg_set_commands[]; 40 41 #endif /* PHPDBG_SET_H */ 42
