array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'fr', ), 'this' => array ( 0 => 'class.random-randomexception.php', 1 => 'Random\\RandomException', ), 'up' => array ( 0 => 'book.random.php', 1 => 'Random', ), 'prev' => array ( 0 => 'class.random-brokenrandomengineerror.php', 1 => 'Random\\BrokenRandomEngineError', ), 'next' => array ( 0 => 'book.seaslog.php', 1 => 'Seaslog', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'fr', 'path' => 'reference/random/random.randomexception.xml', ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); ?>
(PHP 8 >= 8.2.0)
Classe de base pour les Exceptions qui se produisent lors de la génération ou de l'utilisation d'aléatoire.