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