phpdbg_prompt.h 2.4 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768
  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_PROMPT_H
  19. #define PHPDBG_PROMPT_H
  20. /* {{{ */
  21. void phpdbg_string_init(char *buffer);
  22. void phpdbg_init(char *init_file, size_t init_file_len, bool use_default);
  23. void phpdbg_try_file_init(char *init_file, size_t init_file_len, bool free_init);
  24. int phpdbg_interactive(bool allow_async_unsafe, char *input);
  25. int phpdbg_compile(void);
  26. int phpdbg_compile_stdin(zend_string *code);
  27. void phpdbg_force_interruption(void);
  28. /* }}} */
  29. /* {{{ phpdbg command handlers */
  30. PHPDBG_COMMAND(exec);
  31. PHPDBG_COMMAND(stdin);
  32. PHPDBG_COMMAND(step);
  33. PHPDBG_COMMAND(continue);
  34. PHPDBG_COMMAND(run);
  35. PHPDBG_COMMAND(ev);
  36. PHPDBG_COMMAND(until);
  37. PHPDBG_COMMAND(finish);
  38. PHPDBG_COMMAND(leave);
  39. PHPDBG_COMMAND(frame);
  40. PHPDBG_COMMAND(print);
  41. PHPDBG_COMMAND(break);
  42. PHPDBG_COMMAND(back);
  43. PHPDBG_COMMAND(list);
  44. PHPDBG_COMMAND(info);
  45. PHPDBG_COMMAND(clean);
  46. PHPDBG_COMMAND(clear);
  47. PHPDBG_COMMAND(help);
  48. PHPDBG_COMMAND(sh);
  49. PHPDBG_COMMAND(dl);
  50. PHPDBG_COMMAND(generator);
  51. PHPDBG_COMMAND(set);
  52. PHPDBG_COMMAND(source);
  53. PHPDBG_COMMAND(export);
  54. PHPDBG_COMMAND(register);
  55. PHPDBG_COMMAND(quit);
  56. PHPDBG_COMMAND(watch);
  57. PHPDBG_COMMAND(next);
  58. PHPDBG_COMMAND(eol); /* }}} */
  59. /* {{{ prompt commands */
  60. extern const phpdbg_command_t phpdbg_prompt_commands[]; /* }}} */
  61. void phpdbg_execute_ex(zend_execute_data *execute_data);
  62. #endif /* PHPDBG_PROMPT_H */