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