Manuel PHP
Précédent
Suivant
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();?
Précédent
Sommaire
Suivant
Niveau supérieur
LDAP