/** * This method tests the "ne" method. * * @dataProvider data_ne */ public function test_ne(array $provided, array $expected) { $p0 = ITuple\Module::ne(ITuple\Type::make($provided[0], '\\Saber\\Data\\IInt32\\Type'), ITuple\Type::make($provided[1], '\\Saber\\Data\\IInt32\\Type')); $e0 = $expected[0]; $this->assertInstanceOf('\\Saber\\Data\\IBool\\Type', $p0); $this->assertSame($e0, $p0->unbox()); }