1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768 |
- /*
- +----------------------------------------------------------------------+
- | Copyright (c) The PHP Group |
- +----------------------------------------------------------------------+
- | This source file is subject to version 3.01 of the PHP license, |
- | that is bundled with this package in the file LICENSE, and is |
- | available through the world-wide-web at the following url: |
- | https://www.php.net/license/3_01.txt |
- | If you did not receive a copy of the PHP license and are unable to |
- | obtain it through the world-wide-web, please send a note to |
- | license@php.net so we can mail you a copy immediately. |
- +----------------------------------------------------------------------+
- | Authors: Felipe Pena <felipe@php.net> |
- | Authors: Joe Watkins <joe.watkins@live.co.uk> |
- | Authors: Bob Weinand <bwoebi@php.net> |
- +----------------------------------------------------------------------+
- */
- #ifndef PHPDBG_PROMPT_H
- #define PHPDBG_PROMPT_H
- /* {{{ */
- void phpdbg_string_init(char *buffer);
- void phpdbg_init(char *init_file, size_t init_file_len, bool use_default);
- void phpdbg_try_file_init(char *init_file, size_t init_file_len, bool free_init);
- int phpdbg_interactive(bool allow_async_unsafe, char *input);
- int phpdbg_compile(void);
- int phpdbg_compile_stdin(zend_string *code);
- void phpdbg_force_interruption(void);
- /* }}} */
- /* {{{ phpdbg command handlers */
- PHPDBG_COMMAND(exec);
- PHPDBG_COMMAND(stdin);
- PHPDBG_COMMAND(step);
- PHPDBG_COMMAND(continue);
- PHPDBG_COMMAND(run);
- PHPDBG_COMMAND(ev);
- PHPDBG_COMMAND(until);
- PHPDBG_COMMAND(finish);
- PHPDBG_COMMAND(leave);
- PHPDBG_COMMAND(frame);
- PHPDBG_COMMAND(print);
- PHPDBG_COMMAND(break);
- PHPDBG_COMMAND(back);
- PHPDBG_COMMAND(list);
- PHPDBG_COMMAND(info);
- PHPDBG_COMMAND(clean);
- PHPDBG_COMMAND(clear);
- PHPDBG_COMMAND(help);
- PHPDBG_COMMAND(sh);
- PHPDBG_COMMAND(dl);
- PHPDBG_COMMAND(generator);
- PHPDBG_COMMAND(set);
- PHPDBG_COMMAND(source);
- PHPDBG_COMMAND(export);
- PHPDBG_COMMAND(register);
- PHPDBG_COMMAND(quit);
- PHPDBG_COMMAND(watch);
- PHPDBG_COMMAND(next);
- PHPDBG_COMMAND(eol); /* }}} */
- /* {{{ prompt commands */
- extern const phpdbg_command_t phpdbg_prompt_commands[]; /* }}} */
- void phpdbg_execute_ex(zend_execute_data *execute_data);
- #endif /* PHPDBG_PROMPT_H */
|