diff options
| author | Bob Weinand <bobwei9@hotmail.com> | 2016-09-28 13:26:08 +0200 |
|---|---|---|
| committer | Bob Weinand <bobwei9@hotmail.com> | 2016-09-28 13:26:08 +0200 |
| commit | e5d75d72688fb047ab1dbc7b19e51fe4a3dc0fc9 (patch) | |
| tree | 19b723c8d4c4b71c7a1e697148527dc7b52e5534 /Zend/zend_generators.h | |
| parent | 21f0be4792f60d303ddd025803ac647620b2a8f1 (diff) | |
| download | php-git-e5d75d72688fb047ab1dbc7b19e51fe4a3dc0fc9.tar.gz | |
Add phpdbg generator command
Diffstat (limited to 'Zend/zend_generators.h')
| -rw-r--r-- | Zend/zend_generators.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Zend/zend_generators.h b/Zend/zend_generators.h index 6aabcc6a4d..b74dcca919 100644 --- a/Zend/zend_generators.h +++ b/Zend/zend_generators.h @@ -105,6 +105,9 @@ void zend_register_generator_ce(void); ZEND_API void zend_generator_close(zend_generator *generator, zend_bool finished_execution); ZEND_API void zend_generator_resume(zend_generator *generator); +void zend_generator_restore_call_stack(zend_generator *generator); +zend_execute_data* zend_generator_freeze_call_stack(zend_execute_data *execute_data); + void zend_generator_yield_from(zend_generator *generator, zend_generator *from); ZEND_API zend_execute_data *zend_generator_check_placeholder_frame(zend_execute_data *ptr); |