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 )
| Avertissement |
Cette fonction est EXPERIMENTALE. Cela signifie que le comportement de cette fonction, son nom et concrètement, TOUT ce qui est documenté ici peut changer dans un futur proche, SANS PREAVIS! Soyez-en conscient, et utilisez cette fonction à vos risques et périls. |
L'exemple ci-dessous montre l'utilisation du gestionnaire d'exceptions
java depuis PHP :
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) {
echo "$result\n";
}
// Cela doit échouer (le rapport d'erreurs est supprimé par @)
$result = @$stack->pop();
$ex = java_last_exception_get();
if ($ex) {
echo $ex->toString();
}
// Efface la dernière exception
java_last_exception_clear();
?>
|
|