mirror of
https://github.com/php/php-src.git
synced 2024-11-25 19:05:31 +08:00
74 lines
2.6 KiB
C
74 lines
2.6 KiB
C
/*
|
|
+----------------------------------------------------------------------+
|
|
| PHP Version 7 |
|
|
+----------------------------------------------------------------------+
|
|
| Copyright (c) 1997-2015 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: |
|
|
| http://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, zend_bool use_default);
|
|
void phpdbg_try_file_init(char *init_file, size_t init_file_len, zend_bool free_init);
|
|
int phpdbg_interactive(zend_bool allow_async_unsafe);
|
|
int phpdbg_compile(void);
|
|
void phpdbg_clean(zend_bool full);
|
|
void phpdbg_force_interruption(void);
|
|
/* }}} */
|
|
|
|
/* {{{ phpdbg command handlers */
|
|
PHPDBG_COMMAND(exec);
|
|
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(set);
|
|
PHPDBG_COMMAND(source);
|
|
PHPDBG_COMMAND(export);
|
|
PHPDBG_COMMAND(register);
|
|
PHPDBG_COMMAND(quit);
|
|
PHPDBG_COMMAND(watch);
|
|
PHPDBG_COMMAND(eol);
|
|
PHPDBG_COMMAND(wait); /* }}} */
|
|
|
|
/* {{{ prompt commands */
|
|
extern const phpdbg_command_t phpdbg_prompt_commands[]; /* }}} */
|
|
|
|
/* {{{ */
|
|
#if PHP_VERSION_ID >= 50500
|
|
void phpdbg_execute_ex(zend_execute_data *execute_data);
|
|
#else
|
|
void phpdbg_execute_ex(zend_op_array *op_array);
|
|
#endif /* }}} */
|
|
|
|
#endif /* PHPDBG_PROMPT_H */
|