schneespur/vendor/thecodingmachine/safe/generated/8.4/readline.php
Michael 2c63440ed8 Revert: move code back to project root from schneespur/ subdirectory
- Reverts the schneespur/ subdirectory restructure (b8e426b)
- Restores package.json and vite.config.js (needed for npm build, were
  removed in an earlier cleanup before the restructure)
- Updates public/build/ assets with current Vite output (new content hashes)
2026-05-17 18:24:26 +00:00

96 lines
1.8 KiB
PHP

<?php
namespace Safe;
use Safe\Exceptions\ReadlineException;
/**
* @param string $prompt
* @return bool
*
*/
function readline_add_history(string $prompt): bool
{
error_clear_last();
$safeResult = \readline_add_history($prompt);
return $safeResult;
}
/**
* @param string $prompt
* @param callable $callback
* @return bool
*
*/
function readline_callback_handler_install(string $prompt, callable $callback): bool
{
error_clear_last();
$safeResult = \readline_callback_handler_install($prompt, $callback);
return $safeResult;
}
/**
* @return bool
*
*/
function readline_clear_history(): bool
{
error_clear_last();
$safeResult = \readline_clear_history();
return $safeResult;
}
/**
* @param callable $callback
* @throws ReadlineException
*
*/
function readline_completion_function(callable $callback): void
{
error_clear_last();
$safeResult = \readline_completion_function($callback);
if ($safeResult === false) {
throw ReadlineException::createFromPhpError();
}
}
/**
* @param null|string $filename
* @throws ReadlineException
*
*/
function readline_read_history(?string $filename = null): void
{
error_clear_last();
if ($filename !== null) {
$safeResult = \readline_read_history($filename);
} else {
$safeResult = \readline_read_history();
}
if ($safeResult === false) {
throw ReadlineException::createFromPhpError();
}
}
/**
* @param null|string $filename
* @throws ReadlineException
*
*/
function readline_write_history(?string $filename = null): void
{
error_clear_last();
if ($filename !== null) {
$safeResult = \readline_write_history($filename);
} else {
$safeResult = \readline_write_history();
}
if ($safeResult === false) {
throw ReadlineException::createFromPhpError();
}
}