(No hay información de versión disponible, podría estar únicamente en SVN)
La clase SplInt se utiliza para hacer cumplir el uso correcto del tipo de dato integer.
SplInt::__default
Ejemplo #1 Ejemplo de uso de SplInt
<?php
$int = new SplInt(94);
try {
$int = 'Intente hacer casteo a un valor string sólo por diversión';
} catch (UnexpectedValueException $uve) {
echo $uve->getMessage() . PHP_EOL;
}
echo $int . PHP_EOL;
?>
El resultado del ejemplo sería:
El valor no es un integer 94