java_last_exception_get PHP sur JungleKey.fr

Description

object 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'exceptions 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(); ?>