7288b93500
Add neutral diagnostic framework for future reporting modules: - DiagnosticReporterInterface, Registry, Manager, PayloadSanitizer - Laravel exception hook in bootstrap/app.php - Module permission declarations (requires_permissions in module.json) - Core diagnostic report points (module boot/install/update failures) - Module documentation update (moduldoku.md) Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
102 lines
2.1 KiB
PHP
102 lines
2.1 KiB
PHP
<?php
|
|
|
|
namespace Safe;
|
|
|
|
use Safe\Exceptions\ReadlineException;
|
|
|
|
/**
|
|
* @param string $prompt
|
|
* @throws ReadlineException
|
|
*
|
|
*/
|
|
function readline_add_history(string $prompt): void
|
|
{
|
|
error_clear_last();
|
|
$safeResult = \readline_add_history($prompt);
|
|
if ($safeResult === false) {
|
|
throw ReadlineException::createFromPhpError();
|
|
}
|
|
}
|
|
|
|
|
|
/**
|
|
* @param string $prompt
|
|
* @param callable $callback
|
|
* @throws ReadlineException
|
|
*
|
|
*/
|
|
function readline_callback_handler_install(string $prompt, callable $callback): void
|
|
{
|
|
error_clear_last();
|
|
$safeResult = \readline_callback_handler_install($prompt, $callback);
|
|
if ($safeResult === false) {
|
|
throw ReadlineException::createFromPhpError();
|
|
}
|
|
}
|
|
|
|
|
|
/**
|
|
* @throws ReadlineException
|
|
*
|
|
*/
|
|
function readline_clear_history(): void
|
|
{
|
|
error_clear_last();
|
|
$safeResult = \readline_clear_history();
|
|
if ($safeResult === false) {
|
|
throw ReadlineException::createFromPhpError();
|
|
}
|
|
}
|
|
|
|
|
|
/**
|
|
* @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();
|
|
}
|
|
}
|