From 6fe89e3c14ec53db7c21b3717d1e9a98c0db855d Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Tue, 4 Dec 2012 09:10:46 +0100 Subject: PHP 5.5: save extension reflection --- reflection/readline.txt | 88 +++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 88 insertions(+) create mode 100644 reflection/readline.txt (limited to 'reflection/readline.txt') diff --git a/reflection/readline.txt b/reflection/readline.txt new file mode 100644 index 0000000..2631c8b --- /dev/null +++ b/reflection/readline.txt @@ -0,0 +1,88 @@ +Extension [ extension #19 readline version 5.5.0-dev ] { + + - INI { + Entry [ cli.pager ] + Current = '' + } + Entry [ cli.prompt ] + Current = '\b \> ' + } + } + + - Constants [1] { + Constant [ string READLINE_LIB ] { libedit } + } + + - Functions { + Function [ function readline ] { + + - Parameters [1] { + Parameter #0 [ $prompt ] + } + } + Function [ function readline_info ] { + + - Parameters [2] { + Parameter #0 [ $varname ] + Parameter #1 [ $newvalue ] + } + } + Function [ function readline_add_history ] { + + - Parameters [1] { + Parameter #0 [ $prompt ] + } + } + Function [ function readline_clear_history ] { + + - Parameters [0] { + } + } + Function [ function readline_read_history ] { + + - Parameters [1] { + Parameter #0 [ $filename ] + } + } + Function [ function readline_write_history ] { + + - Parameters [1] { + Parameter #0 [ $filename ] + } + } + Function [ function readline_completion_function ] { + + - Parameters [1] { + Parameter #0 [ $funcname ] + } + } + Function [ function readline_callback_handler_install ] { + + - Parameters [2] { + Parameter #0 [ $prompt ] + Parameter #1 [ $callback ] + } + } + Function [ function readline_callback_read_char ] { + + - Parameters [0] { + } + } + Function [ function readline_callback_handler_remove ] { + + - Parameters [0] { + } + } + Function [ function readline_redisplay ] { + + - Parameters [0] { + } + } + Function [ function readline_on_new_line ] { + + - Parameters [0] { + } + } + } +} + -- cgit