/** * This method evaluates whether the left operand is equal to the right operand. * * @access public * @static * @param Throwable\Runtime\Exception $x the left operand * @param Core\Type $y the right operand * @return IBool\Type whether the left operand is equal * to the right operand */ public static function eq(Throwable\Runtime\Exception $x, Core\Type $y) { // == $type = $x->__typeOf(); if ($y !== null) { if ($y instanceof $type) { return IBool\Type::box($x->__getCode() === $y->__getCode()); } } return IBool\Type::false(); }