/** * This method evaluates whether the left operand is NOT identical to the right operand. * * @access public * @static * @param IObject\Type $x the left operand * @param Core\Type $y the right operand * @return IBool\Type whether the left operand is NOT identical * to the right operand */ public static function ni(IObject\Type $x, Core\Type $y) : IBool\Type { // !== return IBool\Module::not(IObject\Module::id($x, $y)); }
/** * This method tests the "id" method. * * @dataProvider data_id */ public function test_id(array $provided, array $expected) { $p0 = IObject\Module::id(IObject\Type::box($provided[0]), IObject\Type::box($provided[1])); $e0 = $expected[0]; $this->assertInstanceOf('\\Saber\\Data\\IBool\\Type', $p0); $this->assertSame($e0, $p0->unbox()); }