void trigger_error
(string error_msg, int
error_type
)
trigger_error() est utilisé pour déclencher
une erreur utilisateur. Elle peut aussi être utilisée en
conjonction avec un gestionnaire d'erreur interne, ou un gestionnaire
d'erreurs utilisateur qui a été choisi comme gestionnaire
d'erreur avec set_error_handler().
trigger_error() est pratique lorsque vous devez générer
une réponse particulière lors de l'exécution. Par exemple
<?php
if (assert ($divisor == 0))
trigger_error ("Impossible de diviser par zéro", E_USER_ERROR);
?>