phpdbg_set.h 1.5 KB

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