phpdbg_set.h 1.7 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344
  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. #ifndef PHPDBG_SET_H
  21. #define PHPDBG_SET_H
  22. #include "phpdbg_cmd.h"
  23. #define PHPDBG_SET(name) PHPDBG_COMMAND(set_##name)
  24. PHPDBG_SET(prompt);
  25. #ifndef _WIN32
  26. PHPDBG_SET(color);
  27. PHPDBG_SET(colors);
  28. #endif
  29. PHPDBG_SET(oplog);
  30. PHPDBG_SET(break);
  31. PHPDBG_SET(breaks);
  32. PHPDBG_SET(quiet);
  33. PHPDBG_SET(stepping);
  34. PHPDBG_SET(refcount);
  35. PHPDBG_SET(pagination);
  36. PHPDBG_SET(lines);
  37. extern const phpdbg_command_t phpdbg_set_commands[];
  38. #endif /* PHPDBG_SET_H */