ErrorType.inc

<?php
$ERRORTYPE_NULL = 0;
$ERRORTYPE_DIV0 = 7;
$ERRORTYPE_VALUE = 15;
$ERRORTYPE_REF = 23;
$ERRORTYPE_NAME = 29;
$ERRORTYPE_NUM = 36;
$ERRORTYPE_NA = 42;
?>