java_last_exception_get
(PHP 4 >= 4.0.2)
java_last_exception_get -- Lit la dernière exception Java
Description
exception
java_last_exception_get ( void )
L'exemple ci-dessous montre l'utilisation du gestionnaire d'exceptions
java :
Exemple 1. Gestionnaire d'exception Java
<?php
$stack = new Java("java.util.Stack");
$stack->push(1);
// Cela doit marcher
$result = $stack->pop();
$ex = java_last_exception_get();
if (!$ex) print "$result\n";
// Cela doit échouer (le rapport d'erreurs est supprimé par >)
$result = @$stack->pop();
$ex = java_last_exception_get();
if ($ex) print $ex->toString();
// Efface la dernière exception
java_last_exception_clear();
?>
|
|